Philipp Chrszon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2016–2025
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AINA | Adaptive AI in Concurrent Engineering: A Paradigm Shift in Design and Integration. | Claudio Ciano, Philipp Chrszon, Philipp Martin Fischer, Flora Amato, Andreas Gerndt |
| 2024 | CDVE | Explicit Product Structures for Concurrent Engineering. | Philipp M. Fischer, Philipp Chrszon, Tobias Franz, Dominik Quantius, Oliver Romberg, Andreas Gerndt |
| 2023 | MODELS | Applicability of Model Checking for Verifying Spacecraft Operational Designs. | Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Mller, Philipp M. Fischer, Andreas Gerndt, Michael Felderer |
| 2020 | SPLC | From features to roles. | Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klppelholz |
| 2016 | FASE | Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. | Philipp Chrszon, Clemens Dubslaff, Sascha Klppelholz, Christel Baier |
| 2016 | TACAS | Advances in Symbolic Probabilistic Model Checking with PRISM. | Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klppelholz, Steffen Mrcker, David Mller |