Theo dõi
José Rufino
José Rufino
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Portugal
Email được xác minh tại di.fc.ul.pt
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
952019
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
ARINC 653 interface in RTEMS
J Rufino, S Filipe, M Coutinho, S Santos, J Windsor
Proc. DASIA, 2007
432007
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
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
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20