Ten Years of Spatial Model Checking (FSEN 2025 - Marjan Festschrift) - FSEN 2025

Mon 7 - Tue 8 April 2025 Västerås, Sweden

Who

Vincenzo Ciancia, Diego Latella, Mieke Massink

Track

FSEN 2025 Marjan Festschrift

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

Wed 9 Apr 2025 16:45 - 17:00 at Omega - Session 4

Vincenzo Ciancia

Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALY

Italy

Diego Latella

ISTI-CNR, Pisa, Italy

Italy

Mieke Massink

CNR-ISTI Pisa, Italy

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

Wed 9 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	16:00 - 17:00	Session 4Marjan Festschrift at Omega

	16:00 15m Paper		From LTL to Scenarios: Automatic test case generation for Axini Modeling Language Marjan Festschrift Maarten Schröder , Machiel van der Bijl Axini, Wan Fokkink Vrije Universiteit Amsterdam
	16:15 15m Paper		A Debugging System for Language-parameterized Proofs Marjan Festschrift Charlesowityear Ly University of Massachusetts Lowell, Eswarasanthosh Kumar Mamillapalli University of Massachusetts Lowell, Matteo Cimini University of Massachusetts Lowell
	16:30 15m Paper		Security Challenges of Self-adaptive Systems Marjan Festschrift Rahul Sankalana Gunawardhana Newcastle University, UK, Narges Khakpour Newcastle University
	16:45 15m Paper		Ten Years of Spatial Model Checking Marjan Festschrift Vincenzo Ciancia Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALY, Diego Latella ISTI-CNR, Pisa, Italy, Mieke Massink CNR-ISTI Pisa, Italy

:

:

:

: