JUPITER - PERR 2019

VenueOrea Hotel Pyramida

Room nameJUPITER

Floor0

Room InformationNo extra information available

Program

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

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	08:00 - 09:00	Mentoring Breakfast IETAPS Mentoring Workshop at JUPITER

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

10:30 - 12:30	Software Verification IFASE at JUPITER Chair(s): Wil van der Aalst RWTH Aachen

10:30 30m Talk		Tool Support for Correctness-by-Construction FASE Tobias Runge TU Braunschweig, Ina Schaefer Technische Universität Braunschweig, Loek Cleophas Eindhoven University of Technology (TU/e) and Stellenbosch University (SU), Thomas Thüm University of Ulm, Derrick Kourie Stellenbosch University, Bruce W Watson Link to publication
11:00 30m Talk		Automatic Modeling for Opaque Code in JavaScript Static Analysis FASE Joonyoung Park , Alexander Jordan Oracle Labs, Australia, Sukyoung Ryu KAIST, South Korea Link to publication
11:30 30m Talk		SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language FASE Min Zhang East China Normal University, Fu Song , Frederic Mallet Université Côte d'Azur, France, Xiaohong Chen Link to publication
12:00 30m Talk		A Hybrid Dynamic Logic for Event/Data-based SystemsBest paper nomination FASE Rolf Hennicker Ludwig Maximilians University Munich, Germany, Alexandre Madeira , Alexander Knapp Link to publication

14:00 - 15:00	Machine LearningTACAS at JUPITER Chair(s): Bernhard Steffen Technical University Dortmund

14:00 30m Talk		Omega-Regular Objectives in Model-Free Reinforcement Learning TACAS Ernst Moritz Hahn Queen's University Belfast, Mateo Perez , Sven Schewe University of Liverpool, Fabio Somenzi , Ashutosh Trivedi , Dominik Wojtczak Link to publication
14:30 30m Talk		Verifiably Safe Off-Model Reinforcement Learning TACAS Nathan Fulton MIT-IBM Watson AI Lab, André Platzer Carnegie Mellon University Link to publication

17:00 - 18:00	RepsETAPS Mentoring Workshop at JUPITER

17:00 60m Talk		A tale of two MURIs: Authorization Meets Model Checking ETAPS Mentoring Workshop Thomas Reps University of Wisconsin - Madison and GrammaTech, Inc.

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

10:30 - 12:30	Model-driven Development and Model TransformationFASE at JUPITER Chair(s): Marielle Stoelinga University of Twente and Radboud University, Nijmegen

10:30 30m Talk		Pyro: Generating Domain-Specific Collaborative Online Modeling Environments FASE Philip Zweihoff , Stefan Naujokat , Bernhard Steffen Technical University Dortmund Link to publication
11:00 30m Talk		Efficient Model Synchronization by Automatically Constructed Repair ProcessesBest paper nomination FASE Lars Fritsche , Jens Kosiol , Andy Schürr TU Darmstadt, Gabriele Taentzer Universität Marburg Link to publication
11:30 30m Talk		Offline Delta-driven Model Transformation with Dependency Injection FASE Artur Boronat University of Leicester Link to publication
12:00 30m Talk		A Logic-Based Incremental Approach to Graph Repair FASE Sven Schneider , Leen Lambers , Fernando Orejas Universitat Politècnica de Catalunya, Spain Link to publication

14:00 - 16:00	Software Verification IIFASE at JUPITER Chair(s): Heike Wehrheim Paderborn University

14:00 30m Talk		DeepFault: Fault Localization For Deep Neural Networks FASE Hasan Ferit Eniser , Simos Gerasimou , Alper Sen Link to publication
14:30 30m Talk		Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL FASE Aleksandar S. Dimovski Mother Teresa University, Skopje, Axel Legay INRIA Rennes, Andrzej Wąsowski IT University of Copenhagen, Denmark Link to publication
15:00 30m Talk		Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System FASE Huang Li , Eun-Young Kang University of Southern Denmark Link to publication
15:30 30m Talk		Checking Observational Purity Of Procedures FASE Himanshu Arora , Raghavan Komondoor Indian Institute of Science, Bangalore, G. Ramalingam Microsoft Research Link to publication

17:00 - 18:00	WilhelmETAPS Mentoring Workshop at JUPITER

17:00 60m Talk		Formal methods can be practical: Verifying time-critical systems ETAPS Mentoring Workshop Reinhard Wilhelm Saarland University

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

14:00 - 16:00	Specification, Design, and Implementation of Particular Classes of SystemsFASE at JUPITER Chair(s): Reiner Hähnle Technical University of Darmstadt

