Publications of Philipp Chrszon

Proceedings (5)

1. P. Chrszon, P. Maurer, G. Saleip, S. Müller, P. M. Fischer, A. Gerndt, M. Felderer.
   Applicability of Model Checking for Verifying Spacecraft Operational Designs.
   Modellierung 24, 12.03.-15.03.2024, , Germany.
   

   online at: https://elib.dlr.de/205346/

2. P. Chrszon, A. Donner, M. Edelhäuser, L. A. J. Garcia, R. Uebelacker, P. M. Fischer, A. Gerndt.
   Executable Behavioral Models in Model-based Systems Engineering using Capella.
   Model-Based Space Systems and Software Engineering (MBSE2024), May 28-29, 2024, Bremen, Germany.
   

   online at: https://elib.dlr.de/206556/

3. P. M. Fischer, P. Chrszon, T. Franz, D. Quantius, O. Romberg, A. Gerndt.
   Explicit Product Structures for Concurrent Engineering.
   21st International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2024, 15.09.-18.09.2024, Valencia, Spain.
   

   online at: https://elib.dlr.de/206850/

4. D. Eller, P. M. Fischer, P. Chrszon, A. Gerndt.
   Towards a Cloud-native Tool for Model-based Systems Engineering of Spacecraft.
   Model-Based Space Systems and Software Engineering (MBSE2024), May 28-29, 2024, Bremen, Germany.
   

   online at: https://elib.dlr.de/210426

5. P. Chrszon, P. Maurer, G. Saleip, S. Müller, P. M. Fischer, A. Gerndt, M. Felderer.
   Applicability of Model Checking for Verifying Spacecraft Operational Designs.
   26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2023), 01.-06.10.2023, , Sweden.
   

   DOI: 10.1109/MODELS58315.2023.00011