LOPSTR 2023
Dates to be announced Cascais, Portugal
co-located with SPLASH 2023
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
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

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

Mon 23 Oct

Displayed time zone: Lisbon change

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