Christian Ferdinand
发表
Christian Ferdinand,
2005
.
Reinhard Wilhelm,
Christian Ferdinand,
R. Wilhelm,
1998,
LCTES.
Daniel Kästner,
Christian Ferdinand,
2012
.
Daniel Kästner,
Christian Ferdinand,
2016,
RSSRail.
Oleg Parshin,
Reinhold Heckmann,
Christian Ferdinand,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Laurent Mauborgne,
Bernard Schmidt,
Christian Ferdinand,
2019
.
François Terrier,
Paolo Gai,
Marco Di Natale,
2010
.
Stephan Thesing,
Reinhold Heckmann,
Christoph Cullmann,
2006,
Program Analysis and Compilation.
Reinhard Wilhelm,
Helmut Seidl,
Christian Ferdinand,
1994,
Acta Informatica.
Reinhard Wilhelm,
Martin Alt,
Christian Ferdinand,
1996,
SAS.
Reinhard Wilhelm,
Christian Ferdinand,
1997
.
Reinhard Wilhelm,
Stephan Thesing,
Reinhold Heckmann,
2003,
2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..
Reinhard Wilhelm,
Martin Alt,
Christian Ferdinand,
1996,
Sci. Comput. Program..
Jan Reineke,
Daniel Grund,
Christian Ferdinand,
2009,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Jan Gustafsson,
Guillem Bernat,
Markus Schordan,
2008,
ISoLA.
Martin Hofmann,
Roy Dyckhoff,
Greg J. Michaelson,
2005,
Trends in Functional Programming.
Reinhard Wilhelm,
Oleg Parshin,
Reinhold Heckmann,
2006,
ASWSD.
Reinhard Wilhelm,
Helmut Seidl,
Christian Ferdinand,
1994,
Acta Informatica.
Patrick Cousot,
Heinz Hille,
Antoine Miné,
2017
.
Reinhold Heckmann,
Christian Ferdinand,
2005,
Sicherheit.
Umut Durak,
Harald Bucher,
Jürgen Becker,
2019,
Journal of Aerospace Information Systems.
Henrik Theiling,
Reinhard Wilhelm,
Stephan Thesing,
2001,
EMSOFT.
Jörn Schneider,
Christian Ferdinand,
C. Ferdinand,
1999,
LCTES '99.
Jakob Engblom,
David B. Whalley,
Per Stenström,
2008,
TECS.
Henrik Theiling,
Reinhard Wilhelm,
Christian Ferdinand,
2000,
Real-Time Systems.
Martin Alt,
Christian Ferdinand,
Georg Sander,
1996
.
Christian Ferdinand,
C. Ferdinand,
Christian Ferdinand,
1997
.
Reinhold Heckmann,
Christian Ferdinand,
Kai Richter,
2008
.
Reinhard Wilhelm,
Christian Ferdinand,
Florian Martin,
2007
.
Reinhard Wilhelm,
Jörn Schneider,
Christian Ferdinand,
1999
.
Martin Hofmann,
Roy Dyckhoff,
Greg J. Michaelson,
2006,
WCET.
Daniel Kästner,
Laurent Mauborgne,
Christoph Cullmann,
2020,
SAFECOMP Workshops.
Reinhard Wilhelm,
Guillem Bernat,
Niklas Holsti,
2009,
WCET.
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2009,
Softwaretechnik-Trends.
Reinhard Wilhelm,
Reinhold Heckmann,
Christian Ferdinand,
2004,
ASWSD.
Reinhold Heckmann,
Christian Ferdinand,
2008,
2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
Daniel Kästner,
Laurent Mauborgne,
Christian Ferdinand,
2020
.
Daniel Kästner,
Reinhold Heckmann,
Christoph Cullmann,
2012,
SAFECOMP Workshops.
Reinhold Heckmann,
Christian Ferdinand,
2005,
CHARME.
Henrik Theiling,
Reinhard Wilhelm,
Reinhold Heckmann,
2003,
WCET.
Umut Durak,
Harald Bucher,
Jürgen Becker,
2017,
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.
Daniel Kästner,
Christian Ferdinand,
Tom Bienmüller,
2015,
2015 11th European Dependable Computing Conference (EDCC).
Henrik Theiling,
Reinhard Wilhelm,
Stephan Thesing,
1999,
GI Jahrestagung.
Reinhard Wilhelm,
Kai Richter,
Marek Jersak,
2008,
ISoLA.
Henrik Theiling,
Christian Ferdinand,
1998,
Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).
Reinhard Wilhelm,
Martin Alt,
Christian Ferdinand,
1998,
CC.
Daniel Kästner,
Laurent Mauborgne,
Christian Ferdinand,
2018,
FM.
Reinhold Heckmann,
Christian Ferdinand,
Dirk Fleischer,
2014
.
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2016
.
Marek Jersak,
Daniel Kästner,
Reinhold Heckmann,
2011
.
Daniel Kästner,
Christian Ferdinand,
Simon Wegener,
2019,
WCET.
Nico Feiertag,
Kai Richter,
Marek Jersak,
2010
.
Reinhold Heckmann,
Christian Ferdinand,
2005,
Design, Automation and Test in Europe.
Towards Integrating Model-Driven Development of Hard Real-Time Systems with Static Program Analyzers
Oleg Parshin,
Reinhold Heckmann,
Christian Ferdinand,
2007
.
Reinhold Heckmann,
Christian Ferdinand,
Florian Martin,
2008
.
Daniel Kästner,
Reinhold Heckmann,
Christian Ferdinand,
2010,
SAFECOMP.
Armelle Bonenfant,
Reinhold Heckmann,
Kevin Hammond,
2006,
IFL.
Xavier Leroy,
Daniel Kästner,
Sandrine Blazy,
2016
.
Reinhold Heckmann,
Christian Ferdinand,
2004,
18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..
Daniel Kästner,
Christian Ferdinand,
2012,
Automotive - Safety & Security.
Daniel Kästner,
Laurent Mauborgne,
Christian Ferdinand,
2019,
SAFECOMP.
CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler
Xavier Leroy,
Daniel Kästner,
Sandrine Blazy,
2018
.
Reinhard Wilhelm,
Martin Alt,
Christian Ferdinand,
1993,
PROSPECTRA Book.
Reinhard Wilhelm,
Martin Alt,
Christian Ferdinand,
1995,
Graph Drawing.
Andrew M. Wallace,
Roy Dyckhoff,
Hans-Wolfgang Loidl,
2006
.
Daniel Kästner,
Christian Ferdinand,
Markus Pister,
2013,
SASSUR@SAFECOMP.
Reinhard Wilhelm,
Christian Ferdinand,
R. Wilhelm,
1999,
Real-Time Systems.
Xavier Leroy,
Daniel Kästner,
Sandrine Blazy,
2017
.
Daniel Kästner,
Christian Ferdinand,
2014,
SAFECOMP.
Reinhold Heckmann,
Christian Ferdinand,
2006
.
Christian Ferdinand,
1990,
PLILP.
Henrik Theiling,
Stephan Thesing,
Daniel Kästner,
2003,
GI Jahrestagung.
Reinhold Heckmann,
Kevin Hammond,
Christian Ferdinand,
2006,
SIGBED.
Reinhard Wilhelm,
Helmut Seidl,
Christian Ferdinand,
1992,
Informatik.
Daniel Kästner,
Reinhold Heckmann,
Christian Ferdinand,
2012,
International Journal on Software Tools for Technology Transfer.
Daniel Kästner,
Christian Ferdinand,
Tom Bienmüller,
2014,
SAFECOMP Workshops.
Reinhold Heckmann,
Christian Ferdinand,
Bärbel Franzen,
2006
.
Christian Ferdinand,
2004
.
Jan Reineke,
Daniel Grund,
Reinhard Wilhelm,
2009
.