( en | de | ru )

 

Disambiguation of "Sutre, Grégoire"

Author of the publication

copydeleteadd this publication to your clipboard
Temporal-Safety Proofs for Systems Code.

, , , , , and . CAV, volume 2404 of Lecture Notes in Computer Science, page 526-538. Springer, (2002)

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.

Grégoire Laurence

Mireille Grégoire

Grégoire Dooms

Grégoire Verlut

Grégoire Pau

 

Other publications of authors with the same name

An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems., , and . LPAR, volume 2850 of Lecture Notes in Computer Science, page 361-375. Springer, (2003)Decidability of Reachability Problems for Classes of Two Counters Automata., and . STACS, volume 1770 of Lecture Notes in Computer Science, page 346-357. Springer, (2000)Reachability for Two-Counter Machines with One Test and One Reset., , and . FSTTCS, volume 122 of LIPIcs, page 31:1-31:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)McScM: A General Framework for the Verification of Communicating Machines., , and . TACAS, volume 7214 of Lecture Notes in Computer Science, page 478-484. Springer, (2012)Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems., , and . SPIN, volume 5578 of Lecture Notes in Computer Science, page 107-124. Springer, (2009)Acceleration in Convex Data-Flow Analysis., and . FSTTCS, volume 4855 of Lecture Notes in Computer Science, page 520-531. Springer, (2007)Verification of Embedded Reactive Fiffo Systems., , , , and . LATIN, volume 2286 of Lecture Notes in Computer Science, page 400-414. Springer, (2002)Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models., , and . CMSB, volume 5688 of Lecture Notes in Computer Science, page 313-327. Springer, (2009)Temporal-Safety Proofs for Systems Code., , , , , and . CAV, volume 2404 of Lecture Notes in Computer Science, page 526-538. Springer, (2002)Flat counter automata almost everywhere!., and . Software Verification: Infinite-State Model Checking and Static Program Analysis, volume 06081 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)