Tomas Vojnar
Titolo
Citata da
Citata da
Anno
Abstract regular model checking
A Bouajjani, P Habermehl, T Vojnar
International Conference on Computer Aided Verification, 372-386, 2004
1942004
Programs with lists are counter automata
A Bouajjani, M Bozga, P Habermehl, R Iosif, P Moro, T Vojnar
International Conference on Computer Aided Verification, 517-531, 2006
1332006
Abstract regular tree model checking of complex dynamic data structures
A Bouajjani, P Habermehl, A Rogalewicz, T Vojnar
International Static Analysis Symposium, 52-70, 2006
1312006
When simulation meets antichains
PA Abdulla, YF Chen, L Holík, R Mayr, T Vojnar
International Conference on Tools and Algorithms for the Construction and …, 2010
1292010
Verifying programs with dynamic 1-selector-linked structures in regular model checking
A Bouajjani, P Habermehl, P Moro, T Vojnar
International Conference on Tools and Algorithms for the Construction and …, 2005
862005
Predator: A practical tool for checking manipulation of dynamic data structures using separation logic
K Dudka, P Peringer, T Vojnar
International Conference on Computer Aided Verification, 372-378, 2011
792011
Healing data races on-the-fly
B Krena, Z Letko, R Tzoref, S Ur, T Vojnar
proceedings of the 2007 ACM Workshop on Parallel and Distributed Systems …, 2007
772007
What else is decidable about integer arrays?
P Habermehl, R Iosif, T Vojnar
International Conference on Foundations of Software Science and …, 2008
692008
Abstract regular tree model checking
A Bouajjani, P Habermehl, A Rogalewicz, T Vojnar
Electronic Notes in Theoretical Computer Science 149 (1), 37-48, 2006
692006
Regular model checking using inference of regular languages
P Habermehl, T Vojnar
Electronic Notes in Theoretical Computer Science 138 (3), 21-36, 2005
692005
Deciding entailments in inductive separation logic with tree automata
R Iosif, A Rogalewicz, T Vojnar
International Symposium on Automated Technology for Verification and …, 2014
602014
Automatic verification of integer array programs
M Bozga, P Habermehl, R Iosif, F Konečný, T Vojnar
International Conference on Computer Aided Verification, 157-172, 2009
582009
Antichain-based universality and inclusion testing over nondeterministic finite tree automata
A Bouajjani, P Habermehl, L Holík, T Touili, T Vojnar
International Conference on Implementation and Application of Automata, 57-67, 2008
582008
Byte-precise verification of low-level list manipulation
K Dudka, P Peringer, T Vojnar
International Static Analysis Symposium, 215-237, 2013
572013
Advanced Ramsey-based Büchi automata inclusion testing
PA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T Vojnar
International Conference on Concurrency Theory, 187-202, 2011
482011
Computing simulations over tree automata
PA Abdulla, A Bouajjani, L Holík, L Kaati, T Vojnar
International Conference on Tools and Algorithms for the Construction and …, 2008
482008
PNtalk—a computerized tool for object oriented petri nets modelling
M Češka, V Janoušek, T Vojnar
International Conference on Computer Aided Systems Theory, 591-610, 1997
481997
Fully automated shape analysis based on forest automata
L Holík, O Lengál, A Rogalewicz, J Šimáček, T Vojnar
International Conference on Computer Aided Verification, 740-755, 2013
472013
Abstract regular (tree) model checking
A Bouajjani, P Habermehl, A Rogalewicz, T Vojnar
International Journal on Software Tools for Technology Transfer 14 (2), 167-191, 2012
472012
AtomRace: data race and atomicity violation detector and healer
Z Letko, T Vojnar, B Křena
Proceedings of the 6th workshop on parallel and distributed systems: testing …, 2008
462008
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–20