According to our database1, Philipp Chrszon authored at least 7 papers between 2016 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.
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
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
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