Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 40

Journal article (4)

Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience (Oct 2018)
Predrag Filipovikj, Guillermo Rodriguez-Navas, Cristina Seceleanu
Electronic Communications of the EASST Vol. 75 (ECEASST)

Automated SMT-based Consistency Checking of Industrial Critical Requirements (Jan 2018)
Predrag Filipovikj, Guillermo Rodriguez-Navas, Mattias Nyberg , Cristina Seceleanu
Applied Computing Review (ACR)

Collaborative distributed sun-tracking control system for building integration with minimal plant area and maximum energy-conversion efficiency (Sep 2015)
Bartomeu Alorda , Ramon Pujol-Nadal , Guillermo Rodriguez-Navas, Andreu Moià-Pol , Víctor Martínez-Moll
International Journal of Electrical Power & Energy Systems (IJEPES 2015)

Methods for Large-Scale Time-Triggered Network Scheduling
Francisco Pozo, Guillermo Rodriguez-Navas, Hans Hansson

Conference/Workshop Paper (30)

Verifying the timing of a persistent storage for stateful fog applications (Jun 2022) -- Best Paper Award--
Zeinab Bakhshi , Guillermo Rodriguez-Navas, Hans Hansson

Using UPPAAL to Verify Recovery in a Fault-tolerant Mechanism Providing Persistent State at the Edge (Sep 2021)
Zeinab Bakhshi Valojerdi, Guillermo Rodriguez-Navas, Hans Hansson
2021 ETFA – IEEE 26th International Conference on Emerging Technologies and Factory Automation (ETFA)

Fault-tolerant Permanent Storage for Container-based Fog Architectures (Mar 2021)
Zeinab Bakhshi Valojerdi, Hans Hansson, Guillermo Rodriguez-Navas

Dependable Fog Computing: A Systematic Literature Review
Zeinab Bakhshi Valojerdi, Guillermo Rodriguez-Navas, Hans Hansson
Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2019)

A Preliminary Roadmap for Dependability Research in Fog Computing
Zeinab Bakhshi Valojerdi, Guillermo Rodriguez-Navas
31st Conference on Real-Time Systems (ECRTS’19) (ECRTS’19)

