% This file was created by ZeTeM Website
 
% Philipp Chrszon













@CONFERENCE{Chrszon2024_870df,
  author = {Philipp Chrszon and Paulina Maurer and George Saleip and Sascha Müller and Philipp M. Fischer and Andreas Gerndt and Michael Felderer},
  title = {Applicability of Model Checking for Verifying Spacecraft Operational Designs},
  booktitle = {Modellierung 24, 12.03.-15.03.2024, Potsdam, Deutschland},
  pages = {P-348, pp. 99-101},
  year = {2024}
}


@CONFERENCE{Chrszon2024_6f797,
  author = {Philipp Chrszon and Anton Donner and Moritz Edelhäuser and Lucia Andrea Jara Garcia and Robert Uebelacker and Philipp M. Fischer and Andreas Gerndt},
  title = {Executable Behavioral Models in Model-based Systems Engineering using Capella},
  booktitle = {Model-Based Space Systems and Software Engineering (MBSE2024), May 28-29, 2024, Bremen, Deutschland},
  year = {2024}
}


@CONFERENCE{Fischer2024_1326e,
  author = {Philipp M. Fischer and Philipp Chrszon and Tobias Franz and Dominik Quantius and Oliver Romberg and Andreas Gerndt},
  title = {Explicit Product Structures for Concurrent Engineering},
  booktitle = {21st International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2024, 15.09.-18.09.2024, Valencia, Spanien},
  year = {2024}
}


@CONFERENCE{Eller2024_6fe6d,
  author = {Dennis Eller and Philipp M. Fischer and Philipp Chrszon and Andreas Gerndt},
  title = {Towards a Cloud-native Tool for Model-based Systems Engineering of Spacecraft},
  booktitle = {Model-Based Space Systems and Software Engineering (MBSE2024), May 28-29, 2024, Bremen, Deutschland},
  year = {2024}
}


@CONFERENCE{Chrszon2023_870df,
  author = {Philipp Chrszon and Paulina Maurer and George Saleip and Sascha Müller and Philipp M. Fischer and Andreas Gerndt and Michael Felderer},
  title = {Applicability of Model Checking for Verifying Spacecraft Operational Designs},
  booktitle = {26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2023), 01.-06.10.2023, Västerås, Schweden},
  year = {2023},
  doi = {10.1109/MODELS58315.2023.00011}
}