| 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 | 823* | 2007 |
| CPAchecker: A Tool for Configurable Software Verification D Beyer, ME Keremoglu Proceedings of the 23rd International Conference on Computer Aided …, 2011 | 766 | 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 | 321 | 2004 |
| 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 | 275 | 2007 |
| Path Invariants D Beyer, TA Henzinger, R Majumdar, A Rybalchenko Proceedings of the 2007 ACM Conference on Programming Language Design and …, 2007 | 260 | 2007 |
| 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 | 220 | 2013 |
| Web Service Interfaces D Beyer, A Chakrabarti, TA Henzinger Proceedings of the 14th ACM International Conference on World Wide Web (WWW …, 2005 | 214 | 2005 |
| 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 | 191 | 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 | 178 | 2006 |
| 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 | 174 | 2011 |
| Clustering Software Artifacts Based on Frequent Common Changes D Beyer, A Noack Proceedings 13th IEEE International Workshop on Program Comprehension (IWPC …, 2005 | 172 | 2005 |
| Software Verification and Verifiable Witnesses D Beyer International Conference on Tools and Algorithms for the Construction and …, 2015 | 170* | 2015 |
| 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 | 166 | 2016 |
| Predicate Abstraction with Adjustable-Block Encoding D Beyer, ME Keremoglu, P Wendler Proceedings of the 10th International Conference on Formal Methods in …, 2010 | 166 | 2010 |
| Reliable Benchmarking: Requirements and Solutions D Beyer, S Löwe, P Wendler International Journal on Software Tools for Technology Transfer 21 (1), 1-29, 2019 | 161 | 2019 |
| Competition on Software Verification D Beyer 18th International Conference on Tools and Algorithms for the Construction …, 2012 | 156* | 2012 |
| Explicit-State Software Model Checking Based on CEGAR and Interpolation D Beyer, S Löwe Proc. FASE, 2013 | 143 | 2013 |
| Software Verification with Validation of Results D Beyer International Conference on Tools and Algorithms for the Construction and …, 2017 | 141 | 2017 |
| Invariant Synthesis for Combined Theories D Beyer, TA Henzinger, R Majumdar, A Rybalchenko Proceedings of the Eighth International Conference on Verification, Model …, 2007 | 139 | 2007 |
| Program Analysis with Dynamic Precision Adjustment D Beyer, TA Henzinger, G Théoduloz Proceedings of the 23rd IEEE/ACM International Conference on Automated …, 2008 | 138 | 2008 |
Thomas HenzingerIST AustriaVerified email at ist.ac.at
