Helmut Veith - Google Scholar

Cited by

	All	Since 2015
Citations	22439	6735
h-index	41	30
i10-index	90	59

1500

750

375

1125

200020012002200320042005200620072008200920102011201220132014201520162017201820192020153 348 496 744 899 1111 1152 1337 1419 1392 1311 1291 1301 1252 1278 1341 1278 1167 1150 1053 581

Co-authors

Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Andreas HolzerUniversity of TorontoVerified email at cs.toronto.edu
Christian SchallhartGoogleVerified email at schallhart.net
Daniel KroeningProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Johannes KinderProfessor of Computer Science, Bundeswehr University MunichVerified email at unibw.de
Igor KonnovResearch scientist, Informal SystemsVerified email at informal.systems
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Georg GottlobProfessor of Informatics, University of OxfordVerified email at cs.ox.ac.uk
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Tomer KotekTU WienVerified email at forsyte.at
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Mihai ChristodorescuVisa ResearchVerified email at christodorescu.org
Erich GrädelRWTH Aachen UniversityVerified email at logic.rwth-aachen.de
Thomas EiterVienna University of TechnologyVerified email at kr.tuwien.ac.at
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerified email at nau.edu
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceVerified email at unical.it
Ayrat KhalimovUniversité libre de BruxellesVerified email at ulb.ac.be
Azadeh FarzanAssociate Professor, University of TorontoVerified email at cs.toronto.edu

Helmut Veith

Professor of Computer Science, Vienna University of Technology / TU Wien

Verified email at forsyte.tuwien.ac.at - Homepage

Formal Methods Model Checking Software Engineering Logic in Computer Science Computer Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Model checking EM Clarke Jr, O Grumberg, D Kroening, D Peled, H Veith MIT press, 2018	13702	2018
Counterexample-guided abstraction refinement E Clarke, O Grumberg, S Jha, Y Lu, H Veith International Conference on Computer Aided Verification, 154-169, 2000	2106	2000
Counterexample-guided abstraction refinement for symbolic model checking E Clarke, O Grumberg, S Jha, Y Lu, H Veith Journal of the ACM (JACM) 50 (5), 752-794, 2003	1023	2003
Modular verification of software components in C S Chaki, EM Clarke, A Groce, S Jha, H Veith Software Engineering, IEEE Transactions on 30 (6), 388-402, 2004	633	2004
Progress on the state explosion problem in model checking E Clarke, O Grumberg, S Jha, Y Lu, H Veith Informatics, 176-194, 2001	283	2001
Efficient filtering in publish-subscribe systems using binary decision diagrams A Campailla, S Chaki, E Clarke, S Jha, H Veith Proceedings of the 23rd International Conference on Software Engineering …, 2001	227	2001
Detecting malicious code by model checking J Kinder, S Katzenbeisser, C Schallhart, H Veith International Conference on Detection of Intrusions and Malware, and …, 2005	195	2005
Automated abstraction refinement for model checking large state spaces using SAT based conflict analysis P Chauhan, E Clarke, J Kukula, S Sapra, H Veith, D Wang International Conference on Formal Methods in Computer-Aided Design, 33-51, 2002	180	2002
Tree-like counterexamples in model checking E Clarke, S Jha, Y Lu, H Veith Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 19-29, 2002	180	2002
Jakstab: A static analysis platform for binaries J Kinder, H Veith International Conference on Computer Aided Verification, 423-427, 2008	169	2008
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer, 2018	156	2018
25 years of model checking: history, achievements, perspectives O Grumberg, H Veith Springer, 2008	147	2008
An abstract interpretation-based framework for control flow reconstruction from binaries J Kinder, F Zuleger, H Veith International Workshop on Verification, Model Checking, and Abstract …, 2009	134	2009
Secure two-party computations in ANSI C A Holzer, M Franz, S Katzenbeisser, H Veith Proceedings of the 2012 ACM conference on Computer and communications …, 2012	129	2012
Environment abstraction for parameterized verification E Clarke, M Talupur, H Veith International Workshop on Verification, Model Checking, and Abstract …, 2006	124	2006
Malware normalization M Christodorescu, J Kinder, S Jha, S Katzenbeisser, H Veith University of Wisconsin-Madison Department of Computer Sciences, 2005	118	2005
Droidsieve: Fast and accurate classification of obfuscated android malware G Suarez-Tangil, SK Dash, M Ahmadi, J Kinder, G Giacinto, L Cavallaro Proceedings of the Seventh ACM on Conference on Data and Application …, 2017	113	2017
Bound analysis of imperative programs with the size-change abstraction F Zuleger, S Gulwani, M Sinn, H Veith International Static Analysis Symposium, 280-297, 2011	108	2011
A simple and scalable static analysis for bound analysis and amortized complexity analysis M Sinn, F Zuleger, H Veith International Conference on Computer Aided Verification, 745-761, 2014	100	2014
Datalog LITE: A deductive query language with linear time model checking G Gottlob, E Grädel, H Veith ACM Transactions on Computational Logic (TOCL) 3 (1), 42-79, 2002	91	2002

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