( en | de | ru )

 

Disambiguation of "Brim, Lubos"

Author of the publication

copydeleteadd this publication to your clipboard
Local Quantitative LTL Model Checking.

, , , , and . FMICS, volume 5596 of Lecture Notes in Computer Science, page 53-68. Springer, (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.

Sadek Brim

Lubos Polerecky

Edith Lubos

Renate Lubos

Günter Lubos

 

Other publications of authors with the same name

Distributed Negative Cycle Detection Algorithms., , and . PARCO, volume 13 of Advances in Parallel Computing, page 297-304. Elsevier, (2003)Scalable Multi-core LTL Model-Checking., , and . SPIN, volume 4595 of Lecture Notes in Computer Science, page 187-203. Springer, (2007)eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems., , , and . CMSB, volume 13447 of Lecture Notes in Computer Science, page 302-309. Springer, (2022)Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks., , , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 195-213. Springer, (2015)Model-Checking Large Finite-State Systems and Beyond., and . SOFSEM (1), volume 4362 of Lecture Notes in Computer Science, page 9-28. Springer, (2007)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)Computing Bottom SCCs Symbolically Using Transition Guided Reduction., , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 505-528. Springer, (2021)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)Component-interaction automata as a verification-oriented component-based system specification., , , and . SAVCBS@ESEC/FSE, page 4. ACM, (2005)Efficient large-scale model checking., , , and . IPDPS, page 1-12. IEEE, (2009)