prof. RNDr. Luboš Brim, CSc.

Professor, Department of Computer Science

Office: A411
Botanická 554/68a
602 00 Brno

Phone:	+420 549 49 3647
E‑mail:

social and academic networks:

Type

Total number of publications: 199

2014

DIVINE 3.0

ROČKAI Petr BARNAT Jiří ŠTILL Vladimír WEISER Jiří BRIM Luboš HAVEL Vojtěch HAVLÍČEK Jan KRIHO Jan

Year: 2013
DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs

BARNAT Jiří BRIM Luboš HAVEL Vojtěch HAVLÍČEK Jan KRIHO Jan LENČO Milan ROČKAI Petr ŠTILL Vladimír WEISER Jiří

Article in Proceedings

Computer Aided Verification 2013, year: 2013
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking

BRIM Luboš ČEŠKA Milan DRAŽAN Sven ŠAFRÁNEK David

Article in Proceedings

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, year: 2013
Improved State Space Reductions for LTL Model Checking of C & C++ Programs

ROČKAI Petr BARNAT Jiří BRIM Luboš

Article in Proceedings

NASA Formal Methods 2013, year: 2013
LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model

BARNAT Jiří BRIM Luboš HAVEL Vojtěch

Article in Proceedings

Proceedings of Application of Concurrency to System Design, 2013, year: 2013
Model Checking of Biological Systems

BRIM Luboš ČEŠKA Milan ŠAFRÁNEK David

Article in Proceedings

Formal Methods for Dynamical Systems, year: 2013
Qualitative modelling and analysis of Photosystem II

BRIM Luboš DĚD Vilém ŠAFRÁNEK David

Article in Proceedings

CEUR Workshop Proceedings, year: 2013