Automatic Security-Flaw Detection - Replication and Comparison (MODELS 2023 - Technical Track) - MODELS 2023

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

Who

Bernhard Berger, Christina Plump

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 15:52 - 16:15 at Kongresshall - Session A3: Uncertainty, Security & Concurrency

Bernhard Berger

Hamburg University of Technology

Germany

Christina Plump

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

	15:30 - 17:00	Session A3: Uncertainty, Security & ConcurrencyTechnical Track / Journal-first at Kongresshall

	15:30 22m Talk		Uncertainty-aware consistency checking in industrial settings Technical Track Antonio Vallecillo University of Málaga, Spain, Robbert Jongeling Malardalen University
	15:52 22m Talk		Automatic Security-Flaw Detection - Replication and Comparison Technical Track Bernhard Berger Hamburg University of Technology, Christina Plump
	16:15 22m Talk		An extended model-based characterization of fine-grained access control for SQL queries Technical Track Hoàng Nguyễn Phước Bảo , Manuel Clavel
	16:37 22m Talk		A generic framework for representing and analyzing model concurrencyJ1ST Journal-first Steffen Zschaler King's College London, Erwan Bousse Nantes Université, Julien DeAntoni , Benoit Combemale University of Rennes, Inria, CNRS, IRISA Link to publication DOI