ETAPS 2019 (series) / MeTRiD 2019 (series) /
MeTRiD 2019 Program
This is the MeTRiD 2019 program - see the full program for ETAPS 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | Welcome & Keynote 1MeTRiD at S510 Chair(s): Simon Bliudze INRIA Lillle - Nord Europe, Panagiotis Katsaros ITI-CERTH, Thessaloniki | ||
09:15 15mDay opening | Welcome MeTRiD | ||
09:30 60mTalk | The Role of Models as Digital Twins of Smart Processes, Machines and Parts in Industry 4.0 MeTRiD Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre |
11:00 - 12:30 | Behavioural models and parametrised systemsMeTRiD at S510 Chair(s): Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre | ||
11:00 40mTalk | Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries MeTRiD Nathalie Bertrand INRIA Rennes, Igor Konnov Inria Nancy, Marijana Lazić TU Wien, Josef Widder TU Wien | ||
11:40 40mTalk | Revisiting the Glue of BIP MeTRiD Jacques Combaz Verimag/CNRS | ||
12:20 40mTalk | Programming Dynamic Reconfigurable Systems with DR-BIP MeTRiD Rim El Ballouli Verimag, Saddek Bensalem Verimag, Marius Bozga Verimag/CNRS, Joseph Sifakis Verimag/CNRS |
14:00 - 15:30 | |||
14:30 60mTalk | Cyber-Physical Components as building blocks of more dependable industrial CPS MeTRiD Valeriy Vyatkin Aalto University, Finland and Luleå University of Technology, Sweden |
16:00 - 18:00 | Cyber-Physical Systems designMeTRiD at S510 Chair(s): Valeriy Vyatkin Aalto University, Finland and Luleå University of Technology, Sweden | ||
16:00 40mTalk | Localizing Faults in Simulink/Stateflow Models with STL MeTRiD Ezio Bartocci Technische Universität Wien, Thomas Ferrère IST Austria, Niveditha Manjunath Austrian Institute of Technology, Dejan Nickovic Austrian Institute of Technology | ||
16:40 40mTalk | Model-based energy characterization of IoT system design aspects MeTRiD Alexios Lekidis Aristotle University of Thessaloniki | ||
17:20 40mTalk | Modeling and Simulation of Attacks on Cyber-physical Systems MeTRiD Cinzia Bernardeshi Univ. of Pisa |