VerifyThis 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
ETAPS 2019 (series) / VerifyThis 2019 (series) / Charles University /

Room information: S510

VenueCharles University
Room nameS510
Floor0
Room InformationNo extra information 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

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
15m
Day opening
Welcome
MeTRiD
Simon Bliudze INRIA Lillle - Nord Europe, Panagiotis Katsaros ITI-CERTH, Thessaloniki
09:30
60m
Talk
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
40m
Talk
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
40m
Talk
Revisiting the Glue of BIP
MeTRiD
Jacques Combaz Verimag/CNRS
12:20
40m
Talk
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
Keynote 2MeTRiD at S510
Chair(s): Panagiotis Katsaros ITI-CERTH, Thessaloniki
14:30
60m
Talk
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
40m
Talk
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
40m
Talk
Model-based energy characterization of IoT system design aspects
MeTRiD
Alexios Lekidis Aristotle University of Thessaloniki
17:20
40m
Talk
Modeling and Simulation of Attacks on Cyber-physical Systems
MeTRiD
Cinzia Bernardeshi Univ. of Pisa

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
S510

MeTRiD

Welcome & Keynote 1

MeTRiD

Behavioural models and parametrised systems

MeTRiD

Keynote 2

MeTRiD

Cyber-Physical Systems design

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
S510
MeTRiD
Welcome
09:15 - 09:30
MeTRiD
The Role of Models as Digital Twins of Smart Processes, Machines and Pa ...
09:30 - 10:30
MeTRiD
Verification of Randomized Distributed Algorithms under Round-Rigid Adv ...
11:00 - 11:40
MeTRiD
Revisiting the Glue of BIP
11:40 - 12:20
MeTRiD
Programming Dynamic Reconfigurable Systems with DR-BIP
12:20 - 13:00
MeTRiD
Cyber-Physical Components as building blocks of more dependable industr ...
14:30 - 15:30
MeTRiD
Localizing Faults in Simulink/Stateflow Models with STL
16:00 - 16:40
MeTRiD
Model-based energy characterization of IoT system design aspects
16:40 - 17:20
MeTRiD
Modeling and Simulation of Attacks on Cyber-physical Systems
17:20 - 18:00