Business Process Privacy Analysis in PLEAK (FASE 2019) - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Who

Aivo Toots, Reedik Tuuling, Maksym Yerokhin, Marlon Dumas, Luciano García-Bañuelos, Peeter Laud, Raimundas Matulevicius, Alisa Pankova, Martin Pettai, Pille Pullonen, Jake Tom

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

Thu 11 Apr 2019 12:15 - 12:30 at JUPITER - Software Evolution & Requirements Engineering Chair(s): Gabriele Taentzer

Abstract

PLEAK is a tool to enhance BPMN models with information about data processing rules or privacy enhancing technologies to enable automatic privacy analysis. PLEAK analyzers give a multi-layered view to study different privacy aspects and improve the process model.

Link to Publication

https://link.springer.com/chapter/10.1007/978-3-030-16722-6_18

Aivo Toots

Reedik Tuuling

Maksym Yerokhin

Marlon Dumas

Luciano García-Bañuelos

University of Tartu

Estonia

Peeter Laud

Raimundas Matulevicius

Alisa Pankova

Martin Pettai

Pille Pullonen

Jake Tom

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

Thu 11 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	10:30 - 12:30	Software Evolution & Requirements EngineeringFASE at JUPITER Chair(s): Gabriele Taentzer Universität Marburg

	10:30 30m Talk		Structural and Nominal Cross-Language Clone Detection FASE Lawton Nichols , Mehmet Emre University of California, Santa Barbara, Ben Hardekopf UC Santa Barbara Link to publication
	11:00 30m Talk		SL2SF: Refactoring Simulink to Stateflow FASE Stephen Wynn-Williams , Zinovy Diskin , Vera Pantelic , Mark Lawford McMaster, Gehan Selim , Curtis Milo Link to publication
	11:30 30m Talk		Metric Temporal Graph Logic over Typed Attributed Graphs FASE Holger Giese Hasso Plattner Institute, University of Potsdam, Maria Maximova , Lucas Sakizloglou , Sven Schneider Link to publication
	12:00 15m Talk		KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs FASE Qian Jiaqi , Min Zhang East China Normal University, Yi Wang Shenzhen University, Kazuhiro Ogata Link to publication
	12:15 15m Talk		Business Process Privacy Analysis in PLEAK FASE Aivo Toots , Reedik Tuuling , Maksym Yerokhin , Marlon Dumas , Luciano García-Bañuelos University of Tartu, Peeter Laud , Raimundas Matulevicius , Alisa Pankova , Martin Pettai , Pille Pullonen , Jake Tom Link to publication