Stephan Merz
发表
Stephan Merz,
Fred Kröger,
2008
.
Stephan Merz,
Houda Fekih,
Leila Jemni Ben Ayed,
2006,
SAC '06.
Stephan Merz,
Leslie Lamport,
L. Lamport,
1994,
FTRTFT.
Stephan Merz,
2010
.
Stephan Merz,
Remi Badonnel,
Abdelkader Lahmadi,
2017,
2017 IEEE Conference on Network Softwarization (NetSoft).
Stephan Merz,
Stephan Merz,
2003,
Comput. Artif. Intell..
Stephan Merz,
Hernán Vanzetto,
2018,
Sci. Comput. Program..
Stephan Merz,
Loïc Fejoz,
2008
.
Stephan Merz,
2000,
TPHOLs.
Dominique Méry,
Stephan Merz,
2007,
J. Univers. Comput. Sci..
Stephan Merz,
Alexander Knapp,
Christopher Rauh,
2002,
FTRTFT.
Stephan Merz,
Remi Badonnel,
Abdelkader Lahmadi,
2019,
2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM).
Stephan Merz,
Tobias Nipkow,
2007,
Electron. Notes Theor. Comput. Sci..
Stephan Merz,
Martin Wirsing,
Alexander Knapp,
2004,
AMAST.
Stephan Merz,
Martin Quinson,
Sabina Akhtar,
2010,
SBMF.
Dominique Méry,
Stephan Merz,
Loïc Fejoz,
2006
.
Stephan Merz,
Fred Kröger,
2008
.
Stephan Merz,
Hernán Vanzetto,
Stephan Merz,
2016,
ABZ.
Stephan Merz,
Martin Quinson,
Cristian Daniel Rosa,
2011,
FMOODS/FORTE.
Stephan Merz,
Jean Paul Bahsoun,
Corinne Servieres,
1993,
SIGSOFT '93.
Stephan Merz,
Damien Doligez,
Matthieu Lemerre,
2016,
ABZ.
Stephan Merz,
Fred Kröger,
Stephan Merz,
2008
.
Dominique Cansell,
Dominique Méry,
Stephan Merz,
2000,
IFM.
Stephan Merz,
Martin Quinson,
Cristian Daniel Rosa,
2010,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Stephan Merz,
Christoph Weidenbach,
Noran Azmy,
2016,
ABZ.
Stephan Merz,
Henri Debrat,
Stephan Merz,
2012,
Arch. Formal Proofs.
Stephan Merz,
Christoph Weidenbach,
Noran Azmy,
2018,
Sci. Comput. Program..
Stephan Merz,
Bernadette Charron-Bost,
Henri Debrat,
2011,
SSS.
Stephan Merz,
Marc Boyer,
Loïc Fejoz,
2013,
ITP.
Stephan Merz,
Gudmund Grov,
Stephan Merz,
2011,
Arch. Formal Proofs.
Stephan Merz,
Stephan Merz,
1993,
Executable Modal and Temporal Logics.
Stephan Merz,
Eun-Young Kang,
Stephan Merz,
2007,
Formal Aspects of Computing.
Stephan Merz,
Lo ¨ ic,
Fejoz Dominique,
2005
.
Stephan Merz,
Leslie Lamport,
2017,
ArXiv.
Stephan Merz,
Stephan Merz,
1992,
J. Appl. Non Class. Logics.
Stephan Merz,
Pierre Wolper,
Leon van der Torre,
2006,
Trustworthy Software.
Stephan Merz,
2004
.
Dominique Cansell,
Dominique Méry,
Stephan Merz,
2001,
J. Univers. Comput. Sci..
Martín Abadi,
Stephan Merz,
Leslie Lamport,
2016,
Formal Systems Specification.
Stephan Merz,
Remi Badonnel,
Abdelkader Lahmadi,
2019,
2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM).
Manfred Broy,
Stephan Merz,
Katharina Spies,
1994,
Formal Systems Specification.
Stephan Merz,
Pierre Wolper,
Reinhard Wilhelm,
2006,
Trustworthy Software.
Stephan Merz,
Jan-Georg Smaus,
Alexander Schimpf,
2009,
TPHOLs.
Stephan Merz,
Marc Boyer,
2014
.
Stephan Merz,
Hernán Vanzetto,
Stephan Merz,
2014,
NASA Formal Methods.
Stephan Merz,
Marc Boyer,
Loïc Fejoz,
2013
.
Stephan Merz,
Tobias Nipkow,
Heiko Mantel,
2008
.
Stephan Merz,
Hernán Vanzetto,
Stephan Merz,
2012
.
Stephan Merz,
Fred Krger,
2010
.
Stephan Merz,
Jasmin Christian Blanchette,
Stephan Merz,
2016,
Lecture Notes in Computer Science.
Stephan Merz,
Gerald Lüttgen,
2012,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Stephan Merz,
Gerald Lüttgen,
Stephan Merz,
2014
.
Stephan Merz,
Bernadette Charron-Bost,
Josef Widder,
2013
.
Stephan Merz,
Fred Kröger,
2008
.
Stephan Merz,
Fred Kröger,
2008
.
Stephan Merz,
Fred Kröger,
Stephan Merz,
2008
.
Stephan Merz,
Tobias Nipkow,
2007
.
Stephan Merz,
Jean-Jacques Lévy,
Ran Chen,
2018,
ArXiv.
Stephan Merz,
Hernán Vanzetto,
Bhargav Bhatt,
2013
.
Stephan Merz,
Stephan Merz,
2019,
Concurrency: the Works of Leslie Lamport.
Stephan Merz,
Jun Pang,
2014
.
Stephan Merz,
Tjark Weber,
Pascal Fontaine,
2006
.
Stephan Merz,
Jens Gustedt,
Joseph Emeras,
2013
.
Stephan Merz,
Pascal Fontaine,
Jean-Yves Marion,
2006,
TACAS.
Stephan Merz,
Hernán Vanzetto,
Stephan Merz,
2012,
LPAR.
Stephan Merz,
Remi Badonnel,
Abdelkader Lahmadi,
2018,
NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium.
Stephan Merz,
François Bourdoncle,
Stephan Merz,
1997,
POPL '97.
Stephan Merz,
Stephan Merz,
1997,
ASIAN.
Stephan Merz,
Martin Wirsing,
Alexander Knapp,
2006,
Theor. Comput. Sci..
Stephan Merz,
Frank Leßke,
Stephan Merz,
1995,
Formal Methods for Industrial Applications.
Stephan Merz,
Martin Quinson,
Cristian Rosa,
2009
.
Stephan Merz,
Bruno Woltzenlogel Paleo,
Pascal Fontaine,
2011,
CADE.
Stephan Merz,
Christoph Weidenbach,
Tianxiang Lu,
2011,
FMOODS/FORTE.
Manfred Broy,
Stephan Merz,
Katharina Spies,
1996,
Lecture Notes in Computer Science.
Stephan Merz,
Leslie Lamport,
Denis Cousineau,
2012,
FM.
Stephan Merz,
Jun Pang,
Icfem,
2014
.
Stephan Merz,
Rémi Badonnel,
Abdelkader Lahmadi,
2019
.
Stephan Merz,
Jin Song Dong,
Jun Pang,
2016,
Formal Aspects of Computing.
Stephan Merz,
Bernadette Charron-Bost,
Josef Widder,
2013,
Dagstuhl Reports.
Stephan Merz,
Fred Kröger,
Stephan Merz,
2008,
Texts in Theoretical Computer Science. An EATCS Series.
Dominique Méry,
Stephan Merz,
2006,
ArXiv.
Stephan Merz,
Alexander Knapp,
Moritz Hammer,
2005,
TACAS.
Dominique Méry,
Stephan Merz,
Christoph Weidenbach,
2016
.
Stephan Merz,
Pascal Fontaine,
Leonor Prensa Nieto,
2006
.
Stephan Merz,
Leslie Lamport,
Arthur Charguéraud,
2007
.
Stephan Merz,
Hernán Vanzetto,
Stephan Merz,
2015,
ArXiv.
Stephan Merz,
Martin Quinson,
Sabina Akhtar,
2010
.
Stephan Merz,
Pierre Wolper,
Leon van der Torre,
2006
.
Stephan Merz,
Leslie Lamport,
Damien Doligez,
2008,
LPAR Workshops.
Stephan Merz,
Remi Badonnel,
Abdelkader Lahmadi,
2018,
NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium.
Stephan Merz,
Hehua Zhang,
Ming Gu,
2010,
Comput. Math. Appl..
Dominique Cansell,
Dominique Méry,
Stephan Merz,
2000
.
Stephan Merz,
Fred Kröger,
Stephan Merz,
2008
.
Stephan Merz,
Alexander Knapp,
2002
.
Stephan Merz,
Eun-Young Kang,
2006
.
Stephan Merz,
Stephan Merz,
2000,
MOVEP.
Stephan Merz,
Juan Rodríguez-Hortalá,
Francisco Javier López-Fraguas,
2009,
ArXiv.
Stephan Merz,
Hernán Vanzetto,
Stephan Merz,
2012,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Stephan Merz,
Christoph Weidenbach,
Pascal Fontaine,
2012,
IJCAR.
Stephan Merz,
Bernadette Charron-Bost,
Mouna Chaouch-Saad,
2009,
RP.
Stephan Merz,
Jasmin Christian Blanchette,
2018,
Journal of Automated Reasoning.
Stephan Merz,
Bruno Woltzenlogel Paleo,
Pascal Fontaine,
2011,
CADE.
Stephan Merz,
Tobias Nipkow,
Heiko Mantel,
2008,
Journal of Automated Reasoning.
Stephan Merz,
Fred Kröger,
2008
.
Stephan Merz,
Jean Paul Bahsoun,
Corinne Servieres,
1995,
OBPDC.
Dominique Méry,
Stephan Merz,
2010,
iFM 2010.
Stephan Merz,
Nicolas Navet,
Stephan Merz,
2008
.
Stephan Merz,
Bernadette Charron-Bost,
Stephan Merz,
2009,
Int. J. Softw. Informatics.
Stephan Merz,
Michael Backes,
Bernadette Charron-Bost,
2010
.
Stephan Merz,
Alexander Knapp,
Timm Schäfer,
2001,
Workshop on Software Model Checking @ CAV.
Manfred Broy,
Stephan Merz,
Katharina Spies,
1996
.
Stephan Merz,
Stephan Merz,
2002,
Synthese.
Stephan Merz,
Sébastien Tixeuil,
Leslie Lamport,
2013
.
Stephan Merz,
Nicolas Navet,
Stephan Merz,
2008
.
Stephan Merz,
Rémi Badonnel,
Abdelkader Lahmadi,
2018,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Martín Abadi,
Stephan Merz,
M. Abadi,
1996,
NATO ASI DPD.
Stephan Merz,
Leslie Lamport,
Damien Doligez,
2010,
IJCAR.
Stephan Merz,
Tobias Nipkow,
Heiko Mantel,
2008
.
Stephan Merz,
Stephan Merz,
2008
.
Dominique Méry,
Stephan Merz,
2010,
IFM.
Stephan Merz,
David Déharbe,
Stephan Merz,
2015,
FACS.
Dominique Méry,
Stephan Merz,
Christoph Weidenbach,
2013
.
Stephan Merz,
Hernán Vanzetto,
Stephan Merz,
2011,
PxTP.
Stephan Merz,
1992
.
Stephan Merz,
Yassin Mokhtari,
Stephan Merz,
1999,
LPAR.
Stephan Merz,
Martin Wirsing,
Alexander Knapp,
2001
.
Martín Abadi,
Stephan Merz,
M. Abadi,
1995,
MFCS.
Dominique Cansell,
Dominique Méry,
Stephan Merz,
2005
.
Stephan Merz,
Christoph Weidenbach,
Tianxiang Lu,
2010
.
Stephan Merz,
Gerald Lüttgen,
2014,
Sci. Comput. Program..
Stephan Merz,
Hehua Zhang,
Ming Gu,
2009,
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Stephan Merz,
Anderson Santana de Oliveira,
Anamaria Martins Moreira,
2009
.
Stephan Merz,
Christoph Weidenbach,
Tianxiang Lu,
2012
.
Stephan Merz,
Jean-Jacques Lévy,
Laurent Théry,
2019,
ITP.
Stephan Merz,
Martin Wirsing,
Júlia Zappe,
2003,
FASE.
Dominique Méry,
Stephan Merz,
Christoph Weidenbach,
2015
.
Stephan Merz,
Leslie Lamport,
Damien Doligez,
2010,
ICTAC.
Stephan Merz,
Leslie Lamport,
Damien Doligez,
2014,
ARQNL@IJCAR.
Stephan Merz,
2012,
Arch. Formal Proofs.
Stephan Merz,
Fred Kröger,
1991,
Fundam. Informaticae.
Stephan Merz,
Pascal Fontaine,
Carlos Areces,
2015,
Software, Services, and Systems.
Stephan Merz,
Marie Duflot,
Nicolae Brinzei,
2019,
Proceedings of the 29th European Safety and Reliability Conference (ESREL).
Stephan Merz,
1999,
World Congress on Formal Methods.
Stephan Merz,
Claude Kirchner,
Hélène Kirchner,
2003
.
Stephan Merz,
Houda Fekih,
2002
.
Stephan Merz,
Marie Duflot,
Jingshu Chen,
2014,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Stephan Merz,
Mauro Jaskelioff,
2005,
Arch. Formal Proofs.
Stephan Merz,
Bernadette Charron-Bost,
Louis Penet de Monterno,
2021,
SSS.
Stephan Merz,
Rémi Badonnel,
Abdelkader Lahmadi,
2021,
Communication Networks and Service Management in the Era of Artificial Intelligence and Machine Learning.
Stephan Merz,
Stephan Merz,
François Bourdoncle,
1996
.
Stephan Merz,
Martin Wirsing,
Alexander Knapp,
2004
.