( en | de | ru )

 

Disambiguation of "Bodeveix, Jean-Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling AADL Data Communication with BIP.

, , and . Ada-Europe, volume 5570 of Lecture Notes in Computer Science, page 192-206. 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)Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension., , , , , , , and . MEMOCODE, page 88-98. IEEE, (2018)Revising and Extending the Uppaal Communication Mechanism., , and . SC@TOOLS, volume 7306 of Lecture Notes in Computer Science, page 114-131. Springer, (2012)