Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits (ITEQS 2022) - ICST 2022

Write a Blog >>

Mon 4 - Fri 8 April 2022

Who

Jarkko Peltomäki, Ivan Porres

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 4 Apr 2022 10:50 - 11:10 at Marlyn Meltzer - ITEQS II

Jarkko Peltomäki

Åbo Akademi University

Finland

Ivan Porres

Åbo Akademi University

Finland

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 4 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	10:10 - 11:10	ITEQS IIITEQS at Marlyn Meltzer

	10:10 20m Talk		Towards improving explainability, resilience and performance of cybersecurity analysis of 5G/IoT networks ITEQS Manh-Dung Nguyen Montimage R&D, France, Vinh Hoa La Montimage, Ana R. Cavalli Montimage, Edgardo Montes de Oca Montimage
	10:30 20m Talk		Prioritized Variable-length Test Cases Generation for Finite State Machines ITEQS Vaclav Rechtberger Czech Technical University in Prague, Miroslav Bures Czech Technical University, Czechia, Bestoun S. Ahmed Karlstad University Sweden, Youcef Belkhier Czech Technical University in Prague, Jiri Nema University of Defence, Hynek Schvach University of Defence
	10:50 20m Talk		Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits ITEQS Jarkko Peltomäki Åbo Akademi University, Ivan Porres Åbo Akademi University