Helmut Veith

Citado por

	Total	Desde 2020
Citas	11941	3243
Índice h	47	24
Índice i10	93	50

680

340

170

510

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202532 80 122 181 285 340 356 438 431 493 490 497 501 499 533 617 634 655 629 625 636 663 663 573 603 105

Acceso público

Ver todo

41 artículos

4 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Somesh JhaLubar Chair of Computer Science, University of WisconsinDirección de correo verificada de cs.wisc.edu
Orna GrumbergProfessor of Computer Science, TechnionDirección de correo verificada de cs.technion.ac.il
Andreas HolzerUniversity of TorontoDirección de correo verificada de cs.toronto.edu
Christian SchallhartGoogleDirección de correo verificada de schallhart.net
Igor KonnovIndependent Security and Formal Methods ResearcherDirección de correo verificada de konnov.phd
Roderick BloemGraz University of TechnologyDirección de correo verificada de iaik.tugraz.at
Johannes KinderProfessor of Computer Science, LMU MunichDirección de correo verificada de lmu.de
Thomas HenzingerIST AustriaDirección de correo verificada de ist.ac.at
Michael TautschnigQueen Mary University of LondonDirección de correo verificada de qmul.ac.uk
Georg GottlobProfessor of Informatics, University of CalabriaDirección de correo verificada de unical.it
Tomer KotekTU WienDirección de correo verificada de forsyte.at
Ayrat KhalimovTU ClausthalDirección de correo verificada de tu-clausthal.de
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceDirección de correo verificada de unical.it
Mihai ChristodorescuGoogleDirección de correo verificada de christodorescu.org
Thomas EiterVienna University of Technology (TU Wien)Dirección de correo verificada de kr.tuwien.ac.at
Erich GrädelRWTH Aachen UniversityDirección de correo verificada de logic.rwth-aachen.de
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityDirección de correo verificada de nau.edu
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandDirección de correo verificada de usi.ch
Armin BiereProfessor of Computer Science, University of FreiburgDirección de correo verificada de informatik.uni-freiburg.de
Andreas FröhlichJKU LinzDirección de correo verificada de jku.at

Seguir

Helmut Veith

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

Dirección de correo verificada de forsyte.tuwien.ac.at - Página principal

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Counterexample-guided abstraction refinement E Clarke, O Grumberg, S Jha, Y Lu, H Veith Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000	2739	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	1356	2003
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer 10, 978-3, 2018	872	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	687	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	362	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	255	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	248	2005
Jakstab: a static analysis platform for binaries: tool paper J Kinder, H Veith Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	225	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	218	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	198	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	197	2002
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	167	2012
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	167	2009
25 years of model checking: history, achievements, perspectives O Grumberg, H Veith Springer, 2008	167	2008
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	142	2014
Environment abstraction for parameterized verification E Clarke, M Talupur, H Veith International Workshop on Verification, Model Checking, and Abstract …, 2006	142	2006
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	138	2011
Malware normalization M Christodorescu, J Kinder, S Jha, S Katzenbeisser, H Veith University of Wisconsin-Madison Department of Computer Sciences, 2005	132	2005
Introduction to model checking EM Clarke, TA Henzinger, H Veith Handbook of Model Checking, 1-26, 2018	117	2018
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	109	2002

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores