Concepedia

Philipp Chrszon

PC

3

Publications

124

Citations

3

H-Index

2017

Active since

Affiliations

Technische Universität Dresden(Current)

Philipp Chrszon is an author at Technische Universität Dresden specializing in systems engineering, computer science, and formal verification.

ORCID

Top concepts

Publications per year

2017–2017

3

Publications

3

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

Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz et al. · Formal Aspects of Computing · 2017 · 82 citations

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

Joachim Klein, Christel Baier, Philipp Chrszon et al. · International Journal on Software Tools for Technology Transfer · 2017 · 28 citations · Full text

, , +12

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

Martin WeiBbach, Philipp Chrszon, Thomas Springer et al. · 2017 · 14 citations · Full text

, , +24

Rows per page

1–3 of 3