Bounded Invariance Checking of Simulink Models (Apr 2019)
Predrag Filipovikj, Guillermo Rodriguez-Navas, Cristina Seceleanu
The 34th ACM/SIGAPP Symposium On Applied Computing (SAC'19)

Power-aware Allocation of Fault-tolerant Multi-rate AUTOSAR Applications (Dec 2018)
Nesredin Mahmud, Guillermo Rodriguez-Navas, Hamid Reza Faragardi, Saad Mubeen, Cristina Seceleanu
25th Asia-Pacific Software Engineering Conference (APSEC'18)

Schedule Reparability: Increasing Time-Triggered Network Recovery from Link Failures (Sep 2018)
Francisco Pozo, Guillermo Rodriguez-Navas, Hans Hansson
24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'18)

Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules
Francisco Pozo, Guillermo Rodriguez-Navas, Hans Hansson
24rd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'18)

SMT-based Consistency Analysis of Industrial Systems Requirements (Apr 2017) -- Best Paper Award--
Predrag Filipovikj, Guillermo Rodriguez-Navas, Mattias Nyberg , Cristina Seceleanu
32nd ACM SIGAPP Symposium On Applied Computing (SAC2017)

Synthesizing time-triggered schedules for switched networks with faulty links (Oct 2016)
Guy Avni , Guillermo Rodriguez-Navas, Shibashis Guha
2016 International Conference on Embedded Software (EMSOFT) (EMSOFT'16)

Next Generation Real-Time Networks Based on IT Technologies (Sep 2016)
Wilfried Steiner , Pablo Gutiérrez Peón, Marina Gutiérrez, Ayhan Mehmed, Guillermo Rodriguez-Navas, Elena Lisova, Francisco Pozo
21st IEEE Conference on Emerging Technologies and Factory Automation (ETFA'16)

Period-Aware Segmented Synthesis of Schedules for Multi-Hop Time-Triggered Networks (Aug 2016)
Francisco Pozo, Guillermo Rodriguez-Navas, Wilfried Steiner , Hans Hansson
The 22th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'16)

Integrating Pattern-based Formal Requirements Specification in an Industrial Tool-chain (Jun 2016)
Predrag Filipovikj, Trevor Jagerfield , Mattias Nyberg , Guillermo Rodriguez-Navas, Cristina Seceleanu
The 10th IEEE International Workshop on Quality Oriented Reuse of Software (QUORS'16)

Formal methods in collaborative projects (Apr 2016)
Anna Zamansky , Guillermo Rodriguez-Navas, Mark Adams , Maria Spichkova
Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

Current Techniques, Trends and New Horizons In Avionics Networks Configuration (Sep 2015)
Wilfried Steiner , Marina Gutiérrez, Zoltan Matyas , Francisco Pozo, Guillermo Rodriguez-Navas
Digital Avionics Systems Conference (DASC-34)

A decomposition Approach for SMT-based Schedule Synthesis for Time-Triggered Networks (Sep 2015)
Francisco Pozo, Guillermo Rodriguez-Navas, Hans Hansson, Wilfried Steiner
20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'15)

Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing (Aug 2015)
Guillermo Rodriguez-Navas, Avenir Kobetski , Daniel Sundmark, Thomas Gustafsson
12th IEEE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (ICESS 2015)

Safety vs. Sustainability Design: Analogies, Differences and Potential Synergies (Aug 2015)
Guillermo Rodriguez-Navas, Leticia Duboc , Stefanie Betz , Ruzanna Chitchyan , Birgit Penzenstadler , Colin C. Venters
Fourth International Workshop on Requirements Engineering for Sustainable Systems (Re4SuSy'15)

Mind the Gap: Bridging the Sustainable Software Systems Research Divide (Jul 2015)
Colin C. Venters , Christoph Becker , Stefanie Betz , Ruzanna Chitchyan , Leticia Duboc , Steve Easterbrook , Birgit Penzenstadler , Guillermo Rodriguez-Navas, Norbert Seyff
Workshop on Sustainable HCI in the UK (UK-SHCI)

SMT-based Synthesis of TTEthernet Schedules, a Performance Study (Jun 2015)
Francisco Pozo, Guillermo Rodriguez-Navas, Hans Hansson, Wilfried Steiner
10th IEEE International Symposium on Industrial Embedded Systems (SIES'15)

Achieving elementary cycle synchronization between masters in the flexible time-triggered replicated star for ethernet (Sep 2014)
Alberto Ballesteros , Julián Proenza , David Gessner , Guillermo Rodriguez-Navas, Thilo Sauter
The 19th IEEE International Conference on Emerging Technologies and Factory Automation, Work-in-Progress (WiP) session (ETFA'14)

Reassessing the Pattern-Based Approach for Formalizing Requirements in the Automotive Domain (Aug 2014)
Predrag Filipovikj, Mattias Nyberg , Guillermo Rodriguez-Navas
22nd IEEE International Requirements Engineering Conference (RE'14)

Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach (Jun 2014)
Guillermo Rodriguez-Navas, Cristina Seceleanu, Hans Hansson, Mattias Nyberg , Oscar Ljungkrantz , Henrik Lönn
51st Annual Design Automation Conference on Design Automation Conference (DAC)

Implementing a Clock Synchronization Protocol on a Multi-Master Switched Ethernet Network (Sep 2013)
Mohammad Ashjaei, Moris Behnam, Guillermo Rodriguez-Navas, Thomas Nolte
18th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA'13)

From Fault Injection to Mutant Injection: the Next Step for Safety Analysis? (Nov 2012)
Guillermo Rodriguez-Navas, Patrick Graydon, Iain Bate
Hardware and Software: Verification and Testing. Proc. of the 8th International Haifa Verification Conference, HVC 2012

Understanding the Role of Transmission Power in Component-Based Architectures for Adaptive WSN (Jul 2012)
Guillermo Rodriguez-Navas, Miquel A. Ribot , Bartomeu Alorda
The 4th IEEE International Workshop on Component-Based Design of Resource-Constrained Systems

An UPPAAL Model for Formal Verification of Master/Slave Clock (Jun 2006)
Guillermo Rodriguez-Navas, Julián Proenza , Hans Hansson
6th IEEE Intl Workshop on Factory Communication Systems (WFCS)

Using UPPAAL to Model and Verify a Clock Synchronization Protocol for the Controller Area Network (Sep 2005)
Guillermo Rodriguez-Navas, Julián Proenza , Hans Hansson
10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA05)

Towards Analyzing the Fault-Tolerant Operation of Server-CAN (Sep 2005)
Thomas Nolte, Guillermo Rodriguez-Navas, Julián Proenza , Sasikumar Punnekkat, Hans Hansson
Proceedings of the Work-In-Progress (WIP) session of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA05)

Report - MRTC (6)

Optimized Allocation of Fault-tolerant Embedded Software with End-to-end Timing Constraints (May 2019)
Nesredin Mahmud, Cristina Seceleanu, Hamid Reza Faragardi, Guillermo Rodriguez-Navas, Saad Mubeen

Bounded Verification of Simulink Models (Dec 2018)
Predrag Filipovikj, Guillermo Rodriguez-Navas, Cristina Seceleanu

Analyzing Industrial Simulink Models by Statistical Model Checking (Mar 2017)
Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Guillermo Rodriguez-Navas, Cristina Seceleanu, Oscar Ljungkrantz , Henrik Lönn
MRTC Report, Mälardalen Real-Time Research Centre (MRTC2017)

Schedule Synthesis for Next Generation Time-Triggered Networks (Feb 2017)
Francisco Pozo, Guillermo Rodriguez-Navas, Hans Hansson, Wilfried Steiner
MRTC Report, Mälardalen Real-Time Research Centre (MRTC2017)

Semi-Distributed Self-Healing Protocol for Online Schedule Repair after Network Failures
Francisco Pozo, Guillermo Rodriguez-Navas, Hans Hansson

Self-Healing Protocol: Repairing Schedules Online after Link Failures in Time-Triggered Networks
Francisco Pozo, Guillermo Rodriguez-Navas, Hans Hansson

Items per page: