h1

BMBF 20X2201C

Recent Publications

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS | 

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Bindick, S. ; Kausch, H.RWTH* ; Pfeiffer, M.RWTH* ; Raco, D.RWTH* ; Rath, A. ; Rumpe, B.RWTH* ; Schweiger, A.
Communication and Architectural Patterns for Developing Distributed Systems
20252025 8th International Conference on Software and System Engineering : ICoSSE 2025 : 4-6 April 2025, Nice, France : proceedings / conference chairs: Salah Bourennane (Ecole Centrale Marseille, France), Vit Vozenilek (Palacky University, Czech Republic)
International Conference on Software and System Engineering, ICoSSE, NiceNice, France, 4 Apr 2025 - 6 Apr 20252025-04-042025-04-06 Piscataway, NJ : IEEE 31-38 (2025) [10.1109/ICoSSE65712.2025.00014]2025   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Book Kausch, H. (Corresponding author)RWTH* ; Pfeiffer, M.RWTH* ; Raco, D.RWTH* ; Rumpe, B.RWTH* ; Stüber, S. W.RWTH* ; Wollenhaupt, L. F.RWTH*
Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems, Volume 2
Düren : Shaker Verlag, Aachener Informatik-Berichte, Software Engineering 58, 174 Seiten : Illustrationen (2025) [10.2370/9783819100628]2025   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Fischer, L.RWTH* ; Kausch, H. (Corresponding author)RWTH* ; Rumpe, B.RWTH* ; Stachon, M. P.RWTH* ; Stüber, S. W.RWTH* ; Wollenhaupt, L. F.RWTH*
Methodical and Formally Verified Model-Driven Architecture Refactoring
202521. European Conference on Modelling Foundations and Applications, ECMFA 2025, KoblenzKoblenz, Germany, 3 Jun 2025 - 4 Jun 20252025-06-032025-06-04 Journal of object technology : JOT 24(2), 1-14 (2025) [10.5381/jot.2025.24.2.a13]2025   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Kausch, H.RWTH* ; Pfeiffer, M.RWTH* ; Raco, D. (Corresponding author)RWTH* ; Rumpe, B.RWTH* ; Schweiger, A.
Enhancing System Model Quality: Evaluation of the Systems Modeling Language (SysML)-Driven Approach in Avionics
Journal of aerospace information systems : JAIS 22(2), 5 (2025) [10.2514/1.I011476]2025   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Kausch, H.RWTH* ; Pfeiffer, M.RWTH* ; Raco, D. (Corresponding author)RWTH* ; Rumpe, B.RWTH* ; Schweiger, A.
Model-driven development for functional correctness of avionics systems : a verification framework for SysML specifications
CEAS Aeronautical Journal# 16(1), 33-48 (2024) [10.1007/s13272-024-00762-6]2024     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a conference proceedings Kausch, H.RWTH* ; Koppes, K. ; Netz, L. S. M.RWTH* ; O´Brien, P. ; Pfeiffer, M.RWTH* ; Raco, D. (Corresponding author)RWTH* ; Radny, M. ; Rath, A.RWTH* ; Richstein, R. ; Rumpe, B.RWTH*
Applied Model-Based Co-Development for Zero-Emission Flight Systems Based on SysML
2024Deutscher Luft- und Raumfahrtkongress 2024
Deutscher Luft- und Raumfahrtkongress 2024, DLRK 2024, HamburgHamburg, Germany, 30 Sep 2024 - 2 Oct 20242024-09-302024-10-02 Deutsche Gesellschaft für Luft- und Raumfahrt - Lilienthal-Oberth e.V. 10 pages (2024) [10.25967/630489]2024     Files  Fulltext by OpenAccess repository BibTeX | EndNote: XML, Text | RIS

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS |