| The Software Model Checker BLAST D Beyer, TA Henzinger, R Jhala, R Majumdar International Journal on Software Tools for Technology Transfer (STTT) 9 (5 …, 2007 | 733 | 2007 |
| CPAchecker: A Tool for Configurable Software Verification D Beyer, ME Keremoglu Proceedings of the 23rd International Conference on Computer Aided …, 2011 | 562 | 2011 |
| Generating Tests from Counterexamples D Beyer, AJ Chlipala, TA Henzinger, R Jhala, R Majumdar Proceedings of the 26th International Conference on Software Engineering …, 2004 | 293 | 2004 |
| Path Invariants D Beyer, TA Henzinger, R Majumdar, A Rybalchenko Proceedings of the 2007 ACM Conference on Programming Language Design and …, 2007 | 232 | 2007 |
| Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis D Beyer, TA Henzinger, G Théoduloz Proceedings of the 19th International Conference on Computer Aided …, 2007 | 228 | 2007 |
| Web Service Interfaces D Beyer, A Chakrabarti, TA Henzinger Proceedings of the 14th ACM International Conference on World Wide Web (WWW …, 2005 | 200 | 2005 |
| Strategies for product-line verification: Case studies and experiments S Apel, A Von Rhein, P Wendler, A Größlinger, D Beyer 2013 35th International Conference on Software Engineering (ICSE), 482-491, 2013 | 174 | 2013 |
| Software Model Checking via Large-Block Encoding D Beyer, A Cimatti, A Griggio, ME Keremoglu, R Sebastiani Proceedings of the 9th International Conference on Formal Methods in …, 2009 | 168 | 2009 |
| Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation B Becker, D Beyer, H Giese, F Klein, D Schilling Proceedings of the 28th ACM/IEEE International Conference on Software …, 2006 | 165 | 2006 |
| Clustering Software Artifacts Based on Frequent Common Changes D Beyer, A Noack Proceedings 13th IEEE International Workshop on Program Comprehension (IWPC …, 2005 | 162 | 2005 |
| Software verification and verifiable witnesses D Beyer International Conference on Tools and Algorithms for the Construction and …, 2015 | 151 | 2015 |
| Detection of Feature Interactions Using Feature-Aware Verification S Apel, H Speidel, P Wendler, A von Rhein, D Beyer 26th International Conference on Automated Software Engineering (ASE) 5, 372-375, 2011 | 147 | 2011 |
| Predicate Abstraction with Adjustable-Block Encoding D Beyer, ME Keremoglu, P Wendler Proceedings of the 10th International Conference on Formal Methods in …, 2010 | 138 | 2010 |
| Reliable and reproducible competition results with benchexec and witnesses (report on SV-COMP 2016) D Beyer International Conference on Tools and Algorithms for the Construction and …, 2016 | 136 | 2016 |
| Efficient Relational Calculation for Software Analysis D Beyer, A Noack, C Lewerentz IEEE Transactions on Software Engineering (TSE) 31 (2), 137-149, 2005 | 136 | 2005 |
| Competition on Software Verification D Beyer 18th International Conference on Tools and Algorithms for the Construction …, 2012 | 125 | 2012 |
| Invariant Synthesis for Combined Theories D Beyer, TA Henzinger, R Majumdar, A Rybalchenko Proceedings of the Eighth International Conference on Verification, Model …, 2007 | 121 | 2007 |
| Status Report on Software Verification D Beyer Proceedings of the 20th International Conference on Tools and Algorithms for …, 2014 | 120 | 2014 |
| Explicit-State Software Model Checking Based on CEGAR and Interpolation D Beyer, S Löwe Proc. FASE, 2013 | 116 | 2013 |
| Program Analysis with Dynamic Precision Adjustment D Beyer, TA Henzinger, G Théoduloz Proceedings of the 23rd IEEE/ACM International Conference on Automated …, 2008 | 116 | 2008 |
Thomas HenzingerIST AustriaVerified email at ist.ac.at
