Tomás Vojnar

	2009
36		Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar: Automatic Verification of Integer Array Programs. CAV 2009: 157-172
35		Vendula Hrubá, Bohuslav Krena, Tomás Vojnar: Self-healing Assurance Based on Bounded Model Checking. EUROCAST 2009: 295-303
34		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: 101-114
33		Peter Habermehl, Tomás Vojnar: Preface. Electr. Notes Theor. Comput. Sci. 239: 1-3 (2009)
32		Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar: Preface. Electr. Notes Theor. Comput. Sci. 251: 1-3 (2009)
31		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. 251: 27-48 (2009)
30		Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar: Composed Bisimulation for Tree Automata. Int. J. Found. Comput. Sci. 20(4): 685-700 (2009)
	2008
29		Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar: Composed Bisimulation for Tree Automata. CIAA 2008: 212-222
28		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: 57-67
27		Peter Habermehl, Radu Iosif, Tomás Vojnar: What Else Is Decidable about Integer Arrays?. FoSSaCS 2008: 474-489
26		Peter Habermehl, Radu Iosif, Tomás Vojnar: A Logic of Singly Indexed Arrays. LPAR 2008: 558-573
25		Zdenek Letko, Tomás Vojnar, Bohuslav Krena: AtomRace: data race and atomicity violation detector and healer. PADTAD 2008: 7
24		Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar: Computing Simulations over Tree Automata. TACAS 2008: 93-108
23		Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar: Verification of parametric concurrent systems with prioritised FIFO resource management. Formal Methods in System Design 32(2): 129-172 (2008)
	2007
22		Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar: Proving Termination of Tree Manipulating Programs. ATVA 2007: 145-161
21		Milan Ceska, Pavel Erlebach, Tomás Vojnar: Pattern-Based Verification for Trees. EUROCAST 2007: 488-496
20		Ales Smrcka, Tomás Vojnar: Verifying Parametrised Hardware Designs Via Counter Automata. Haifa Verification Conference 2007: 51-68
19		Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar: Healing data races on-the-fly. PADTAD 2007: 54-64
18		Milan Ceska, Pavel Erlebach, Tomás Vojnar: Generalised multi-pattern-based verification of programs with linear linked structures. Formal Asp. Comput. 19(3): 363-374 (2007)
	2006
17		Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar: Programs with Lists Are Counter Automata. CAV 2006: 517-531
16		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: 148-164
15		Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar: Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. SAS 2006: 52-70
14		Peter Habermehl, Radu Iosif, Tomás Vojnar: Automata-Based Verification of Programs with Tree Updates. TACAS 2006: 350-364
13		Milan Ceska, Pavel Erlebach, Tomás Vojnar: Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. Electr. Notes Theor. Comput. Sci. 145: 113-130 (2006)
12		Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar: Abstract Regular Tree Model Checking. Electr. Notes Theor. Comput. Sci. 149(1): 37-48 (2006)
	2005
11		Petr Matousek, Ales Smrcka, Tomás Vojnar: High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. CHARME 2005: 371-375
10		Milan Ceska, Bohuslav Krena, Tomás Vojnar: Parallel State Space Generation and Exploration on Shared-Memory Architectures. EUROCAST 2005: 275-280
9		Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar: Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. TACAS 2005: 13-29
8		Peter Habermehl, Tomás Vojnar: Regular Model Checking Using Inference of Regular Languages. Electr. Notes Theor. Comput. Sci. 138(3): 21-36 (2005)
	2004
7		Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar: Abstract Regular Model Checking. CAV 2004: 372-386
	2003
6		Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar: Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. CONCUR 2003: 172-187
5		Milan Ceska, Ludek Hasa, Tomás Vojnar: Partial-Order Reduction in Model Checking Object-Oriented Petri Nets. EUROCAST 2003: 265-278
	2001
4		Milan Ceska, Vladimír Janousek, Tomás Vojnar: Analysis and Verification Queries over Object-Oriented Petri Nets. EUROCAST 2001: 369-384
3		Milan Ceska, Vladimír Janousek, Tomás Vojnar: Generating and using state spaces of object-oriented Petri nets. Comput. Syst. Sci. Eng. 16(3): 183-193 (2001)
	1999
2		Milan Ceska, Vladimír Janousek, Tomás Vojnar: Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. EUROCAST 1999: 90-104
	1997
1		Milan Ceska, Vladimír Janousek, Tomás Vojnar: PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. EUROCAST 1997: 591-610

Coauthor Index

1	Parosh Aziz Abdulla	[24] [29] [30] [31]
2	Ahmed Bouajjani	[6] [7] [9] [12] [15] [17] [23] [24] [28] [29] [30]
3	Marius Bozga	[17] [36]
4	Milan Ceska	[1] [2] [3] [4] [5] [10] [13] [18] [21] [32]
5	Pavel Erlebach	[13] [18] [21]
6	Peter Habermehl	[6] [7] [8] [9] [12] [14] [15] [17] [22] [23] [26] [27] [28] [33] [36]
7	Ludek Hasa	[5]
8	Lukás Holík	[24] [28] [29] [30] [31]
9	Vendula Hrubá	[35]
10	Radu Iosif	[14] [17] [22] [26] [27] [36]
11	Vladimír Janousek	[1] [2] [3] [4]
12	Lisa Kaati	[24] [29] [30] [31]
13	Filip Konecný	[36]
14	Zdenek Kotásek	[32]
15	Bohuslav Krena	[10] [19] [25] [34] [35]
16	Mojmír Kretínský	[32]
17	Zdenek Letko	[19] [25] [34]
18	Petr Matousek	[11] [16]
19	Ludek Matyska	[32]
20	Pierre Moro	[9] [17]
21	Yarden Nir-Buchbinder (Yarden Nir)	[34]
22	Vojtech Rehák	[16]
23	Z. Rehák	[16]
24	Adam Rogalewicz	[12] [15] [22]
25	David Safránek	[16]
26	Ales Smrcka	[11] [16] [20]
27	Tayssir Touili	[28]
28	Rachel Tzoref (Rachel Tzoref-Brill)	[19] [34]
29	Shmuel Ur	[19] [34]

Colors in the list of coauthors