Formalization and Verification of MQTT-SN Communication Using CSP (ECBS 2023) - ECBS 2023

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

Who

Wei Lin, Sini Chen, Huibiao Zhu

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

Mon 16 Oct 2023 14:00 - 14:30 at Pi - System Development and Verification Chair(s): Miroslav Popovic

Link to Preprint

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

Wei Lin

Sini Chen

Huibiao Zhu

East China Normal University

China

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

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

	13:30 - 15:00	System Development and VerificationECBS 2023 at Pi Chair(s): Miroslav Popovic University of Novi Sad

	13:30 30m Research paper		FPGA-based encryption for peer-to-peer industrial network links ECBS 2023 Florian Sprang , Tiberiu Seceleanu Mälardalen University Pre-print
	14:00 30m Research paper		Formalization and Verification of MQTT-SN Communication Using CSP ECBS 2023 Wei Lin , Sini Chen , Huibiao Zhu East China Normal University Pre-print
	14:30 30m Research paper		Detecting Road Tunnel-Like Environments using Acoustic Classification for Sensor Fusion with Radar systems ECBS 2023 Nikola Stojkov , Filip Tirnanić , Aleksa Luković Pre-print