ECBS 2023
Mon 16 - Wed 18 October 2023 Västerås, Sweden
Tue 17 Oct 2023 11:30 - 11:50 at Delta - Formal Methods Chair(s): Rong Gu

Tue 17 Oct

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

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