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.
- Jeferson L. R. Souza, José Rufino, “Low Level Error Detection For Real-Time Wireless Communications”, in Proceedings of the 13th International Workshop on Real-Time Networks (RTN) - co-located with ECRTS, Madrid, Spain, Jul. 2014.
- António Casimiro, José Rufino, Ricardo Correia Pinto, Eric Vial, Elad M. Schiller, Oscar Morales-Ponce, Thomas Petig, “A Kernel-based Architecture fo Safe Cooperative Vehicular Functions (Invited Paper)”, in Proceedings of the 2014 Symposium on Industrial Embedded Systems, Pisa, Italy, Jun. 2014.
- Rolf Johansson, Jörg Kaiser, António Casimiro, Renato Librino, Kenneth Östberg, José Rufino, P. Costa, “An Architecture Pattern Enabling Safety at Lower Cost and with Higher Performance”, in Proceedings of the Workshop on Embedded Real-Time Software and Systems (ERTS2), Toulouse, France, Feb. 2014.
- André Guerreiro, Jeferson L. R. Souza, José Rufino, “Improving NS-2 Network Simulator To Evaluate IEEE 802.15.4 Wireless Networks Under Error Conditions”, in Proceedings of the 3th International Conference on Sensor Networks (SENSORNETS), Lisbon, Portugal, Jan. 2014, pp. 212–220.
- Jeferson L. R. Souza, José Rufino, “Analysing and Reducing Network Inaccessibility in IEEE 802.15.4 Wireless Communications”, in 38th IEEE Conference on Local Computer Networks (LCN 2013), Sydney, Australia, Oct. 2013, pp. 532–540.
- André Guerreiro, Jeferson L. R. Souza, José Rufino, “Improving NS-2 Network Simulator for IEEE 802.15.4 Standard Operation”, in 5th Simpósio de Informática (INFORUM), Évora, Portugal, Sept. 2013, pp. 432–443.
- Pedro Nóbrega da Costa, João Pedro Craveiro, António Casimiro, José Rufino, “Safety Kernel for Cooperative Sensor-Based Systems”, in Safecomp 2013 Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), Toulouse, France, Sept. 2013.
- Kleomar Almeida, Ricardo Correia Pinto, José Rufino, “Fault Detection in Time- and Space-Partitioned Systems”, in Communication at the 5th Simpósio de Informática (INFORUM), Évora, Portugal, Sept. 2013, pp. 179–186.
- João Pedro Craveiro, José Rufino, “Global Laxity-Based Scheduling on Multiprocessor Resource Reservations”, Extended Abstract in 4th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2013), Paris, France, Jul. 2013, pp. 12–13.
- João Pedro Craveiro, José Rufino, “Uniform Multiprocessor Periodic Resource model”, Extended Abstract in 4th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2013), Paris, France, Jul. 2013, pp. 14–15.
- Jeferson L. R. Souza, José Rufino, “Towards Resilient Real-Time Wireless Communications”, Work-in-Progress session of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013), Paris, France, Jul. 2013, pp. 29–32.
- João Pedro Craveiro, José Rufino, “Towards Compositional Hierarchical Scheduling Frameworks on Uniform Multiprocessors”, University of Lisbon, DI-FCUL, Tech. Rep. TR-2012-08, Dec. 2012. http://hdl.handle.net/10455/6891
- Jeferson L. R. Souza, André Guerreiro, José Rufino, “Characterizing Inaccessibility in IEEE 802.15.4 Through Theoretical Models and Simulation Tools”, in INFORUM 2012 - Simpósio de Informática, Lisbon, Portugal, Sept. 2012.
- João Pedro Craveiro, Jeferson L. R. Souza, José Rufino, Vincent Gaudel, Laurent Lemarchand, Alain Plantec, Stéphane Rubini, Frank Singhoff, “Scheduling Analysis Principles and Tool for Time- and Space-Partitioned Systems”, in INFORUM 2012 - Simpósio de Informática, Lisbon, Portugal, Sept. 2012.
- João Pedro Craveiro, José Rufino, “Heterogeneous multiprocessor compositional real-time scheduling”, Extended Abstract in 3rd International Real-Time Scheduling Open Problems Seminar (RTSOPS 2012), Pisa, Italy, Jul. 2012.
- João Pedro Craveiro, Rui Ormonde Silveira, José Rufino, “hsSim: an Extensible Interoperable Object-Oriented n-Level Hierarchical Scheduling Simulator”, in 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2012), Pisa, Italy, Jul. 2012. hsSim at Google Code: https://code.google.com/p/hssim/
- João Pedro Craveiro, Joaquim Rosa, José Rufino, “Towards Self-Adaptive Scheduling in Time- and Space-Partitioned Systems”, in 32nd IEEE Real-Time Systems Symposium (RTSS 2011) — Work-in-Progress session, Vienna, Austria, Dec. 2011.
- Jeferson L. R. Souza, José Rufino, “An Approach to Enhance the Timeliness of Wireless Communications”, in Proceedings of the Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM), Lisbon, November, 2011., Nov. 2011.
- Joaquim Rosa, João Pedro Craveiro, José Rufino, “Safe Online Reconfiguration of Time- and Space-Partitioned Systems”, in 9th IEEE International Conference on Industrial Informatics (INDIN 2011), Caparica, Lisbon, Portugal, Jul. 2011.
- João Pedro Craveiro, José Rufino, Frank Singhoff, “Architecture, Mechanisms and Scheduling Analysis Tool for Multicore Time- and Space-Partitioned Systems”, ACM SIGBED Review, vol. 8, no. 3, Jul. 2011. Special issue on the ECRTS 2011WiP session (Porto, Portugal, Jul. 2011)
- João Pedro Craveiro, José Rufino, “Adaptability Support in Time- and Space-Partitioned Aerospace Systems”, in Proceedings of the Second International Conference on Adaptive and Self-adaptive Systems and Applications (ADAPTIVE 2010), Lisbon, Portugal, Nov. 2010.
- José Rufino, João Pedro Craveiro, Paulo Verissimo, “Architecting Robustness and Timeliness in a New Generation of Aerospace Systems”, in Architecting Dependable Systems VII, António Casimiro, Rogério de Lemos, Cristina Gacek, Eds., ser. LNCS. Springer, Nov. 2010, vol. 6420.
- João Pedro Craveiro, José Rufino, “Composability and Adaptability on a Time- and Space-Partitioned Architecture for Spacecraft Onboard Software”, Fast Abstract in the Doctoral Track of FACS 2010 - 7th Inter. Workshop on Formal Aspects of Component Software, Guimarães, Portugal, Oct. 2010.
- José Rufino, João Pedro Craveiro, Paulo Verissimo, “Building a time- and space-partitioned architecture for the next generation of space vehicle avionics”, in Proceedings of the 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2010), Waidhofen an der Ybbs, Austria, Oct. 2010.
- Joaquim Rosa, João Pedro Craveiro, José Rufino, “Exploiting AIR Composability towards Spacecraft Onboard Software Update”, in Actas do INForum - Simpósio de Informática 2010, Braga, Portugal, Sept. 2010.
- João Pedro Craveiro, José Rufino, “Schedulability Analysis in Partitioned Systems for Aerospace Avionics”, in Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, Spain, Sept. 2010.
- António Casimiro, José Rufino, Luís Marques, Mário Calha, Paulo Verissimo, “Applying architectural hybridization in networked embedded systems”, in Proceedings of the 7th IFIP WG 10.2 International Workshop (SEUS 2009), Software Technologies for Embedded and Ubiquitous Systems, LNCS 5860, Sunggu Lee and Priya Narasimhan (Eds), Newport Beach, CA, USA, November 2009, Nov. 2009.
- Jeferson L. R. Souza, José Rufino, “Why is Important the Knowledge of Inaccessibility for Supporting Real-Time Communication over IEEE 802.15.4 ?”, in Actas do INForum - Simpósio de Informática 2009 (Work in Progress Session), Lisbon, Portugal, September 2009., Sept. 2009.
- Jeferson L. R. Souza, José Rufino, “Characterization of Inaccessibility in Wireless Networks - A Case Study on IEEE 802.15.4 Standard”, in Analysis, Architectures and Modelling of Embedded Systems. Proceedings of the Third IFIP TC 10 International Embedded Systems Symposium (IESS 2009), Langenargen, Germany, September, 2009. Series: IFIP Advances in Information and Communication Technology., Sept. 2009.
- João Pedro Craveiro, José Rufino, Tobias Schoofs, James Windsor, “Flexible Operating System Integration in Partitioned Aerospace Systems”, in Actas do INForum - Simpósio de Informática 2009, Lisbon, Portugal, Sept. 2009.
- Tobias Schoofs, Sérgio Santos, Cássia Tatibana, José Anjos, José Rufino, James Windsor, “An Integrated Modular Avionics Development Environment”, in Proceedings of the Eurospace Data Systems in Aerospace Conference (DASIA) 2009. Istanbul, Turkey, May 2009., May 2009.
- José Rufino, João Pedro Craveiro, Tobias Schoofs, Cássia Tatibana, James Windsor, “AIR Technology: a step towards ARINC 653 in space”, in Proceedings of the Eurospace "Data Systems in Aerospace" Conference (DASIA 2009), Istanbul, Turkey, May 2009.
- João Pedro Craveiro, José Rufino, Carlos Almeida, Rui Covelo, Pedro Venda, “Embedded Linux in a partitioned architecture for aerospace applications”, in Proceedings of the 7th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2009), Rabat, Morocco, May 2009.
- Helder Silva, A. Constantino, D. Freitas, Manuel Coutinho, S. Faustino, M. Mota, P. Colaço, José Sousa, L. Dias, B. Damjanovic, Marco Zulianello, José Rufino, “RTEMS Centre - Support and Maintenance Centre to RTEMS Operating System”, in Proceedings of the Eurospace Data Systems in Aerospace Conference (DASIA 2009). Istanbul, Turkey, May 2009., May 2009.
- Sérgio Santos, José Rufino, Tobias Schoofs, Cássia Tatibana, James Windsor, “A Portable ARINC 653 Standard Interface”, in Proceedings of the 27th IEEE/AIAA Digital Avionics Systems Conference, St. Paul, Minnesota, USA, October 2008., Oct. 2008.
- Manuel Coutinho, José Rufino, Carlos Almeida, “Response Time Analysis of Asynchronous Periodic and Sporadic Tasks Scheduled by a Fixed-Priority Preemptive Algorithm”, in Proceedings of the EUROMICRO Conference on Real-Time Systems (ECRTS 2008), Prague, Czech Republic, July 2008., Jul. 2008.
- Edgar Pascoal, José Rufino, Tobias Schoofs, James Windsor, “AMOBA - ARINC 653 Simulator for Modular Space Based Applications”, in Proceedings of the Eurospace Data Systems in Aerospace Conference (DASIA 2008). Palma de Majorca, Spain, May 2008., May 2008.
- José Rufino, Ricardo Correia Pinto, Carlos Almeida, “FPGA-based Engineering of Bus Media Redundancy in CAN”, in Proceedings of the 12th CAN in Automation (CiA) International CAN Conference. Barcelona, Spain, March 2008., Mar. 2008.
- José Rufino, Sérgio Filipe, “AIR Project Summary Report”, University of Lisbon, DI-FCUL, Tech. Rep. TR-07-36, Dec. 2007. http://hdl.handle.net/10455/2955
- José Rufino, Sérgio Filipe, “AIR Project Final Report”, University of Lisbon, DI-FCUL, Tech. Rep. TR-07-35, Dec. 2007. http://hdl.handle.net/10455/2982
- José Rufino, Ricardo Correia Pinto, Carlos Almeida, “A FPGA-based solution for enforcing dependability and timeliness in CAN”, in Proceedings of the IP Based Electronic System Conference and Exhibition (IP07). Grenoble, France, December 2007., Dec. 2007.
- José Rufino, Sérgio Filipe, Manuel Coutinho, Sérgio Santos, James Windsor, “ARINC 653 Interface in RTEMS”, in Proceedings of the DASIA 2007 "Data Systems in Aerospace" Conference, Napoli, Italy, May/June 2007., May 2007.
- José Rufino, Carlos Almeida, Paulo Verissimo, Guilherme Arroz, “Enforcing Dependability and Timeliness in Controller Area Networks”, in Proceedings of the 32nd Annual Conference of the IEEE Industrial Electronics Society (IECON06), Paris, France, November, 2006., Nov. 2006.
- Manuel Coutinho, Carlos Almeida, José Rufino, “VITRAL - A Text Mode Window Manager for Real-Time Embedded Kernels”, in Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), Prague, Czech Republic, September, 2006., Sept. 2006.
- José Rufino, Paulo Verissimo, Carlos Almeida, Guilherme Arroz, “Integrating Inaccessibility Control and Timer Management in CANELy”, in Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), Prague, Czech Republic, September, 2006., Sept. 2006.
- Carlos Almeida, José Rufino, “Interconnected Embedded Systems: Challenges and Main Problems to Solve”, in Proceedings of the 6th IEEE International Workshop on Factory Communication Systems (WFCS06 Work in Progress Sessions), Torino, Italy, June, 2006., Jun. 2006.
- José Rufino, Paulo Verissimo, Guilherme Arroz, Carlos Almeida, “Control of Inaccessibility in CANELy”, in Proceedings of the 6th IEEE International Workshop on Factory Communication Systems (WFCS06), Torino, Italy, June, 2006., Jun. 2006.
- Manuel Coutinho, José Rufino, Carlos Almeida, “VITRAL: A text mode windows manager for RTEMS”, in Actas das Terceiras Jornadas de Engenharia de Electrónica e Telecomunicações e de Computadores (JETC05), Novembro 2005., Nov. 2005.
- Manuel Coutinho, José Rufino, Carlos Almeida, “Control of event handling timeliness in RTEMS”, in Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing Systems (PDCS 2005), Phoenix, Arizona, USA, November 2005., Nov. 2005.
- Gonçalo Rijo, Carlos Almeida, José Rufino, “Gestão do consumo em microprocessadores: Aumento da autonomia sem comprometer a funcionalidade”, in Actas das Terceiras Jornadas de Engenharia de Electrónica e Telecomunicações e de Computadores (JETC05), Lisboa, Portugal, Novembro 2005., Nov. 2005.
- Nuno Diniz, José Rufino, “ARINC 653 In Space”, in Proceedings of the DASIA 2005 "Data Systems in Aerospace" Conference, Edimburgh, Scotland, May/June 2005., May 2005.
- José Rufino, Paulo Verissimo, Guilherme Arroz, “Node Failure Detection and Membership in CANELy”, in Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN03). San Francisco, California, USA, June 2003., Jun. 2003.
- José Rufino, “Computational System for Real-Time Distributed Control”, Ph.D. dissertation, Technical University of Lisbon, Instituto Superior Técnico, Lisbon, Portugal, Jul. 2002.
- Carlos Almeida, José Rufino, “Improving real-time characteristics of a COTS Local Area Network”, in Proceedings of the International Conference on Communications in Computing (CIC2001). Las Vegas, Nevada, June 2001., Jun. 2001.
- José Rufino, Paulo Verissimo, Guilherme Arroz, “Design of Bus Media Redundancy in CAN”, in Fieldbus Technology - Systems Integration, Networking, and Engineering. Proceedings of International Symposium on Fieldbus Systems and their Applications (FeT-99). Magdeburg, Germany, September 1999. Dietrich, D.; Neumann, P.; Schweinzer, H. (Eds.)., Sept. 1999.
- José Rufino, Paulo Verissimo, Guilherme 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., Jun. 1999.
- José Rufino, Paulo Verissimo, Guilherme Arroz, “Embedded Platforms for Distributed Real-Time Computing: Challenges and Results”, in Proceedings of the 2nd IEEE International Symposium on Object-oriented Real-Time distributed Computing. Saint Malo, France, May 1999., May 1999.
- Luís Rodrigues, M. Guimarães, José Rufino, “Fault-Tolerant Clock Synchronization in CAN”, in Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, Dec. 1998.
- José Rufino, Paulo Verissimo, Guilherme Arroz, “Defining a CAN-based Infrastructure for Fault-Tolerant Real-Time Distributed Computing”, in Proceedings of the 19th IEEE Real-Time Systems Symposium - Work In Progress Sessions. Madrid, Spain, December 1998., Dec. 1998.
- José Rufino, Nuno Pedrosa, José Monteiro, Paulo Verissimo, Guilherme Arroz, “Hardware support for CAN fault-tolerant communication”, in Proceedings of the 5th IEEE International Conference on Electronics, Circuits and Systems, Lisboa, Portugal, September 1998, Sept. 1998.
- José Rufino, Paulo Verissimo, Guilherme Arroz, Carlos Almeida, Luís Rodrigues, “Fault-Tolerant Broadcasts in CAN”, in Digest of Papers, The 28th IEEE International Symposium on Fault-Tolerant Computing. Munich, Germany, June, 1998., Jun. 1998.
- Paulo Verissimo, José Rufino, Li Ming, “How hard is hard real-time communication on field-buses?”, in Digest of Papers, The 27th International Symposium on Fault-Tolerant Computing. Seattle - USA, July 1997. IEEE, Jul. 1997.
- José Rufino, Paulo Verissimo, “A Study on the Inaccessibility Characteristics of the Controller Area Network”, in Proceedings of the 2nd International CAN Conference. London, United Kingdom, October 1995., Oct. 1995.
- Luís Rodrigues, Paulo Verissimo, José Rufino, “A low-level processor group membership protocol for LANs”, in Proceedings of the 13th International Conference on Distributed Computing Systems. Pittsburgh, Pennsylvania, USA, May 1993., May 1993.
- José Rufino, “Rede de Difusão Abstracta: um modelo para construção de protocolos portáteis sobre rede local”, Master’s thesis, Technical University of Lisbon, Instituto Superior Técnico, Lisbon, Portugal, Apr. 1993. In Portuguese
- José Rufino, Paulo Verissimo, “Minimizing Token-Bus inaccessibility through network planning and parameterizing”, in Proceedings of the EFOC/LAN92 Conference, IGI. Paris, France, June 1992., Jun. 1992.
- José Rufino, Paulo Verissimo, “A study on the inaccessibility characteristics of ISO 8802/4 Token-Bus LAN”, in Proceedings of the IEEE INFOCOM'92 Conference on Computer Communications. Florence, Italy, May 1992., May 1992.
- José Rufino, Paulo Verissimo, “A study on the inaccessibility characteristics of token-based standard LANs”, INESC, Tech. Rep. RT-26/92, Apr. 1992.
- José Rufino, Paulo Verissimo, “A study on the inaccessibility characteristics of the FDDI LAN”, INESC, Tech. Rep. RT-25/92, Mar. 1992.
- José Rufino, Paulo Verissimo, “A study on the inaccessibility characteristics of ISO 8802/5 Token-Ring LAN”, INESC, Tech. Rep. RT/24-92, Feb. 1992.
- Paulo Verissimo, José Rufino, Henrique Fonseca, Luís Rodrigues, “The performance of the xAMP protocol on Token-Bus and FDDI NAC's”, INESC, Tech. Rep. RT/101-91, Nov. 1991.
- Paulo Verissimo, Luís Rodrigues, José Rufino, “The Atomic Multicast protocol (AMp)”, in DELTA-4 - A Generic Architecture for Dependable Distributed Computing, David Powell, Eds., ser. ESPRIT Research Reports. Springer Verlag, Nov. 1991, ch. 10, pp. 267–294.
- Paulo Verissimo, José Rufino, Luís Rodrigues, “Enforcing real-time behaviour of LAN-based protocols”, in Proceedings of the 10th IFAC Workshop on Distributed Computer Control Systems. Semmering, Austria, September 1991., Sept. 1991.