José Rufino
José Rufino
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Portugal
Bestätigte E-Mail-Adresse bei
Zitiert von
Zitiert von
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
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
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
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
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
ARINC 653 in space
N Diniz, J Rufino
DASIA 2005-Data Systems in Aerospace 602, 2005
ARINC 653 interface in RTEMS
J Rufino, S Filipe, M Coutinho, S Santos, J Windsor
Proc. DASIA, 2007
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
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
Enforcing real-time behaviour on lan-based protocols
P Veríssimo, J Rufino, L Rodrigues
IFAC Proceedings Volumes 25 (26), 75-80, 1992
Architecting robustness and timeliness in a new generation of aerospace systems
J Rufino, J Craveiro, P Verissimo
Architecting Dependable Systems VII, 146-170, 2010
AIR Technology: a step towards ARINC 653 in space
J Rufino, J Craveiro, T Schoofs, C Tatibana, J Windsor
Proc. DASIA, 2009
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
Node Failure Detection and Membership in CANELy.
J Rufino, P Veríssimo, G Arroz
DSN, 331-340, 2003
Computational system for real-time distributed control
J Rufino
PhD-Thesis, 2002
An overview of the controller area network
J Rufino
Proceedings of the CiA Forum CAN for Newcomers, 1997
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
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
Dual-media redundancy mechanisms for CAN
J Rufino
Centro de Sistemas Telemáticos e Computacionais Do Instituto Superior Técnico, 1997
Amoba ARINC 653 simulator for modular based space applications
P Edgar, J Rufino, T Schoofs, J Windsor
Proc. Eurospace Data Systems in Aerospace Conference, 2008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20