ECBS 2023
Mon 16 - Wed 18 October 2023 Västerås, Sweden
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 16 Oct

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

09:00 - 09:15
Welcome and Opening SessionECBS 2023 at Pi
Chair(s): Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre , Cristina Seceleanu Mälardalen University
09:15 - 10:15
Machine Learning and Systems EngineeringECBS 2023 at Pi
Chair(s): Detlef Streitferdt
09:15
30m
Research paper
Ambient Temperature Prediction for Embedded Systems using Machine Learning
ECBS 2023
Pre-print
09:45
30m
Research paper
A Federated Learning Algorithms Development Paradigm
ECBS 2023
Miroslav Popovic University of Novi Sad, Marko Popovic Institute RT-RK, Ivan Kaštelan University of Novi Sad, Miodrag Djukic , Ilija Basicevic
Pre-print
10:15 - 10:30
BreakCatering at Pi
10:15
15m
Coffee break
Break
Catering

12:10 - 13:30
12:10
80m
Lunch
Lunch
Catering

15:00 - 15:30
BreakCatering at Pi
15:00
30m
Coffee break
Break
Catering

15:30 - 16:30
Keynote Talk 1ECBS 2023 at Pi
Chair(s): Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre
15:30
60m
Keynote
How to be an ethical technologist - Oct 16th
ECBS 2023
Moshe Vardi Rice University
Pre-print
19:00 - 22:00
ReceptionCatering
19:00
3h
Dinner
Reception
Catering

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
Pre-print
11:50
20m
Research paper
Synthesizing Understandable Strategies
ECBS 2023
Peter Backeman Mälardalen University
Pre-print
12:10 - 13:30
12:10
80m
Lunch
Lunch
Catering

15:00 - 15:30
BreakCatering at Delta
15:00
30m
Coffee break
Break
Catering

18:00 - 23:00
DinnerCatering
18:00
5h
Dinner
Dinner
Catering

Wed 18 Oct

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

09:00 - 10:00
Keynote Talk 3ECBS 2023 at Pi
Chair(s): Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre
09:00
60m
Keynote
Toward Responsible Artificial Intelligent Systems: Safety and Trustworthiness - Oct 18th
ECBS 2023
Francisco Herrera Dept. Computer Sciences and Artificial Intelligence, Andalusian Research Institute on Data Science and Computational Intelligence
Pre-print
10:00 - 10:30
BreakCatering at Pi
10:00
30m
Coffee break
Break
Catering

12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering