Philipp Chrszon

17 papers A 2B 1C 1Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2025 conf
AINA (7)
Claudio Ciano, Philipp Chrszon, Philipp Martin Fischer, Flora Amato, Andreas Gerndt
2025 J jnl
Softw. Syst. Model.
Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer
2024 conf
Modellierung
Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer
2024 C conf
CDVE
Philipp Martin Fischer, Philipp Chrszon, Tobias Franz, Dominik Quantius, Oliver Romberg, Andreas Gerndt
2023 A conf
MODELS
Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer
2023 J jnl
J. Syst. Softw.
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
2022 conf
EPEW
Max Korn, Philipp Chrszon, Sascha Klüppelholz, Christel Baier, Sascha Wunderlich
2021
Philipp Chrszon
2020 ch.
Ausgezeichnete Informatikdissertationen
Philipp Chrszon
2020 conf
SPLC (A)
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
2018 J jnl
Int. J. Softw. Tools Technol. Transf.
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
2018 conf
It's All About Coordination
Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
2018 J jnl
Formal Aspects Comput.
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
2017 conf
SASO
Martin Weißbach, Philipp Chrszon, Thomas Springer, Alexander Schill
2016 A conf
TACAS
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
2016 B conf
FASE
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
2016 conf
Theory and Practice of Formal Methods
Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz