Semantic search

From Navigators

Publications

• José Rufino, Felix Dino Lange, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma, António Casimiro, “Non-intrusive Runtime Verification within a System-on-Chip”, Ada User Journal, vol. 39, no. 4, pp. 296–299, Dec. 2018.

• José Rufino, “Non-intrusive Observation and Runtime Verification of Avionic Systems”, Ada User Journal, vol. 39, no. 4, pp. 300–304, Dec. 2018.

• José Rufino, “Hardware Support for Non-intrusive Runtime Verification on Processor Technologies”, Ada User Journal, vol. 39, no. 4, pp. 287–290, Dec. 2018.

• José Rufino, António Casimiro, Antónia Lopes, Frank Singhoff, Stéphane Rubini, Valérie-Anne Nicolas, Mounir Lallali, Mourad Dridi, Jalil Boukhobza, Lyes Allache, “NORTH - Non-intrusive Observation and RunTime verification of cyber-pHysical systems”, Ada User Journal, pp. 278–281, Jun. 2018.

• Stéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, José Rufino, “A Real-Time System Monitoring driven by Scheduling Analysis”, Ada User Journal, pp. 282–286, Jun. 2018.

• João de Sousa Alves, José Rufino, “Comparing the inaccessibility characteristics of CAN and CAN FD protocols”, in Proceedings of the 9th Simpósio de Informática (INForum 2017), Aveiro, Portugal, Oct. 2017.

• João de Sousa Alves, José Rufino, “On the (non-intrusive) observability of the CAN FD protocol”, in Proceedings of the 9th Simpósio de Informática (INForum 2017), Aveiro, Portugal, Oct. 2017.

• António Casimiro, Inês Gouveia, José Rufino, “Enforcing Timeliness and Safety in Mission-Critical Systems”, in Proceedings of the 22nd International Conference on Reliable Software Technologies, Ada-Europe 2017, Vienna, Austria, Jun. 2017.

• Inês Gouveia, José Rufino, “Enforcing safety and security through non-intrusive runtime verification”, in Proceedings of the 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS), Porto, Portugal, Dec. 2016, pp. 19–24. (co-located with the IEEE Real-Time Systems Symposium 2016 (RTSS 2016))

• Inês Gouveia, José Rufino, “Non-intrusive runtime verification of embedded software”, in Proc. INForum 2016, 8º Simpósio de Informática - Poster Sessions, Lisboa, Portugal, Sept. 2016, pp. 1–2.

• José Rufino, Inês Gouveia, “Timeliness runtime verification and adaptation in avionic systems”, in Proceedings of the 12th workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT), Toulouse, France, Jul. 2016.

• José Rufino, “Towards integration of adaptability and non-intrusive runtime verification in avionic systems”, ACM SIGBED Review, vol. 13, no. 1, Jan. 2016. (Special Issue on 5th Embedded Operating Systems Workshop)

• Rui Pedro Caldeira, Jeferson L. R. Souza, Ricardo Correia Pinto, José Rufino, “Methods and Tools for Assessment of Wireless Networks in Extreme Environments”, in IEEE International Conference on Wireless for Space and Extreme Environments 2015 (WiSEE), Miami, Florida, United States of America, Dec. 2015.

• Rui Pedro Caldeira, Jeferson L. R. Souza, Ricardo Correia Pinto, José Rufino, “A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection”, in Proceedings of the 7th Simpósio de Informática (INFORUM), Covilhã, Portugal, Sept. 2015.

• Jeferson L. R. Souza, José Rufino, “The Wi-STARK Architecture For Resilient Real-Time Wireless Communications”, ACM SIGBED Review, vol. 11, no. 4, pp. 1–6, Dec. 2014. Special Issue on 4th Embedded Operating Systems Workshop (EWiLi), Lisbon, Portugal

• Ricardo Correia Pinto, José Rufino, “Exploiting Non-intrusive Monitoring in Real-Time Embedded Operating Systems”, in Proceedings of the 4th Embedded Operating Systems Workshop (EWiLi) - Poster Session, Lisbon, Portugal, Nov. 2014, pp. 1–2.

• Jeferson L. R. Souza, Ricardo Correia Pinto, José Rufino, “Mechanisms to Enforce Dependability and Timeliness in Wireless Communications”, in Proceedings of the 2nd International IEEE Conference on Wireless for Space Applications and Extreme Environments (WiSEE), European Space Agency, Noordwijk, Netherlands, Oct. 2014, pp. 1–6.

• Ricardo Correia Pinto, José Rufino, “Exploitation of Non-intrusive Monitoring in Real-Time Embedded Systems”, in Communication at the Embedded and Real-Time Systems Session of the 6th Simpósio de Informática (INForum), Porto, Portugal, Sept. 2014, pp. 1–1.

• João Carraca, Ricardo Correia Pinto, João Pedro Craveiro, José Rufino, “Information Security in Time- and Space-Partitioned Architectures for Aerospace Systems”, in Proceedings of the 6th Simpósio de Informática (INFORUM), Porto, Portugal, Sept. 2014, pp. 457–472.

• Ricardo Correia Pinto, José Rufino, “Towards Non-invasive Run-time Verification of Real-Time Systems”, in Work-in-Progress Session of the 26th Euromicro Conference on Real-Time Systems (ECRTS), Madrid, Spain, Jul. 2014, pp. 25–28.