Clemens Dubslaff
发表
Christel Baier,
Clemens Dubslaff,
C. Baier,
2014
.
Anni-Yasmin Turhan,
P. Koopmann,
Clemens Dubslaff,
2019
.
Anni-Yasmin Turhan,
P. Koopmann,
Clemens Dubslaff,
2018
.
Christel Baier,
Uwe Aßmann,
Stefan Köpsell,
2021
.
Christel Baier,
Sascha Klüppelholz,
Holger Hermanns,
2020,
ISoLA.
Christel Baier,
Rupak Majumdar,
Clemens Dubslaff,
2021,
ICALP.
Christel Baier,
Klaus Janschek,
Andrey Morozov,
2020,
Proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference.
S. Kiebel,
C. Baier,
Clemens Dubslaff,
2023,
NFM.
Christel Baier,
Klaus Janschek,
Andrey Morozov,
2020,
MARS@ETAPS.
Christel Baier,
Klaus Janschek,
Kai Ding,
2019,
Proceedings of the 29th European Safety and Reliability Conference (ESREL).
Christel Baier,
Steffen Märcker,
Joachim Klein,
2018,
International Journal on Software Tools for Technology Transfer.
Christel Baier,
Steffen Märcker,
Joachim Klein,
2016,
TACAS.
Christel Baier,
Sascha Klüppelholz,
Clemens Dubslaff,
2015,
LNCS Trans. Aspect Oriented Softw. Dev..
Christel Baier,
Sascha Klüppelholz,
Clemens Dubslaff,
2013,
MODULARITY.
C. Baier,
Florian Funke,
Jakob Piribauer,
2022,
A Journey from Process Algebra via Timed Automata to Model Learning.
Christel Baier,
Stefan J. Kiebel,
Clemens Dubslaff,
2021
.
Christel Baier,
Clemens Dubslaff,
C. Baier,
2018,
SIGL.
Christel Baier,
Clemens Dubslaff,
Manuela Berg,
2012,
Inf. Process. Lett..
Christel Baier,
Nathalie Bertrand,
Ocan Sankur,
2018,
LICS.
Christel Baier,
Rupak Majumdar,
Clemens Dubslaff,
2021,
ICALP.
C. Baier,
S. Apel,
Clemens Dubslaff,
2022,
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE).
Christel Baier,
Sascha Klüppelholz,
Clemens Dubslaff,
2014,
Petri Nets.
Christel Baier,
Steffen Märcker,
Joachim Klein,
2014,
FASE.
Christel Baier,
Joachim Klein,
Sascha Klüppelholz,
2014,
Horizons of the Mind.
Francesco Kriegel,
S. Ghilardi,
Anni-Yasmin Turhan,
1960,
Indian Journal of Nuclear Medicine : IJNM : The Official Journal of the Society of Nuclear Medicine, India.
Francesco Kriegel,
S. Ghilardi,
Anni-Yasmin Turhan,
1960,
Indian Journal of Nuclear Medicine : IJNM : The Official Journal of the Society of Nuclear Medicine, India.
Christel Baier,
Sascha Klüppelholz,
Clemens Dubslaff,
2014,
CSL-LICS.
Christel Baier,
Joachim Klein,
Sascha Klüppelholz,
2014,
NASA Formal Methods.
C. Baier,
A. Kucera,
V. Rehák,
2017,
ATVA.
Christel Baier,
Joachim Klein,
Sascha Klüppelholz,
2018,
It's All About Coordination.
Christel Baier,
Joachim Klein,
Sascha Klüppelholz,
2016,
Theory and Practice of Formal Methods.
C. Baier,
H. Hermanns,
Clemens Dubslaff,
2023,
Principles of Systems Design.
C. Baier,
N. Jansen,
Clemens Dubslaff,
2023,
IJCAI.
Christel Baier,
Clemens Dubslaff,
Akash Kumar,
2019,
EPEW.
Christel Baier,
Clemens Dubslaff,
C. Baier,
2017,
ModelEd, TestEd, TrustEd.
Christel Baier,
Clemens Dubslaff,
C. Baier,
2015,
FORMATS.
Christel Baier,
Sascha Klüppelholz,
Clemens Dubslaff,
2017,
Formal Aspects of Computing.
Anni-Yasmin Turhan,
Patrick Koopmann,
Clemens Dubslaff,
2021,
Formal Aspects of Computing.
Anni-Yasmin Turhan,
Patrick Koopmann,
Clemens Dubslaff,
2019,
IFM.