Helmut Veith
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
TítuloCitado porAño
Model checking
EM Clarke Jr, O Grumberg, D Kroening, D Peled, H Veith
MIT press, 2018
132912018
Counterexample-guided abstraction refinement
E Clarke, O Grumberg, S Jha, Y Lu, H Veith
International Conference on Computer Aided Verification, 154-169, 2000
19722000
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
9742003
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
6192004
Progress on the state explosion problem in model checking
E Clarke, O Grumberg, S Jha, Y Lu, H Veith
Informatics, 176-194, 2001
2732001
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
2272001
Detecting malicious code by model checking
J Kinder, S Katzenbeisser, C Schallhart, H Veith
International Conference on Detection of Intrusions and Malware, and …, 2005
1872005
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
1762002
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
1702002
Jakstab: A static analysis platform for binaries
J Kinder, H Veith
International Conference on Computer Aided Verification, 423-427, 2008
1582008
25 years of model checking: history, achievements, perspectives
O Grumberg, H Veith
Springer, 2008
1452008
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
1302009
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
1242012
Environment abstraction for parameterized verification
E Clarke, M Talupur, H Veith
International Workshop on Verification, Model Checking, and Abstract …, 2006
1202006
Malware normalization
M Christodorescu, J Kinder, S Jha, S Katzenbeisser, H Veith
University of Wisconsin-Madison Department of Computer Sciences, 2005
1062005
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
1022011
Handbook of model checking
EM Clarke, TA Henzinger, H Veith, R Bloem
Springer, 2018
1012018
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
902014
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
882002
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
792017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20