Helmut Veith

Cited by

	All	Since 2017
Citations	10071	3398
h-index	43	28
i10-index	90	52

660

330

165

495

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202229 22 36 77 113 195 273 330 344 439 420 496 479 483 482 485 540 613 639 656 638 608 630 653 205

Public access

View all

47 articles

5 articles

available

not available

Based on funding mandates

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
Igor KonnovPrincipal scientist, Informal SystemsVerified email at informal.systems
Johannes KinderProfessor of Computer Science, Bundeswehr University MunichVerified email at unibw.de
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Thomas HenzingerISTAustriaVerified email at ist.ac.at
Georg GottlobProfessor of Informatics, University of OxfordVerified email at cs.ox.ac.uk
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Tomer KotekTU WienVerified email at forsyte.at
Mihai ChristodorescuVisa ResearchVerified email at christodorescu.org
Erich GrädelRWTH Aachen UniversityVerified email at logic.rwth-aachen.de
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Thomas EiterVienna University of Technology (TU Wien)Verified email at kr.tuwien.ac.at
Ayrat KhalimovUniversité libre de BruxellesVerified email at ulb.be
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerified email at nau.edu
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceVerified email at unical.it
Armin BiereAlbert-Ludwigs-Universität FreiburgVerified email at informatik.uni-freiburg.de
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
Counterexample-guided abstraction refinement E Clarke, O Grumberg, S Jha, Y Lu, H Veith International Conference on Computer Aided Verification, 154-169, 2000	2398	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	1156	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	669	2004
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer, 2018	392	2018
Progress on the state explosion problem in model checking E Clarke, O Grumberg, S Jha, Y Lu, H Veith Informatics, 176-194, 2001	315	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	248	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	223	2005
Jakstab: A static analysis platform for binaries J Kinder, H Veith International Conference on Computer Aided Verification, 423-427, 2008	200	2008
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	191	2002
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	190	2002
25 years of model checking: history, achievements, perspectives O Grumberg, H Veith Springer, 2008	155	2008
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	154	2012
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	146	2009
Environment abstraction for parameterized verification E Clarke, M Talupur, H Veith International Workshop on Verification, Model Checking, and Abstract …, 2006	137	2006
Decidability of parameterized verification R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder Synthesis Lectures on Distributed Computing Theory 6 (1), 1-170, 2015	130	2015
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	128	2014
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	124	2011
Malware normalization M Christodorescu, J Kinder, S Jha, S Katzenbeisser, H Veith University of Wisconsin-Madison Department of Computer Sciences, 2005	124	2005
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	101	2002
Verification by network decomposition E Clarke, M Talupur, T Touili, H Veith International Conference on Concurrency Theory, 276-291, 2004	94	2004

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

Follow this author

Cited by

Co-authors