Deductive software verification-the key book W Ahrendt, B Beckert, R Bubel, R Hähnle, PH Schmitt, M Ulbrich Lecture notes in computer science 10001, 2016 | 371 | 2016 |
Automating regression verification D Felsing, S Grebing, V Klebanov, P Rümmer, M Ulbrich Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 156 | 2014 |
The KeY platform for verification and analysis of Java programs W Ahrendt, B Beckert, D Bruns, R Bubel, C Gladisch, S Grebing, R Hähnle, ... Verified Software: Theories, Tools and Experiments: 6th International …, 2014 | 92 | 2014 |
The 1st verified software competition: Experience report V Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ... International Symposium on Formal Methods, 154-168, 2011 | 78 | 2011 |
Deductive Software Verification-The KeY Book. LNCS, vol. 10001 W Ahrendt, B Beckert, R Bubel, R Hähnle, PH Schmitt, M Ulbrich Springer, Cham, 2016 | 48 | 2016 |
Relational program reasoning using compiler IR: Combining static verification and dynamic analysis M Kiefer, V Klebanov, M Ulbrich Journal of Automated Reasoning 60, 337-363, 2018 | 45* | 2018 |
The COST IC0701 verification competition 2011 T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ... Formal Verification of Object-Oriented Software: International Conference …, 2012 | 45 | 2012 |
Dynamic frames in Java dynamic logic PH Schmitt, M Ulbrich, B Weiß Formal Verification of Object-Oriented Software: International Conference …, 2011 | 42 | 2011 |
Selected challenges of software evolution for automated production systems B Vogel-Heuser, S Feldmann, J Folmer, J Ladiges, A Fay, S Lity, M Tichy, ... 2015 IEEE 13th International Conference on Industrial Informatics (INDIN …, 2015 | 40 | 2015 |
Regression verification for programmable logic controller software B Beckert, M Ulbrich, B Vogel-Heuser, A Weigl Formal Methods and Software Engineering: 17th International Conference on …, 2015 | 40 | 2015 |
Information flow in object-oriented software B Beckert, D Bruns, V Klebanov, C Scheben, PH Schmitt, M Ulbrich Logic-Based Program Synthesis and Transformation: 23rd International …, 2014 | 35 | 2014 |
Proving JDK’s dual pivot quicksort correct B Beckert, J Schiffl, PH Schmitt, M Ulbrich Verified Software. Theories, Tools, and Experiments: 9th International …, 2017 | 26 | 2017 |
Modular verification of JML contracts using bounded model checking B Beckert, M Kirsten, J Klamroth, M Ulbrich Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 24 | 2020 |
A proof assistant for alloy specifications M Ulbrich, U Geilmann, AA El Ghazi, M Taghdiri Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 23 | 2012 |
Trends in relational program verification B Beckert, M Ulbrich Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter …, 2018 | 20 | 2018 |
VerifyThis–verification competition with a human factor G Ernst, M Huisman, W Mostowski, M Ulbrich Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 19 | 2019 |
Implementation-level verification of algorithms with KeY D Bruns, W Mostowski, M Ulbrich International journal on software tools for technology transfer 17, 729-744, 2015 | 18 | 2015 |
Generalised test tables: A practical specification language for reactive systems B Beckert, S Cha, M Ulbrich, B Vogel-Heuser, A Weigl Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017 | 14 | 2017 |
Automating regression verification of pointer programs by predicate abstraction V Klebanov, P Rümmer, M Ulbrich Formal methods in system design 52, 229-259, 2018 | 13 | 2018 |
A verification-supported evolution approach to assist software application engineers in industrial factory automation S Ulewicz, M Ulbrich, A Weigl, M Kirsten, F Wiebe, B Beckert, ... 2016 IEEE International Symposium on Assembly and Manufacturing (ISAM), 19-25, 2016 | 13 | 2016 |