Papers of the UPDATE Project

2023

• Ahmed El Yaacoub, Luca Mottola, Philipp Ruemmer, and Thiemo Voigt. Scheduling Dynamic Software Updates in Mobile Robots. In ACM Transactions on Embedded Computing Systems (TECS), September 2023. (Accepted Version)

• Ahmed El Yaacoub, Luca Mottola, Philipp Ruemmer, and Thiemo Voigt. Timing Analysis of Embedded Software Updates. In Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Niigata (Japan), August 2023. Best Paper Award.

• Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, and Fredrik Tåquist. Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations. Network and Distributed System Security Symposium (NDSS 2023), February 2023. (@NDSS’2023, DOI, PDF, Artifact)

• Sandip Ghosal, Bengt Jonsson, and Philipp Ruemmer. An Active Learning Approach to Synthesizing Program Contracts. 21st International Conference on Software Engineering and Formal Methods (SEFM 2023). LNCS 14323, pp. 126-144. November 2023. (DOI)

2022

• Yimiao Sun, Weiguo Wang, Luca Mottola, Ruijin Wang, and Yuan He. AIM: Acoustic Inertial Measurement for Indoor Drone Localization and Tracking. In Proceedings of the 20th ACM International Conference on Embedded Networked Sensor Systems (SENSYS), Boston (MA, US), November 2022.

• Weiguo Wang, Luca Mottola, Yuan He, Jinming Li, Yimiao Sun, Shuai Li, Hua Jing, and Yulei Wang. MicNest: Long-Range Instant Acoustic Localization of Drones in Precise Landing. In Proceedings of the 20th ACM International Conference on Embedded Networked Sensor Systems (SENSYS), Boston (MA, US), November 2022.

• Ahmed El Yaacoub, Luca Mottola, Philipp Ruemmer, and Thiemo Voigt. NeRTA: Enabling Dynamic Software Updates in Mobile Robotics. In Proceedings of the 19th ACM International Conference on Embedded Wireless Systems and Networks (EWSN), Linz (Austria), October 2022.

• Wang Yi, Morteza Mohaqeqi, Susanne Graf: MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. COORDINATION 2022: 17-34

• Ahmed El Yaacoub, Luca Mottola, Thiemo Voigt, Philipp Rümmer: Scheduling Dynamic Software Updates in Safety-critical Embedded Systems-the Case of Aerial Drones. ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS), 2022