MeTRiD@ETAPS

Publications

2018

Joseph Sifakis
System Design in the Era of IoT - Meeting the Autonomy Challenge. MeTRiD@ETAPS (2018)
Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou
Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+. MeTRiD@ETAPS (2018)
Mahmoud Khaled, Matthias Rungger, Majid Zamani
SENSE: Abstraction-Based Synthesis of Networked Control Systems. MeTRiD@ETAPS (2018)
Kasper Dokter, Farhad Arbab
Treo: Textual Syntax for Reo Connectors. MeTRiD@ETAPS (2018)
Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Pedro Palomo
Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine. MeTRiD@ETAPS (2018)
Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems. MeTRiD@ETAPS (2018)
Alexios Lekidis, Panagiotis Katsaros
Model-Based Design of Energy-Efficient Applications for IoT Systems. MeTRiD@ETAPS (2018)
Afshin Amighi, Marieke Huisman, Stefan Blom
Verification of Shared-Reading Synchronisers. MeTRiD@ETAPS (2018)

volume 272, 2018

Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018. MeTRiD@ETAPS 272 (2018)