Author of the publication

Efficient Large-Scale Model Checking.

, , , and . Distributed Verification and Grid Computing, volume 08332 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)

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

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation, , , and . CoRR, (2011)Scalable Multi-core LTL Model-Checking., , and . SPIN, volume 4595 of Lecture Notes in Computer Science, page 187-203. Springer, (2007)Distributed Negative Cycle Detection Algorithms., , and . PARCO, volume 13 of Advances in Parallel Computing, page 297-304. Elsevier, (2003)Assumption-based distribution of CTL model checking., , and . Int. J. Softw. Tools Technol. Transf., 7 (1): 61-73 (2005)AEON.py: Python library for attractor analysis in asynchronous Boolean networks., , , , , and . Bioinform., 38 (21): 4978-4980 (October 2022)High-performance analysis of biological systems dynamics with the DiVinE model checker., , and . Briefings Bioinform., 11 (3): 301-312 (2010)Parallel parameter synthesis algorithm for hybrid CTL., , , and . Sci. Comput. Program., (2020)Compact Representation of Photosynthesis Dynamics by Rule-based Models (Full Version)., , and . CoRR, (2014)A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties., , and . ICFEM, volume 5885 of Lecture Notes in Computer Science, page 407-425. Springer, (2009)DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs., , , , , , , , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 863-868. Springer, (2013)