Philipp Chrszon

According to our database1, Philipp Chrszon authored at least 9 papers between 2016 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Formal Analysis of Variability-Intensive and Context-Sensitive Systems.
PhD thesis, 2021

2020
From features to roles.
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.
Int. J. Softw. Tools Technol. Transf., 2018

ProFeat: feature-oriented engineering for family-based probabilistic model checking.
Formal Aspects 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...