prof. RNDr. Luboš Brim, CSc.
profesor – Katedra teorie programování
kancelář: A411
Botanická 554/68a
602 00 Brno
telefon: | 549 49 3647 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 197
2006
-
Distributed Qualitative LTL Model Checking of Markov Decision Processes
Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation, rok: 2006
-
Distributed Verification: Exploring the Power of Raw Computing Power
5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006), rok: 2006
-
DiVinE -- A Tool for Distributed Verification
Computer Aided Verification, rok: 2006
-
DiVinE Library
Rok: 2006
-
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
Electronic Notes in Theoretical Computer Science, rok: 2006, ročník: 135, vydání: 2
-
On Combining Partial Order Reduction with Fairness Assumptions
Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006), rok: 2006
-
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005)
Rok: 2006, počet stran: 159 s.
-
Special Issue on Parallel and Distributed Verification - Foreword
Formal Methods in System Design, rok: 2006, ročník: 29, vydání: 2
-
Účast ČR ve výzkumném sdružení ERCIM
Rok: 2006, druh: Projekty výzkumu a vývoje
2005
-
Assumption-based distribution of CTL model checking
International Journal on Software Tools for Technology Transfer (STTT), rok: 2005, ročník: 7, vydání: 1