( en | de | ru )

 

Disambiguation of "Chemouil, David"

Author of the publication

copydeleteadd this publication to your clipboard
The AADL behaviour annex - experiments and roadmap.

, , , , , and . ICECCS, page 377-382. IEEE Computer Society, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Erich David

Ernst David

Baruch Davidoff

Frida David

Walter David

 

Other publications of authors with the same name

Sound Verification Procedures for Temporal Properties of Infinite-State Systems., , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 337-360. Springer, (2021)A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures., , , , and . MoDeVVa@MoDELS, volume 1235 of CEUR Workshop Proceedings, page 39-48. CEUR-WS.org, (2014)Lightweight specification and analysis of dynamic systems with rich configurations., , , , and . SIGSOFT FSE, page 373-383. ACM, (2016)The Design of Spacecraft On-Board Software.. B, volume 4355 of Lecture Notes in Computer Science, page 3. Springer, (2007)Some Algebraic Structures in Lambda-Calculus with Inductive Types., and . TYPES, volume 3085 of Lecture Notes in Computer Science, page 338-354. Springer, (2003)Remarks on isomorphisms of simple inductive types., and . Mathematics, Logic and Computation @ ICALP, volume 85 of Electronic Notes in Theoretical Computer Science, page 106-124. Elsevier, (2003)Pardinus: A Temporal Relational Model Finder., , , and . J. Autom. Reason., 66 (4): 861-904 (2022)Analyzing the Fundamental Liveness Property of the Chord Protocol., , and . FMCAD, page 1-9. IEEE, (2018)The AADL behaviour annex - experiments and roadmap., , , , , and . ICECCS, page 377-382. IEEE Computer Society, (2007)An insertion operator preserving infinite reduction sequences.. Math. Struct. Comput. Sci., 18 (4): 693-728 (2008)