André de Matos Pedro, Tomás Silva, Tiago Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
Published at FMICS22 - Formal Methods for Industrial Critical Systems
Jatin Arora, Syed Aftab Rashid, Cláudio Maia, Eduardo Tovar
Published at 2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
Jatin Arora, Syed Aftab Rashid, Geoffrey Nelissen, Cláudio Maia, Eduardo Tovar*
Published at 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA’23)
Cristopher S. Timperley, Gijs van der Hoorn, André Santos, Harshavardhan Deshpande, Andrzej Wąsowski
Published at Empir Software Eng 29, 57 (2024). https://doi.org/10.1007/s10664-024-10440-0