Helmut Veith - Citas de Google Académico

Citado por

	Total	Desde 2014
Citas	21489	7228
Índice h	38	30
Índice i10	85	57

1400

700

350

1050

20002001200220032004200520062007200820092010201120122013201420152016201720182019148 344 497 728 887 1096 1140 1337 1391 1387 1295 1292 1294 1221 1268 1315 1260 1134 1150 926

Coautores

Orna GrumbergProfessor of Computer Science, TechnionDirección de correo verificada de cs.technion.ac.il
Somesh JhaLubar Chair of Computer Science, University of WisconsinDirección de correo verificada de cs.wisc.edu
Christian SchallhartGoogleDirección de correo verificada de schallhart.net
Andreas HolzerUniversity of TorontoDirección de correo verificada de cs.toronto.edu
Daniel KroeningProfessor of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Johannes KinderProfessor of Computer Science, Bundeswehr University MunichDirección de correo verificada de unibw.de
Igor KonnovResearch scientist, Interchain FoundationDirección de correo verificada de interchain.io
Michael TautschnigQueen Mary University of LondonDirección de correo verificada de qmul.ac.uk
Georg GottlobProfessor of Informatics, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Thomas HenzingerIST AustriaDirección de correo verificada de ist.ac.at
Tomer KotekTU WienDirección de correo verificada de forsyte.at
Roderick BloemGraz University of TechnologyDirección de correo verificada de iaik.tugraz.at
Erich GrädelRWTH Aachen UniversityDirección de correo verificada de logic.rwth-aachen.de
Mihai ChristodorescuVisa ResearchDirección de correo verificada de christodorescu.org
Thomas EiterVienna University of TechnologyDirección de correo verificada de kr.tuwien.ac.at
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityDirección de correo verificada de nau.edu
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceDirección de correo verificada de unical.it
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandDirección de correo verificada de usi.ch
Ayrat KhalimovUniversité libre de BruxellesDirección de correo verificada de ulb.ac.be
Armin BiereJohannes Kepler University LinzDirección de correo verificada de jku.at

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	Citado por	Año
Model checking EM Clarke Jr, O Grumberg, D Kroening, D Peled, H Veith MIT press, 2018	13291	2018
Counterexample-guided abstraction refinement E Clarke, O Grumberg, S Jha, Y Lu, H Veith International Conference on Computer Aided Verification, 154-169, 2000	1972	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	974	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	619	2004
Progress on the state explosion problem in model checking E Clarke, O Grumberg, S Jha, Y Lu, H Veith Informatics, 176-194, 2001	273	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	227	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	187	2005
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	176	2002
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	170	2002
Jakstab: A static analysis platform for binaries J Kinder, H Veith International Conference on Computer Aided Verification, 423-427, 2008	158	2008
25 years of model checking: history, achievements, perspectives O Grumberg, H Veith Springer, 2008	145	2008
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	130	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	124	2012
Environment abstraction for parameterized verification E Clarke, M Talupur, H Veith International Workshop on Verification, Model Checking, and Abstract …, 2006	120	2006
Malware normalization M Christodorescu, J Kinder, S Jha, S Katzenbeisser, H Veith University of Wisconsin-Madison Department of Computer Sciences, 2005	106	2005
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	102	2011
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer, 2018	101	2018
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	90	2014
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	88	2002
Droidsieve: Fast and accurate classification of obfuscated android malware G Suarez-Tangil, SK Dash, M Ahmadi, J Kinder, G Giacinto, L Cavallaro Proceedings of the Seventh ACM on Conference on Data and Application …, 2017	79	2017

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

Subir PDF

Seguir a este autor

Citado por

Coautores