prof. Ing.

Tomáš Vojnar

Ph.D.

Supervisor

+420 54114 1202
vojnar@fit.vut.cz
A215 Office
2491/BUT personal ID

Publications

Selected Publications

Publications at DBLP.
Publications at Google Scholar.

2021 

  • V. Malik and T. Vojnar. Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. In Proc. of the IEEE International Conference on Software Testing, Verification and Validation 2021---ICST'21, Ipojuca, Brazil, virtual due to COVID-19. To be published by IEEE, 2021. A preliminary version is available here. The DiffKemp tool is available here.
  • V. Havlena, L. Holik, O. Lengal, and T. Vojnar. Automata Terms in a Lazy WSkS Decision Procedure. Journal of Automated Reasoning, 65(7):971--999, 2021. The first version appeared in the the Proc. of CADE-27.
  • L. Charvat, A. Smrcka, and T. Vojnar. Utilizing Parametric Systems for Detection of Pipeline Hazards. International Journal on Software Tools for Technology Transfer (STTT), XX(XX):XXX--XXX, Springer, XXXX. A preliminary version is available here.

2020 

2019 

2018 

2017 

2016 

2015 

  • T. Fiedor, L. Holik, O. Lengal, and T. Vojnar. Nested Antichains for WS1S. In Proc. of 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems---TACAS'15, London, UK, volume 9035 of LNCS, pages 658--674, 2015. Springer-Verlag. A preliminary version is available here. An extended version appeared as the technical report FIT-TR-2014-01, FIT BUT, Brno, Czech Republic, 2014. The concerned tool called dWiNA is available here.
  • P. Muller, P. Peringer, and T. Vojnar. Predator Hunting Party (Competition Contribution). In Proc. of 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems---TACAS'15 as a competition contribution within the 4th International Competition on Software Verification---SV-COMP'15, London, UK, volume 9035 of LNCS, pages 443--446, 2015. Springer-Verlag. A preliminary version is available here.
  • L. Holik, M. Hruska, O. Lengal, A. Rogalewicz, J. Simacek, and T. Vojnar. Forester: Shape Analysis Using Tree Automata (Competition Contribution). In Proc. of 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems---TACAS'15 as a competition contribution within the 4th International Competition on Software Verification---SV-COMP'15, London, UK, volume 9035 of LNCS, pages 432--435, 2015. Springer-Verlag. A preliminary version is available here.
  • J. Fiedor, Z. Letko, J. Lourenco, and T. Vojnar. Dynamic Validation of Contracts in Concurrent Code. In Proc. of 15th International Conference on Computer Aided Systems Theory---EUROCAST'15, Las Palmas, Spain, volume 9520 of LNCS, pages 555-564, 2015. Springer-Verlag. A preliminary version is available here.
  • L. Charvat, A. Smrcka, and T. Vojnar. Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. In Proc. of 15th International Conference on Computer Aided Systems Theory---EUROCAST'15, Las Palmas, Spain, volume 9520 of LNCS, pages 605--614, 2015. Springer-Verlag. A preliminary version is available here.
  • J. Fiedor, V. Hruba, B. Krena, Z. Letko, S. Ur, and T. Vojnar. Advances in Noise-based Testing of Concurrent Software. In Software Testing, Verification and Reliability, 25(3):272--309, Elsevier, 2015. A preliminary version is available here.

2014 

2013 

2012 

2011 

2010 

2009 

2008 

2007 

2006 

2005 

2004 

  • A. Bouajjani, P. Habermehl, and T. Vojnar. Abstract Regular Model Checking. In Proc. of 16th International Conference on Computer Aided Verification---CAV'04, Boston, Massachusetts, USA, volume 3114 of LNCS, pages 372--386, 2004. Springer-Verlag.
  • A. Rogalewicz and T. Vojnar. Tree Automata In Modelling and Verification Of Concurrent Programs. In Proc. of ASIS'04, MARQ Ostrava, Czech Republic, pages 197--202, 2004.

2003 

  • A. Bouajjani, P. Habermehl, and T. Vojnar. Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. In Proc. of 14th International Conference on Concurrency Theory---CONCUR'03, Marseille, France, volume 2761 of LNCS, pages 174--190, 2003. Springer-Verlag.
  • M. Ceska, L. Hasa, and T. Vojnar. Partial Order Reduction in Model Checking of Object-Oriented Petri Nets. In Proc. of 9th International Workshop on Computer Aided Systems Theory--EUROCAST'03, volume 2809 of LNCS, pages 265--278, 2003. Springer-Verlag.

2002 

2001 

2000 

  • M. Ceska, V. Janousek, and T. Vojnar. Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. In Proc. of 7th International Workshop on Computer Aided Systems Theory---EUROCAST'99, volume 1798 of LNCS, pages 90--104, 2000. Springer-Verlag.
  • M. Ceska, V. Janousek, and T. Vojnar. Generating and Exploiting State Spaces of Object-Oriented Petri Nets. In Proc. of Workshop on Software Engineering and Petri Nets---SEPN'00, Aarhus, Denmark, DAIMI PB-548, pages 35--54, 2000. Department of Computer Science, University of Aarhus.
  • M. Ceska, V. Janousek, and T. Vojnar. PNtalk Modelling Experience. In Proc. of 26th ASU Conference, La Valetta, Malta, pages 65--73, 2000. ASU and University of Malta, Faculty of Science, Department of Statistics and Operations Research.

1998 

  • M. Ceska, V. Janousek, and T. Vojnar. Object-Oriented Petri Nets, Their Simulation, and Analysis. In Proc. of IEEE System, Man, and Cybernetics Conference---SMC'98, San Diego, California, USA, IEEE Catalog Number 98CH36218, pages 256--261, 1998. Omnipress.
  • M. Ceska, V. Janousek, and T. Vojnar. PNtalk--An Experimental System Based on Object-Oriented Petri Nets. In Tool Demonstrations within 19th International Conference on Application and Theory of Petri Nets---ICATPN'98, Lisbon, Portugal, 1998.
  • V. Janousek and T. Vojnar. State Spaces of Object-Oriented Petri Nets. In Proc. of MFCS'98 Workshop on Concurrency, Brno, Czech Republic, Technical Report FIMU-RS-98-06, pages 87--96, 1998. Faculty of Informatics, Masaryk University, Brno, Czech Republic.

1997 

  • M. Ceska, V. Janousek, and T. Vojnar. PNtalk--A Computerized Tool for Object Oriented Petri Nets Modelling. In Proc. of 6th International Workshop on Computer Aided Systems Theory---EUROCAST'97, volume 1333 of LNCS, pages 591--610, 1997. Springer-Verlag.
  • M. Ceska, V. Janousek, and T. Vojnar. PNtalk--A Language and System Based on Object Oriented Petri Nets. In Tool Demonstrations within 18th International Conference on Application and Theory of Petri Nets---ICATPN'97, Toulouse, France, 1997.
  • T. Vojnar. Various Kinds of Petri Nets in Simulation and Modelling. In Proc. of MOSIS'97, Hradec nad Moravici, Czech Republic, pages 227--232, 1997. MARQ Ostrava.

All publications

Back to top