José Rufino
José Rufino
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Portugal
Verified email at di.fc.ul.pt
Title
Cited by
Cited by
Year
Fault-tolerant broadcasts in CAN
J Rufino, P Verissimo, G Arroz, C Almeida, L Rodrigues
Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual …, 1998
1881998
Fault-tolerant clock synchronization in CAN
L Rodrigues, M Guimaraes, J Rufino
Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No. 98CB36279), 420-429, 1998
781998
A Columbus' egg idea for CAN media redundancy
J Rufino, P Verissimo, G Arroz
Digest of Papers. Twenty-Ninth Annual International Symposium on Fault …, 1999
681999
A study on the inaccessibility characteristics of the Controller Area Network
J Rufino, P Veríssimo
Proc. of the 2nd International CAN Conference 95, 1995
661995
A low-level processor group membership protocol for LANs
L Rodrigues, P Veríssimo, J Rufino
[1993] Proceedings. The 13th International Conference on Distributed …, 1993
541993
ARINC 653 in space
N Diniz, J Rufino
DASIA 2005-Data Systems in Aerospace 602, 2005
442005
ARINC 653 interface in RTEMS
J Rufino, S Filipe, M Coutinho, S Santos, J Windsor
Proc. DASIA, 2007
402007
A portable ARINC 653 standard interface
S Santos, J Rufino, T Schoofs, C Tatibana, J Windsor
2008 IEEE/AIAA 27th Digital Avionics Systems Conference, 1. E. 2-1-1. E. 2-7, 2008
392008
How hard is hard real-time communication on field-buses?
P Verissimo, J Rufino, L Ming
Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing …, 1997
391997
Enforcing real-time behaviour on lan-based protocols
P Veríssimo, J Rufino, L Rodrigues
IFAC Proceedings Volumes 25 (26), 75-80, 1992
391992
Architecting robustness and timeliness in a new generation of aerospace systems
J Rufino, J Craveiro, P Verissimo
Architecting Dependable Systems VII, 146-170, 2010
332010
AIR Technology: a step towards ARINC 653 in space
J Rufino, J Craveiro, T Schoofs, C Tatibana, J Windsor
Proc. DASIA, 2009
302009
Node failure detection and membership in CANELy
J Rufino, P Veríssimo, G Arroz
2003 International Conference on Dependable Systems and Networks, 2003 …, 2003
262003
The atomic multicast protocol (AMp)
D Powell
Delta-4: A Generic Architecture for Dependable Distributed Computing, 267-294, 1991
251991
Computational system for real-time distributed control
J Rufino
PhD-Thesis, 2002
242002
An overview of the controller area network
J Rufino
Proceedings of the CiA Forum CAN for Newcomers, 1997
241997
Architecture, mechanisms and scheduling analysis tool for multicore time-and space-partitioned systems
J Craveiro, J Rufino, F Singhoff
ACM SIGBED Review 8 (3), 23-27, 2011
202011
A kernel-based architecture for safe cooperative vehicular functions
A Casimiro, J Rufino, RC Pinto, E Vial, EM Schiller, O Morales-Ponce, ...
Proceedings of the 9th IEEE International Symposium on Industrial Embedded …, 2014
182014
A survey of challenges for runtime verification from advanced application domains (beyond software)
C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ...
Formal Methods in System Design 54 (3), 279-335, 2019
172019
Dual-media redundancy mechanisms for CAN
J Rufino
Centro de Sistemas Telemáticos e Computacionais Do Instituto Superior Técnico, 1997
161997
The system can't perform the operation now. Try again later.
Articles 1–20