Helmut Veith

Citado por

	Todos	Desde 2019
Citações	11734	3683
Índice h	47	26
Índice i10	92	54

680

340

170

510

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202432 81 117 179 289 338 361 434 425 493 480 492 499 489 523 605 652 643 636 611 630 658 674 583 527

Acesso público

Ver todos

43 artigos

3 artigos

disponível

não disponível

Com base nas autorizações de financiamento

Coautores

Somesh JhaLubar Chair of Computer Science, University of WisconsinE-mail confirmado em cs.wisc.edu
Orna GrumbergProfessor of Computer Science, TechnionE-mail confirmado em cs.technion.ac.il
Andreas HolzerUniversity of TorontoE-mail confirmado em cs.toronto.edu
Igor KonnovIndependent Security and Formal Methods ResearcherE-mail confirmado em konnov.phd
Christian SchallhartGoogleE-mail confirmado em schallhart.net
Roderick BloemGraz University of TechnologyE-mail confirmado em iaik.tugraz.at
Johannes KinderProfessor of Computer Science, LMU MunichE-mail confirmado em lmu.de
Thomas HenzingerIST AustriaE-mail confirmado em ist.ac.at
Michael TautschnigQueen Mary University of LondonE-mail confirmado em qmul.ac.uk
Georg GottlobProfessor of Informatics, University of CalabriaE-mail confirmado em unical.it
Tomer KotekTU WienE-mail confirmado em forsyte.at
Ayrat KhalimovTU ClausthalE-mail confirmado em tu-clausthal.de
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceE-mail confirmado em unical.it
Mihai ChristodorescuGoogleE-mail confirmado em christodorescu.org
Thomas EiterVienna University of Technology (TU Wien)E-mail confirmado em kr.tuwien.ac.at
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandE-mail confirmado em usi.ch
Erich GrädelRWTH Aachen UniversityE-mail confirmado em logic.rwth-aachen.de
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityE-mail confirmado em nau.edu
Armin BiereProfessor of Computer Science, University of FreiburgE-mail confirmado em informatik.uni-freiburg.de
Andreas FröhlichJKU LinzE-mail confirmado em jku.at

Seguir

Helmut Veith

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

E-mail confirmado em forsyte.tuwien.ac.at - Página inicial

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


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Counterexample-guided abstraction refinement E Clarke, O Grumberg, S Jha, Y Lu, H Veith Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000	2697	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	1337	2003
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer 10, 978-3, 2018	828	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	210	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	163	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

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores