Room IV - LOPSTR 2023

VenueHotel Cascais Miragem

Room nameRoom IV

Floor0

Capacity36

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT) Lisbon.

Use conference time zone: (GMT) LisbonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Room IV	FTSCS Opening, Keynote																								FTSCS Paper presentations																																				FTSCS Paper presentations 2

Mon 23 Oct
Displayed time zone: Lisbon change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room IV	REBLS keynote																								REBLS Technical session 1																																				REBLS Technical session 2																								REBLS

Sun 22 Oct
Displayed time zone: Lisbon change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
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

Room information: Room IV

Sun 22 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Sun 22 Oct
Displayed time zone: Lisbon change

FTSCS

FTSCS

FTSCS

Mon 23 Oct
Displayed time zone: Lisbon change

REBLS

REBLS

REBLS

REBLS

Sun 22 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tracks

Room information: Room IV

Program Display Configuration

Sun 22 OctDisplayed time zone: Lisbon change

Mon 23 OctDisplayed time zone: Lisbon change

Sun 22 OctDisplayed time zone: Lisbon change

FTSCS

FTSCS

FTSCS

Mon 23 OctDisplayed time zone: Lisbon change

REBLS

REBLS

REBLS

REBLS

Sun 22 OctDisplayed time zone: Lisbon change

Mon 23 OctDisplayed time zone: Lisbon change

Sun 22 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Sun 22 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Sun 22 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change