# Philipp Chrszon

According to our database

Collaborative distances:

^{1}, Philipp Chrszon authored at least 7 papers between 2016 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

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

STTT, 2018

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

Formal Asp. Comput., 2018

Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination.

Proceedings of the It's All About Coordination, 2018

2017

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

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

2016

Advances in Symbolic Probabilistic Model Checking with PRISM.

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

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

Proceedings of the Fundamental Approaches to Software Engineering, 2016

Modeling Role-Based Systems with Exogenous Coordination.

Proceedings of the Theory and Practice of Formal Methods, 2016