( en | de | ru )

 

Disambiguation of "Bodeveix, Jean-Paul"

Author of the publication

copydeleteadd this publication to your clipboard
A refinement-based compiler development for synchronous languages.

, , and . MEMOCODE, page 165-174. ACM, (2017)

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

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)Type Synthesis in B and the Translation of B to PVS., and . ZB, volume 2272 of Lecture Notes in Computer Science, page 350-369. Springer, (2002)Event-B Formalization of a Variability-Aware Component Model Patterns Framework., , and . FACS, volume 11222 of Lecture Notes in Computer Science, page 54-74. Springer, (2018)Modeling AADL Data Communication with BIP., , and . Ada-Europe, volume 5570 of Lecture Notes in Computer Science, page 192-206. Springer, (2009)Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL., , and . Frontiers Comput. Sci., 13 (4): 715-734 (2019)Formal Methods Meet Domain Specific Languages., , , and . IFM, volume 3771 of Lecture Notes in Computer Science, page 187-206. Springer, (2005)Verification of Timed BPEL 2.0 Models., , and . BMMDS/EMMSAD, volume 81 of Lecture Notes in Business Information Processing, page 261-275. Springer, (2011)Specification and Verification of Communication Paradigms for CBSE in Event B., , , and . ICECCS, page 157-166. IEEE, (2023)Event Algebra for Transition Systems Composition - Application to Timed Automata., , and . TIME, page 125-132. IEEE Computer Society, (2013)Compositional Refinement for Real-Time Systems with Priorities., , and . TIME, page 57-64. IEEE Computer Society, (2012)