Philipp Chrszon

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 12

Top Topics

Automated Verification

Linear Temporal Logic

Top Venues

Formal Aspects Comput.

Int. J. Softw. Tools Technol. Transf.

J. Syst. Softw.

Publications

Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer
Applicability of Model Checking for Verifying Spacecraft Operational Designs. Modellierung (2024)
Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer
Applicability of Model Checking for Verifying Spacecraft Operational Designs. MODELS (2023)
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
Interaction detection in configurable systems - A formal approach featuring roles. J. Syst. Softw. 196 (2023)
Max Korn, Philipp Chrszon, Sascha Klüppelholz, Christel Baier, Sascha Wunderlich
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study. EPEW (2022)
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
From features to roles. SPLC (A) (2020)
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. Int. J. Softw. Tools Technol. Transf. 20 (2) (2018)
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
ProFeat: feature-oriented engineering for family-based probabilistic model checking. Formal Aspects Comput. 30 (1) (2018)
Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination. It's All About Coordination (2018)
Martin Weißbach, Philipp Chrszon, Thomas Springer, Alexander Schill
Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems. SASO (2017)
Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz
Modeling Role-Based Systems with Exogenous Coordination. Theory and Practice of Formal Methods (2016)
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
Advances in Symbolic Probabilistic Model Checking with PRISM. TACAS (2016)
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. FASE (2016)