Michael Mendler
发表
Peter Kelb,
T. Margaria,
Michael Mendler,
1997
.
Michael Mendler,
M. Fairtlough,
M. Walton,
1997
.
Michael Mendler,
Matt Fairtlough,
Michael Mendler,
1996
.
Willem P. de Roever,
Michael Mendler,
Gerald Lüttgen,
2010,
Essays in Memory of Amir Pnueli.
Michael Mendler,
Valeria C V de Paiva,
M. Mendler,
2005
.
Michael Mendler,
Michael Mendler,
David Adams,
2002
.
Michael Mendler,
M. Fairtlough,
1996
.
Michael Mendler,
Bruno Bodin,
P. Roop,
2017
.
Michael Mendler,
Matt Fairtloughy,
1996
.
Michael Mendler,
1999
.
Michael Mendler,
F. Orava,
Lars-Åke Fredlund,
1992
.
Michael Mendler,
Valeria C V de Paiva,
2005
.
H. Andersen,
Michael Mendler,
2005
.
Manfred Broy,
Michael Mendler,
Gerald Lüttgen,
2004,
Formal Aspects of Computing.
G. Berry,
Michael Mendler,
T. Shiple,
2012,
Formal Methods in System Design.
Michael Mendler,
Stephan Scheele,
Michael Mendler,
2011,
Inf. Comput..
Joaquín Aguado,
Michael Mendler,
Reinhard von Hanxleden,
2015,
Acta Informatica.
Joaquín Aguado,
Michael Mendler,
Reinhard von Hanxleden,
2014,
ESOP.
Michael Mendler,
Michael Mendler,
2011,
FIT.
Michael Mendler,
Reinhard von Hanxleden,
Claus Traulsen,
2009,
2009 Design, Automation & Test in Europe Conference & Exhibition.
Michael Mendler,
Uttgen,
2007
.
Michael Mendler,
Gerald Lüttgen,
Michael Mendler,
2002,
SLAP@ETAPS.
Michael Mendler,
Gerald Lüttgen,
Michael Mendler,
2000
.
Michael Mendler,
Gerald Lüttgen,
Michael Mendler,
2000,
ICALP.
Rance Cleaveland,
Michael Mendler,
Gerald Lüttgen,
1997,
CONCUR.
Natasha Alechina,
Valeria de Paiva,
Michael Mendler,
2001,
CSL.
Natasha Alechina,
Valeria de Paiva,
Michael Mendler,
2001
.
Bernhard Steffen,
Michael Mendler,
C. Barry Jay,
1990,
RAIRO Theor. Informatics Appl..
Synchronized Shared Memory and Black-box Procedural Abstraction: Towards a Formal Semantics of Blech
Michael Mendler,
Friedrich Gretz,
Stephan Scheele,
2022,
ACM Transactions on Embedded Computing Systems.
Joaquín Aguado,
Michael Mendler,
Reinhard von Hanxleden,
2014,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Joaquín Aguado,
Michael Mendler,
Reinhard von Hanxleden,
2014,
PLDI.
Michael Mendler,
Thomas R. Shiple,
Gérard Berry,
2012,
Formal Methods Syst. Des..
Michael Mendler,
Michael Mendler,
M. Mendler,
2000,
Formal Methods Syst. Des..
Michael Mendler,
Matt Fairtloughy,
1996
.
Michael Mendler,
Li-Guo Wang,
Michael Mendler,
1995,
CHARME.
Michael Mendler,
Matthias Mutz,
Thomas Lock,
1998,
FMCAD.
Joaquín Aguado,
Michael Mendler,
Michael Mendler,
2011,
Theor. Comput. Sci..
Partha S. Roop,
Michael Mendler,
Avinash Malik,
2017,
ACM Trans. Embed. Comput. Syst..
Michael Mendler,
Gerald Lüttgen,
Michael Mendler,
2010,
Inf. Comput..
Michael Mendler,
Gerald Lüttgen,
Michael Mendler,
2007,
CONCUR.
Michael Mendler,
Reinhard von Hanxleden,
Steven Smyth,
2015,
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Michael Mendler,
Barry Norton,
Gerald Lüttgen,
2003,
CONCUR.
Michael Mendler,
Matt Fairtlough,
Michael Mendler,
2003,
Stud Logica.
Constrained Proofs: A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
Michael Mendler,
Michael Mendler,
1991
.
Michael Mendler,
Steven Smyth,
Alexander Schulz-Rosengarten,
2021,
ACM Trans. Embed. Comput. Syst..
F. Gretz,
F-J. Grosch,
M. Mendler,
2020,
2020 Forum for Specification and Design Languages (FDL).
Marc Pouzet,
Partha S. Roop,
Joaquín Aguado,
2018,
ESOP.
Marc Pouzet,
Éric Rutten,
Michael Mendler,
2008,
EURASIP J. Embed. Syst..
Michael Mendler,
Li-Guo Wang,
Michael Mendler,
1995,
HOA.
Partha S. Roop,
Michael Mendler,
Bruno Bodin,
2016,
FORMATS.
Partha S. Roop,
Joaquín Aguado,
Michael Mendler,
2018,
Models, Mindsets, Meta.
Michael Mendler,
Matt Fairtlough,
Michael Mendler,
1997,
Inf. Comput..
Michael Mendler,
Matt Fairtlough,
Michael Mendler,
1994,
CSL.