Philipp Chrszon

According to our database, Philipp Chrszon authored at least 16 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Explicit Product Structures for Concurrent Engineering.

Philipp Martin Fischer, Philipp Chrszon, Tobias Franz, Dominik Quantius, Oliver Romberg, Andreas Gerndt

Proceedings of the Cooperative Design, Visualization, and Engineering, 2024

2023

Interaction detection in configurable systems - A formal approach featuring roles.

Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz

J. Syst. Softw., 2023

Applicability of Model Checking for Verifying Spacecraft Operational Designs.

Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

Interaction Detection in Configurable Systems - A Formal Approach Featuring Roles, Artifact.

Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz

Dataset, November, 2022

Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study.

Max Korn, Philipp Chrszon, Sascha Klüppelholz, Christel Baier, Sascha Wunderlich

Proceedings of the Computer Performance Engineering - 18th European Workshop, 2022

2021

Formal Analysis of Variability-Intensive and Context-Sensitive Systems.

Philipp Chrszon

PhD thesis, 2021

2020

From Features to Roles, Artifact (SPLC2020).

Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz

Dataset, September, 2020

Analyse von variantenreichen und kontextsensitiven Systemen.

Philipp Chrszon

Proceedings of the Ausgezeichnete Informatikdissertationen 2020., 2020

From features to roles.

Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

2018

Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.

Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller

Int. J. Softw. Tools Technol. Transf., 2018

ProFeat: feature-oriented engineering for family-based probabilistic model checking.

Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier

Formal Aspects Comput., 2018

Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination.

Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz

Proceedings of the It's All About Coordination, 2018

2017

Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems.

Martin Weißbach, Philipp Chrszon, Thomas Springer, Alexander Schill

Proceedings of the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017

2016

Advances in Symbolic Probabilistic Model Checking with PRISM.

Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat.

Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier

Proceedings of the Fundamental Approaches to Software Engineering, 2016

Modeling Role-Based Systems with Exogenous Coordination.

Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz

Proceedings of the Theory and Practice of Formal Methods, 2016