![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
2005
-
Under-Approximation Generation using Partial Order Reduction
Rok: 2005, počet stran: 21 s.
2004
-
Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.
Formal Methods in Computer-Aided Design (FMCAD), rok: 2004
-
Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.
Rok: 2004, počet stran: 22 s.
-
Distributed Memory LTL Model Checking Based on Breadth First Search
Rok: 2004, počet stran: 57 s.
-
Distributed Negative Cycle Detection Algorithms
Parallel Computing: Software Technology, Algorithms, Architectures & Applications, rok: 2004
-
Distributed Partial Order Reduction of State Spaces
Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004), rok: 2004
-
From Distributed Memory Cycle Detection to Parallel LTL Model Checking
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004), rok: 2004
-
Parallel Model-Checking
ERCIM News, rok: 2004, ročník: 58, vydání: June
2003
-
Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming
Electronic Notes in Theoretical Computer Science, rok: 2003, ročník: 68, vydání: 3
-
Distribution of Explicit-State LTL Model-Checking
Electronic Notes in Theoretical Computer Science, rok: 2003, ročník: Volume 80, vydání: 1