BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for jmrufino
(60)
2018
Non-intrusive Runtime Verification within a System-on-Chip
(2018)
José Rufino et al., with 7 authors including:
José Rufino
António Casimiro
Journal articles
2018
NORTH - Non-intrusive Observation and RunTime Verification of Cyber-Physical Systems
(2018)
José Rufino et al., with 10 authors including:
José Rufino
António Casimiro
Journal articles
2017
Non-intrusive observation and runtime verification of cyber-physical systems
(2017)
Inês Pinto Gouveia
Rufino, José Manuel de Sousa de Matos
Academic documents
2017
Enforcing Timeliness and Safety in Mission-Critical Systems
(2017)
António Casimiro
Inês Gouveia
José Rufino
Conference papers
2015
Methods and Tools for Assessment of Wireless Networks in Extreme Environments
(2015)
Rui P. Caldeira
Jeferson L. R. Souza
Ricardo C. Pinto
José Rufino
Conference papers
2015
A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection
(2015)
Rui P. Caldeira
Jeferson L. R. Souza
Ricardo C. Pinto
José Rufino
Conference papers
2014
Real-Time Scheduling in Multicore Time-and- Space Partitioned Architectures
(2014)
João Pedro Gonçalves Crespo Craveiro
Rufino, José M
Academic documents
2014
Mechanisms to Enforce Dependability and Timeliness in Wireless Communications
(2014)
Jeferson Souza
Ricardo Pinto
Jose Rufino
Conference papers
2014
Towards Non-invasive Run-time Verification of Real-Time Systems
(2014)
Ricardo Pinto
José Rufino
Conference papers
2014
Low Level Error Detection For Real-Time Wireless Communications
(2014)
Jeferson Souza
José Rufino
Conference papers
2014
A Kernel-based Architecture fo Safe Cooperative Vehicular Functions
(2014)
António Casimiro et al., with 7 authors including:
António Casimiro
José Rufino
Conference papers
2014
Improving NS-2 Network Simulator To Evaluate IEEE 802.15.4 Wireless Networks Under Error Conditions
(2014)
André Guerreiro
Jeferson Souza
José Rufino
Conference papers
2014
An Architecture Pattern Enabling Safety at Lower Cost and with Higher Performance
(2014)
Rolf Johansson et al., with 7 authors including:
António Casimiro
José Rufino
Conference papers
2014
Information Security in Time- and Space-Partitioned Architectures for Aerospace Systems
(2014)
João Carraca
Ricardo Pinto
João Craveiro
José Rufino
Conference papers
2014
Exploiting Non-intrusive Monitoring in Real-Time Embedded Operating Systems
(2014)
Ricardo Pinto
José Rufino
Conference papers
2014
The Wi-STARK Architecture For Resilient Real-Time Wireless Communications
(2014)
Jeferson L. R. Souza
José Rufino
Other
2014
Exploiting Non-intrusive Monitoring in Real-Time Embedded Systems
(2014)
Ricardo Pinto
José Rufino
Conference papers
2013
Improving NS-2 Network Simulator for IEEE 802.15.4 Standard Operation
(2013)
André Guerreiro
Jeferson L. R. Souza
José Rufino
Conference papers
2013
Fault Detection in Time- and Space-Partitioned Systems
(2013)
Kleomar Almeida
Ricardo Correia Pinto
José Rufino
Conference papers
2013
Global Laxity-Based Scheduling on Multiprocessor Resource Reservations
(2013)
Joao P. Craveiro
José Rufino
Conference papers
2013
Uniform Multiprocessor Periodic Resource model
(2013)
João P. Craveiro
José Rufino
Conference papers
2013
Characterization of Network Inaccessibility in IEEE 802.15.4 Wireless Networks
(2013)
Jeferson L. R. Souza
José Rufino
Other
2013
Inaccessibility in Wireless Sensor Networks
(2013)
André Alexandre Margarido Taborda Vaz Guerreiro
Rufino, José M.
Souza, Jeferson Luiz Rodrigues
Academic documents
2013
Safety Kernel for Cooperative Sensor-Based Systems
(2013)
Costa, Pedro Nuno Pereira Nóbrega da
Rufino, José M.
Craveiro, João Pedro Gonçalves Crespo
Academic documents
2013
Analysing and Reducing Network Inaccessibility in IEEE 802.15.4 Wireless Communications
(2013)
Jeferson L. R. Souza
José Rufino
Conference papers
2013
Towards Resilient Real-Time Wireless Communications
(2013)
Jeferson L. R. Souza
José Rufino
Conference papers
2013
Safety Kernel for Cooperative Sensor-Based Systems
(2013)
Pedro Nóbrega da Costa
João Pedro Craveiro
António Casimiro
José Rufino
Conference papers
2012
Towards Compositional Hierarchical Scheduling Frameworks on Uniform Multiprocessors
(2012)
João Pedro Craveiro
José Rufino
Other
2012
Scheduling Analysis Principles and Tool for Time- and Space-Partitioned Systems
(2012)
João Pedro Craveiro et al., with 8 authors including:
José Rufino
Conference papers
2012
Characterizing Inaccessibility in IEEE 802.15.4 Through Theoretical Models and Simulation Tools
(2012)
Jeferson L. R. Souza
André Guerreiro
José Rufino
Conference papers
2012
hsSim: an Extensible Interoperable Object-Oriented n-Level Hierarchical Scheduling Simulator
(2012)
João Pedro Craveiro
Rui Ormonde Silveira
José Rufino
Conference papers
2012
Heterogeneous multiprocessor compositional real-time scheduling
(2012)
J. P. Craveiro
J. Rufino
Conference papers
2011
Adaptability and Survivability in Spaceborne Time- and Space-Partitioned Systems
(2011)
J. Rosa
J. Craveiro
J. Rufino
Conference papers
2011
AIR: Technology Innovation for Future Spacecraft Onboard Computing Systems
(2011)
J. Rufino et al., with 6 authors including:
J. Rufino
Conference papers
2011
Architecture, Mechanisms and Scheduling Analysis Tool for Multicore Time- and Space-Partitioned Systems
(2011)
J. Craveiro
J. Rufino
F. Singhoff
Conference papers
2011
Safe Online Reconfiguration of Time- and Space-Partitioned Systems
(2011)
J. Rosa
J. Craveiro
J. Rufino
Conference papers
2011
An Approach to Enhance the Timeliness of Wireless Communications. Proceedings of the Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM), Lisbon, November, 2011.
(2011)
J. Souza
J. Rufino
Conference papers
2011
Towards Self-Adaptive Scheduling in Time- and Space-Partitioned Systems
(2011)
J. Craveiro
J. Rosa
J. Rufino
Conference papers
2010
Architecting Robustness and Timeliness in a New Generation of Aerospace Systems
(2010)
José Rufino
João Craveiro
Paulo Veríssimo
Book chapters
2010
Adaptability Support in Time- and Space-Partitioned Aerospace Systems
(2010)
João Craveiro
José Rufino
Conference papers
2010
Composability and Adaptability on a Time- and Space-Partitioned Architecture for Spacecraft Onboard Software
(2010)
João Craveiro
José Rufino
Conference papers
2010
Schedulability Analysis in Partitioned Systems for Aerospace Avionics
(2010)
João Craveiro
José Rufino
Conference papers
2010
Building a time- and space-partitioned architecture for the next generation of space vehicle avionics
(2010)
José Rufino
João Craveiro
Paulo Verissimo
Conference papers
2010
Exploiting AIR Composability towardsSpacecraft Onboard Software Update
(2010)
Joaquim Rosa
João Craveiro
José Rufino
Conference papers
2009
Applying architectural hybridization in networked embedded systems
(2009)
António Casimiro
José Rufino
Luís Marques
Mário Calha
Paulo Veríssimo
Conference papers
2009
RTEMS Centre - Support and Maintenance Centre to RTEMS Operating System
(2009)
Helder Silva et al., with 12 authors including:
José Rufino
Conference papers
2009
Characterization of Inaccessibility in Wireless Networks - A Case Study on IEEE 802.15.4 Standard Analysis, Architectures and Modelling of Embedded Systems
(2009)
Jeferson L. R. Souza
José Rufino
Conference papers
2009
Embedded Linux in a partitioned architecture for aerospace applications
(2009)
João Craveiro
José Rufino
Carlos Almeida
Rui Covelo
Pedro Venda
Conference papers
2009
AIR Technology: a step towards ARINC 653 in space
(2009)
José Rufino
João Craveiro
T. Schoofs
C. Tatibana
J. Windson
Conference papers
2009
An IMA Development Environment
(2009)
Tobias Schoofs et al., with 6 authors including:
José Rufino
Conference papers
2009
Why is Important the Knowledge of Inaccessibility for Supporting Real-Time Communication over IEEE 802.15.4 ?
(2009)
Jeferson L. R. Souza
José Rufino
Conference papers
2009
Flexible Operating System Integration in Partitioned Aerospace Systems
(2009)
João Craveiro
José Rufino
Tobias Schoofs
James Windsor
Conference papers
2008
AMOBA – ARINC 653 Simulator for Modular Space Based Applications
(2008)
Edgar Pascoal
José Rufino
Tobias Schoofs
James Windsor
Conference papers
2008
FPGA-based Engineering of Bus Media Redundancy in CAN
(2008)
José Rufino
Ricardo Pinto
Carlos Almeida
Conference papers
2008
Response Time Analysis of Asynchronous Periodic and Sporadic Tasks Scheduled by a Fixed-Priority Preemptive Algorithm
(2008)
Manuel Coutinho
José Rufino
Carlos Almeida
Conference papers
2008
A Portable ARINC 653 Standard Interface
(2008)
Sérgio Santos
José Rufino
Tobias Schoofs
Cássia Tatibana
James Windsor
Conference papers
2008
Partitioning and Composability in ARINC 653 Conformant Real-Time Operating Systems
(2008)
José Rufino
João Craveiro
Other
2007
AIR Project Summary Report
(2007)
Filipe, Sérgio
Rufino, José
Other
2007
AIR Project Final Report
(2007)
Filipe, Sérgio
Rufino, José
Other
2007
ARINC 653 Interface in RTEMS
(2007)
José Rufino
M. Coutinho
S. Filipe
S. Santos
J. Windsor
Conference papers