ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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.

Dates

Tue 9 Apr

fase-2019-papers
10:30 - 12:30: FASE 2019 - Software Verification I at JUPITER
Chair(s): Wil van der AalstRWTH Aachen
fase-2019-papers10:30 - 11:00
Talk
Tobias RungeTU Braunschweig, Ina SchaeferTechnische Universität Braunschweig, Loek CleophasEindhoven University of Technology (TU/e) and Stellenbosch University (SU), Thomas ThümTU Braunschweig, Germany, Derrick KourieStellenbosch University, Bruce W Watson
Link to publication
fase-2019-papers11:00 - 11:30
Talk
Joonyoung Park, Alexander JordanOracle Labs, Australia, Sukyoung RyuKAIST, South Korea
Link to publication
fase-2019-papers11:30 - 12:00
Talk
Min ZhangEast China Normal University, Fu Song, Frederic MalletUniversité Côte d'Azur, France, Xiaohong Chen
Link to publication
fase-2019-papers12:00 - 12:30
Talk
Rolf HennickerLudwig Maximilians University Munich, Germany, Alexandre Madeira, Alexander Knapp
Link to publication

Wed 10 Apr

fase-2019-papers
10:30 - 12:30: FASE 2019 - Model-driven Development and Model Transformation at JUPITER
Chair(s): Marielle StoelingaUniversity of Twente and Radboud University, Nijmegen
fase-2019-papers10:30 - 11:00
Talk
Philip Zweihoff, Stefan Naujokat, Bernhard SteffenTechnical University Dortmund
Link to publication
fase-2019-papers11:00 - 11:30
Talk
Lars Fritsche, Jens Kosiol, Andy SchürrTU Darmstadt, Gabriele TaentzerUniversität Marburg
Link to publication
fase-2019-papers11:30 - 12:00
Talk
Artur BoronatUniversity of Leicester
Link to publication
fase-2019-papers12:00 - 12:30
Talk
Sven Schneider, Leen Lambers, Fernando OrejasUniversitat Politècnica de Catalunya, Spain
Link to publication
fase-2019-papers
14:00 - 16:00: FASE 2019 - Software Verification II at JUPITER
Chair(s): Heike WehrheimPaderborn University
fase-2019-papers14:00 - 14:30
Talk
Link to publication
fase-2019-papers14:30 - 15:00
Talk
Aleksandar S. DimovskiMother Teresa University, Skopje, Axel LegayINRIA Rennes, Andrzej WąsowskiIT University of Copenhagen, Denmark
Link to publication
fase-2019-papers15:00 - 15:30
Talk
Huang Li, Eun-Young KangUniversity of Southern Denmark
Link to publication
fase-2019-papers15:30 - 16:00
Talk
Himanshu Arora, Raghavan KomondoorIndian Institute of Science, Bangalore, G. RamalingamMicrosoft Research
Link to publication

Thu 11 Apr

fase-2019-papers
14:00 - 16:00: FASE 2019 - Specification, Design, and Implementation of Particular Classes of Systems at JUPITER
Chair(s): Reiner HähnleTechnical University of Darmstadt
fase-2019-papers14:00 - 14:30
Talk
Chao PengUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh
Link to publication
fase-2019-papers14:30 - 15:00
Talk
Nikolaos Bezirgiannis, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Einar Broch JohnsenUniversity of Oslo, Ka I Pun, Silvia Lizeth Tapia TarifaUniversity of Oslo
Link to publication
fase-2019-papers15:00 - 15:30
Talk
Mario BravettiUniversità di Bologna, Saverio GiallorenzoUniversity of Southern Denmark, Jacopo MauroUniversity of Southern Denmark, Iacopo Talevi, Gianluigi Zavattaro
Link to publication
fase-2019-papers15:30 - 16:00
Talk
Link to publication
fase-2019-papers
16:30 - 18:00: FASE 2019 - Software Testing at JUPITER
Chair(s): Silvia Lizeth Tapia TarifaUniversity of Oslo
fase-2019-papers16:30 - 17:00
Talk
Dirk BeyerLMU Munich, Marie-Christine JakobsLMU, Munich, Germany
Link to publication
fase-2019-papers17:00 - 17:30
Talk
Golnaz Gharachorlu, Nick SumnerSimon Fraser University
Link to publication
fase-2019-papers17:30 - 18:00
Talk
Pablo PonzioDept. of Computer Science FCEFQyN, University of Rio Cuarto, Valeria BengoleaDept. of Computer Science FCEFQyN, University of Rio Cuarto, Mariano Politano, Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. FriasDept. of Software Engineering Instituto Tecnológico de Buenos Aires
Link to publication

Call for Papers

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

Accepted Papers

Title
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication