OCL Rebuilt, From the Ground Up (MODELS 2023 - Technical Track) - MODELS 2023

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

Who

Friedrich Steimann, Robert Clarisó, Martin Gogolla

Track

MODELS 2023 Technical 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

Wed 4 Oct 2023 10:30 - 10:52 at 301 - Session B1: Validation and Verification

Friedrich Steimann

Fernuniversität in Hagen

Germany

Robert Clarisó

Universitat Oberta de Catalunya

Spain

Martin Gogolla

University of Bremen

Germany

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

	10:30 - 12:00	Session B1: Validation and VerificationTechnical Track at 301

	10:30 22m Talk		OCL Rebuilt, From the Ground Up Technical Track Friedrich Steimann Fernuniversität in Hagen, Robert Clarisó Universitat Oberta de Catalunya, Martin Gogolla University of Bremen
	10:52 22m Talk		Applicability of Model Checking for Verifying Spacecraft Operational Designs Technical Track Philipp Chrszon , Paulina Maurer , George Saleip , Sascha Müller , Philipp M. Fischer , Andreas Gerndt German Aerospace Center (DLR), Michael Felderer German Aerospace Center (DLR) & University of Cologne
	11:15 22m Talk		An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning Technical Track Bharat Garhewal , Carlos Diego Nascimento Damasceno Radboud University Nijmegen, Netherlands
	11:37 22m Talk		Mutation Testing for Temporal Alloy Models Technical Track Ana Jovanovic , Allison Sullivan The University of Texas at Arlington