Stefan Hallerstede
发表
Colin F. Snook,
Nikos S. Voros,
Stefan Hallerstede,
2004,
FDL.
Thai Son Hoang,
Michael J. Butler,
Farhad Mehta,
2010,
International Journal on Software Tools for Technology Transfer.
Stefan Hallerstede,
S. Hallerstede,
2009,
FMCO.
Stefan Hallerstede,
S. Hallerstede,
2010,
ASM.
Christian Fischer Pedersen,
Stefan Hallerstede,
Stefan Wagner,
2015
.
Lukas Ladenberger,
Stefan Hallerstede,
Michael Jastram,
2011,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Michael Leuschel,
Stefan Hallerstede,
2009,
TFM.
Stefan Hallerstede,
2003
.
Kathrin M. Möslein,
Angelika C. Bullinger-Hoffmann,
Stefan Hallerstede,
2012,
AMCIS.
Michael J. Butler,
Stefan Hallerstede,
S. Hallerstede,
2004,
Formal Aspects of Computing.
Michael Leuschel,
Stefan Hallerstede,
Daniel Plagge,
2013,
Sci. Comput. Program..
Michael Leuschel,
Michael Butler,
Stefan Hallerstede,
2012
.
Thai Son Hoang,
Stefan Hallerstede,
S. Hallerstede,
2012,
ABZ.
Jean-Raymond Abrial,
Stefan Hallerstede,
J. Abrial,
2007,
Fundam. Informaticae.
Michael Leuschel,
Stefan Hallerstede,
M. Leuschel,
2011,
Formal Aspects of Computing.
Simon Perry,
Jon Holt,
Daniela Cancila,
2012,
2012 7th International Conference on System of Systems Engineering (SoSE).
Frank Danzinger,
Kathrin M. Möslein,
Angelika C. Bullinger-Hoffmann,
2014,
HMD Praxis der Wirtschaftsinformatik.
Stefan Hallerstede,
S. Hallerstede,
2001
.
José Antonio Esparza Isasa,
Stefan Hallerstede,
Peter Würtz Vinther Tran-Jørgensen,
2014,
ABZ.
Michael Leuschel,
Jens Bendisposto,
Dominik Hansen,
2016,
ABZ.
Michael Leuschel,
Stefan Hallerstede,
Daniel Plagge,
2010,
ASM.
Stefan Hallerstede,
S. Hallerstede,
2009,
REFINE@FMWeek.
Stefan Hallerstede,
2008,
ABZ.
Colin F. Snook,
Stefan Hallerstede,
S. Hallerstede,
2011,
ICFEM.
Stefan Hallerstede,
2016,
Sci. Comput. Program..
Thai Son Hoang,
Stefan Hallerstede,
2007,
IFM.
Simon Perry,
Jeremy Bryans,
Jon Holt,
2015,
IEEE Systems Journal.
Lukas Ladenberger,
Stefan Hallerstede,
Michael Jastram,
2014,
Sci. Comput. Program..
Michael Leuschel,
Stefan Hallerstede,
Sebastian Krings,
2018,
PADL.
Kathrin M. Möslein,
Jens-Hendrik Soeldner,
Angelika C. Bullinger-Hoffmann,
2010,
AMCIS.
Stefan Hallerstede,
Yann Zimmermann,
2004,
FDL.
Dominique Cansell,
Wolfgang Mueller,
Nikolaos S. Voros,
2004
.
Michael J. Butler,
Jean-Raymond Abrial,
Stefan Hallerstede,
2006,
ICFEM.
Michael Leuschel,
Stefan Hallerstede,
Michael Jastram,
2010,
VSTTE.
Stefan Hallerstede,
Ken Pierce,
2013
.
Nikolaos S. Voros,
Colin Snook,
Stefan Hallerstede,
2004
.
Michael J. Butler,
Jean-Raymond Abrial,
Stefan Hallerstede,
2008,
ABZ.
Jan Peleska,
Jon Holt,
Finn Overgaard Hansen,
2012,
2012 7th International Conference on System of Systems Engineering (SoSE).
Stefan Hallerstede,
2018,
Formal Aspects of Computing.
Peter Gorm Larsen,
John S. Fitzgerald,
Stefan Hallerstede,
2018,
ISoLA.
Stefan Hallerstede,
2014,
ABZ.
Marcello M. Bonsangue,
Michael Leuschel,
Frank S. Boer,
2010,
FMCO.
Thai Son Hoang,
Stefan Hallerstede,
S. Hallerstede,
2014,
Sci. Comput. Program..
Stefan Hallerstede,
S. Hallerstede,
2007,
B.
Colin F. Snook,
Kostas Masselos,
Nikos S. Voros,
2004,
Des. Autom. Embed. Syst..
Peter Gorm Larsen,
Lukas Esterle,
Stefan Hallerstede,
2019,
FISEE.
Peter Gorm Larsen,
Michael Leuschel,
Stefan Hallerstede,
2018,
SEFM.
Felix Lösch,
Michael Leuschel,
Stefan Hallerstede,
2011,
ICFEM.
Michael Butler,
Stefan Hallerstede,
Laurent Voisin,
2009
.
Dominique Cansell,
Stefan Hallerstede,
Yann Zimmermann,
2003
.
Dominique Cansell,
Ian Oliver,
Stefan Hallerstede,
2004
.
Alie El-Din Mady,
Peter Gorm Larsen,
Julien Ouy,
2016
.
Michael Leuschel,
Stefan Hallerstede,
2011,
Theory Pract. Log. Program..
Stefan Hallerstede,
S. Hallerstede,
2008,
Formal Aspects of Computing.
Elvinia Riccobene,
Michael Leuschel,
Uwe Glässer,
2013,
Dagstuhl Reports.
Michael Butler,
Stefan Hallerstede,
2007
.
Christian Fischer Pedersen,
Stefan Hallerstede,
Stefan Wagner,
2014,
ISAmI.
Stefan Hallerstede,
2003,
ZB.
Lukas Ladenberger,
Stefan Hallerstede,
Michael Jastram,
2012
.
Michael Butler,
Stefan Hallerstede,
1999
.
Christian Fischer Pedersen,
Stefan Hallerstede,
Stefan Wagner,
2016,
PervasiveHealth.
Stefan Hallerstede,
S. Hallerstede,
2009
.
Jean-Raymond Abrial,
Stefan Hallerstede,
Michael Butler,
2008
.
Stefan Hallerstede,
Michael Butler,
2007
.
Stefan Hallerstede,
Yann Zimmermann,
2004
.