Hendrik Kausch, M.Sc. RWTHSoftware EngineeringDepartment of Computer Science 3 RWTH Aachen University Ahornstraße 55 52074 Aachen, Germany Room 2226 +49 (241) 80-21339 kausch@se-rwth.de |
Publications
-
[BKR+20] . Towards an Isabelle Theory for distributed, interactive systems - the untimed case, Technical report AIB-2020-02, RWTH Aachen University, March, 2020.
-
[KMP+21] . 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] . 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] . 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] . 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.