Luboš Brim
Masaryk University(CZ)
Publications by Year
Research Areas
Formal Methods in Verification, Gene Regulatory Network Analysis, Software Testing and Debugging Techniques, Microbial Metabolic Engineering and Bioproduction, Model-Driven Software Engineering Techniques
Most-Cited Works
- → Faster algorithms for mean-payoff games(2010)129 cited
- → Computing Strongly Connected Components in Parallel on CUDA(2011)98 cited
- → Distributed LTL model-checking in SPIN(2001)93 cited
- → DiVinE 3.0 – An Explicit-State Model Checker for Multithreaded C & C++ Programs(2013)84 cited
- → DiVinE – A Tool for Distributed Verification(2006)83 cited
- → Precise parameter synthesis for stochastic biochemical systems(2016)72 cited
- → Component-interaction automata as a verification-oriented component-based system specification(2005)69 cited