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
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 9 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30: Software Verification IFASE at JUPITER
Chair(s): Wil van der AalstRWTH Aachen
10:30 - 11:00
Talk
Tool Support for Correctness-by-Construction
FASE
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
11:00 - 11:30
Talk
Automatic Modeling for Opaque Code in JavaScript Static Analysis
FASE
Joonyoung Park, Alexander JordanOracle Labs, Australia, Sukyoung RyuKAIST, South Korea
Link to publication
11:30 - 12:00
Talk
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
FASE
Min ZhangEast China Normal University, Fu Song, Frederic MalletUniversité Côte d'Azur, France, Xiaohong Chen
Link to publication
12:00 - 12:30
Talk
A Hybrid Dynamic Logic for Event/Data-based SystemsBest paper nomination
FASE
Rolf HennickerLudwig Maximilians University Munich, Germany, Alexandre Madeira, Alexander Knapp
Link to publication

Wed 10 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 11 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 16:00: Specification, Design, and Implementation of Particular Classes of SystemsFASE at JUPITER
Chair(s): Reiner HähnleTechnical University of Darmstadt
14:00 - 14:30
Talk
CLTestCheck: Measuring Test Effectiveness for GPU Kernels
FASE
Chao PengUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh
Link to publication
14:30 - 15:00
Talk
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
FASE
Nikolaos Bezirgiannis, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Einar Broch JohnsenUniversity of Oslo, Violet Ka I Pun, Silvia Lizeth Tapia TarifaUniversity of Oslo
Link to publication
15:00 - 15:30
Talk
Optimal and Automated Deployment for Microservices
FASE
Mario BravettiUniversità di Bologna, Saverio GiallorenzoUniversity of Southern Denmark, Jacopo MauroUniversity of Southern Denmark, Iacopo Talevi, Gianluigi Zavattaro
Link to publication
15:30 - 16:00
Talk
A Data Flow Model with Frequency Arithmetic
FASE
Link to publication
16:30 - 18:00: Software TestingFASE at JUPITER
Chair(s): Silvia Lizeth Tapia TarifaUniversity of Oslo
16:30 - 17:00
Talk
CoVeriTest: Cooperative, Verifier-Based Testing
FASE
Dirk BeyerLMU Munich, Marie-Christine JakobsTU Darmstadt, Germany
Link to publication
17:00 - 17:30
Talk
Pardis: Priority Aware Test Case Reduction
FASE
Golnaz Gharachorlu, Nick SumnerSimon Fraser University
Link to publication
17:30 - 18:00
Talk
Automatically Identifying Sufficient Object Builders from Module APIs
FASE
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
A Data Flow Model with Frequency Arithmetic
FASE
Link to publication
A Hybrid Dynamic Logic for Event/Data-based SystemsBest paper nomination
FASE
Link to publication
A Logic-Based Incremental Approach to Graph Repair
FASE
Link to publication
Automatic Modeling for Opaque Code in JavaScript Static Analysis
FASE
Link to publication
Automatically Identifying Sufficient Object Builders from Module APIs
FASE
Link to publication
Business Process Privacy Analysis in PLEAK
FASE
Link to publication
CLTestCheck: Measuring Test Effectiveness for GPU Kernels
FASE
Link to publication
Checking Observational Purity Of Procedures
FASE
Link to publication
CoVeriTest: Cooperative, Verifier-Based Testing
FASE
Link to publication
DeepFault: Fault Localization For Deep Neural Networks
FASE
Link to publication
Efficient Model Synchronization by Automatically Constructed Repair ProcessesBest paper nomination
FASE
Link to publication
Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System
FASE
Link to publication
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
FASE
Link to publication
KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs
FASE
Link to publication
Metric Temporal Graph Logic over Typed Attributed Graphs
FASE
Link to publication
Offline Delta-driven Model Transformation with Dependency Injection
FASE
Link to publication
Optimal and Automated Deployment for Microservices
FASE
Link to publication
Pardis: Priority Aware Test Case Reduction
FASE
Link to publication
Pyro: Generating Domain-Specific Collaborative Online Modeling Environments
FASE
Link to publication
SL2SF: Refactoring Simulink to Stateflow
FASE
Link to publication
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
FASE
Link to publication
Structural and Nominal Cross-Language Clone Detection
FASE
Link to publication
Tool Support for Correctness-by-Construction
FASE
Link to publication
Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL
FASE
Link to publication