Veröffentlichungen

H. Guissouma, A. Lauber, A. Mkadem and E. Sax, "Virtual Test Environment for Efficient Verification of Software Updates for Variant-Rich Automotive Systems," 2019 IEEE International Systems Conference (SysCon), Orlando, FL, USA, 2019, pp. 1-8. doi: 10.1109/SYSCON.2019.8836898

H. Guissouma, C. P. Hohl, H. Stoll and E. Sax, "Variability-Aware Process Extension for Updating Cyber Physical Systems Over the Air," 2020 9th Mediterranean Conference on Embedded Computing (MECO), 2020, pp. 1-8, doi: 10.1109/MECO49872.2020.9134339.

H. Guissouma, M. Schindewolf and E. Sax, "ICARUS - Incremental Design and Verification of Software Updates in Safety-Critical Product Lines," 2021 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2021, pp. 371-378, doi: 10.1109/SEAA53835.2021.00055

H. Guissouma, J. Kröger, S. V. Maelen and E. Sax, "Extension of Contracts for Variability Modeling and Incremental Update Checks of Cyber Physical Systems," 2021 IEEE International Symposium on Systems Engineering (ISSE), 2021, pp. 1-8, doi: 10.1109/ISSE51541.2021.9582468.

H. Guissouma, S. Leiner and E. Sax, "Towards Design and Verification of Evolving Cyber Physical Systems Using Contract-Based Methodology," 2019 International Symposium on Systems Engineering (ISSE), Edinburgh, United Kingdom, 2019, pp. 1-8. doi: 10.1109/ISSE46696.2019.8984478

Maelen, S. V.; Büker, M.; Kramer, B.; Böde, E.; Gerwinn, S.; Hake, G. & Hahn, A., „ An Approach for Safety Assessment of Highly Automated Systems Applied to a Maritime Traffic Alert and Collision Avoidance System,“ 4th International Conference on System Reliability and Safety (ICSRS), 2019.

Seyyedi, R.; Schreiner, S.; Fakih, M.; Grüttner, K. & Nebel, W., „Functional Test Environment for Time-Triggered Control Systems in Complex MPSoCs,“ Microprocessors and Microsystems, Elsevier, 2020.

Andrew Koerner, Björn Hendriks, Michael Kürschner, "Selective Software Updates with In Situ Monitoring of Non-Homogeneous Automotive Electronic Control Units", ACIMobility Summit, 2021

Günter Ehmen; Björn Philipp Koopmann; Yosab Bebawy; Philipp Ittershagen, “Measurement-based Online Verification of Timing Properties in Distributed Systems“, 2nd IEEE International Conference on Omni-layer Intelligent Systems (COINS'20), 2020.

Yosab Bebawy; Houssem Guissouma; Sebastian Vander Maelen; Janis Kröger; Georg Hake; Ingo Stierand; Martin Fränzle; Eric Sax; Axel Hahn, “Incremental Contract-based Verification of Software Updates for Safety-Critical Cyber-Physical Systems“, 2020 International Conference on Computational Science and Computational Intelligence (CSCI), IEEE(Xplore), 2020.

Yosab Bebawy; Sebastian Vander Maelen; Janis Kröger; Ingo Stierand; Martin Fränzle, “The Propping Effect of Integrating Monitoring Mechanisms into the Design Process of Cyber-Physical Systems“ Status: Submitted to FormaliSE 2022, Type: Conference, Notification: 04 March 2022 (to be confirmed)

Astrid Rakow and Janis Kröger, "Updating Safety Critical Systems: Stakeholder Responsibilities - A Position Paper", 15th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), Beijing, China, 22-23 November 2021, Status: Accepted and Presented.

Janis Kröger, Björn Koopmann, Ingo Stierand, Nadra Tabassam and Martin Fränzle, "Handling of Operating Modes in Contract-based Timing Specifications", 15th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), Beijing, China, 22-23 November 2021, Status: Accepted and Presented.