![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
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
2009
-
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties
Formal Methods and Software Engineering, rok: 2009
-
BioDiVinE: A Framework for Parallel Analysis of Biological Models
Proceedings of 2nd International Workshop on Computational Models for Cell Processes, rok: 2009
-
BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models
Computational Mehotds in Systems Biology: Abstract of the Posters, rok: 2009
-
Can Flash Memory Help in Model Checking?
Formal Methods for Industrial Critical Systems, rok: 2009
-
Cluster-Based I/O-Efficient LTL Model Checking
24th IEEE/ACM International Conference on Automated Software Engineering, rok: 2009
-
Computational Analysis of Large-Scale Multi-Affine ODE Models
International Workshop on High Performance Computational Systems Biology, rok: 2009
-
CUDA Accelerated LTL Model Checking
Proceedings of the 15th International Conference on Parallel and Distributed Systems, rok: 2009
-
DiVinE 2.0
Rok: 2009
-
DiVinE 2.0: High-Performance Model Checking
International Workshop on High Performance Computational Systems Biology, rok: 2009
-
DiVinE Cuda
Rok: 2009