VMIL 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
co-located with SPLASH 2023
SPLASH 2023 (series) / VMIL 2023 (series) / Hotel Cascais Miragem /

Room information: Room IV

VenueHotel Cascais Miragem
Room nameRoom IV
Floor0
Capacity36
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

Sun 22 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Opening, KeynoteFTSCS at Room IV
Chair(s): Peter Ölveczky University of Oslo
09:15
75m
Talk
Opening, Keynote: Bounded STL Model Checking for Hybrid Systems
FTSCS
Kyungmin Bae POSTECH
11:00 - 12:30
Paper presentationsFTSCS at Room IV
Chair(s): Cyrille Artho KTH Royal Institute of Technology, Sweden
11:00
30m
Talk
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
FTSCS
Mario Gleirscher University of Bremen, Anne Haxthausen , Jan Peleska
11:30
30m
Talk
Solving Queries for Boolean Fault Tree Logic via Quantified SAT
FTSCS
Caz Saaltink , Stefano M. Nicoletti , Matthias Volk , Ernst Moritz Hahn Queen's University Belfast, Marielle Stoelinga University of Twente and Radboud University, Nijmegen
12:00
30m
Talk
Symbolic analysis by using folding narrowing with irreducibility and SMT constraints
FTSCS
Santiago Escobar , Raul Lopez , Julia Sapiña
14:00 - 15:30
Paper presentations 2FTSCS at Room IV
Chair(s): Kyungmin Bae POSTECH
14:00
30m
Talk
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
FTSCS
Aïssata Maiga , Cyrille Artho KTH Royal Institute of Technology, Sweden, Florian Gilcher , Yannick Moy AdaCore
14:30
30m
Talk
Formal Verification of a Mechanical Ventilator using UPPAALRemote
FTSCS
Jaime Cuartas Universidad del Valle, David Cortés , Joan S Betancourt , Jesus Aranda Universidad del Valle, Jose Garcia , Andres Valencia , James Ortiz Université de Namur
15:00
30m
Talk
Discussions, Closing
FTSCS
Peter Ölveczky University of Oslo, Cyrille Artho KTH Royal Institute of Technology, Sweden

Mon 23 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
keynoteREBLS at Room IV
Chair(s): Vadim Zaytsev University of Twente, Netherlands
09:00
90m
Keynote
Implementing, verifying and debugging distributed event-based systems
REBLS
A: Elisa Gonzalez Boix Vrije Universiteit Brussel
Pre-print File Attached
11:00 - 12:30
Technical session 1REBLS at Room IV
11:00
45m
Talk
Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems
REBLS
Kento Sogo Tokyo Institute of Technology, Yuta Tsuji Tokyo Institute of Technology, Sosuke Moriguchi Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology
Link to publication DOI Authorizer link
11:45
45m
Talk
Thorium: Verifiable, Dynamic, Reactive Software
REBLS
Kevin Baldor The University of Texas at San Antonio, Jianwei Niu University of Texas at San Antonio, Xiaoyin Wang University of Texas at San Antonio
14:00 - 15:30
Technical session 2REBLS at Room IV
Chair(s): Ragnar Mogk Technische Universität Darmstadt
14:00
30m
Talk
ComPOS: a DSL for Composing IoT Systems With Weak Connectivity
REBLS
Alfred Åkesson Lund University, Sweden, Görel Hedin Lund University, Niklas Fors Lund University
14:30
30m
Talk
Actix-Telepathy
REBLS
Phillip Wenig Hasso Plattner Institute, University of Potsdam, Thorsten Papenbrock Philipps-Universität Marburg
15:00
30m
Talk
Realizing Persistent Signals in JavaScript
REBLS
Daichi Hidaka Oita University, Tetsuo Kamina Oita University

Sun 22 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:0030
Room IV

FTSCS

Opening, Keynote

FTSCS

Paper presentations

FTSCS

Paper presentations 2

Mon 23 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room IV

REBLS

keynote

REBLS

Technical session 1

REBLS

Technical session 2

REBLS

Sun 22 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Room IV
FTSCS
Opening, Keynote: Bounded STL Model Checking for Hybrid Systems
09:15 - 10:30
FTSCS
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 ...
11:00 - 11:30
FTSCS
Solving Queries for Boolean Fault Tree Logic via Quantified SAT
11:30 - 12:00
FTSCS
Symbolic analysis by using folding narrowing with irreducibility and SM ...
12:00 - 12:30
FTSCS
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the B ...
14:00 - 14:30
FTSCSRemote
Formal Verification of a Mechanical Ventilator using UPPAAL
14:30 - 15:00
FTSCS
Discussions, Closing
15:00 - 15:30

Mon 23 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Room IV
REBLS
Implementing, verifying and debugging distributed event-based systems
09:00 - 10:30
REBLS
Periodic and Aperiodic Task Description Mechanisms in an FRP Language f ...
11:00 - 11:45
REBLS
Thorium: Verifiable, Dynamic, Reactive Software
11:45 - 12:30
REBLS
ComPOS: a DSL for Composing IoT Systems With Weak Connectivity
14:00 - 14:30
REBLS
Actix-Telepathy
14:30 - 15:00
REBLS
Realizing Persistent Signals in JavaScript
15:00 - 15:30