Home

Conference Paper
Casimiro, A., I. Gouveia, and J. Rufino, "Enforcing Timeliness and Safety in Mission-Critical Systems", Ada-Europe International Conference on Reliable Software Technologies: Springer, pp. 53–69, 2017.
Gouveia, I., and J. Rufino, "Enforcing Safety and Security Through Non-Intrusive Runtime Verification", the 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems, pp. 19, 2016.
Conference Paper
Caldeira, R., J. Souza, R. Pinto, and J. Rufino, "A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection", Proceedings of the 7th Simposio de Informatica (INFORUM), Covilha, Portugal, 2015.
Conference Paper
Casimiro, A., J. Rufino, R. Pinto, E. Vial, E. M. Schiller, O. Morales-Ponce, and T. Petig, "A kernel-based architecture for safe cooperative vehicular functions", Industrial Embedded Systems (SIES), 2014 9th IEEE International Symposium on: IEEE, pp. 228–237, 2014.
Journal Article
Verissimo, P., J. Rufino, and L. Rodrigues, "LAN-BASED PROTOCOLS", Distributed Computer Control Systems 1991: Towards Distributed Real-Time Systems with Predictable Timing Properties: Elsevier, pp. 75, 2014.
Conference Paper
Souza, J. L. R., R. Pinto, and J. Rufino, "Mechanisms to enforce dependability and timeliness in wireless communications", Wireless for Space and Extreme Environments (WiSEE), 2014 IEEE International Conference on: IEEE, pp. 1–6, 2014.
Souza, J. L. R., and J. Rufino, "Analysing and reducing network inaccessibility in IEEE 802.15. 4 wireless communications", Local Computer Networks (LCN), 2013 IEEE 38th Conference on: IEEE, pp. 532–540, 2013.
Journal Article
Souza, J. L. R., and J. Rufino, "Towards resilient real-time wireless communications", Work-in-Progress Session, pp. 29, 2013.
Souza, J. L. R., A. Guerreiro, and J. Rufino, "Characterizing Inaccessibility in IEEE 802.15. 4 Through Theoretical Models and Simulation Tools", D3. 1–First Report on Supporting Technologies (Annex), pp. 63, 2012.
Craveiro, J., and J. Rufino, "Heterogeneous multiprocessor compositional real-time scheduling", RTSOPS 2012, pp. 21, 2012.
Craveiro, J., R. Ormonde Silveira, and J. Rufino, "hsSim: an extensible interoperable object-oriented n-level hierarchical scheduling simulator", 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2012), Pisa, Italy, 2012.
Conference Paper
Rosa, J., J. Craveiro, and J. Rufino, "Adaptability and survivability in spaceborne time-and space-partitioned systems", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–4, 2011.
Rufino, J., J. Craveiro, T. Schoofs, J. Cristóvão, S. Santos, and C. Tatibana, "AIR: Technology innovation for future spacecraft onboard computing systems", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–2, 2011.
Souza, J. L. R., and J. Rufino, "An approach to enhance the timeliness of wireless communications", UBICOMM 2011, The Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, pp. 277–282, 2011.
Conference Paper
Pinto, R., J. Rufino, and C. Almeida, "High availability in controller area networks", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–4, 2011.
Rosa, J., J. Craveiro, and J. Rufino, "Safe online reconfiguration of time-and space-partitioned systems", Industrial Informatics (INDIN), 2011 9th IEEE International Conference on: IEEE, pp. 510–515, 2011.
Journal Article
Craveiro, J., J. Rosa, and J. Rufino, "Towards self-adaptive scheduling in time-and space-partitioned systems", The 32nd IEEE Real-Time Systems Symposium WiP session, Vienna, Austria, 2011.
Conference Paper
Craveiro, J., and J. Rufino, "Adaptability support in time-and space-partitioned aerospace systems", ADAPTIVE 2010, The Second International Conference on Adaptive and Self-Adaptive Systems and Applications, pp. 152–157, 2010.
Book Chapter
Rufino, J., J. Craveiro, and P. Verissimo, "Architecting robustness and timeliness in a new generation of aerospace systems", Architecting dependable systems VII: Springer Berlin Heidelberg, pp. 146–170, 2010.
Rufino, J., J. Craveiro, and P. Verissimo, "Building a time-and space-partitioned architecture for the next generation of space vehicle avionics", Software Technologies for Embedded and Ubiquitous Systems: Springer Berlin Heidelberg, pp. 179–190, 2010.
Journal Article
Rosa, J., J. Craveiro, and J. Rufino, "Exploiting AIR composability towards spacecraft onboard software update", Actas do INForum-Simpósio de Informática, 2010.
Conference Paper
Craveiro, J., and J. Rufino, "Schedulability analysis in partitioned systems for aerospace avionics", Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on: IEEE, pp. 1–4, 2010.
Book Chapter
Casimiro, A., J. Rufino, L. Marques, M. Calha, and P. Verissimo, "Applying architectural hybridization in networked embedded systems", Software Technologies for Embedded and Ubiquitous Systems: Springer Berlin Heidelberg, pp. 264–275, 2009.
Journal Article
Souza, J. L. R., and J. Rufino, "Characterization of inaccessibility in wireless networks: a case study on IEEE 802.15. 4 standard", Analysis, Architectures and Modelling of Embedded Systems: Springer, pp. 290–301, 2009.
Conference Paper
Craveiro, J., J. Rufino, C. Almeida, R. Covelo, and P. Venda, "Embedded Linux in a partitioned architecture for aerospace applications", Computer Systems and Applications, 2009. AICCSA 2009. IEEE/ACS International Conference on: IEEE, pp. 132–138, 2009.
Conference Paper
Santos, S., J. Rufino, T. Schoofs, C. Tatibana, and J. Windsor, "A portable ARINC 653 standard interface", Digital Avionics Systems Conference, 2008. DASC 2008. IEEE/AIAA 27th: IEEE, pp. 1–E, 2008.
Coutinho, M., J. Rufino, and C. Almeida, "Response time analysis of asynchronous periodic and sporadic tasks sheduled by a fixed priority preemptive algorithm", Real-Time Systems, 2008. ECRTS'08. Euromicro Conference on: IEEE, pp. 156–167, 2008.
Journal Article
Rufino, J., and J. Craveiro, "Robust partitioning and composability in ARINC 653 conformant real-time operating systems", 1st INTERAC Research Network Plenary Workshop, Braga, Portugal, 2008.
Rufino, J., and S. Filipe, AIR Project final report, : Department of Informatics, University of Lisbon, 2007.
Rufino, J., and S. Filipe, AIR Project Summary Report, : Department of Informatics, University of Lisbon, 2007.
Rufino, J., S. Filipe, M. Coutinho, S. Santos, and J. Windsor, "ARINC 653 interface in RTEMS", Proc. DASIA, 2007.
Rufino, J., R. Pinto, and C. Almeida, "A FPGA-based solution for enforcing dependability and timeliness in CAN", Proceedings of the 2007 IP Based Electronic System (IP'07), Grenoble, France, 2007.
Rufino, J., P. Verissimo, G. Arroz, and C. Almeida, "Control of inaccessibility in CANELy", Proceedings of the 6th. International Workshop on Factory Communication Systems, pp. 35–44, 2006.
Conference Paper
Rufino, J., C. Almeida, P. Verissimo, and G. Arroz, "Enforcing dependability and timeliness in Controller Area Networks", IEEE Industrial Electronics, IECON 2006-32nd Annual Conference on: IEEE, pp. 3755–3760, 2006.
Rufino, J., P. Verissimo, C. Almeida, and G. Arroz, "Integrating inaccessibility control and timer management in canely", Emerging Technologies and Factory Automation, 2006. ETFA'06. IEEE Conference on: IEEE, pp. 348–355, 2006.
Journal Article
Almeida, C., and J. Rufino, "Interconnected embedded systems: Challenges and main problems to solve", In Proceedings of the 6th IEEE International Workshop on Factory Communication Systems (Work in Progress Sessions), Torino, Italy, 2006.
Miscellaneous
Pinto, R., J. Rufino, and C. Almeida, Specification and engineering of the CANELy prototype board, : Technical Report DARIO Technical Report RT-06-06, Instituto Superior Tecnico, Lisbon, Portugal, 2006.
Conference Paper
Coutinho, M., J. Rufino, and C. Almeida, "Control of Event Handling Timeliness in RTEMS.", IASTED PDCS, pp. 277–282, 2005.
Conference Paper
Rufino, J., P. Verissimo, and G. Arroz, "Node failure detection and membership in CANELy", 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN): IEEE Computer Society, pp. 331–331, 2003.
Book
Rufino, J., P. Verissimo, and G. Arroz, CAN Bus Media Redundancy, : European Space Agency (ESA) ESTEC Spacecraft Control and Data Systems Division 1st. CAN in Space Workshop, Noordwijk, The Netherlands, 2002.
Thesis
Rufino, J., Computational system for real-time distributed control, : PhD thesis, Universidade Técnica de Lisboa Instito Superior Técnico, 2002.
Conference Paper
Rufino, J., P. Verissimo, and G. Arroz, "A Columbus' egg idea for CAN media redundancy", Fault-Tolerant Computing, 1999. Digest of Papers. Twenty-Ninth Annual International Symposium on: IEEE, pp. 286–293, 1999.
Book Chapter
Rufino, J., P. Verissimo, and G. Arroz, "Design of bus media redundancy in CAN", Fieldbus Technology: Springer Vienna, pp. 375–380, 1999.
Conference Paper
Rufino, J., P. Verissimo, and G. Arroz, "Embedded platforms for distributed real-time computing: Challenges and results", Object-Oriented Real-Time Distributed Computing, 1999.(ISORC'99) Proceedings. 2nd IEEE International Symposium on: IEEE, pp. 147–152, 1999.
Miscellaneous
Almeida, C., J. Rufino, and P. Verissimo, DDRAFT: Supporting dynamic distributed real-time applications with fault-tolerance, : Technical Report CSTC RT-98-02, Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1998.
Conference Paper
Rufino, J., P. Verissimo, G. Arroz, C. Almeida, and L. Rodrigues, "Fault-tolerant broadcasts in CAN", Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on: IEEE, pp. 150–159, 1998.
Rodrigues, L., M. Guimaraes, and J. Rufino, "Fault-tolerant clock synchronization in CAN", Real-Time Systems Symposium, 1998. Proceedings., The 19th IEEE: IEEE, pp. 420–429, 1998.
Rufino, J., N. Pedrosa, J. Monteiro, P. Verissimo, and G. Arroz, "Hardware support for CAN fault-tolerant communication", Electronics, Circuits and Systems, 1998 IEEE International Conference on, vol. 1: IEEE, pp. 263–266, 1998.
Miscellaneous
Rufino, J., P. Verissimo, G. Arroz, C. Almeida, and L. Rodrigues, Design of Fault-Tolerant Broadcast Protocols for CAN, : Tech. rept. CSTC RT-97-06. Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1997.
Rufino, J., "Dual-media redundancy mechanisms for CAN", 2008-02-14)[2012-07-04]. http://dario. di. fc. ul. pt/downloads/CSTC-RT-9701. pdf, 1997.
Journal Article
Rufino, J., and P. Verissimo, "Hard real-time operation of CAN", TechnicalReport CSTC RT-97-02, Centro de Sistemas Telematicos e Computacionais do Instituto Superior Tecnico, Lisboa, Portugal, 1997.
Conference Paper
Verissimo, P., J. Rufino, and L. Ming, "How hard is hard real-time communication on field-buses?", Fault-Tolerant Computing, 1997. FTCS-27. Digest of Papers., Twenty-Seventh Annual International Symposium on: IEEE, pp. 112–121, 1997.
Journal Article
Rufino, J., "An overview of the controller area network", Proceedings of the CiA Forum CAN for Newcomers, 1997.
Miscellaneous
Rufino, J., Redundant CAN architectures for dependable communication, : Tech. rept. CSTC RT-97-07. Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1997.
Journal Article
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of the Controller Area Network", Proc. of the 2nd International CAN Conference, vol. 95: Citeseer, 1995.
Conference Paper
Rodrigues, L., P. Verissimo, and J. Rufino, "A low-level processor group membership protocol for LANs", Distributed Computing Systems, 1993., Proceedings the 13th International Conference on: IEEE, pp. 541–550, 1993.
Conference Paper
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of ISO 8802/4 Token-Bus LANs", INFOCOM'92. Eleventh Annual Joint Conference of the IEEE Computer and Communications Societies, IEEE: IEEE, pp. 958–967, 1992.
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of ISO 8802/5 Token-Ring LANs", In Proceedings of the IEEE INFOCOM'92 Conference on Computer Communications, 1992.
Miscellaneous
Rufino, J., and P. Verissimo, A study on the inaccessibility characteristics of the FDDI LAN, : Technical Report RT/25-92, INESC, Lisboa, Portugal, 1992.
Journal Article
Verissimo, P., L. Rodrigues, and J. Rufino, "The atomic multicast protocol (AMp)", Delta-4: A Generic Architecture for Dependable Distributed Computing: ESPRIT Research Papers, Springer-Verlag, pp. 267–294, 1991.
Verissimo, P., P. Verissimo, J. Rufino, and L. Rodrigues, Enforcing Real-Time behaviour on LAN-based protocols, : Citeseer, 1991.
Miscellaneous
Verissimo, P., J. Rufino, H. Fonseca, and L. Rodrigues, The performance of the xAMp protocol on token-bus and fddi nac's, : Technical Report RT/109-91, INESC, Lisboa, Portugal, 1991.
Journal Article
Fonseca, H., L. Rodrigues, J. Rufino, and P. Verissimo, "Local support environment: User specification", Relatório Técnico RT/50-90, INESC, Lisboa, Portugal, 1990.