Philipp Chrszon

According to our database1, Philipp Chrszon authored at least 7 papers between 2016 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

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


  Loading...