|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 45 publication records. Showing 45 according to the selection in the facets
| 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 | 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 | Jiri Barnat, Jakub Chaloupka, Jaco van de Pol |
Distributed Algorithms for SCC Decomposition. |
J. Log. Comput. |
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 | Jiri Barnat, Keijo Heljanko (eds.) |
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jiri Barnat |
Platform Dependent Verification: On Engineering Verification Tools for 21st Century |
PDMC |
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 | Jiri Barnat, Ivana Cerná, Jana Tumova |
Timed Automata Approach to Verification of Systems with Degradation. |
MEMICS |
2011 |
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 | Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat |
A symbolic approach to controlling piecewise affine systems. |
CDC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat |
Formal analysis of piecewise affine systems through formula-guided refinement. |
CDC |
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 | 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 | Jiri Barnat, Ivana Cerná, Jana Tumova |
Quantitative Model Checking of Systems with Degradation. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Jakub Chaloupka, Jaco van de Pol |
Improved Distributed Algorithms for SCC Decomposition. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI 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, Petr Rockai |
Shared Hash Tables in Parallel Model Checking. |
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 | 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 | Jiri Barnat, Ivana Cerná |
Distributed breadth-first search LTL model checking. |
Formal Methods in System Design |
2006 |
DBLP DOI BibTeX RDF |
LTL model checking, Distributed memory, Breadth-first search |
| 1 | Jiri Barnat, Pavel Moravec 0002 |
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. |
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 | Jiri Barnat, Lubos Brim, Ivana Cerná |
Cluster-Based LTL Model Checking of Large Systems. |
FMCO |
2005 |
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 | Jiri Barnat, Lubos Brim, Jakub Chaloupka |
Parallel Breadth-First Search LTL Model-Checking. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Jitka Stríbrná |
Distributed LTL Model-Checking in SPIN. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #45 of 45 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")