| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jiri Barnat, Lubos Brim, Adam Krejci, Adam Streck, David Safránek, Martin Vejnar, Tomas Vejpustek |
On Parameter Synthesis by Parallel Model Checking.  |
IEEE/ACM Trans. Comput. Biology Bioinform.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Petr Rockai |
Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs. |
NASA Formal Methods |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková |
Partial order reduction for state/event LTL with application to component-interaction automata. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek |
Flash memory efficient LTL model checking. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Safránek, Jan Cervený, Matej Klement, Jana Pospísilová, Lubos Brim, Dusan Lazar, Ladislav Nedbal |
E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes. |
Biosystems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska |
Computing Optimal Cycle Mean in Parallel on CUDA |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek |
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Lubos Brim, Jiri Barnat |
Platform Dependent Verification: On Engineering Verification Tools for 21st Century |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek |
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract) |
CompMod |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin |
Faster algorithms for mean-payoff games. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska |
Computing Strongly Connected Components in Parallel on CUDA. |
IPDPS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jakub Chaloupka |
Using Strategy Improvement to Stay Alive |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, David Safránek |
High-performance analysis of biological systems dynamics with the DiVinE model checker. |
Briefings in Bioinformatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Petr Rockai |
Scalable shared memory LTL model checking. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Petr Rockai |
Parallel Partial Order Reduction with Topological Sort Proviso. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska |
Employing Multiple CUDA Devices to Accelerate LTL Model Checking. |
ICPADS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, David Safránek |
On algorithmic analysis of transcriptional regulation by LTL model checking. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Milan Ceska |
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking |
PDMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jaco van de Pol (eds.) |
Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation |
PDMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, Jan Láník, David Safránek, Hongwu Ma |
BioDiVinE: A Framework for Parallel Analysis of Biological Models |
COMPMOD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Petr Rockai |
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Pavel Simecek |
Cluster-Based I/O-Efficient LTL Model Checking. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
I/O-efficient model checking, parallel model checking, LTL |
| 1 | Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim |
Efficient large-scale model checking. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Milan Ceska, Tomas Lamr |
CUDA Accelerated LTL Model Checking. |
ICPADS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova |
Partial Order Reduction for State/Event LTL. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakub Chaloupka, Lubos Brim |
Faster Algorithm for Mean-Payoff Games. |
MEMICS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek |
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber |
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek |
Can Flash Memory Help in Model Checking? |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova |
Local Quantitative LTL Model Checking. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Petr Rockai |
DiVinE Multi-Core - A Parallel LTL Model-Checker. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova |
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim |
Squeeze All the Power Out of Your Hardware to Verify Your Software!. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol (eds.) |
Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers |
FMICS/PDMC |
2007 |
DBLP BibTeX RDF |
|
| 1 | Barbora Zimmerova, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor |
Component-Interaction Automata Approach (CoIn). |
CoCoME |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Petr Rockai |
Scalable Multi-core LTL Model-Checking. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jiri Barnat |
Tutorial: Parallel Model Checking. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Pavel Simecek |
I/O Efficient Accepting Cycle Detection. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova |
ProbDiVinE: A Parallel Qualitative LTL Model Checker. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Martin Leucker |
Parallel Model Checking and the FMICS-jETI Platform. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Mojmír Kretínský |
Model-Checking Large Finite-State Systems and Beyond. |
SOFSEM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Isabelle Linden |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa |
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova |
Component-interaction automata as a verification-oriented component-based system specification. |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
Component-based specification languages, component-interaction automata, team automata, verification, ADLs, I/O automata, interface automata, component interaction |
| 1 | Lubos Brim, Martin Leucker |
Foreword. |
Formal Methods in System Design |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim |
Distributed Verification: Exploring the Power of Raw Computing Power. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa |
On Combining Partial Order Reduction with Fairness Assumptions. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Petr Rockai, Pavel Simecek |
DiVinE - A Tool for Distributed Verification. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Jakub Chaloupka |
From Distributed Memory Cycle Detection to Parallel LTL Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Martin Leucker |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa |
Distributed Partial Order Reduction of State Spaces. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Orna Grumberg |
Introductory paper. |
STTT |
2005 |
DBLP DOI BibTeX RDF |
Parallel verification, Model checking, Distributed computing |
| 1 | Lubos Brim, Karen Yorav, Jitka Zidkova |
Assumption-based distribution of CTL model checking. |
STTT |
2005 |
DBLP DOI BibTeX RDF |
Many-valuated logics, Model checking, Distributed algorithms, Branching time logics |
| 1 | Jiri Barnat, Lubos Brim, Ivana Cerná |
Cluster-Based LTL Model Checking of Large Systems. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa |
Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marie Jacquet, Lubos Brim, David Gilbert, Mojmír Kretínský |
Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jitka Zidkova |
Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jiri Barnat |
Distribution of Explicit-State LTL Model-Checking. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Orna Grumberg |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Jakub Chaloupka |
Parallel Breadth-First Search LTL Model-Checking. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Ivana Cerná, Lukás Hejtmánek |
Distributed Negative Cycle Detection Algorithms. |
PARCO |
2003 |
DBLP BibTeX RDF |
|
| 1 | Lubos Brim, Mojmír Kretínský, Jean-Marie Jacquet, David Gilbert |
Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes. |
Computers and Artificial Intelligence |
2002 |
DBLP BibTeX RDF |
|
| 1 | Lubos Brim, Orna Grumberg |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jitka Crhova, Karen Yorav |
Using Assumptions to Distribute CTL Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Petr Jancar, Mojmír Kretínský, Antonín Kucera (eds.) |
CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings |
CONCUR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Jitka Stríbrná |
Distributed LTL Model-Checking in SPIN. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Ivana Cerná, Martin Necesal |
Randomization Helps in LTL Model Checking. |
PAPM-PROBMIV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek |
How to Employ Reverse Search in Distributed Single Source Shortest Paths. |
SOFSEM |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský |
Multi-agent Systems as Concurrent Constraint Processes. |
SOFSEM |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek |
Distributed LTL Model Checking Based on Negative Cycle Detection. |
FSTTCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jozef Gruska, Jirí Zlatuska (eds.) |
Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings |
MFCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Lubos Brim, Jean-Marie Jacquet, David Gilbert, Mojmír Kretínský |
A Process Algebra for Synchronous Concurrent Constraint Programming. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský |
Synchronisation in Scc. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Lubos Brim |
Modal Logics in Timed Process Algebras. |
NAPAW |
1992 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")