Publikationen von Philipp Chrszon

Tagungsbeiträge (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, Potsdam, Deutschland.
   

   online unter: 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, Deutschland.
   

   online unter: 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, Spanien.
   

   online unter: 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, Deutschland.
   

   online unter: 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, Västerås, Schweden.
   

   DOI: 10.1109/MODELS58315.2023.00011