Segui
José Rufino
José Rufino
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Portugal
Email verificata su di.fc.ul.pt
Titolo
Citata da
Citata da
Anno
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
2051998
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, 279-335, 2019
932019
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
871998
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
731999
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
671995
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
521993
ARINC 653 in space
N Diniz, J Rufino
DASIA 2005-Data Systems in Aerospace 602, 2005
512005
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
452008
A simple spectrophotometric method for the determination of tetracycline and doxycycline in pharmaceutical formulations using chloramine-T
JL Rufino, FCB Fernandes, MS Ruy, HR Pezza, L Pezza
Eclética Química 35, 139-146, 2010
432010
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
431997
ARINC 653 interface in RTEMS
J Rufino, S Filipe, M Coutinho, S Santos, J Windsor
Proc. DASIA, 2007
422007
Enforcing real-time behaviour on lan-based protocols
P Veríssimo, J Rufino, L Rodrigues
IFAC Proceedings Volumes 25 (26), 75-80, 1992
381992
AIR Technology: a step towards ARINC 653 in space
J Rufino, J Craveiro, T Schoofs, C Tatibana, J Windsor
Proc. DASIA, 2009
362009
Architecting robustness and timeliness in a new generation of aerospace systems
J Rufino, J Craveiro, P Verissimo
Architecting Dependable Systems VII, 146-170, 2010
352010
Flow-Injection Spectrophotometric Determination of Azithromycin in Pharmaceutical Formulations Using p-Chloranil in the Presence of Hydrogen Peroxide
JL Rufino, HR Pezza, L Pezza
Analytical Sciences 24 (7), 871-876, 2008
322008
Flow-injection spectrophotometric determination of tetracycline and doxycycline in pharmaceutical formulations using chloramine-T as oxidizing agent
JL Rufino, PL Weinert, HR Pezza, L Pezza
Química Nova 32, 1764-1769, 2009
312009
Node failure detection and membership in CANELy
J Rufino, P Veríssimo, G Arroz
2003 International Conference on Dependable Systems and Networks, 2003 …, 2003
272003
An overview of the controller area network
J Rufino
Proceedings of the CiA Forum CAN for Newcomers, 1997
261997
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
252011
Computational system for real-time distributed control
J Rufino
PhD-Thesis, 2002
242002
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20