Write a Blog >>
PLACES 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueCharles University
Room nameS510
Floor0
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 6 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: Welcome & Keynote 1MeTRiD at S510
Chair(s): Simon BliudzeINRIA Lillle - Nord Europe, Panagiotis KatsarosITI-CERTH, Thessaloniki
09:15 - 09:30
Day opening
Welcome
MeTRiD
Simon BliudzeINRIA Lillle - Nord Europe, Panagiotis KatsarosITI-CERTH, Thessaloniki
09:30 - 10:30
Talk
The Role of Models as Digital Twins of Smart Processes, Machines and Parts in Industry 4.0
MeTRiD
Tiziana MargariaUniversity of Limerick and Lero - The Irish Software Research Centre
11:00 - 12:30: Behavioural models and parametrised systemsMeTRiD at S510
Chair(s): Tiziana MargariaUniversity of Limerick and Lero - The Irish Software Research Centre
11:00 - 11:40
Talk
Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries
MeTRiD
Nathalie BertrandINRIA Rennes, Igor KonnovInria Nancy, Marijana LazićTU Wien, Josef WidderTU Wien
11:40 - 12:20
Talk
Revisiting the Glue of BIP
MeTRiD
Jacques CombazVerimag/CNRS
12:20 - 13:00
Talk
Programming Dynamic Reconfigurable Systems with DR-BIP
MeTRiD
Rim El BallouliVerimag, Saddek BensalemVerimag, Marius BozgaVerimag/CNRS, Joseph SifakisVerimag/CNRS
14:00 - 15:30: Keynote 2MeTRiD at S510
Chair(s): Panagiotis KatsarosITI-CERTH, Thessaloniki
14:30 - 15:30
Talk
Cyber-Physical Components as building blocks of more dependable industrial CPS
MeTRiD
Valeriy VyatkinAalto University, Finland and Luleå University of Technology, Sweden
16:00 - 18:00: Cyber-Physical Systems designMeTRiD at S510
Chair(s): Valeriy VyatkinAalto University, Finland and Luleå University of Technology, Sweden
16:00 - 16:40
Talk
Localizing Faults in Simulink/Stateflow Models with STL
MeTRiD
Ezio BartocciTechnische Universität Wien, Thomas FerrèreIST Austria, Niveditha ManjunathAustrian Institute of Technology, Dejan NickovicAustrian Institute of Technology
16:40 - 17:20
Talk
Model-based energy characterization of IoT system design aspects
MeTRiD
Alexios LekidisAristotle University of Thessaloniki
17:20 - 18:00
Talk
Modeling and Simulation of Attacks on Cyber-physical Systems
MeTRiD
Cinzia BernardeshiUniv. of Pisa

Sat 6 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change