Modeling Role-Based Systems with Exogenous Coordination. - Philipp Chrszon; Clemens Dubslaff; Christel Baier; Joachim Klein 001; Sascha Klüppelholz (Theory and Practice of Formal Methods, 2016)

Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. - Philipp Chrszon; Clemens Dubslaff; Sascha Klüppelholz; Christel Baier (FASE, 2016)

Advances in Symbolic Probabilistic Model Checking with PRISM. - Joachim Klein 001; Christel Baier; Philipp Chrszon; Marcus Daum; Clemens Dubslaff; Sascha Klüppelholz; Steffen Märcker; David Müller 001 (TACAS, 2016)

Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems. - Martin Weißbach; Philipp Chrszon; Thomas Springer 001; Alexander Schill (SASO, 2017)

Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination. - Christel Baier; Philipp Chrszon; Clemens Dubslaff; Joachim Klein 001; Sascha Klüppelholz (It's All About Coordination, 2018)

ProFeat: feature-oriented engineering for family-based probabilistic model checking. - Philipp Chrszon; Clemens Dubslaff; Sascha Klüppelholz; Christel Baier (Formal Aspects Comput., 2018)

Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. - Joachim Klein 001; Christel Baier; Philipp Chrszon; Marcus Daum; Clemens Dubslaff; Sascha Klüppelholz; Steffen Märcker; David Müller 001 (Int. J. Softw. Tools Technol. Transf., 2018)

From features to roles. - Philipp Chrszon; Christel Baier; Clemens Dubslaff; Sascha Klüppelholz (SPLC (A), 2020)

Analyse von variantenreichen und kontextsensitiven Systemen. - Philipp Chrszon (Ausgezeichnete Informatikdissertationen, 2020)

From Features to Roles, Artifact (SPLC2020). - Philipp Chrszon; Christel Baier; Clemens Dubslaff; Sascha Klüppelholz (Zenodo, 2020)

Formal Analysis of Variability-Intensive and Context-Sensitive Systems. - Philipp Chrszon (2021)

Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study. - Max Korn; Philipp Chrszon; Sascha Klüppelholz; Christel Baier; Sascha Wunderlich (EPEW, 2022)

Interaction Detection in Configurable Systems - A Formal Approach Featuring Roles, Artifact. - Philipp Chrszon; Christel Baier; Clemens Dubslaff; Sascha Klüppelholz (Zenodo, 2022)

Applicability of Model Checking for Verifying Spacecraft Operational Designs. - Philipp Chrszon; Paulina Maurer; George Saleip; Sascha Müller 005; Philipp Martin Fischer; Andreas Gerndt; Michael Felderer (MODELS, 2023)

Interaction detection in configurable systems - A formal approach featuring roles. - Philipp Chrszon; Christel Baier; Clemens Dubslaff; Sascha Klüppelholz (J. Syst. Softw., 2023)

Explicit Product Structures for Concurrent Engineering. - Philipp Martin Fischer; Philipp Chrszon; Tobias Franz; Dominik Quantius; Oliver Romberg; Andreas Gerndt (CDVE, 2024)

Adaptive AI in Concurrent Engineering: A Paradigm Shift in Design and Integration. - Claudio Ciano; Philipp Chrszon; Philipp Martin Fischer; Flora Amato; Andreas Gerndt (AINA (7), 2025)