According to our database1, Philipp Chrszon authored at least 9 papers between 2016 and 2021.
Legend:Book In proceedings Article PhD thesis Other
PhD thesis, 2021
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.
Int. J. Softw. Tools Technol. Transf., 2018
Formal Aspects Comput., 2018
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
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Fundamental Approaches to Software Engineering, 2016
Proceedings of the Theory and Practice of Formal Methods, 2016