| Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy's Streams Become Feasible? S Kriebel, D Raco, B Rumpe, S Stüber Avionics Systems and Software Engineering 2019, Stuttgart, Germany, 2019 | 11 | 2019 |
| Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams H Kausch, M Pfeiffer, D Raco, B Rumpe Software Engineering Satellite Events, Avionics Systems and Software …, 2021 | 9 | 2021 |
| An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems. H Kausch, M Pfeiffer, D Raco, B Rumpe Avionics Systems and Software Engineering 2020, Innsbruck, Austria, 2020 | 9 | 2020 |
| MontiBelle-Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety H Kausch, M Pfeiffer, D Raco, B Rumpe American Institute of Aeronautics and Astronautics, Science & Technology …, 2020 | 8 | 2020 |
| Towards an Isabelle Theory for distributed, interactive systems-the untimed case JC Burger, H Kausch, D Raco, JO Ringert, B Rumpe, S Stuber, ... Book, ISBN 978-3-8440-7265-5, Shaker Publishing House, 45, 260, 2020 | 6 | 2020 |
| Correct and Sustainable Development Using Model-Based Engineering and Formal Methods H Kausch, M Pfeiffer, D Raco, B Rumpe, A Schweiger Digital Avionics Systems Conference (AIAA / IEEE), Virginia, USA, 2022 | 5 | 2022 |
| Model-Based Development and Logical AI for Secure and Safe Avionics Systems: A Verification Framework for SysML Behavior Specifications H Kausch, J Michael, M Pfeiffer, D Raco, B Rumpe, A Schweiger Aerospace Europe Conference (AEC), Council of European Aerospace Societies …, 2021 | 5 | 2021 |
| A Theory for Event-Driven Specifications Using Focus and MontiArc on the Example of a Data Link Uplink Feed System H Kausch, M Pfeiffer, D Raco, A Rath, B Rumpe, A Schweiger Avionics Systems and Software Engineering 2023, Paderborn, Germany, 2023 | 4 | 2023 |
| Model-driven Development for Functional Correctness of Avionics Systems: A Verification Framework for SysML Specifications H Kausch, M Pfeiffer, D Raco, B Rumpe, A Schweiger CEAS Aeronautical Journal, 2024 | 1 | 2024 |
| Enhancing System-Model Quality: Evaluation of the MontiBelle Approach with the Avionics Case Study on a Data Link Uplink Feed System H Kausch, M Pfeiffer, D Raco, B Rumpe, A Schweiger SE - Companion, Avionics Systems and Software Engineering, Linz, Austria, 2024 | 1 | 2024 |
| Enhancing System Model Quality: Evaluation of the SysML-driven Approach in Avionics H Kausch, M Pfeiffer, D Raco, B Rumpe, A Schweiger Journal of Aerospace Information Systems, 2024 | | 2024 |
| A SysML-based Framework for Analyzing Security and Safety Properties Applied on an Aerospace Data Link Uplink Feed System H Kausch, M Pfeiffer, D Raco, B Rumpe Language Development Conference (LangDev) - Talk, Seville, Spain, 2024 | | 2024 |
| Applied Model-Based Co-Development for Zero-Emission Flight Systems Based on SysML H Kausch, K Koppes, P O'Brien, M Pfeiffer, D Raco, M Radny, A Rath, ... Deutscher Luft- und Raumfahrtkongress (DLRK), Deutsche Gesellschaft für Luft …, 2024 | | 2024 |
| Model-Based System Engineering with SysML and SPES Methodology H Kausch, M Pfeiffer, D Raco, B Rumpe, A Schweiger European Space Agency, Model Based Space Systems and Software Engineering …, 2022 | | 2022 |
| Leveraging AI Methods for Reducing Certification Costs of Safety Critical Cyber Physical Systems Aerospace Tech Week, "Architecture, Data, Analytics and Security" - Talk …, 2021 | | 2021 |
| Leveraging Highly Automated Theorem Proving for Certification D Raco, B Rumpe, S Stüber World Congress on Formal Methods, Static Analysis Symposium, Tools for …, 2019 | | 2019 |
| Formalization of the Specification Framework FOCUS in the Theorem Prover Isabelle D Raco German Research Training Groups in Computer Science 2015, 2015 | | 2015 |
| Mechanisms of Scientific Life - Notes and Links J Nellen, D Raco, JO Ringert, M Winkler et. al Book, Doctoral Researchers of the German Research Foundation Research …, 2015 | | 2015 |
| Specification and Verification of Distributed Systems D Raco German Research Training Groups in Computer Science 2014, 2014 | | 2014 |
| The Probabilistic Method D Raco | | 2009 |
Jan Oliver RingertDepartment of Informatics, Bauhaus-Universität Weimar在 uni-weimar.de 的电子邮件经过验证
Jan Oliver RingertDepartment of Informatics, Bauhaus-Universität Weimar在 uni-weimar.de 的电子邮件经过验证