Publications

• [BKR+20] J. C. Bürger, H. Kausch, D. Raco, J. O. Ringert, B. Rumpe, S. Stüber, and M. Wiartalla. Towards an Isabelle Theory for distributed, interactive systems - the untimed case, Technical report AIB-2020-02, RWTH Aachen University, March, 2020.
  
• [KMP+21] H. Kausch, J. Michael, M. Pfeiffer, D. Raco, B. Rumpe, and A. Schweiger. Model-Based Development and Logical AI for Secure and Safe Avionics Systems: A Verification Framework for SysML Behavior Specifications, In: Aerospace Europe Conference 2021 (AEC 2021), November, 2021, Council of European Aerospace Societies (CEAS).
  
• [KPRR20] H. Kausch, M. Pfeiffer, D. Raco, and B. Rumpe. MontiBelle - Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety, In: AIAA Scitech 2020 Forum, January, 2020, American Institute of Aeronautics and Astronautics.
  
• [KPRR20a] H. Kausch, M. Pfeiffer, D. Raco, and B. Rumpe. An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems, In: Regina Hebig, Robert Heinrich, editors, Combined Proceedings of the Workshops at Software Engineering 2020, 2581, February, 2020, CEUR Workshop Proceedings.
  
• [KPRR21] H. Kausch, M. Pfeiffer, D. Raco, and B. Rumpe. Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams, In: Sebastian Götz, Lukas Linsbauer, Ina Schaefer, Andreas Wortmann, editors, Proceedings of the Software Engineering 2021 Satellite Events, 2814, February, 2021, CEUR.