Mario Gleirscher
发表
Simon Foster,
Jim Woodcock,
Mario Gleirscher,
2018,
ArXiv.
Manfred Broy,
Mario Gleirscher,
Stefano Merenda,
2009,
Computer.
Stefan Wagner,
Mario Gleirscher,
Dmitriy Golubitskiy,
2013,
Software Quality Journal.
Radu Calinescu,
Mario Gleirscher,
Simon Foster,
2020,
ArXiv.
Mario Gleirscher,
Yakoub Nemouchi,
Simon Foster,
2019,
IFM.
Andreas Vogelsang,
Mario Gleirscher,
Steffen Fuhrmann,
2014,
2014 IEEE 8th International Workshop on Software Product Management (IWSPM).
Mario Gleirscher,
Mario Gleirscher,
2013,
SWQD.
Simon Foster,
Mario Gleirscher,
Yakoub Nemouchi,
2019,
SEFM.
Diego Marmsoler,
Mario Gleirscher,
Mario Gleirscher,
2016,
ICTAC.
Radu Calinescu,
Mario Gleirscher,
2020,
ArXiv.
Mario Gleirscher,
Martin Leucker,
Sven Linker,
2019,
Dagstuhl Reports.
Mario Gleirscher,
Mario Gleirscher,
2019,
ArXiv.
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
pdf
Diego Marmsoler,
Mario Gleirscher,
Mario Gleirscher,
2018,
Empirical Software Engineering.
Diego Marmsoler,
Mario Gleirscher,
Mario Gleirscher,
2016,
Sci. Ann. Comput. Sci..
Radu Calinescu,
James Law,
Mario Gleirscher,
2020,
The 21st Century Industrial Robot: When Tools Become Collaborators.
Mario Gleirscher,
Stefan Kugele,
2016,
SAFECOMP 2016.
Mario Gleirscher,
2011
.
Mario Gleirscher,
2020,
FMAS.
Mario Gleirscher,
Stefan Kugele,
2017,
2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE).
Peter Struss,
Sonila Dobi,
Maria Spichkova,
2015,
ArXiv.
Mario Gleirscher,
Stefan Kugele,
2016
.
Bernhard Schätz,
Mario Gleirscher,
Daniel Ratiu,
2007,
2007 International Conference on Systems Engineering and Modeling.
Mario Gleirscher,
Jonathan Sprinkle,
Stefan Kugele,
2017,
SOEN.
Mario Gleirscher,
Yakoub Nemouchi,
Ran Wei,
2020,
ArXiv.
Mario Gleirscher,
Sven Linker,
Stefan Kugele,
2019,
SOEN.
Mario Gleirscher,
Mario Gleirscher,
2011,
AST '11.
Diego Marmsoler,
Mario Gleirscher,
2020,
Empir. Softw. Eng..
Mario Gleirscher,
Sven Linker,
Stefan Kugele,
2018
.
Mario Gleirscher,
2019,
SE/SWM.
Simon Foster,
Mario Gleirscher,
Tim Kelly,
2019,
ArXiv.
Simon Foster,
Jim Woodcock,
Mario Gleirscher,
2018,
ACM Comput. Surv..
Mario Gleirscher,
Carmen Cârlan,
2017,
2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE).
Stefan Wagner,
Mario Gleirscher,
Dmitriy Golubitskiy,
2012,
SWQD.
Mario Gleirscher,
Sven Linker,
Stefan Kugele,
2018,
SCAV@CPSWeek.
Mario Gleirscher,
Mario Gleirscher,
2014
.
Diego Marmsoler,
Alois Knoll,
Mario Gleirscher,
2017,
GI-Jahrestagung.
Mario Gleirscher,
Simon Nestler,
Stefan Rödiger,
2020,
Informatik Spektrum.
Mario Gleirscher,
Mario Gleirscher,
2017,
FVAV@iFM.
Mario Gleirscher,
Stefan Kugele,
2017,
NFM.
Mario Gleirscher,
Anne Nyokabi,
Mario Gleirscher,
2018,
ArXiv.
Mario Gleirscher,
Sven Linker,
Stefan Kugele,
2019,
SOEN.
Mario Gleirscher,
Stefan Kugele,
Mario Gleirscher,
2019,
ArXiv.
Mario Gleirscher,
Georg Hackenberg,
Gunther Reinhart,
2016
.
Mario Gleirscher,
Benjamin Hummel,
Florian Deißenböck,
2011,
ICSR.
Mario Gleirscher,
Sven Linker,
Stefan Kugele,
2018
.
Manfred Broy,
Mario Gleirscher,
Stefano Merenda,
2009
.
Radu Calinescu,
Mario Gleirscher,
Naif Alasmari,
2021,
2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
Mario Gleirscher,
Jan Peleska,
J. Peleska,
2021,
FMAS.
Jim Woodcock,
Jaco van de Pol,
Mario Gleirscher,
2021,
Electronic Proceedings in Theoretical Computer Science.
Radu Calinescu,
Jonathan M. Aitken,
Mario Gleirscher,
2021,
Frontiers in Robotics and AI.
Jim Woodcock,
Mario Gleirscher,
Jaco van de Pol,
2021,
ArXiv.
Radu Calinescu,
Mario Gleirscher,
Rob Alexander,
2021,
ArXiv.
Simon Foster,
Georg Struth,
Mario Gleirscher,
2021,
FM.
Simon Foster,
Mario Gleirscher,
Tim Kelly,
2021,
ITNOW.
Radu Calinescu,
Mario Gleirscher,
Jim Woodcock,
2021,
Formal Aspects of Computing.