Helmut Veith

Cited by

	All	Since 2019
Citations	11629	3598
h-index	47	26
i10-index	92	54

680

340

170

510

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202432 81 117 179 289 338 360 434 425 493 480 491 499 489 523 604 651 642 633 611 628 657 674 585 443

Public access

View all

43 articles

3 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
Igor KonnovIndependent Security and Formal Methods ResearcherVerified email at konnov.phd
Christian SchallhartGoogleVerified email at schallhart.net
Johannes KinderProfessor of Computer Science, LMU MunichVerified email at lmu.de
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Georg GottlobProfessor of Informatics, University of CalabriaVerified email at unical.it
Tomer KotekTU WienVerified email at forsyte.at
Ayrat KhalimovTU ClausthalVerified email at tu-clausthal.de
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceVerified email at unical.it
Mihai ChristodorescuGoogleVerified email at christodorescu.org
Thomas EiterVienna University of Technology (TU Wien)Verified email at kr.tuwien.ac.at
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Erich GrädelRWTH Aachen UniversityVerified email at logic.rwth-aachen.de
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerified email at nau.edu
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Andreas FröhlichJKU LinzVerified email at jku.at

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 Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000	2675	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	1324	2003
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer 10, 978-3, 2018	803	2018
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	682	2004
Progress on the state explosion problem in model checking E Clarke, O Grumberg, S Jha, Y Lu, H Veith Informatics: 10 Years Back, 10 Years Ahead, 176-194, 2001	358	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	256	2001
Detecting malicious code by model checking J Kinder, S Katzenbeisser, C Schallhart, H Veith Detection of Intrusions and Malware, and Vulnerability Assessment: Second …, 2005	244	2005
Jakstab: a static analysis platform for binaries: tool paper J Kinder, H Veith Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	223	2008
Decidability in parameterized verification R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder ACM SIGACT News 47 (2), 53-64, 2016	208	2016
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	197	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 Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD …, 2002	195	2002
25 years of model checking: history, achievements, perspectives O Grumberg, H Veith Springer, 2008	167	2008
An abstract interpretation-based framework for control flow reconstruction from binaries J Kinder, F Zuleger, H Veith Verification, Model Checking, and Abstract Interpretation: 10th …, 2009	163	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	162	2012
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	140	2014
Environment abstraction for parameterized verification E Clarke, M Talupur, H Veith Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006	139	2006
Bound analysis of imperative programs with the size-change abstraction F Zuleger, S Gulwani, M Sinn, H Veith Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011	132	2011
Malware normalization M Christodorescu, J Kinder, S Jha, S Katzenbeisser, H Veith University of Wisconsin-Madison Department of Computer Sciences, 2005	131	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	107	2002
Introduction to model checking EM Clarke, TA Henzinger, H Veith Handbook of Model Checking, 1-26, 2018	106	2018

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

Cited by

Co-authors