دنبال کردن
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‏
27112000
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‏
13452003
Handbook of model checking‏
EM Clarke, TA Henzinger, H Veith, R Bloem‏
Springer 10, 978-3, 2018‏
8632018
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‏
6852004
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‏
3602001
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‏
2562001
Detecting malicious code by model checking‏
J Kinder, S Katzenbeisser, C Schallhart, H Veith‏
Detection of Intrusions and Malware, and Vulnerability Assessment: Second …, 2005‏
2452005
Jakstab: a static analysis platform for binaries: tool paper‏
J Kinder, H Veith‏
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008‏
2282008
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‏
2132016
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‏
1972002
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‏
1962002
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‏
1692009
25 years of model checking: history, achievements, perspectives‏
O Grumberg, H Veith‏
Springer, 2008‏
1692008
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‏
1682012
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‏
1422014
Environment abstraction for parameterized verification‏
E Clarke, M Talupur, H Veith‏
Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006‏
1392006
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‏
1352011
Malware normalization‏
M Christodorescu, J Kinder, S Jha, S Katzenbeisser, H Veith‏
University of Wisconsin-Madison Department of Computer Sciences, 2005‏
1322005
Introduction to model checking‏
EM Clarke, TA Henzinger, H Veith‏
Handbook of Model Checking, 1-26, 2018‏
1152018
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‏
1072002
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20