Helmut Veith

Citado por

	Total	Desde 2019
Citas	11748	3699
Índice h	47	26
Índice i10	92	54

680

340

170

510

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202432 81 117 179 289 339 361 434 425 493 480 492 499 489 523 605 652 643 637 611 631 658 674 584 541

Acceso público

Ver todo

43 artículos

3 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
Igor KonnovIndependent Security and Formal Methods ResearcherDirección de correo verificada de konnov.phd
Christian SchallhartGoogleDirección de correo verificada de schallhart.net
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
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandDirección de correo verificada de usi.ch
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
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	2699	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	1338	2003
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer 10, 978-3, 2018	835	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	683	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	359	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	245	2005
Jakstab: a static analysis platform for binaries: tool paper J Kinder, H Veith Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	226	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	211	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	196	2002
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
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	164	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	141	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	135	2011
Malware normalization M Christodorescu, J Kinder, S Jha, S Katzenbeisser, H Veith University of Wisconsin-Madison Department of Computer Sciences, 2005	131	2005
Introduction to model checking EM Clarke, TA Henzinger, H Veith Handbook of Model Checking, 1-26, 2018	110	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	107	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