Evaluating the Practical Impact of Parallelism in Asmeta (FM 2026 - ABZ)

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Who

Andrea Bombarda, Silvia Bonfanti, Cesar Cornejo, Angelo Gargantini, Nico Pellegrinelli

Track

FM 2026 ABZ

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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

Wed 20 May 2026 16:20 - 16:35 at 1F Room 101-103 - ABZ Session 5: Methods (2) Chair(s): Asieh Salehi Fathabadi

Andrea Bombarda

University of Bergamo

Italy

Silvia Bonfanti

University of Bergamo

Italy

Cesar Cornejo

University of Bergamo

Italy

Angelo Gargantini

University of Bergamo

Italy

Nico Pellegrinelli

University of Bergamo

Italy

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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

Wed 20 May
Displayed time zone: Osaka, Sapporo, Tokyo change

15:30 - 16:35	ABZ Session 5: Methods (2)ABZ at 1F Room 101-103 Chair(s): Asieh Salehi Fathabadi University of Southampton

15:30 25m Talk		Counterexample-Guided Interval Weakening ABZ Ben M. Andrew University of Manchester, Marie Farrell The University of Manchester, Louise Dennis University of Manchester, Michael Fisher University of Manchester, UK
15:55 25m Talk		Specification and Analysis of Ethical Requirements in Autonomous Systems using Abstract State Machines ABZ Patrizia Scandurra University of Bergamo, Italy, Martina De Sanctis Gran Sasso Science Institute, Gianluca Filippone Gran Sasso Science Institute, L'Aquila, Italy, Paola Inverardi Gran Sasso Science Institute, Raffaela Mirandola Karlsruhe Institute of Technology (KIT), Sara Pettinari Gran Sasso Science Institute
16:20 15m Talk		Evaluating the Practical Impact of Parallelism in Asmeta ABZ Andrea Bombarda University of Bergamo, Silvia Bonfanti University of Bergamo, Cesar Cornejo University of Bergamo, Angelo Gargantini University of Bergamo, Nico Pellegrinelli University of Bergamo