M
Mattias Ulbrich
Researcher at Karlsruhe Institute of Technology
Publications - 85
Citations - 1026
Mattias Ulbrich is an academic researcher from Karlsruhe Institute of Technology. The author has contributed to research in topics: Software & Formal verification. The author has an hindex of 13, co-authored 75 publications receiving 866 citations.
Papers
More filters
BookDOI
Deductive Software Verification - The KeY Book
Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Reiner Hähnle,Peter H. Schmitt,Mattias Ulbrich +5 more
TL;DR: This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice and contains the complete theory behind KeY for active researchers who want to understand it in depth or use it in their own work.
Proceedings ArticleDOI
Automating regression verification
TL;DR: In this article, the equivalence of two related imperative integer programs is reduced to Horn constraints over uninterpreted predicates, and state-of-the-art SMT solvers are used to solve the constraints.
Book ChapterDOI
The 1st verified software competition: experience report
Vladimir Klebanov,Peter Müller,Natarajan Shankar,Gary T. Leavens,Valentin Wüstholz,Eyad Alkassar,Rob Arthan,Derek Bronish,Rod Chapman,Ernie Cohen,Mark Hillebrand,Bart Jacobs,K. Rustan M. Leino,Rosemary Monahan,Frank Piessens,Nadia Polikarpova,Tom Ridge,Jan Smans,Stephan Tobies,Thomas Tuerk,Mattias Ulbrich,Benjamin Weiß +21 more
TL;DR: The authors, the organizers and participants, report the experiences from the 1st Verified Software Competition, held in August 2010 in Edinburgh at the VSTTE 2010 conference.
Book ChapterDOI
The KeY Platform for Verification and Analysis of Java Programs
Wolfgang Ahrendt,Bernhard Beckert,Daniel Bruns,Richard Bubel,Christoph Gladisch,Sarah Grebing,Reiner Hähnle,Martin Hentschel,Mihai Herda,Vladimir Klebanov,Wojciech Mostowski,Christoph Scheben,Peter H. Schmitt,Mattias Ulbrich +13 more
TL;DR: It is shown that deductive technology that has been developed for full functional verification can be used as a basis and framework for other purposes than pure functional verification.
Book ChapterDOI
The COST IC0701 verification competition 2011
Thorsten Bormer,Marc Brockschmidt,Dino Distefano,Gidon Ernst,Jean-Christophe Filliâtre,Radu Grigore,Marieke Huisman,Vladimir Klebanov,Claude Marché,Rosemary Monahan,Wojciech Mostowski,Nadia Polikarpova,Christoph Scheben,Gerhard Schellhorn,Bogdan Tofan,Julian Tschannen,Mattias Ulbrich +16 more
TL;DR: This paper reports on the experiences with the program verification competition held during the FoVeOOS conference in October 2011 and the three different challenges that were posed and the solutions developed by the teams.