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: |
---|
Total number of publications: 199
2008
-
Component-Interaction Automata Approach (CoIn)
The Common Component Modeling Example: Comparing Software Component Models, year: 2008, number of pages: 31 s.
-
DiVinE Cluster
Year: 2008
-
DiVinE Multi-Core -- A Parallel LTL Model-Checker
Automated Technology for Verification and Analysis, year: 2008
-
From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks
Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation, year: 2008
-
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
Electronic Notes in Theoretical Computer Science, year: 2008
-
Partial Order Reduction for State/Event LTL
Year: 2008
-
ProbDiVinE-MC
Year: 2008
-
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems, year: 2008
-
Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking
Tools and Algorithms for the Construction and Analysis of Systems, year: 2008
-
Squeeze All the Power Out of Your Hardware to Verify Your Software!
Leveraging Applications of Formal Methods, Verification and Validation, year: 2008