PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Pantel, Marc"

Author of the publication

copydeleteadd this publication to your clipboard
A Design Pattern to Build Executable DSMLs and Associated V&V Tools.

, , and . APSEC, page 282-287. IEEE, (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.

Dominic Marcello

Dipl.-Ing. Marc Riedlinger

An adaptive self-managing platform for cabin management systems, , , and . CEAS Aeronautical Journal, 7 (3): 483--498 (2016)

Marc Gauger University of Stuttgart

Marc Schneider University of Stuttgart

Marc Bresser University of Stuttgart

 

Other publications of authors with the same name

Concurrent and Distributed Programming with Objects - Introduction., and . Euro-Par, volume 1685 of Lecture Notes in Computer Science, page 1333. Springer, (1999)Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software, , , , , , , , , and 2 other author(s). FMA, volume 20 of EPTCS, page 80-87. (2009)A System Substitution Mechanism for Hybrid Systems in Event-B., , , and . ICFEM, volume 10009 of Lecture Notes in Computer Science, page 106-121. (2016)Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist., , , and . MEDI Workshops, volume 929 of Communications in Computer and Information Science, page 153-158. Springer, (2018)Mechanizing the Denotational Semantics of the Clock Constraint Specification Language., and . MEDI, volume 11163 of Lecture Notes in Computer Science, page 385-400. Springer, (2018)Development of Flexible Peer-To-Peer Information Systems Using Adaptable Mobile Agents., , and . DEXA Workshops, page 549-553. IEEE Computer Society, (2004)Expérimentations en Coq pour un générateur de code qualifiable., , , and . Technique et Science Informatiques, 30 (4): 409-440 (2011)Verification of the Schorr-Waite Algorithm - From Trees to Graphs., , , and . LOPSTR, volume 6564 of Lecture Notes in Computer Science, page 67-83. Springer, (2010)Refinement and Proof Based Development of Systems Characterized by Continuous Functions., , , and . SETTA, volume 9409 of Lecture Notes in Computer Science, page 55-70. Springer, (2015)Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B., , , and . TASE, page 9-16. IEEE, (2019)