Language agnostic model checking for SDL (MODELS 2023 - SAM Conference) - MODELS 2023

Sun 1 - Fri 6 October 2023 Västerås, Sweden

Who

Emmanuel Gaudin, Mihal Brumbulli, Eric Brunel

Track

MODELS 2023 SAM Conference

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 2 Oct 2023 11:00 - 11:30 at 203 - Session 1 - Methods for Rigorous System Quality Assurance

Emmanuel Gaudin

PragmaDev

France

Mihal Brumbulli

Eric Brunel

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

	10:30 - 12:00	Session 1 - Methods for Rigorous System Quality AssuranceSAM Conference at 203

	10:30 30m Paper		openCAESAR: Balancing Agility and Rigor in Model-Based Systems Engineering SAM Conference Maged Elaasar Jet Propulsion Laboratory (NASA), Nicolas Rouquette , David Wagner , Bentley Oakes Université de Montréal, Abdelwahab Hamou-Lhadj , Mohammad Hamdaqa Polytechnique Montréal
	11:00 30m Paper		Language agnostic model checking for SDL SAM Conference Emmanuel Gaudin PragmaDev, Mihal Brumbulli , Eric Brunel
	11:30 30m Paper		Automated provenance collection at runtime as a cross-cutting concern SAM Conference Owen Reynolds , Antonio Garcia-Dominguez University of York, Nelly Bencomo Durham University