Author of the publication

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.

 

Other publications of authors with the same name

FAR-Cubicle - A new reachability algorithm for Cubicle., , , , and . CoRR, (2018)Symbolic Algorithms for Infinite-State Games., , and . CONCUR, volume 2154 of Lecture Notes in Computer Science, page 536-550. Springer, (2001)Thread-Modular Abstraction Refinement., , , and . CAV, volume 2725 of Lecture Notes in Computer Science, page 262-274. Springer, (2003)Minimum Attention Controller Synthesis for Omega-Regular Objectives., and . FORMATS, volume 6919 of Lecture Notes in Computer Science, page 145-159. Springer, (2011)Quantifying Similarities Between Timed Systems., , and . FORMATS, volume 3829 of Lecture Notes in Computer Science, page 226-241. Springer, (2005)The software model checker Blast., , , and . Int. J. Softw. Tools Technol. Transf., 9 (5-6): 505-525 (2007)Exploiting Symmetries to Speed Up SAT-Based Boolean Matching for Logic Synthesis of FPGAs., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 27 (10): 1751-1760 (2008)A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs., , and . ACM Trans. Model. Perform. Evaluation Comput. Syst., 5 (1): 2:1-2:29 (2020)Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility., and . CoRR, (2020)Antlab: A Multi-Robot Task Server., , and . ACM Trans. Embed. Comput. Syst., 16 (5s): 190:1-190:19 (2017)