( en | de | ru )

 

Disambiguierung von "Brim, Lubos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties.

, , und . Sci. Comput. Program., 77 (12): 1272-1288 (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sadek Brim

Lubos Polerecky

Edith Lubos

Renate Lubos

Günter Lubos

 

Weitere Publikationen von Autoren mit dem selben Namen

Assumption-based distribution of CTL model checking., , und . Int. J. Softw. Tools Technol. Transf., 7 (1): 61-73 (2005)Scalable Multi-core LTL Model-Checking., , und . SPIN, Volume 4595 von Lecture Notes in Computer Science, Seite 187-203. Springer, (2007)Distributed Negative Cycle Detection Algorithms., , und . PARCO, Volume 13 von Advances in Parallel Computing, Seite 297-304. Elsevier, (2003)Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation, , , und . CoRR, (2011)High-performance analysis of biological systems dynamics with the DiVinE model checker., , und . Briefings Bioinform., 11 (3): 301-312 (2010)AEON.py: Python library for attractor analysis in asynchronous Boolean networks., , , , , und . Bioinform., 38 (21): 4978-4980 (Oktober 2022)Compact Representation of Photosynthesis Dynamics by Rule-based Models (Full Version)., , und . CoRR, (2014)Parallel parameter synthesis algorithm for hybrid CTL., , , und . Sci. Comput. Program., (2020)Component-interaction automata as a verification-oriented component-based system specification., , , und . SAVCBS@ESEC/FSE, Seite 4. ACM, (2005)DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs., , , , , , , , und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 863-868. Springer, (2013)