Synthesizing Understandable Strategies (ECBS 2023)

Mon 16 - Wed 18 October 2023 Västerås, Sweden

Track

ECBS 2023

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

When

Tue 17 Oct 2023 11:50 - 12:10 at Delta - Formal Methods Chair(s): Rong Gu

Link to Preprint

https://www.idt.mdu.se/ecbs2023/pre-prints/paper_8376.pdf

Bio

PostDoc, Mälardalen University, 2020- PhD Computer Science, Uppsala University, 2014-2019 BSc & MSc Computer Science, Uppsala University, 2007-2014

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

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

Time Band

Display full programSpecify a time band

Save

Session Program

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 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

Synthesizing Understandable Strategies

Program Display Configuration

Program Display Configuration

Tue 17 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Peter Backeman

Mälardalen University

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