Publications

Export 93 results:
Filters: Author is Rufino, José  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
Rosa, J., J. Craveiro, and J. Rufino, "Adaptability and survivability in spaceborne time-and space-partitioned systems", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–4, 2011.
Craveiro, J., and J. Rufino, "Adaptability support in time-and space-partitioned aerospace systems", ADAPTIVE 2010, The Second International Conference on Adaptive and Self-Adaptive Systems and Applications, pp. 152–157, 2010.
Rufino, J., and S. Filipe, AIR Project final report, : Department of Informatics, University of Lisbon, 2007.
Rufino, J., and S. Filipe, AIR Project Summary Report, : Department of Informatics, University of Lisbon, 2007.
Rufino, J., J. Craveiro, T. Schoofs, C. Tatibana, and J. Windsor, "AIR Technology: a step towards ARINC 653 in space", Proc. DASIA, 2009.
Rufino, J., J. Craveiro, T. Schoofs, J. Cristóvão, S. Santos, and C. Tatibana, "AIR: Technology innovation for future spacecraft onboard computing systems", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–2, 2011.
Pascoal, E., J. Rufino, T. Schoofs, and J. Windsor, "AMOBA-ARINC 653 simulator for modular based space applications", emergency, vol. 10, pp. 2, 2008.
Souza, J. L. R., and J. Rufino, "Analysing and reducing network inaccessibility in IEEE 802.15. 4 wireless communications", Local Computer Networks (LCN), 2013 IEEE 38th Conference on: IEEE, pp. 532–540, 2013.
Casimiro, A., J. Rufino, L. Marques, M. Calha, and P. Verissimo, "Applying architectural hybridization in networked embedded systems", Software Technologies for Embedded and Ubiquitous Systems: Springer Berlin Heidelberg, pp. 264–275, 2009.
Souza, J. L. R., and J. Rufino, "An approach to enhance the timeliness of wireless communications", UBICOMM 2011, The Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, pp. 277–282, 2011.
Rufino, J., J. Craveiro, and P. Verissimo, "Architecting robustness and timeliness in a new generation of aerospace systems", Architecting dependable systems VII: Springer Berlin Heidelberg, pp. 146–170, 2010.
Craveiro, J., J. Rufino, and F. Singhoff, "Architecture, mechanisms and scheduling analysis tool for multicore time-and space-partitioned systems", ACM SIGBED Review, vol. 8, no. 3: ACM, pp. 23–27, 2011.
Johansson, R., J. Kaiser, A. Casimiro, R. Librino, K. Ö. stberg, J. Rufino, and P. Costa, "An architecture pattern enabling safety at lower cost and with higher performance", Embedded Real Time Software and Systems Conference, Toulouse, France, 2014.
Diniz, N., and J. Rufino, ARINC 653 In Space Dasia 2005, EUROSPACE, Edinburgh, Scotland, , 2005.
Rufino, J., S. Filipe, M. Coutinho, S. Santos, and J. Windsor, "ARINC 653 interface in RTEMS", Proc. DASIA, 2007.
Verissimo, P., L. Rodrigues, and J. Rufino, "The atomic multicast protocol (AMp)", Delta-4: A Generic Architecture for Dependable Distributed Computing: ESPRIT Research Papers, Springer-Verlag, pp. 267–294, 1991.
C
Rufino, J., P. Verissimo, and G. Arroz, CAN Bus Media Redundancy, : European Space Agency (ESA) ESTEC Spacecraft Control and Data Systems Division 1st. CAN in Space Workshop, Noordwijk, The Netherlands, 2002.
Pinto, R., J. Rufino, and C. Almeida, "CANELy Prototype Board Schematic Specification", FCUL/IST, Tech. Rep. DARIO RT-05-04, 2005.
Souza, J. L. R., and J. Rufino, "Characterization of inaccessibility in wireless networks: a case study on IEEE 802.15. 4 standard", Analysis, Architectures and Modelling of Embedded Systems: Springer, pp. 290–301, 2009.
Rufino, J., and J. L. R. Souza, Characterization of Network Inaccessibility in IEEE 802.15. 4 Wireless Networks, , 2013.
Souza, J. L. R., A. Guerreiro, and J. Rufino, "Characterizing Inaccessibility in IEEE 802.15. 4 Through Theoretical Models and Simulation Tools", D3. 1–First Report on Supporting Technologies (Annex), pp. 63, 2012.
Rufino, J., P. Verissimo, and G. Arroz, "A Columbus' egg idea for CAN media redundancy", Fault-Tolerant Computing, 1999. Digest of Papers. Twenty-Ninth Annual International Symposium on: IEEE, pp. 286–293, 1999.
Rufino, J., Computational system for real-time distributed control, : PhD thesis, Universidade Técnica de Lisboa Instito Superior Técnico, 2002.
Coutinho, M., J. Rufino, and C. Almeida, "Control of Event Handling Timeliness in RTEMS.", IASTED PDCS, pp. 277–282, 2005.
Rufino, J., G. Arroz, and P. Verissimo, Control of Inaccessibility in CANELy, , 2001.
Rufino, J., P. Verissimo, G. Arroz, and C. Almeida, "Control of inaccessibility in CANELy", Proceedings of the 6th. International Workshop on Factory Communication Systems, pp. 35–44, 2006.
D
Rufino, J., J. Souza, E. Michael Schiller, L. Marques, A. Guerreiro, R. Caldeira, and D. Skarin, D3. 2–Final Report on Network Characteristics and Coordination Techniques, , 2013.
Steup, C., T. Brade, J. Rufino, J. L. R. Souza, R. Caldeira, and A. Guerreiro, D3. 3–Working prototype of adaptive middleware, , 2013.
Steup, C., T. Brade, J. L. R. Souza, J. Rufino, R. Caldeira, and C. Berger, D3. 5–Final Report on middleware and the evaluation environment, , 2014.
Rufino, J., D4. 2–First Report on Safety Kernel Definition, , 2013.
Almeida, C., J. Rufino, and P. Verissimo, DDRAFT: Supporting dynamic distributed real-time applications with fault-tolerance, : Technical Report CSTC RT-98-02, Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1998.
Rufino, J., P. Verissimo, G. Arroz, and , Defining a CAN-based infrastructure for fault-tolerant real-time distributed computing, : Citeseer, 1998.
Rufino, J., P. Verissimo, and G. Arroz, "Design of bus media redundancy in CAN", Fieldbus Technology: Springer Vienna, pp. 375–380, 1999.
Rufino, J., P. Verissimo, G. Arroz, C. Almeida, and L. Rodrigues, Design of Fault-Tolerant Broadcast Protocols for CAN, : Tech. rept. CSTC RT-97-06. Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1997.
Rufino, J., "Dual-media redundancy mechanisms for CAN", 2008-02-14)[2012-07-04]. http://dario. di. fc. ul. pt/downloads/CSTC-RT-9701. pdf, 1997.
E
Craveiro, J., J. Rufino, C. Almeida, R. Covelo, and P. Venda, "Embedded Linux in a partitioned architecture for aerospace applications", Computer Systems and Applications, 2009. AICCSA 2009. IEEE/ACS International Conference on: IEEE, pp. 132–138, 2009.
Rufino, J., P. Verissimo, and G. Arroz, "Embedded platforms for distributed real-time computing: Challenges and results", Object-Oriented Real-Time Distributed Computing, 1999.(ISORC'99) Proceedings. 2nd IEEE International Symposium on: IEEE, pp. 147–152, 1999.
Rufino, J., C. Almeida, P. Verissimo, and G. Arroz, "Enforcing dependability and timeliness in Controller Area Networks", IEEE Industrial Electronics, IECON 2006-32nd Annual Conference on: IEEE, pp. 3755–3760, 2006.
Verissimo, P., P. Verissimo, J. Rufino, and L. Rodrigues, Enforcing Real-Time behaviour on LAN-based protocols, : Citeseer, 1991.
Gouveia, I., and J. Rufino, "Enforcing Safety and Security Through Non-Intrusive Runtime Verification", the 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems, pp. 19, 2016.
Casimiro, A., I. Gouveia, and J. Rufino, "Enforcing Timeliness and Safety in Mission-Critical Systems", Ada-Europe International Conference on Reliable Software Technologies: Springer, pp. 53–69, 2017.
Rosa, J., J. Craveiro, and J. Rufino, "Exploiting AIR composability towards spacecraft onboard software update", Actas do INForum-Simpósio de Informática, 2010.
F
Rufino, J., P. Verissimo, G. Arroz, C. Almeida, and L. Rodrigues, "Fault-tolerant broadcasts in CAN", Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on: IEEE, pp. 150–159, 1998.
Rodrigues, L., M. Guimaraes, and J. Rufino, "Fault-tolerant clock synchronization in CAN", Real-Time Systems Symposium, 1998. Proceedings., The 19th IEEE: IEEE, pp. 420–429, 1998.
Craveiro, J., J. Rufino, T. Schoofs, and J. Windsor, "Flexible operating system integration in partitioned aerospace systems", Actas do INForum-Simpósio de Informática, pp. 49–60, 2009.
Rufino, J., R. Pinto, and C. Almeida, FPGA-based Engineering of Bus Media Redundancy in CAN, : 12th International CAN Conference-(iCC 2008), 2008.
Rufino, J., R. Pinto, and C. Almeida, "A FPGA-based solution for enforcing dependability and timeliness in CAN", Proceedings of the 2007 IP Based Electronic System (IP'07), Grenoble, France, 2007.
H
Rufino, J., and P. Verissimo, "Hard real-time operation of CAN", TechnicalReport CSTC RT-97-02, Centro de Sistemas Telematicos e Computacionais do Instituto Superior Tecnico, Lisboa, Portugal, 1997.
Rufino, J., N. Pedrosa, J. Monteiro, P. Verissimo, and G. Arroz, "Hardware support for CAN fault-tolerant communication", Electronics, Circuits and Systems, 1998 IEEE International Conference on, vol. 1: IEEE, pp. 263–266, 1998.
Craveiro, J., and J. Rufino, "Heterogeneous multiprocessor compositional real-time scheduling", RTSOPS 2012, pp. 21, 2012.
Pinto, R., J. Rufino, and C. Almeida, "High availability in controller area networks", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–4, 2011.
Verissimo, P., J. Rufino, and L. Ming, "How hard is hard real-time communication on field-buses?", Fault-Tolerant Computing, 1997. FTCS-27. Digest of Papers., Twenty-Seventh Annual International Symposium on: IEEE, pp. 112–121, 1997.
Craveiro, J., R. Ormonde Silveira, and J. Rufino, "hsSim: an extensible interoperable object-oriented n-level hierarchical scheduling simulator", 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2012), Pisa, Italy, 2012.
I
Schoofs, T., S. Santos, C. Tatibana, J. Anjos, J. Rufino, and J. Windsor, An IMA development environment, : Eurospace Data Systems in Aerospace Conference (DASIA 2009), 2009.
Guerreiro, A., J. L. R. Souza, and J. Rufino, "Improving ns-2 network simulator for ieee 802.15. 4 standard operation", 5th Simpósio de Informática (INFORUM), 2013.
Rufino, J., P. Verissimo, C. Almeida, and G. Arroz, "Integrating inaccessibility control and timer management in canely", Emerging Technologies and Factory Automation, 2006. ETFA'06. IEEE Conference on: IEEE, pp. 348–355, 2006.
Almeida, C., and J. Rufino, "Interconnected embedded systems: Challenges and main problems to solve", In Proceedings of the 6th IEEE International Workshop on Factory Communication Systems (Work in Progress Sessions), Torino, Italy, 2006.
Rufino, J., and P. Verissimo, An Investigation on the Inaccessibility Characteristics of Standard Token-Based LANs, , 1992.
K
Casimiro, A., J. Rufino, R. Pinto, E. Vial, E. M. Schiller, O. Morales-Ponce, and T. Petig, "A kernel-based architecture for safe cooperative vehicular functions", Industrial Embedded Systems (SIES), 2014 9th IEEE International Symposium on: IEEE, pp. 228–237, 2014.
L
Verissimo, P., J. Rufino, and L. Rodrigues, "LAN-BASED PROTOCOLS", Distributed Computer Control Systems 1991: Towards Distributed Real-Time Systems with Predictable Timing Properties: Elsevier, pp. 75, 2014.
Fonseca, H., L. Rodrigues, J. Rufino, and P. Verissimo, "Local support environment: User specification", Relatório Técnico RT/50-90, INESC, Lisboa, Portugal, 1990.
Rodrigues, L., P. Verissimo, and J. Rufino, "A low-level processor group membership protocol for LANs", Distributed Computing Systems, 1993., Proceedings the 13th International Conference on: IEEE, pp. 541–550, 1993.
M
Souza, J. L. R., R. Pinto, and J. Rufino, "Mechanisms to enforce dependability and timeliness in wireless communications", Wireless for Space and Extreme Environments (WiSEE), 2014 IEEE International Conference on: IEEE, pp. 1–6, 2014.
Rufino, J., and P. Verissimo, "Minimizing token-bus inaccessiblity through network planning and parameterizing", EFOC LAN: EFOC & N, pp. 253–258, 1992.
N
Rufino, J., P. Verissimo, and G. Arroz, "Node failure detection and membership in CANELy", 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN): IEEE Computer Society, pp. 331–331, 2003.
Rufino, J., A. Casimiro, A. Lopes, F. Singhoff, S. Rubini, V-A. Nicolas, M. Lallali, M. Dridi, J. Boukhobza, and L. Allache, "NORTH-Non-intrusive Observation and RunTime verification of cyber-pHysical systems", Ada User Journal, 2018.
O
Rufino, J., "An overview of the controller area network", Proceedings of the CiA Forum CAN for Newcomers, 1997.
R
Rufino, J., Redundant CAN architectures for dependable communication, : Tech. rept. CSTC RT-97-07. Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1997.
Coutinho, M., J. Rufino, and C. Almeida, "Response time analysis of asynchronous periodic and sporadic tasks sheduled by a fixed priority preemptive algorithm", Real-Time Systems, 2008. ECRTS'08. Euromicro Conference on: IEEE, pp. 156–167, 2008.
Rufino, J., and J. Craveiro, "Robust partitioning and composability in ARINC 653 conformant real-time operating systems", 1st INTERAC Research Network Plenary Workshop, Braga, Portugal, 2008.
S
Rosa, J., J. Craveiro, and J. Rufino, "Safe online reconfiguration of time-and space-partitioned systems", Industrial Informatics (INDIN), 2011 9th IEEE International Conference on: IEEE, pp. 510–515, 2011.
Craveiro, J., and J. Rufino, "Schedulability analysis in partitioned systems for aerospace avionics", Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on: IEEE, pp. 1–4, 2010.
Craveiro, J., J. L. R. Souza, J. Rufino, V. Gaudel, L. Lemarchand, A. Plantec, S. Rubini, and F. Singhoff, "Scheduling Analysis Principles and Tool for Time-and Space-Partitioned Systems", Simposio de informatica, pp. 582–585, 2012.
Almeida, C., M. Coutinho, and J. Rufino, Securing the Timeliness of Input/Output Event Handling in Real-Time Kernels, , 2005.
Pinto, R., J. Rufino, and C. Almeida, Specification and engineering of the CANELy prototype board, : Technical Report DARIO Technical Report RT-06-06, Instituto Superior Tecnico, Lisbon, Portugal, 2006.
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of ISO 8802/4 Token-Bus LANs", INFOCOM'92. Eleventh Annual Joint Conference of the IEEE Computer and Communications Societies, IEEE: IEEE, pp. 958–967, 1992.
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of ISO 8802/5 Token-Ring LANs", In Proceedings of the IEEE INFOCOM'92 Conference on Computer Communications, 1992.
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of the Controller Area Network", Proc. of the 2nd International CAN Conference, vol. 95: Citeseer, 1995.
Rufino, J., and P. Verissimo, A study on the inaccessibility characteristics of the FDDI LAN, : Technical Report RT/25-92, INESC, Lisboa, Portugal, 1992.
V
Coutinho, M., J. Rufino, and C. Almeida, "VITRAL: A text mode windows manager for RTEMS", Terceiras Jornadas de Engenharia de Electrónica e Telecomunicaçoes e de Computadores, 2005.
Coutinho, M., C. Almeida, and J. Rufino, "VITRAL-A text mode window manager for real-time embedded kernels.", ETFA, pp. 1254–1260, 2006.