Author of the publication

Hierarchical State Machines as Modular Horn Clauses.

, , and . HCVS@ETAPS, volume 219 of EPTCS, page 15-28. (2016)

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.

 

Other publications of authors with the same name

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)Closed loop analysis of control command software., , and . HSCC, page 108-117. ACM, (2015)Hierarchical State Machines as Modular Horn Clauses., , and . HCVS@ETAPS, volume 219 of EPTCS, page 15-28. (2016)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)Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs., and . Computer Languages, Systems & Structures, (2017)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)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)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)Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs., and . VMCAI, volume 8931 of Lecture Notes in Computer Science, page 99-116. Springer, (2015)Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs., and . CoRR, (2014)