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
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)
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