Tomás Vojnar

2008
29	EE	Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar: Composed Bisimulation for Tree Automata. CIAA 2008: 212-222
28	EE	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	EE	Peter Habermehl, Radu Iosif, Tomás Vojnar: What Else Is Decidable about Integer Arrays?. FoSSaCS 2008: 474-489
26	EE	Peter Habermehl, Radu Iosif, Tomás Vojnar: A Logic of Singly Indexed Arrays. LPAR 2008: 558-573
25	EE	Zdenek Letko, Tomás Vojnar, Bohuslav Krena: AtomRace: data race and atomicity violation detector and healer. PADTAD 2008: 7
24	EE	Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar: Computing Simulations over Tree Automata. TACAS 2008: 93-108
23	EE	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	EE	Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar: Proving Termination of Tree Manipulating Programs. ATVA 2007: 145-161
21	EE	Milan Ceska, Pavel Erlebach, Tomás Vojnar: Pattern-Based Verification for Trees. EUROCAST 2007: 488-496
20	EE	Ales Smrcka, Tomás Vojnar: Verifying Parametrised Hardware Designs Via Counter Automata. Haifa Verification Conference 2007: 51-68
19	EE	Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar: Healing data races on-the-fly. PADTAD 2007: 54-64
18	EE	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	EE	Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar: Programs with Lists Are Counter Automata. CAV 2006: 517-531
16	EE	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	EE	Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar: Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. SAS 2006: 52-70
14	EE	Peter Habermehl, Radu Iosif, Tomás Vojnar: Automata-Based Verification of Programs with Tree Updates. TACAS 2006: 350-364
13	EE	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	EE	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	EE	Petr Matousek, Ales Smrcka, Tomás Vojnar: High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. CHARME 2005: 371-375
10	EE	Milan Ceska, Bohuslav Krena, Tomás Vojnar: Parallel State Space Generation and Exploration on Shared-Memory Architectures. EUROCAST 2005: 275-280
9	EE	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	EE	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	EE	Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar: Abstract Regular Model Checking. CAV 2004: 372-386
2003
6	EE	Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar: Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. CONCUR 2003: 172-187
5	EE	Milan Ceska, Ludek Hasa, Tomás Vojnar: Partial-Order Reduction in Model Checking Object-Oriented Petri Nets. EUROCAST 2003: 265-278
2001
4	EE	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]
2	Ahmed Bouajjani	[6] [7] [9] [12] [15] [17] [23] [24] [28] [29]
3	Marius Bozga	[17]
4	Milan Ceska	[1] [2] [3] [4] [5] [10] [13] [18] [21]
5	Pavel Erlebach	[13] [18] [21]
6	Peter Habermehl	[6] [7] [8] [9] [12] [14] [15] [17] [22] [23] [26] [27] [28]
7	Ludek Hasa	[5]
8	Lukás Holík	[24] [28] [29]
9	Radu Iosif	[14] [17] [22] [26] [27]
10	Vladimír Janousek	[1] [2] [3] [4]
11	Lisa Kaati	[24] [29]
12	Bohuslav Krena	[10] [19] [25]
13	Zdenek Letko	[19] [25]
14	Petr Matousek	[11] [16]
15	Pierre Moro	[9] [17]
16	Vojtech Rehák	[16]
17	Z. Rehák	[16]
18	Adam Rogalewicz	[12] [15] [22]
19	David Safránek	[16]
20	Ales Smrcka	[11] [16] [20]
21	Tayssir Touili	[28]
22	Rachel Tzoref	[19]
23	Shmuel Ur	[19]

Colors in the list of coauthors