(Em Ciências até Julho de 2018)


Publicações selecionadas
  • A. Casimiro, I. Gouveia, J. 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.
  • José Rufino. "Towards integration of adaptability and non-intrusive runtime verification in avionic systems", ACM SIGBED Review, vol. 13, no. 1, Jan. 2016.
  • J. Rufino, P. Verissimo, G. Arroz. "A Columbus' Egg Ideia for CAN Media Redundancy", in Digest of Papers of the 29th IEEE International Symposium on Fault-Tolerant Computing (FTCS-29), Madison, Wisconsin, USA, June 1999.
  • J. Rufino, P. Verissimo, G. Arroz, C. Almeida, L. Rodrigues, "Fault-Tolerant Broadcasts in CAN", in Digest of Papers, The 28th IEEE International Symposium on Fault-Tolerant Computing. Munich, Germany, June, 1998.

Ver todas as Publicações