Wolfgang Ahrendt
发表
Mattias Ulbrich,
Wolfgang Ahrendt,
Eva Darulova,
2021,
TACAS.
Jonas Schiffl,
Eva Darulova,
Mattias Ulbrich,
2021
.
Peter Baumgartner,
Wolfgang Ahrendt,
H. D. Nivelle,
2004
.
Martin Giese,
Wolfgang Ahrendt,
Wolfgang Ahrendt,
2007
.
Reiner Hähnle,
Wojciech Mostowski,
W. Menzel,
2022
.
Peter Baumgartner,
Wolfgang Ahrendt,
H. D. Nivelle,
2006
.
Gordon J. Pace,
Joshua Ellul,
Wolfgang Ahrendt,
2019
.
Reiner Hähnle,
W. Menzel,
Wolfgang Ahrendt,
1998
.
Philippe A. Palanque,
C. Cachin,
R. Bloomfield,
2009
.
Martin Fabian,
Wolfgang Ahrendt,
Jonas Krook,
2022,
ArXiv.
Dejan Nickovic,
César Sánchez,
Gordon J. Pace,
2018,
Formal Methods in System Design.
Wolfgang Ahrendt,
Maximilian Dylla,
Wolfgang Ahrendt,
2012,
Sci. Comput. Program..
Wolfgang Ahrendt,
Maximilian Dylla,
Wolfgang Ahrendt,
2009,
ICFEM.
Bernhard Beckert,
Peter H. Schmitt,
Reiner Hähnle,
2007,
FMOODS.
Bernhard Beckert,
Peter H. Schmitt,
Thomas Baar,
2005,
Software & Systems Modeling.
Martin Fabian,
Wolfgang Ahrendt,
Yuvaraj Selvaraj,
2022,
IEEE Transactions on Intelligent Vehicles.
Reiner Hähnle,
Wolfgang Ahrendt,
Richard Bubel,
2009,
TFM.
Bernhard Beckert,
Peter H. Schmitt,
Mattias Ulbrich,
2016,
Lecture Notes in Computer Science.
Jonas Schiffl,
Eva Darulova,
Mattias Ulbrich,
2023,
International Journal on Software Tools for Technology Transfer.
Stijn de Gouw,
F. S. Boer,
Wolfgang Ahrendt,
2016,
Journal of Software and Systems Modeling.
Bernhard Beckert,
Vladimir Klebanov,
Christoph Scheben,
2014,
VSTTE.
Martin A. Giese,
Bernhard Beckert,
Peter H. Schmitt,
2005
.
Reiner Hähnle,
Wojciech Mostowski,
W. Menzel,
2022
.
Frank S. de Boer,
Wolfgang Ahrendt,
Stijn de Gouw,
2013,
SOFSEM.
Gabriele Paganelli,
Wolfgang Ahrendt,
Wojciech Mostowski,
2012,
JTRES '12.
Frank S. de Boer,
Wolfgang Ahrendt,
Immo Grabe,
2009,
FM.
Elisa Bertino,
Wolfgang Ahrendt,
Heike Wehrheim,
2020,
TAP@STAF.
Bernhard Beckert,
Peter H. Schmitt,
Thomas Baar,
2007
.
Bernhard Beckert,
Wolfgang Ahrendt,
Gernot Stenz,
1999,
J. Univers. Comput. Sci..
Bernhard Beckert,
Peter H. Schmitt,
Reiner Hähnle,
1998
.
Silvia Lizeth Tapia Tarifa,
Wolfgang Ahrendt,
Wolfgang Ahrendt,
2019,
IFM.
Wolfgang Ahrendt,
Christoph Gladisch,
Mihai Herda,
2016,
Deductive Software Verification.
Wolfgang Ahrendt,
Yuvaraj Selvaraj,
Martin Fabian,
2019,
FMICS.
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.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2017,
Formal Methods Syst. Des..
Jesús Mauricio Chimento,
G. Schneider,
Wolfgang Ahrendt,
2017,
Formal methods in system design.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2015,
FM.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2016,
ISoLA.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2012,
ISoLA.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2015,
RV.
Wolfgang Ahrendt,
Richard Bubel,
Wolfgang Ahrendt,
2020,
ISoLA.
Bernhard Beckert,
Wolfgang Ahrendt,
Richard Bubel,
2020,
20 Years of KeY.
Thomas T. Hildebrandt,
G. Schneider,
Cyrille Artho,
2023,
ArXiv.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2018,
Principled Software Development.
Thomas T. Hildebrandt,
G. Schneider,
Cyrille Artho,
2023,
ArXiv.
Martin Fabian,
Wolfgang Ahrendt,
Yuvaraj Selvaraj,
2022,
Electronics.
Gordon J. Pace,
Joshua Ellul,
Wolfgang Ahrendt,
2019,
FSEN.
Martin Fabian,
Wolfgang Ahrendt,
Sahar Mohajerani,
2022,
IFAC-PapersOnLine.
Gordon J. Pace,
Wolfgang Ahrendt,
Raúl Pardo,
2019
.
Daniel Bruns,
Martin Hentschel,
Marieke Huisman,
2014
.
Wolfgang Ahrendt,
Wolfgang Ahrendt,
2002,
CADE.
Wolfgang Ahrendt,
Wolfgang Ahrendt,
2000
.
Reiner Hähnle,
W. Menzel,
Wolfgang Ahrendt,
2000,
JELIA.
Bernhard Beckert,
Peter H. Schmitt,
Thomas Baar,
2007
.
Bernhard Beckert,
Martin Giese,
Philipp Rümmer,
2010,
KI - Künstliche Intelligenz.
Thomas T. Hildebrandt,
G. Schneider,
Cyrille Artho,
2023,
SEFM.
Bernhard Beckert,
Peter H. Schmitt,
Reiner Hähnle,
2006,
FMCO.