Philipp Chrszon

17 papers A 2B 1C 1Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Adaptive AI in Concurrent Engineering: A Paradigm Shift in Design and Integration.
AINA (7)
Claudio Ciano, Philipp Chrszon, Philipp Martin Fischer, Flora Amato, Andreas Gerndt
2025 J jnl
Model checking of spacecraft operational designs: a scalability analysis.
Softw. Syst. Model.
Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer
2024 — conf
Applicability of Model Checking for Verifying Spacecraft Operational Designs.
Modellierung
Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer
2024 C conf
Explicit Product Structures for Concurrent Engineering.
CDVE
Philipp Martin Fischer, Philipp Chrszon, Tobias Franz, Dominik Quantius, Oliver Romberg, Andreas Gerndt
2023 A conf
Applicability of Model Checking for Verifying Spacecraft Operational Designs.
MODELS
Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer
2023 J jnl
Interaction detection in configurable systems - A formal approach featuring roles.
J. Syst. Softw.
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
2022 — conf
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study.
EPEW
Max Korn, Philipp Chrszon, Sascha Klüppelholz, Christel Baier, Sascha Wunderlich
2021 — —
Formal Analysis of Variability-Intensive and Context-Sensitive Systems.
Philipp Chrszon
2020 — ch.
Analyse von variantenreichen und kontextsensitiven Systemen.
Ausgezeichnete Informatikdissertationen
Philipp Chrszon
2020 — conf
From features to roles.
SPLC (A)
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
2018 J jnl
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.
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
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination.
It's All About Coordination
Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
2018 J jnl
ProFeat: feature-oriented engineering for family-based probabilistic model checking.
Formal Aspects Comput.
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
2017 — conf
Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems.
SASO
Martin Weißbach, Philipp Chrszon, Thomas Springer, Alexander Schill
2016 A conf
Advances in Symbolic Probabilistic Model Checking with PRISM.
TACAS
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
2016 B conf
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat.
FASE
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
2016 — conf
Modeling Role-Based Systems with Exogenous Coordination.
Theory and Practice of Formal Methods
Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz