Comparative Analysis of UPPAAL SMC, ns-3 and MATLAB/Simulink (ECBS 2023) - ECBS 2023

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

Who

Muhammad Naeem, Michele Albano, Kim Larsen, Brian Nielsen

Track

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

When

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

Link to Preprint

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

Muhammad Naeem

Aalborg University

Denmark

Michele Albano

Kim Larsen

Aalborg University

Denmark

Brian Nielsen

Aalborg University, Denmark

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

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