( en | de | ru )

 

Disambiguation of "Bodeveix, Jean-Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Verification of AADL Specifications in the Topcased Environment.

, , , , , and . Ada-Europe, volume 5570 of Lecture Notes in Computer Science, page 207-221. Springer, (2009)

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.

Jean Paul

Nicolas Jeanvoine

Plasma-material interaction and electrode degradation in high voltage ignition discharges. Uni Saarbrücken, (2009)

Johann Jeanson

Helga Jeanblanc

Marc Jean-Richard-dit-Bressel

 

Other publications of authors with the same name

An Event-B Development Process for the Distributed BIP Framework., , , and . ICFEM, volume 10009 of Lecture Notes in Computer Science, page 313-328. (2016)On the Automatic Validation of Parameterized Unity Programs., and . IPPS/SPDP Workshops, volume 1388 of Lecture Notes in Computer Science, page 807-819. Springer, (1998)Towards the Automatic Verification of Atomic Memory Protocols., and . Parallel Process. Lett., 7 (1): 101-112 (1997)Multi-Core Code Generation from Polychronous Programs with Time-Predictable Properties., , and . ACVI@MoDELS, volume 1233 of CEUR Workshop Proceedings, CEUR-WS.org, (2014)Formalizing the Relationship between Security Policies and Objectives in Software Architectures., , , and . ICSA-C, page 151-158. IEEE, (2023)Towards formalising AADL in Proof Assistants., , , and . FESCA@ETAPS, volume 141 of Electronic Notes in Theoretical Computer Science, page 153-169. Elsevier, (2005)Modes in Asynchronous Systems., , , , and . ICECCS, page 282-287. IEEE Computer Society, (2008)Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software., , , , , , , , , and 2 other author(s). Synthesis of Embedded Software, Springer, (2010)A mapping from AADL to Java-RTSJ., , , , and . JTRES, page 165-174. ACM, (2007)Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension., , , , , , , and . MEMOCODE, page 88-98. IEEE, (2018)