Helmut Veith
Helmut Veith
Professor of Computer Science, Vienna University of Technology / TU Wien
Verified email at forsyte.tuwien.ac.at - Homepage
TitleCited byYear
Model checking
EM Clarke Jr, O Grumberg, D Kroening, D Peled, H Veith
MIT press, 2018
132312018
Counterexample-guided abstraction refinement
E Clarke, O Grumberg, S Jha, Y Lu, H Veith
International Conference on Computer Aided Verification, 154-169, 2000
19612000
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
9682003
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
6162004
Progress on the state explosion problem in model checking
E Clarke, O Grumberg, S Jha, Y Lu, H Veith
Informatics, 176-194, 2001
2692001
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
1862005
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
1692002
Jakstab: A static analysis platform for binaries
J Kinder, H Veith
International Conference on Computer Aided Verification, 423-427, 2008
1572008
25 years of model checking: history, achievements, perspectives
O Grumberg, H Veith
Springer, 2008
1432008
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
1292009
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
1182006
Malware normalization
M Christodorescu, J Kinder, S Jha, S Katzenbeisser, H Veith
University of Wisconsin-Madison Department of Computer Sciences, 2005
1052005
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
912018
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
912014
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
872002
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
762017
The system can't perform the operation now. Try again later.
Articles 1–20