( en | de | ru )

 

Disambiguation of "Bodeveix, Jean-Paul"

Author of the publication

copydeleteadd this publication to your clipboard
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems.

, and . TACAS, volume 1785 of Lecture Notes in Computer Science, page 204-219. Springer, (2000)

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

Towards the Automatic Verification of Atomic Memory Protocols., and . Parallel Process. Lett., 7 (1): 101-112 (1997)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)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)Design of a BPEL Verification Tool., , and . WS-FM, volume 7176 of Lecture Notes in Computer Science, page 95-110. Springer, (2011)Revising and Extending the Uppaal Communication Mechanism., , and . SC@TOOLS, volume 7306 of Lecture Notes in Computer Science, page 114-131. Springer, (2012)