Static analysis of embedded real-time concurrent software with dynamic priorities

A Miné - Electronic Notes in Theoretical Computer Science, 2017 - Elsevier
In previous work, we developed a sound static analysis by abstract interpretation to check
the absence of run-time errors in concurrent programs, focusing on embedded C programs …
被引用次数：10 相关文章

Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities

A Miné - 6th International Workshop on Numerical and Symbolic …, 2016 - hal.science
In previous work, we developed a sound static analysis by abstract interpretation to check
the absence of run-time errors in concurrent programs, focusing on embedded C programs …

[引用][C] Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities

A Miné - Electronic Notes in Theoretical Computer Science, 2017 - cir.nii.ac.jp
Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities | CiNii
Research CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ] 論文・データをさがす 大学 …

Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities

A Miné - 6th International Workshop on Numerical and Symbolic …, 2016 - inria.hal.science
In previous work, we developed a sound static analysis by abstract interpretation to check
the absence of run-time errors in concurrent programs, focusing on embedded C programs …

Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities

A Miné - Electronic Notes in Theoretical Computer Science, 2017 - infona.pl
In previous work, we developed a sound static analysis by abstract interpretation to check
the absence of run-time errors in concurrent programs, focusing on embedded C programs …
[PDF] archive.org

[PDF][PDF] Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities

A Miné - scholar.archive.org
In previous work, we developed a sound static analysis by abstract interpretation to check
the absence of run-time errors in concurrent programs, focusing on embedded C programs …
[PDF] lip6.fr

[PDF][PDF] Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities

A Miné - www-apr.lip6.fr
In previous work, we developed a sound static analysis by abstract interpretation to check
the absence of run-time errors in concurrent programs, focusing on embedded C programs …

Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities

A Miné - 6th International Workshop on Numerical and …, 2016 - hal.sorbonne-universite.fr
In previous work, we developed a sound static analysis by abstract interpretation to check
the absence of run-time errors in concurrent programs, focusing on embedded C programs …
[PDF] lip6.fr

[PDF][PDF] Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities

A Miné - www-apr.lip6.fr
In previous work, we developed a sound static analysis by abstract interpretation to check
the absence of run-time errors in concurrent programs, focusing on embedded C programs …
[PDF] sorbonne-universite.fr

[PDF][PDF] Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities

A Miné - hal.sorbonne-universite.fr
In previous work, we developed a sound static analysis by abstract interpretation to check
the absence of run-time errors in concurrent programs, focusing on embedded C programs …