14:00 30m Talk		CLTestCheck: Measuring Test Effectiveness for GPU Kernels FASE Chao Peng University of Edinburgh, UK, Ajitha Rajan University of Edinburgh Link to publication
14:30 30m Talk		Implementing SOS with Active Objects: A Case Study of a Multicore Memory System FASE Nikolaos Bezirgiannis , Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University, Einar Broch Johnsen University of Oslo, Violet Ka I Pun , Silvia Lizeth Tapia Tarifa University of Oslo Link to publication
15:00 30m Talk		Optimal and Automated Deployment for Microservices FASE Mario Bravetti Università di Bologna, Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna, Jacopo Mauro University of Southern Denmark, Iacopo Talevi , Gianluigi Zavattaro Link to publication
15:30 30m Talk		A Data Flow Model with Frequency Arithmetic FASE Paul Dubrulle , Stéphane Louise , Christophe Gaston , Nikolai Kosmatov CEA List, Arnault Lapitre Link to publication

16:30 - 18:00	Software TestingFASE at JUPITER Chair(s): Silvia Lizeth Tapia Tarifa University of Oslo

16:30 30m Talk		CoVeriTest: Cooperative, Verifier-Based Testing FASE Dirk Beyer LMU Munich, Marie-Christine Jakobs TU Darmstadt, Germany Link to publication
17:00 30m Talk		Pardis: Priority Aware Test Case Reduction FASE Golnaz Gharachorlu , Nick Sumner Simon Fraser University Link to publication
17:30 30m Talk		Automatically Identifying Sufficient Object Builders from Module APIs FASE Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Valeria Bengolea Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Mariano Politano , Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires Link to publication

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00						30
JUPITER	ETAPS Mentoring Workshop Mentoring Breakfast I

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
JUPITER							FASE Software Verification I																																										TACAS Machine Learning																																				ETAPS Mentoring Workshop Reps

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
JUPITER							FASE Model-driven Development and Model Transformation																																										FASE Software Verification II																																				ETAPS Mentoring Workshop Wilhelm

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
JUPITER							FASE Software Evolution & Requirements Engineering																																										FASE Specification, Design, and Implementation of Particular Classes of Systems																														FASE Software Testing

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
JUPITER							FASE Tool Support for Correctness-by-Construction 10:30 - 11:00						FASE Automatic Modeling for Opaque Code in JavaScript Static Analysis 11:00 - 11:30						FASE SMT-Based Bounded Schedulability Analysis of the Clock Constraint Speci ... 11:30 - 12:00						FASEBest paper nomination A Hybrid Dynamic Logic for Event/Data-based Systems 12:00 - 12:30																								TACAS Omega-Regular Objectives in Model-Free Reinforcement Learning 14:00 - 14:30						TACAS Verifiably Safe Off-Model Reinforcement Learning 14:30 - 15:00																														ETAPS Mentoring Workshop A tale of two MURIs: Authorization Meets Model Checking 17:00 - 18:00

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
JUPITER							FASE Pyro: Generating Domain-Specific Collaborative Online Modeling Environments 10:30 - 11:00						FASEBest paper nomination Efficient Model Synchronization by Automatically Constructed Repair Pro ... 11:00 - 11:30						FASE Offline Delta-driven Model Transformation with Dependency Injection 11:30 - 12:00						FASE A Logic-Based Incremental Approach to Graph Repair 12:00 - 12:30																								FASE DeepFault: Fault Localization For Deep Neural Networks 14:00 - 14:30						FASE Variability Abstraction and Refinement for Game-based Lifted Model Chec ... 14:30 - 15:00						FASE Formal Verification of Safety & Security Related Timing Constraints for ... 15:00 - 15:30						FASE Checking Observational Purity Of Procedures 15:30 - 16:00																		ETAPS Mentoring Workshop Formal methods can be practical: Verifying time-critical systems 17:00 - 18:00

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
JUPITER							FASE Structural and Nominal Cross-Language Clone Detection 10:30 - 11:00						FASE SL2SF: Refactoring Simulink to Stateflow 11:00 - 11:30						FASE Metric Temporal Graph Logic over Typed Attributed Graphs 11:30 - 12:00						FASE KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Pr ... 12:00 - 12:15			FASE Business Process Privacy Analysis in PLEAK 12:15 - 12:30																					FASE CLTestCheck: Measuring Test Effectiveness for GPU Kernels 14:00 - 14:30						FASE Implementing SOS with Active Objects: A Case Study of a Multicore Memor ... 14:30 - 15:00						FASE Optimal and Automated Deployment for Microservices 15:00 - 15:30						FASE A Data Flow Model with Frequency Arithmetic 15:30 - 16:00												FASE CoVeriTest: Cooperative, Verifier-Based Testing 16:30 - 17:00						FASE Pardis: Priority Aware Test Case Reduction 17:00 - 17:30						FASE Automatically Identifying Sufficient Object Builders from Module APIs 17:30 - 18:00

Room information: JUPITER

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ETAPS Mentoring Workshop

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

FASE

TACAS

ETAPS Mentoring Workshop

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

FASE

FASE

ETAPS Mentoring Workshop

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

FASE

FASE

FASE

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

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

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

Tracks

Room information: JUPITER

Program Display Configuration

Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 10 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ETAPS Mentoring Workshop

Tue 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FASE

TACAS

ETAPS Mentoring Workshop

Wed 10 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FASE

FASE

ETAPS Mentoring Workshop

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

FASE

FASE

FASE

Tue 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 10 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

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