PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Bodeveix, Jean-Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Compositional Refinement for Real-Time Systems with Priorities.

, , and . TIME, page 57-64. IEEE Computer Society, (2012)

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.

PD Dr. Simon Paulus University of Stuttgart

Prof. Dr. Paul Keller University of Stuttgart

Paul Betz University of Stuttgart

Moritz Paul University of Stuttgart

Kerstin Paul University of Stuttgart

 

Other publications of authors with the same name

Towards the Automatic Verification of Atomic Memory Protocols., and . Parallel Processing Letters, 7 (1): 101-112 (1997)Modes in Asynchronous Systems., , , , and . ICECCS, page 282-287. IEEE Computer Society, (2008)An Event-B framework for the validation of Event-B refinement plugins., , , and . CoRR, (2017)An Event-B Development Process for the Distributed BIP Framework., , , and . ICFEM, volume 10009 of Lecture Notes in Computer Science, page 313-328. (2016)Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software., , , , , , , , , and 2 other author(s). Synthesis of Embedded Software, Springer, (2010)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)Towards formalising AADL in Proof Assistants., , , and . Electron. Notes Theor. Comput. Sci., 141 (3): 153-169 (2005)The AADL behaviour annex - experiments and roadmap., , , , , and . ICECCS, page 377-382. IEEE Computer Society, (2007)Compositional Refinement for Real-Time Systems with Priorities., , and . TIME, page 57-64. IEEE Computer Society, (2012)