Æȷοì
Helmut Veith
Helmut Veith
Professor of Computer Science, Vienna University of Technology / TU Wien
forsyte.tuwien.ac.atÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Counterexample-guided abstraction refinement
E Clarke, O Grumberg, S Jha, Y Lu, H Veith
Computer Aided Verification: 12th International Conference, CAV 2000 ¡¦, 2000
26072000
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
12812003
Handbook of model checking
EM Clarke, TA Henzinger, H Veith, R Bloem
Springer 10, 978-3, 2018
6812018
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
6782004
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
3532001
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
2542001
Detecting malicious code by model checking
J Kinder, S Katzenbeisser, C Schallhart, H Veith
Detection of Intrusions and Malware, and Vulnerability Assessment: Second ¡¦, 2005
2382005
Jakstab: a static analysis platform for binaries: tool paper
J Kinder, H Veith
Computer Aided Verification: 20th International Conference, CAV 2008 ¡¦, 2008
2242008
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
1942002
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
1922016
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
1922002
25 years of model checking: history, achievements, perspectives
O Grumberg, H Veith
Springer, 2008
1632008
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
1602009
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
1582012
Environment abstraction for parameterized verification
E Clarke, M Talupur, H Veith
Verification, Model Checking, and Abstract Interpretation: 7th International ¡¦, 2006
1362006
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
1342014
Malware normalization
M Christodorescu, J Kinder, S Jha, S Katzenbeisser, H Veith
University of Wisconsin-Madison Department of Computer Sciences, 2005
1292005
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
1242011
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
1032002
Verification by network decomposition
E Clarke, M Talupur, T Touili, H Veith
CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK ¡¦, 2004
972004
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20