ECBS 2023
Mon 16 - Wed 18 October 2023 Västerås, Sweden
ECBS 2023 (series) / Mälardalen University /

Room information: Delta

VenueMälardalen University
Room nameDelta
Floor1
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

Tue 17 Oct

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

09:00 - 10:00
Keynote Talk 2ECBS 2023 at Delta
Chair(s): Cristina Seceleanu Mälardalen University
09:00
60m
Keynote
Dynamic Logics for Computer-based Systems - Oct 17
ECBS 2023
Wolfgang Ahrendt Chalmers University of Technology
10:00 - 10:30
BreakCatering at Delta
10:00
30m
Coffee break
Break
Catering

10:30 - 12:10
Formal MethodsECBS 2023 at Delta
Chair(s): Rong Gu Mälardalen University
10:30
30m
Research paper
Comparative Analysis of UPPAAL SMC, ns-3 and MATLAB/Simulink
ECBS 2023
Muhammad Naeem Aalborg University, Michele Albano , Kim Larsen Aalborg University, Brian Nielsen Aalborg University, Denmark
Pre-print
11:00
30m
Research paper
Using Automata Learning for Compliance Evaluation of Communcation Protocols on an NFC Handshake Example
ECBS 2023
Stefan Marksteiner AVL List GmbH / Mälardalen University, Marjan Sirjani Malardalen University, Mikael Sjödin Malardalen University
Pre-print
11:30
20m
Research paper
Towards LLM-based System Migration in Language-Driven Engineering
ECBS 2023
Daniel Busch , Alexander Bainczyk , Bernhard Steffen TU Dortmund
Pre-print
11:50
20m
Research paper
Synthesizing Understandable Strategies
ECBS 2023
Peter Backeman Mälardalen University
Pre-print
13:30 - 15:00
Industrial SystemsECBS 2023 at Delta
Chair(s): Peter Backeman Mälardalen University
13:30
20m
Research paper
ReProInspect: Framework for Reproducible Defect Datasets for Improved AOI of PCBAs
ECBS 2023
Ahmad Rezaei Technische Universität Ilmenau, Johannes Nau , Detlef Streitferdt , Jörg Schambach , Todor Vangelov
Pre-print
13:50
30m
Research paper
Cyber-Physical Ecosystems: Modelling and Verification
ECBS 2023
Manuela Bujorianu
Pre-print
14:20
20m
Research paper
Integrating IoT Infrastructures in Industrie 4.0 Scenarios with the Asset Administration Shell
ECBS 2023
Sven Erik Jeroschewski , Johannes Kristan , Milena Jaentgen , Max Grzanna
Pre-print
14:40
20m
Research paper
A Software Package that implements the Hammock-EFL Methodology
ECBS 2023
Moshe Goldstein , Oren Eliezer
Pre-print
15:00 - 15:30
BreakCatering at Delta
15:00
30m
Coffee break
Break
Catering

15:30 - 16:30
Autonomous and Distributed SystemsECBS 2023 at Delta
Chair(s): Manuela Bujorianu
15:30
20m
Research paper
Dynamic Priority Scheduling for periodic systems using ROS 2
ECBS 2023
Lukas Dust , Saad Mubeen
Pre-print
15:50
20m
Research paper
Continuous Integration of Neural Networks in Autonomous Systems
ECBS 2023
Bruno Steffen , Utku Pazarci , Jonas Zohren , Fiona Kullmann , Hendrik Weißenfeld
Pre-print
16:10
20m
Research paper
Building a Digital Twin Framework for Dynamic and Robust Distributed Systems
ECBS 2023
Tiberiu Seceleanu Mälardalen University, Eduard Paul Enoiu Mälardalen University, Xiong Ning Mälardalen University, Cristina Seceleanu Mälardalen University
Pre-print

Tue 17 Oct

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Delta

ECBS 2023

Keynote Talk 2

Catering

Break

ECBS 2023

Formal Methods

ECBS 2023

Industrial Systems

Catering

Break

ECBS 2023

Autonomous and Distributed Systems

Tue 17 Oct

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Delta
ECBS
Dynamic Logics for Computer-based Systems - Oct 17
09:00 - 10:00
ECBS Catering
Break
10:00 - 10:30
ECBS
Comparative Analysis of UPPAAL SMC, ns-3 and MATLAB/Simulink
10:30 - 11:00
ECBS
Using Automata Learning for Compliance Evaluation of Communcation Proto ...
11:00 - 11:30
ECBS
Towards LLM-based System Migration in Language-Driven Engineering
11:30 - 11:50
ECBS
Synthesizing Understandable Strategies
11:50 - 12:10
ECBS
ReProInspect: Framework for Reproducible Defect Datasets for Improved A ...
13:30 - 13:50
ECBS
Cyber-Physical Ecosystems: Modelling and Verification
13:50 - 14:20
ECBS
Integrating IoT Infrastructures in Industrie 4.0 Scenarios with the Ass ...
14:20 - 14:40
ECBS
A Software Package that implements the Hammock-EFL Methodology
14:40 - 15:00
ECBS Catering
Break
15:00 - 15:30
ECBS
Dynamic Priority Scheduling for periodic systems using ROS 2
15:30 - 15:50
ECBS
Continuous Integration of Neural Networks in Autonomous Systems
15:50 - 16:10
ECBS
Building a Digital Twin Framework for Dynamic and Robust Distributed Sy ...
16:10 - 16:30