| Counterexample-guided abstraction refinement E Clarke, O Grumberg, S Jha, Y Lu, H Veith Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 2730 | 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 | 1351 | 2003 |
| Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer 10, 978-3, 2018 | 860 | 2018 |
| 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 | 687 | 2004 |
| 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 | 360 | 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 | 255 | 2001 |
| Detecting malicious code by model checking J Kinder, S Katzenbeisser, C Schallhart, H Veith Detection of Intrusions and Malware, and Vulnerability Assessment: Second …, 2005 | 247 | 2005 |
| Jakstab: a static analysis platform for binaries: tool paper J Kinder, H Veith Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 224 | 2008 |
| 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 | 215 | 2016 |
| 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 | 197 | 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 | 197 | 2002 |
| 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 | 167 | 2012 |
| 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 | 167 | 2009 |
| 25 years of model checking: history, achievements, perspectives O Grumberg, H Veith Springer, 2008 | 167 | 2008 |
| Environment abstraction for parameterized verification E Clarke, M Talupur, H Veith International Workshop on Verification, Model Checking, and Abstract …, 2006 | 141 | 2006 |
| 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 | 140 | 2014 |
| 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 | 137 | 2011 |
| Malware normalization M Christodorescu, J Kinder, S Jha, S Katzenbeisser, H Veith University of Wisconsin-Madison Department of Computer Sciences, 2005 | 131 | 2005 |
| Introduction to model checking EM Clarke, TA Henzinger, H Veith Handbook of Model Checking, 1-26, 2018 | 116 | 2018 |
| 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 | 108 | 2002 |
Somesh JhaLubar Chair of Computer Science, University of Wisconsincs.wisc.edu의 이메일 확인됨
