Search the dblp DataBase

Publications of Author

1. Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar
   Programs with Lists Are Counter Automata. [Citation Graph (0, 0)][DBLP]
   CAV, 2006, pp:517-531 [Conf]
   
2. Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar
   Abstract Regular Model Checking. [Citation Graph (0, 0)][DBLP]
   CAV, 2004, pp:372-386 [Conf]
   
3. Petr Matousek, Ales Smrcka, Tomás Vojnar
   High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. [Citation Graph (0, 0)][DBLP]
   CHARME, 2005, pp:371-375 [Conf]
   
4. Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar
   Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2003, pp:172-187 [Conf]
   
5. Milan Ceska, Ludek Hasa, Tomás Vojnar
   Partial-Order Reduction in Model Checking Object-Oriented Petri Nets. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 2003, pp:265-278 [Conf]
   
6. Milan Ceska, Vladimír Janousek, Tomás Vojnar
   Analysis and Verification Queries over Object-Oriented Petri Nets. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 2001, pp:369-384 [Conf]
   
7. Milan Ceska, Vladimír Janousek, Tomás Vojnar
   PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 1997, pp:591-610 [Conf]
   
8. Milan Ceska, Vladimír Janousek, Tomás Vojnar
   Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 1999, pp:90-104 [Conf]
   
9. Milan Ceska, Bohuslav Krena, Tomás Vojnar
   Parallel State Space Generation and Exploration on Shared-Memory Architectures. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 2005, pp:275-280 [Conf]
   
10. Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar
    Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:52-70 [Conf]
    
11. Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar
    Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:13-29 [Conf]
    
12. Peter Habermehl, Radu Iosif, Tomás Vojnar
    Automata-Based Verification of Programs with Tree Updates. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:350-364 [Conf]
    
13. Milan Ceska, Vladimír Janousek, Tomás Vojnar
    Generating and using state spaces of object-oriented Petri nets. [Citation Graph (0, 0)][DBLP]
    Comput. Syst. Sci. Eng., 2001, v:16, n:3, pp:183-193 [Journal]
    
14. Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar
    Abstract Regular Tree Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:149, n:1, pp:37-48 [Journal]
    
15. Milan Ceska, Pavel Erlebach, Tomás Vojnar
    Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:113-130 [Journal]
    
16. Peter Habermehl, Tomás Vojnar
    Regular Model Checking Using Inference of Regular Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:138, n:3, pp:21-36 [Journal]
    
17. Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar
    Proving Termination of Tree Manipulating Programs. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:145-161 [Conf]
    
18. Milan Ceska, Pavel Erlebach, Tomás Vojnar
    Pattern-Based Verification for Trees. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2007, pp:488-496 [Conf]
    
19. Ales Smrcka, Vojtech Rehák, Tomás Vojnar, David Safránek, Petr Matousek, Z. Rehák
    Verifying VHDL Designs with Multiple Clocks in SMV. [Citation Graph (0, 0)][DBLP]
    FMICS/PDMC, 2006, pp:148-164 [Conf]
    
20. Milan Ceska, Pavel Erlebach, Tomás Vojnar
    Generalised multi-pattern-based verification of programs with linear linked structures. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:3, pp:363-374 [Journal]
    
21. 
    Automatic Verification of Integer Array Programs. [Citation Graph (, )][DBLP]
    
    
22. 
    Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. [Citation Graph (, )][DBLP]
    
    
23. 
    Self-healing Assurance Based on Bounded Model Checking. [Citation Graph (, )][DBLP]
    
    
24. 
    What Else Is Decidable about Integer Arrays?. [Citation Graph (, )][DBLP]
    
    
25. 
    Mediating for Reduction (on Minimizing Alternating Büchi Automata). [Citation Graph (, )][DBLP]
    
    
26. 
    Verifying Parametrised Hardware Designs Via Counter Automata. [Citation Graph (, )][DBLP]
    
    
27. 
    AtomRace: data race and atomicity violation detector and healer. [Citation Graph (, )][DBLP]
    
    
28. 
    Healing data races on-the-fly. [Citation Graph (, )][DBLP]
    
    
29. 
    A Logic of Singly Indexed Arrays. [Citation Graph (, )][DBLP]
    
    
30. 
    Computing Simulations over Tree Automata. [Citation Graph (, )][DBLP]
    
    
31. 
    When Simulation Meets Antichains. [Citation Graph (, )][DBLP]
    
    
32. 
    Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. [Citation Graph (, )][DBLP]
    
    
33. 
    Composed Bisimulation for Tree Automata. [Citation Graph (, )][DBLP]
    
    
34. 
    A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. [Citation Graph (, )][DBLP]
    
    
35. 
    On Some Directions in Security-Oriented Research. [Citation Graph (, )][DBLP]
    
    
36. 
    Preface -- Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). [Citation Graph (, )][DBLP]
    
    
37. 
    Automata-based verification of programs with tree updates. [Citation Graph (, )][DBLP]
    
    
38. 
    Preface. [Citation Graph (, )][DBLP]
    
    
39. 
    A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. [Citation Graph (, )][DBLP]
    
    
40. 
    Preface. [Citation Graph (, )][DBLP]