Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 24

Journal article (1)

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)

Conference/Workshop Paper (21)

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)

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)

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)

Report - MRTC (2)

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

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)

Items per page: