FASE 2019

FASE is concerned with the foundations on which software engineering is built. Submissions should make novel contributions to making software engineering a more mature and soundly-based discipline. Contributions should be supported by appropriate arguments and validation. Contributions that combine the development of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged. We welcome contributions on all such fundamental approaches, including:

Software engineering as an engineering discipline, including its interaction with and impact on society and economics;
Requirements engineering: capture, consistency, and change management of software requirements;
Software architectures: description and analysis of the architecture of individual systems or classes of applications;
Specification, design, and implementation of particular classes of systems: (self-)adaptive, collaborative, embedded, distributed, mobile, pervasive, cyber-physical or service-oriented applications;
Software quality: (static or run-time) validation and verification of functional and non-functional software properties using theorem proving, model checking, testing, analysis, simulation, refinement methods, metrics or visualization techniques;
Model-driven development and model transformation: meta-modelling, design and semantics of domain-specific languages, consistency and transformation of models, generative architectures;
Software processes: support for iterative, agile, and open source development;
Software evolution: refactoring, reverse and re-engineering, configuration management and architectural change, or aspect-orientation.

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

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

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

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

Accepted Papers

	Title
	A Data Flow Model with Frequency Arithmetic FASE Paul Dubrulle, Stéphane Louise, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre Link to publication
	A Hybrid Dynamic Logic for Event/Data-based SystemsBest paper nomination FASE Rolf Hennicker, Alexandre Madeira, Alexander Knapp Link to publication
	A Logic-Based Incremental Approach to Graph Repair FASE Sven Schneider, Leen Lambers, Fernando Orejas Link to publication
	Automatically Identifying Sufficient Object Builders from Module APIs FASE Pablo Ponzio, Valeria Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias Link to publication
	Automatic Modeling for Opaque Code in JavaScript Static Analysis FASE Joonyoung Park, Alexander Jordan, Sukyoung Ryu Link to publication
	Business Process Privacy Analysis in PLEAK FASE 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 Link to publication
	Checking Observational Purity Of Procedures FASE Himanshu Arora, Raghavan Komondoor, G. Ramalingam Link to publication
	CLTestCheck: Measuring Test Effectiveness for GPU Kernels FASE Chao Peng, Ajitha Rajan Link to publication
	CoVeriTest: Cooperative, Verifier-Based Testing FASE Dirk Beyer, Marie-Christine Jakobs Link to publication
	DeepFault: Fault Localization For Deep Neural Networks FASE Hasan Ferit Eniser, Simos Gerasimou, Alper Sen Link to publication
	Efficient Model Synchronization by Automatically Constructed Repair ProcessesBest paper nomination FASE Lars Fritsche, Jens Kosiol, Andy Schürr, Gabriele Taentzer Link to publication
	Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System FASE Huang Li, Eun-Young Kang Link to publication
	Implementing SOS with Active Objects: A Case Study of a Multicore Memory System FASE Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa Link to publication
	KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs FASE Qian Jiaqi, Min Zhang, Yi Wang, Kazuhiro Ogata Link to publication
	Metric Temporal Graph Logic over Typed Attributed Graphs FASE Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider Link to publication
	Offline Delta-driven Model Transformation with Dependency Injection FASE Artur Boronat Link to publication
	Optimal and Automated Deployment for Microservices FASE Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro Link to publication
	Pardis: Priority Aware Test Case Reduction FASE Golnaz Gharachorlu, Nick Sumner Link to publication
	Pyro: Generating Domain-Specific Collaborative Online Modeling Environments FASE Philip Zweihoff, Stefan Naujokat, Bernhard Steffen Link to publication
	SL2SF: Refactoring Simulink to Stateflow FASE Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan Selim, Curtis Milo Link to publication
	SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language FASE Min Zhang, Fu Song, Frederic Mallet, Xiaohong Chen Link to publication
	Structural and Nominal Cross-Language Clone Detection FASE Lawton Nichols, Mehmet Emre, Ben Hardekopf Link to publication
	Tool Support for Correctness-by-Construction FASE Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick Kourie, Bruce W Watson Link to publication
	Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL FASE Aleksandar S. Dimovski, Axel Legay, Andrzej Wąsowski Link to publication

Call for Papers

Please check the ETAPS.org web site for the joint Call for Papers.

>>> Link to the full proceedings of FASE 2019

Program Display Configuration

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

Accepted Papers

Call for Papers

Proceedings

Reiner HähnleCo-chair

Technical University of Darmstadt

Germany

Wil van der AalstCo-chair

RWTH Aachen

Germany

Christel Baier

TU Dresden, Germany

Germany

Stefano Berardi

Università di Torino

Italy

Mario Bravetti

Università di Bologna

Italy

Ana Cavalcanti

University of York

United Kingdom

Marsha Chechik

University of Toronto

Canada

Ferruccio Damiani

University of Turin

Italy

Ewen Denney

NASA Ames Research Center

United States

Dilian Gurov

KTH Royal Institute of Technology

Sweden

Ludovic Henrio

CNRS

France

Gerti Kappel

Technical University of Vienna

Austria

Ekkart Kindler

Technical University of Denmark

Denmark

Martin Leucker

University of Lübeck

Germany

Jun Pang

University of Luxembourg

Luxembourg

André Platzer

Carnegie Mellon University

United States

Bernhard Rumpe

RWTH Aachen

Germany

Alessandra Russo

Imperial College London

United Kingdom

Rick Salay

University of Toronto

Canada

Ina Schaefer

Technische Universität Braunschweig

Germany

Andy Schürr

TU Darmstadt

Perdita Stevens

University of Edinburgh

United Kingdom

Marielle Stoelinga

University of Twente and Radboud University, Nijmegen

Netherlands

Jun Sun

Singapore University of Technology and Design

Singapore

Gabriele Taentzer

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