|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 7 keywords
|
|
|
|
|
Results
Found 62 publication records. Showing 62 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar |
Abstract regular (tree) model checking.  |
STTT  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ondrej Lengál, Jirí Simácek, Tomás Vojnar |
VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar |
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution). |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zdenek Kotásek, Jan Bouda, Ivana Cerná, Lukás Sekanina, Tomás Vojnar, David Antos (eds.) |
Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar |
Programs with lists are counter automata. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar |
Advanced Ramsey-Based Büchi Automata Inclusion Testing. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bohuslav Krena, Zdenek Letko, Tomás Vojnar |
Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Tomás Vojnar |
DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukás Holík, Ondrej Lengál, Jirí Simácek, Tomás Vojnar |
Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Jonathan Cederberg, Tomás Vojnar |
Monotonic Abstraction for Programs with Multiply-Linked Structures. |
RP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bohuslav Krena, Zdenek Letko, Tomás Vojnar |
Noise Injection Heuristics for Concurrency Testing. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludek Matyska, Michal Kozubek, Tomás Vojnar, Pavel Zemcík, David Antos (eds.) |
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic |
MEMICS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar |
Forest Automata for Verification of Heap Manipulation. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamil Dudka, Petr Peringer, Tomás Vojnar |
Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamil Dudka, Petr Peringer, Tomás Vojnar |
An Easy to Use Infrastructure for Building Static Analysis Tools. |
EUROCAST |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Fiedor, Bohuslav Krena, Zdenek Letko, Tomás Vojnar |
A Uniform Classification of Common Concurrency Errors. |
EUROCAST |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Vojnar |
Efficient Algorithms for Handling Nondeterministic Automata. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Habermehl, Radu Iosif, Tomás Vojnar |
Automata-based verification of programs with tree updates. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar |
When Simulation Meets Antichains. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bohuslav Krena, Zdenek Letko, Tomás Vojnar, Shmuel Ur |
A platform for search-based testing of concurrent software. |
PDATAD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Prochazka, Tomás Vojnar, Martin Drahanský |
Hijacking the Linux Kernel. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar |
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar |
Composed Bisimulation for Tree Automata. |
Int. J. Found. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Lukás Holík, Lisa Kaati, Tomás Vojnar |
A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Habermehl, Tomás Vojnar |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar |
A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hlinený, Václav Matyás, Tomás Vojnar |
Preface -- Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). |
MEMICS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Petr Hlinený, Václav Matyás, Tomás Vojnar (eds.) |
Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2009, November 13-15, 2009, Prestige Hotel, Znojmo, Czech Republic |
MEMICS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar |
Automatic Verification of Integer Array Programs. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vendula Hrubá, Bohuslav Krena, Tomás Vojnar |
Self-healing Assurance Based on Bounded Model Checking. |
EUROCAST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar |
Mediating for Reduction (on Minimizing Alternating Büchi Automata). |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar |
Verification of parametric concurrent systems with prioritised FIFO resource management. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Parameterised verification, Infinite-state system verification, Cut off, Parameterised networks of processes, Model checking, Formal verification, Resource sharing |
| 1 | Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar |
Computing Simulations over Tree Automata. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zdenek Letko, Tomás Vojnar, Bohuslav Krena |
AtomRace: data race and atomicity violation detector and healer. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Habermehl, Radu Iosif, Tomás Vojnar |
A Logic of Singly Indexed Arrays. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Peter Habermehl, Lukás Holík, Tayssir Touili, Tomás Vojnar |
Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar |
Composed Bisimulation for Tree Automata. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Habermehl, Radu Iosif, Tomás Vojnar |
What Else Is Decidable about Integer Arrays?. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Ceska, Pavel Erlebach, Tomás Vojnar |
Generalised multi-pattern-based verification of programs with linear linked structures. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Dynamic linked data structures, Formal verification, Program analysis |
| 1 | Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar |
Healing data races on-the-fly. |
PADTAD |
2007 |
DBLP DOI BibTeX RDF |
testing, concurrency, self-healing |
| 1 | Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar |
Proving Termination of Tree Manipulating Programs. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukás Sekanina, Tomas Hruska, Tomás Vojnar, Dusan Kolár, Jan Cernocký |
On Some Directions in Security-Oriented Research. |
BLISS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Ceska, Pavel Erlebach, Tomás Vojnar |
Pattern-Based Verification for Trees. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ales Smrcka, Tomás Vojnar |
Verifying Parametrised Hardware Designs Via Counter Automata. |
Haifa Verification Conference |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Ceska, Pavel Erlebach, Tomás Vojnar |
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar |
Abstract Regular Tree Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Habermehl, Radu Iosif, Tomás Vojnar |
Automata-Based Verification of Programs with Tree Updates. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ales Smrcka, Vojtech Rehák, Tomás Vojnar, David Safránek, Petr Matousek, Z. Rehák |
Verifying VHDL Designs with Multiple Clocks in SMV. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar |
Programs with Lists Are Counter Automata. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar |
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Habermehl, Tomás Vojnar |
Regular Model Checking Using Inference of Regular Languages. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar |
Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Matousek, Ales Smrcka, Tomás Vojnar |
High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Ceska, Bohuslav Krena, Tomás Vojnar |
Parallel State Space Generation and Exploration on Shared-Memory Architectures. |
EUROCAST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar |
Abstract Regular Model Checking. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar |
Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Ceska, Ludek Hasa, Tomás Vojnar |
Partial-Order Reduction in Model Checking Object-Oriented Petri Nets. |
EUROCAST |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Ceska, Vladimír Janousek, Tomás Vojnar |
Generating and using state spaces of object-oriented Petri nets. |
Comput. Syst. Sci. Eng. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Milan Ceska, Vladimír Janousek, Tomás Vojnar |
Analysis and Verification Queries over Object-Oriented Petri Nets. |
EUROCAST |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Ceska, Vladimír Janousek, Tomás Vojnar |
Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. |
EUROCAST |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Ceska, Vladimír Janousek, Tomás Vojnar |
PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. |
EUROCAST |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #62 of 62 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")