José Rufino
José Rufino
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Portugal
Email confirmado em
Citado por
Citado por
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
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
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
ARINC 653 interface in RTEMS
J Rufino, S Filipe, M Coutinho, S Santos, J Windsor
Proc. DASIA, 2007
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
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
Response time analysis of asynchronous periodic and sporadic tasks sheduled by a fixed priority preemptive algorithm
M Coutinho, J Rufino, C Almeida
2008 Euromicro Conference on Real-Time Systems, 156-167, 2008
Robust partitioning and composability in ARINC 653 conformant real-time operating systems
J Rufino, J Craveiro
1st INTERAC Research Network Plenary Workshop, Braga, Portugal, 2008
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20