1
TÍTULO: Reducing the gap between theory and practice in real-time systems with MARS
AUTORES: Nandi, Giann Spilere; Pereira, David; Proenca, Jose; Tovar, Eduardo; Nogueira, Luis;
PUBLICAÇÃO: 2024, FONTE: 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2024 54TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME, DSN-S 2024
INDEXADO EM: Scopus WOS DBLP CrossRef
2
TÍTULO: Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
AUTORES: Giann Spilere Nandi; David Pereira; José Proença ; Eduardo Tovar; Antonio Rodriguez; Pablo Garrido;
PUBLICAÇÃO: 2023, FONTE: Open Research Europe, VOLUME: 3
INDEXADO EM: CrossRef
3
TÍTULO: Spreadsheet-based Configuration of Families of Real-Time Specifications
AUTORES: José Proença ; David Pereira; Giann Spilere Nandi; Sina Borrami; Jonas Melchert;
PUBLICAÇÃO: 2023, FONTE: 1st Workshop on Trends in Configurable Systems Analysis, TiCSA 2023 in Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023., VOLUME: 392
INDEXADO EM: Scopus DBLP
4
TÍTULO: Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems  Full Text
AUTORES: Nandi, GS; Pereira, D; Proenca, J ; Tovar, E ;
PUBLICAÇÃO: 2020, FONTE: 41st IEEE Real-Time Systems Symposium (RTSS) in 2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), VOLUME: 2020-December
INDEXADO EM: Scopus WOS DBLP CrossRef: 2