Tomas Vojnar - Google Scholar Citations

Cited by

	All	Since 2014
Citations	2332	1119
h-index	27	19
i10-index	54	35

240

120

180

200120022003200420052006200720082009201020112012201320142015201620172018201932 7 10 9 36 69 109 106 164 127 119 190 180 154 182 206 227 199 146

Co-authors

Lukas HolikBrno University of TehcnologyVerified email at fit.vutbr.cz
Peter HabermehlAssistant Professor of Computer Science, IRIF, University of ParisVerified email at irif.fr
Ahmed BouajjaniProfessor Computer Science, Paris Diderot Univ. (Paris 7)Verified email at irif.fr
Ondřej LengálBrno University of TechnologyVerified email at fit.vutbr.cz
Radu IosifCNRS/VERIMAGVerified email at imag.fr
Zdenek LetkoPostdoc, Brno University of TechnologyVerified email at fit.vutbr.cz
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Aleš SmrčkaAssistant professor of Computer Science, Brno University of TechnologyVerified email at fit.vutbr.cz
Yu-Fang ChenResearch Fellow, Academia SinicaVerified email at iis.sinica.edu.tw
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleVerified email at imag.fr
Lukas SekaninaProfessor of Computer Science and Engineering, Brno University of TechnologyVerified email at fit.vutbr.cz
Lisa KaatiSenior scientist and group leader, FOIVerified email at foi.se
Rachel Tzoref-BrillIBM Haifa Research LabVerified email at il.ibm.com
Zdenek VasicekBrno University of TechnologyVerified email at fit.vutbr.cz
Petr MullerFaculty of Information Technology, Brno University of TechnologyVerified email at fit.vutbr.cz
Milan CeskaBrno University of TechnologyVerified email at fit.vutbr.cz
Lorenzo ClementeUniversity of WarsawVerified email at mimuw.edu.pl
Chih-Duo HongDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Mihaela SighireanuAssistant Professor in Computer Science, IRIF, University Paris Diderot, Sorbonne Paris CitéVerified email at irif.fr
Lukas CharvatBrno University of TechnologyVerified email at fit.vutbr.cz

Tomas Vojnar

FIT, Brno University of Technology

Verified email at fit.vutbr.cz - Homepage

static analysis testing and dynamic analysis formal verification automata logics


Title	Cited by	Year
Abstract regular model checking A Bouajjani, P Habermehl, T Vojnar International Conference on Computer Aided Verification, 372-386, 2004	183	2004
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	129	2006
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	118	2006
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	112	2010
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	81	2005
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	72	2007
What else is decidable about integer arrays? P Habermehl, R Iosif, T Vojnar International Conference on Foundations of Software Science and …, 2008	63	2008
Abstract regular tree model checking A Bouajjani, P Habermehl, A Rogalewicz, T Vojnar Electronic Notes in Theoretical Computer Science 149 (1), 37-48, 2006	63	2006
Regular model checking using inference of regular languages P Habermehl, T Vojnar Electronic Notes in Theoretical Computer Science 138 (3), 21-36, 2005	59	2005
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	52	2011
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	52	2009
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	49	2008
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	48	1997
Byte-precise verification of low-level list manipulation K Dudka, P Peringer, T Vojnar International Static Analysis Symposium, 215-237, 2013	43	2013
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	43	2008
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	41	2008
Vata: A library for efficient manipulation of non-deterministic tree automata O Lengál, J Šimáček, T Vojnar International Conference on Tools and Algorithms for the Construction and …, 2012	39	2012
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	39	2011
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	36	2013
Deciding entailments in inductive separation logic with tree automata R Iosif, A Rogalewicz, T Vojnar International Symposium on Automated Technology for Verification and …, 2014	35	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors