Publications
Number of publications matching the search criterion: 5
Conference/Workshop Paper (5)
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)
