• "Verification of decision making software in an autonomous vehicle: An industrial case study" 2019 Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian, .
  • "COST action IC 1402 arvi: Runtime verification beyond monitoring - activity report of working group 1" 2019 Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, Joao Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz, .
  • "Who is to blame? Runtime verification of distributed objects with active monitors" 2019 Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn, .
  • "Smart contracts: A killer application for deductive source code verification" 2018 Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider, .
  • "Testing meets static and runtime verification" 2018 Jesús Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider, .
  • "A broader view on verification: From static to runtime and back (track summary)" 2018 Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier, .
  • "A survey of challenges for runtime verification from advanced application domains (beyond software)" 2018 César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, JoHao M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss, .
  • "Verifying data- and control-oriented properties combining static and runtime verification: Theory and tools" 2017 Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider, .
  • "Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic" 2016 Stijn Gouw, Frank S. Boer, Wolfgang Ahrendt, Richard Bubel, .
  • "StaRVOOrS - episode II - strengthen and distribute the force" 2016 Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider, .
  • "Formal specification with the java modeling language" 2016 Marieke Huisman, Wolfgang Ahrendt, Daniel Grahl, Martin Hentschel, .
  • "Proof-based test case generation" 2016 Wolfgang Ahrendt, Christoph Gladisch, Mihai Herda, .
  • "Using the key prover" 2016 Wolfgang Ahrendt, Sarah Grebing, .
  • "A specification language for static and runtime verification of data and control properties" 2015 Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider, .
  • "Reasoning about loops using vampire in key" 2015 Wolfgang Ahrendt, Laura Kovács, Simon Robillard, .
  • "StaRVOOrS: A tool for combined static and runtime verification of java" 2015 Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider, .
  • "The key platform for verification and analysis of java programs" 2014 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, .
  • "Weak arithmetic completeness of object-oriented first-order assertion networks" 2013 Stijn Gouw, Frank S. Boer, Wolfgang Ahrendt, Richard Bubel, .
  • "Verifying (in-)stability in floating-point programs by increasing precision, using SMT solving" 2013 Gabriele Paganelli, Wolfgang Ahrendt, .
  • "A system for compositional verification of asynchronous objects" 2012 Wolfgang Ahrendt, Maximilian Dylla, .
  • "A unified approach for static and runtime verification: Framework and applications" 2012 Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider, .
  • "Real-time java API specifications for high coverage test generation" 2012 Wolfgang Ahrendt, Wojciech Mostowski, Gabriele Paganelli, .
  • "Practical aspects of automated deduction for program verification" 2010 Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer, .
  • "Abstract object creation in dynamic logic" 2009 Wolfgang Ahrendt, Frank S. Boer, Immo Grabe, .
  • "A verification system for distributed objects with asynchronous method calls" 2009 Wolfgang Ahrendt, Maximilian Dylla, .
  • "Integrated and tool-supported teaching of testing, debugging, and verification" 2009 Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle, .
  • "KeY: A formal method for object-oriented systems" 2007 Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt, .
  • "Using key" 2007 Wolfgang Ahrendt, .
  • "Verifying object-oriented programs with key: A tutorial" 2006 Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt, .
  • "Preface" 2005 Wolfgang Ahrendt, Peter Baumgartner, Hans Nivelle, Silvio Ranise, Cesare Tinelli, .
  • "The key tool" 2005 Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt, .
  • "Automatic validation of transformation rules for java verification against a rewriting semantics" 2005 Wolfgang Ahrendt, Andreas Roth, Ralf Sasse, .
  • "Deductive search for errors in free data type specifications using model generation" 2002 Wolfgang Ahrendt, .
  • "The key system: Integrating object-oriented design and formal methods" 2002 Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt, .
  • "Deduktive fehlersuche in abstrakten datentypen" 2001 Wolfgang Ahrendt, .
  • "The key approach: Integrating object oriented design and formal verification" 2000 Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, .
  • "Proof transformations from search-oriented into interaction-oriented tableau calculi" 1999 Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert, .
  • "Hilbert’s epsilon-terms in automated theorem proving" 1999 Martin Giese, Wolfgang Ahrendt, .
  • "Reasoning about abstract state machines: The WAM case study" 1997 Gerhard Schellhorn, Wolfgang Ahrendt, .