The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tomás Vojnar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.038secs, Finished in 0.040secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002