PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Garoche, Pierre-Loïc"

Author of the publication

copydeleteadd this publication to your clipboard
Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification.

, , , and . JSW, 4 (9): 943-958 (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.

Pierre Nacke University of Stuttgart

Dr. rer. nat. Pierre Eckold University of Stuttgart

Pierre Kuna University of Stuttgart

 

Other publications of authors with the same name

Hierarchical State Machines as Modular Horn Clauses., , and . HCVS@ETAPS, volume 219 of EPTCS, page 15-28. (2016)Closed loop analysis of control command software., , and . HSCC, page 108-117. ACM, (2015)Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization., , and . SAS, volume 9291 of Lecture Notes in Computer Science, page 235-251. Springer, (2015)A Property-Driven Approach to Formal Verification of Process Models., , , , and . ICEIS (Selected Papers), volume 12 of Lecture Notes in Business Information Processing, page 286-300. Springer, (2007)Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification., , , and . JSW, 4 (9): 943-958 (2009)Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs., and . Computer Languages, Systems & Structures, (2017)Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs., and . CoRR, (2014)Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses., , , , , and . FMICS, volume 8187 of Lecture Notes in Computer Science, page 1-16. Springer, (2013)Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation., , and . FMOODS, volume 4037 of Lecture Notes in Computer Science, page 78-92. Springer, (2006)PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL., , , , , , and . NASA Formal Methods, volume 7226 of Lecture Notes in Computer Science, page 147-161. Springer, (2012)