| 2010 |
|---|
| 74 | |
J. Barnat, L. Brim, P. Rockai: Scalable Multi-Core LTL Model-Checking.
STTT. | |
| 2009 |
|---|
| 73 | |
J. Barnat, L. Brim, I. Cerna, S. Drazan, J. Fabrikova and D.
Safranek: On algorithmic analysis of transcriptional regulation by LTL
model checking.
Theor. Comput. Sci., vol. 410(33-34).
| BibTeX |
| 72 | |
J. Barnat, L. Brim and D. Safranek. High-Performance Analysis of
Biological Systems Dynamics with~DiVinE.
Briefings in Bioinformatics (to appear). | |
| 71 | |
J. Chaloupka and L. Brim. Faster Algorithm for Mean-Payoff Games. MEMICS 2009. | |
| 70 | |
J. Barnat, L. Brim, I. Cerna, S. Drazan, J. Fabrikova and D. Safranek. Computational Analysis of Large-Scale Multi-Affine ODE Models. HiBi 2009. | BibTeX |
| 69 | |
J. Barnat, L. Brim, M. Ceska: DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking. PDMC 2009.
| BibTeX |
| 68 | |
J. Barnat, L. Brim, I. Cerna, S. Drazan, J. Fabrikova , J.
Lanik and D. Safranek: BioDiVinE: A Tool for Parallel Analysis of
Multi-Affine ODE Models. CMSB'09.
| BibTeX |
| 67 | |
J. Barnat, L. Brim, I. Cerna, S. Drazan, J. Fabrikova, D. Safranek: BioDiVinE: A Framework for Parallel Analysis of Biological Models. COMPMOD 2009. | BibTeX |
| 66 | |
J. Barnat, L. Brim, M. Ceska, and T. Lamr: CUDA accelerated LTL
Model Checking. ICPADS 2009. | BibTeX |
| 65 | |
J. Barnat, L. Brim, and P. Rockai: A Time-Optimal On-the-fly Parallel Algorithm for Model Checking of
Weak LTL Properties. ICFEM 2009. | BibTeX |
| 64 | |
J. Barnat, L. Brim, and P. Rockai: DiVinE 2.0: High-Performance Model
Checking. HiBi 2009. | BibTeX |
| 63 | |
J. Barnat, L. Brim, and P. Simecek: Cluster-Based I/O-Efficient LTL Model Checking. ASE 2009. | BibTeX |
| 62 | |
J. Barnat, L. Brim, and P. Simecek: Parallel I/O-Efficient State Space
Generation. MASSIVE 2009. | |
| 62 | |
H. Bal, J. Barnat, L. Brim, and K. Verstoep: Efficient Large-Scale Model Checking.
IPDPS 2009. | BibTeX |
| 61 | |
N. Benes, L. Brim, I. Cerna, J. Sochor,
P. Varekova and B. Zimmerova: Partial Order Reduction for
State/Event LTL. IFM 2009. | |
| 2008 |
|---|
| 60 | |
J. Barnat, L. Brim, I. Cerna, M. Ceska and J. Tumova: Local Quantitative LTL Model Checking.
FMICS 2008. | |
| 59 | |
J. Barnat, L. Brim, S. Edelkamp, D. Sulewski and P. Simecek: Can Flash Memory Help in Model Checking.
FMICS 2008. | |
| 58 | EE |
L. Brim, J. Barnat: Squeeze All the Power Out of Your Hardware to Verify Your Software!
ISOLA 2008. | |
| 57 | EE |
J. Barnat, L. Brim, P. Rockai: DiVinE Multi-Core -- A Parallel LTL Model-Checker.
ATVA 2008. | |
| 56 | |
J. Barnat, L. Brim, I. Cerna, M. Ceska, J. Tumova: ProbDiVinE-MC: Multi-Core LTL Model Checker for Probabilistic Systems.
QEST 2008. | |
| 55 | EE |
J. Barnat, L. Brim, P. Simecek, M. Weber: Revisiting Resistance Speeds Up LTL
Model Checking.
TACAS 2008. | |
| 2007 |
|---|
| 54 | |
J. Barnat, L. Brim, I. Cerna, S. Drazan, D. Safranek: Parallel Model Checking Large-Scale Genetic Regulatory Network with DIVINE.
FBTC 2007. | |
| 53 | |
J. Barnat, L. Brim, I. Cerna, M. Ceska, J. Tumova: ProbDiVinE - A Parallel
Qualitative LTL Model-Checker.
QEST 2007. | |
| 52 | |
L. Brim, J. Barnat: Tutorial on Parallel Model-Checking.
SPIN 2007. | |
| 51 | |
J. Barnat, L. Brim, P. Rockai: Scalable Multi-Core LTL Model-Checking.
SPIN 2007. | |
| 50 | |
J. Barnat, L. Brim, M. Leucker: Parallel Model Checking and the FMICS-jETI Platform.
ICECCS 2007. | |
| 49 | EE |
J. Barnat, L. Brim, P. Simecek: I/O Efficient Accepting Cycle Detection.
CAV 2007. | |
| 48 | |
L. Brim, M. Kretinsky: Model Checking Large Finite-State
Systems and Beyond. SOFSEM 2007. | |
| 2006 |
|---|
| 47 | |
J. Barnat, L. Brim, I. Cerna, M. Ceska, J. Tumova: Distributed Qualitative LTL Model Checking of Markov
Decision Processes. PDMC 2006. | |
| 46 | |
L. Brim, I. Cerna, P. Moravec, J. Simsa: On Combining Partial Order Reduction
with Fairness Assumptions. FMICS 2006. | BibTeX |
| 45 | |
L. Brim: Distributed Verification: Exploring the Power of Raw Computing
Power. PDMC 2006. | BibTeX |
| 44 | EE |
J. Barnat, L. Brim, I. Cerna, P. Moravec, P. Rockai, P. Simecek: DiVinE - The
Distributed Verification Environment. CAV 2006. | BibTeX |
| 43 | EE | Lubos Brim,
Ivana Cerna,
Pavel Moravec,
Jiri Simsa:
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors.
Electr. Notes Theor. Comput. Sci. 135(2): 3-18 (2006) | |
| 2005 |
|---|
| 42 | |
Jiri Barnat, Lubos Brim, Ivana Cerna: Distributed Analysis of Large
Systems. FMCO 2005. | |
| 41 | EE |
Barbora Zimmerova, Lubos Brim, Ivana Cerna,
Pavlina Varekova:
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification.
SAVCBS 2005. | |
| 40 | EE |
Radek Pelanek, Tomas Hanzl, Ivana Cerna, Lubos Brim:
Enhancing Random Walk State Space Exploration.
FMICS 2005. | BibTeX |
| 39 | |
Jiri Barnat, Lubos Brim, Ivana Cerna, Pavel Simecek:
DiVinE - The Distributed Verification Environment.
PDMC 2005. | |
| 38 | |
Lubos Brim, Ivana Cerna, Pavel Moravec, Jiri Simsa:
How to Order Vertices for Distributed LTL Model-Checking Based on
Accepting Predecessors.
PDMC 2005. | |
| 37 | EE | Jiri Barnat, Lubos Brim and Jakub Chaloupka:
From Distributed Memory Cycle Detection to Parallel LTL Model Checking. ENTCS
133(1): (2005) | BibTeX |
| 36 | EE | Lubos Brim, Ivana Cerna, Pavel Moravec, Jiri Simsa:
Distributed Partial Order Reduction of State Spaces. ENTCS 128(3): (2005) | BibTeX |
| 35 | EE | Lubos Brim,
Orna Grumberg: Introductory Paper: Parallel and Distributed Model-Checking.
International Journal on Software Tools for Technology Transfer, Feb.
2005 | BibTeX |
| 34 | EE | Lubos Brim,
Karen Yorav, Jitka Zidkova: Assumption-based distribution of CTL model checking.
International Journal on Software Tools for Technology Transfer, Feb.
2005 | BibTeX |
| 2004 |
|---|
| 33 | | Lubos Brim,
Ivana Cerna, Lukas Hejtmanek: Distributed Negative Cycle Detection Algorithms.
In Parallel Computing: Software Technology, Algorithms, Architectures & Applications. Elsevier B.V., 2004. | |
| 32 | |
Jiri Barnat, Lubos Brim, Jakub Chaloupka:
From Distributed Memory Cycle Detection to Parallel LTL Model
Checking.
FMICS 2004. | |
| 31 | | Lubos Brim, Ivana Cerna, Pavel Moravec, Jiri Simsa:
Distributed Partial Order Reduction of State Spaces.
PDMC 2004. | |
| 30 | EE |
Lubos Brim, Ivana Cerna, Pavel Moravec, Jiri Simsa:
Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.
FMCAD 2004. | BibTeX |
| 29 | | Lubos Brim:
Parallel Model-Checking.
ERCIM News, number 58, July 2004. | |
| 2003 |
|---|
| 28 | |
Jiri Barnat, Lubos Brim, Jakub Chaloupka:
Parallel Breadth-First Search LTL Model-Checking.
ASE 2003. | BibTeX |
| 27 | EE | Lubos Brim,
Orna Grumberg:
Preface.
ENTCS 89(1): (2003) | BibTeX |
| 26 | EE | Lubos Brim,
Jitka Zidkova:
Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking.
PDMC 2003 (ENTCS 89.1). | BibTeX |
| 25 | | Lubos Brim,
Ivana Cerna, Lukas Hejtmanek:
Distributed Negative Cycle
Detection Algorithms.
PARCO 2003. | |
| 24 | | Lubos Brim,
Mojmír Kretínský, Jean-Marie Jacquet, David Gilbert:
Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes.
Computing and Informatics, Vol. 21, 2002. | |
| 23 | EE | Lubos Brim,
Jiri Barnat:
Distribution of Explicit-State LTL Model-Checking.
FMICS 2003 (ENTCS 80). | BibTeX |
| 22 | EE | Jean-Marie Jacquet,
Lubos Brim,
David Gilbert,
Mojmír Kretínský:
Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming.
ENTCS 68(3): (2003) | BibTeX |
| 2002 |
|---|
| 21 | | Lubos Brim: Automated Formal Verification. EurOpen 2002. | |
| 20 | EE | Jiri
Barnat, Lubos Brim, Ivana Cerna: Property Driven Distribution of Nested
DFS. VCL'02. | BibTeX |
| 19 | | Lubos Brim,
Petr Jancar,
Mojmír Kretínský,
Antonín Kucera:
CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings.
Springer 2002 | |
| 18 | EE | Lubos Brim,
Orna Grumberg:
Preface.
ENTCS 68(4): (2002) | BibTeX |
| 17 | EE | Lubos Brim,
Jitka Crhova,
Karen Yorav:
Using Assumptions to Distribute CTL Model Checking.
ENTCS 68(4): (2002) | BibTeX |
| 2001 |
|---|
| 16 | EE | Lubos Brim,
Ivana Cerna,
Pavel Krcál,
Radek Pelánek:
Distributed LTL Model Checking Based on Negative Cycle Detection.
FSTTCS 2001: 96-107 | BibTeX |
| 15 | EE | Lubos Brim,
Ivana Cerna,
Martin Necesal:
Randomization Helps in LTL Model Checking.
PAPM-PROBMIV 2001: 105-119 | BibTeX |
| 14 | EE | Lubos Brim,
Ivana Cerna,
Pavel Krcál,
Radek Pelánek:
How to Employ Reverse Search in Distributed Single Source Shortest Paths.
SOFSEM 2001: 191-200 | BibTeX |
| 13 | EE | Lubos Brim,
David Gilbert,
Jean-Marie Jacquet,
Mojmír Kretínský:
Multi-agent Systems as Concurrent Constraint Processes.
SOFSEM 2001: 201-210 | BibTeX |
| 12 | EE | Jiri Barnat,
Lubos Brim,
Jitka Stríbrná:
Distributed LTL Model-Checking in SPIN.
SPIN 2001: 200-216 | BibTeX |
| 1998 |
|---|
| 11 | | Lubos Brim,
Jozef Gruska,
Jirí Zlatuska:
Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings.
Springer 1998 | |
| 1997 |
|---|
| 10 | | Lubos Brim,
Jean-Marie Jacquet,
David Gilbert,
Mojmír Kretínský:
Adding Time via Timed Transitions to
Concurrent Constraint Programming.
ERCIM/COMPULOG Workshop. | |
| 9 | | Lubos Brim,
Jean-Marie Jacquet,
David Gilbert,
Mojmír Kretínský:
Temporal Synchronous Concurrent Constraint
Programming. COTIC'97. | |
| 1996 |
|---|
| 8 | | Lubos Brim,
Jean-Marie Jacquet,
David Gilbert,
Mojmír Kretínský:
A Process Algebra for Synchronous Concurrent Constraint Programming.
ALP 1996: 165-178 | |
| 1995 |
|---|
| 7 | | Lubos Brim,
David Gilbert,
Jean-Marie Jacquet,
Mojmír Kretínský:
Synchronisation in Scc.
ILPS 1995: 641 | |
| 1993 |
|---|
| 6 | |
David Gilbert, Mojmír Kretínský,Lubos Brim:
Operational semantics of concurrent logical systems. ALP-UK Workshop on
Concurrency in Computational Logic: 13 - 18 | |
| 5 | | Lubos Brim:
Modal mu-calculus with distances. Scripta Fac. Brun., Computer
Science and Applied Mathematcs 23 (1993): 51-63. | |
| 1992 |
|---|
| 4 | | Lubos Brim:
Modal Logics in Timed Process Algebras.
NAPAW 1992: 13-26 | |
| 3 | | Lubos Brim:
Analysing Time Aspects of Dynamic Systems. 11th European Meeting on Cybernetics and System Research, Vienna. | |
| 1991 |
|---|
| 2 | | Lubos Brim, Mojmír Kretínský:
Timed CCS with Interrupt Operators.
Proc. Rennes Sister Cities Computer Science Research Workshop,
Rennes, France. | |
| 1 | | Lubos Brim:
Categorising Real-Time Buffers.
SOFSEM 1991. | |