Wolfgang Ahrendt
发表
Gabriele Paganelli,
Wolfgang Ahrendt,
2013,
2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Wolfgang Ahrendt,
Richard Bubel,
Wolfgang Ahrendt,
2020,
ISoLA.
Bernhard Beckert,
Wolfgang Ahrendt,
Richard Bubel,
2020,
20 Years of KeY.
Marieke Huisman,
Daniel Grahl,
Wolfgang Ahrendt,
2016,
Deductive Software Verification.
Wolfgang Ahrendt,
Christoph Gladisch,
Mihai Herda,
2016,
Deductive Software Verification.
Frank S. de Boer,
Wolfgang Ahrendt,
Immo Grabe,
2009,
FM.
Gordon J. Pace,
Wolfgang Ahrendt,
2015
.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2015,
RV.
Neeraj Suri,
Marco Winckler,
Miguel Correia,
2009
.
Martin A. Giese,
Achim D. Brucker,
Bernhard Beckert,
2004
.
Bernhard Beckert,
Peter H. Schmitt,
Thomas Baar,
2002,
FASE.
Cesare Tinelli,
Hans de Nivelle,
Wolfgang Ahrendt,
2005
.
Bernhard Beckert,
Wolfgang Ahrendt,
Gernot Stenz,
1999,
J. Univers. Comput. Sci..
Frank S. de Boer,
Wolfgang Ahrendt,
Stijn de Gouw,
2014,
Software & Systems Modeling.
Wolfgang Ahrendt,
Yuvaraj Selvaraj,
Martin Fabian,
2019,
FMICS.
Bernhard Beckert,
Peter H. Schmitt,
Thomas Baar,
2005,
Software & Systems Modeling.
Marieke Huisman,
Wolfgang Ahrendt,
Giles Reger,
2018,
ISoLA.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2018,
Principled Software Development.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2012,
ISoLA.
Martin Giese,
Wolfgang Ahrendt,
1999,
TABLEAUX.
Dejan Nickovic,
César Sánchez,
Gordon J. Pace,
2018,
Formal Methods in System Design.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2015,
FM.
Wolfgang Ahrendt,
2001
.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2016,
ISoLA.
Wolfgang Ahrendt,
2019
.
Mattias Ulbrich,
Wolfgang Ahrendt,
Eva Darulova,
2021,
TACAS.
Bernhard Beckert,
Peter H. Schmitt,
Thomas Baar,
2007
.
Gordon J. Pace,
Joshua Ellul,
Wolfgang Ahrendt,
2019,
FSEN.
Neeraj Suri,
Lorenzo Strigini,
Guillaume Urvoy-Keller,
2007
.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2017,
Formal Methods Syst. Des..
Wolfgang Ahrendt,
2007,
The KeY Approach.
Bernhard Beckert,
Peter H. Schmitt,
Reiner Hähnle,
2007,
FMOODS.
Wolfgang Ahrendt,
Sarah Grebing,
2016,
Deductive Software Verification.
Bernhard Beckert,
Peter H. Schmitt,
Thomas Baar,
2007
.
Bernhard Beckert,
Peter H. Schmitt,
Mattias Ulbrich,
2016,
Lecture Notes in Computer Science.
Daniel Bruns,
Martin Hentschel,
Marieke Huisman,
2014
.
Martin A. Giese,
Bernhard Beckert,
Peter H. Schmitt,
2005
.
Laura Kovács,
Wolfgang Ahrendt,
Simon Robillard,
2015,
LPAR.
Ludovic Henrio,
Wolfgang Ahrendt,
Wytse Oortwijn,
2018,
VORTEX@ECOOP/ISSTA.
Ralf Sasse,
Wolfgang Ahrendt,
Andreas Roth,
2005,
LPAR.
Dejan Nickovic,
Gordon J. Pace,
Ezio Bartocci,
2019,
Formal Methods Syst. Des..
Wolfgang Ahrendt,
Maximilian Dylla,
Wolfgang Ahrendt,
2009,
ICFEM.
Gabriele Paganelli,
Wolfgang Ahrendt,
Wojciech Mostowski,
2012,
JTRES '12.
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1
pdf
Florian Lorber,
César Sánchez,
Cyrille Artho,
2019,
ArXiv.
Bernhard Beckert,
Vladimir Klebanov,
Christoph Scheben,
2014,
VSTTE.
Reiner Hähnle,
Wolfgang Ahrendt,
Richard Bubel,
2009,
TFM.
Bernhard Beckert,
Peter H. Schmitt,
Reiner Hähnle,
2006,
FMCO.
Wolfgang Ahrendt,
Wolfgang Ahrendt,
2002,
CADE.
Peter Baumgartner,
Cesare Tinelli,
Hans de Nivelle,
2005,
Electron. Notes Theor. Comput. Sci..
Wolfgang Ahrendt,
Gerhard Schellhorn,
1998
.
Wolfgang Ahrendt,
Wolfgang Ahrendt,
2000
.
Wolfgang Ahrendt,
Gerhard Schellhorn,
1997,
J. Univers. Comput. Sci..
Elisa Bertino,
Wolfgang Ahrendt,
Heike Wehrheim,
2020,
TAP@STAF.
Wolfgang Ahrendt,
Gerardo Schneider,
Jesús Mauricio Chimento,
2018,
2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Bernhard Beckert,
Martin Giese,
Philipp Rümmer,
2010,
KI - Künstliche Intelligenz.
Frank S. de Boer,
Wolfgang Ahrendt,
Stijn de Gouw,
2013,
SOFSEM.
Silvia Lizeth Tapia Tarifa,
Wolfgang Ahrendt,
Wolfgang Ahrendt,
2019,
IFM.
Wolfgang Ahrendt,
Maximilian Dylla,
Wolfgang Ahrendt,
2012,
Sci. Comput. Program..
Wolfgang Ahrendt,
1996
.
Martin Giese,
Wolfgang Ahrendt,
Wolfgang Ahrendt,
2007
.
Gordon J. Pace,
Joshua Ellul,
Wolfgang Ahrendt,
2019
.
Bernhard Beckert,
Peter H. Schmitt,
Reiner Hähnle,
1998
.