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.
Tue 9 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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 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 Link to publication |
Wed 10 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
10:30 - 12:30: Model-driven Development and Model TransformationFASE at JUPITER Chair(s): Marielle StoelingaUniversity of Twente and Radboud University, Nijmegen | |||
10:30 - 11:00 Talk | Pyro: Generating Domain-Specific Collaborative Online Modeling Environments FASE Link to publication | ||
11:00 - 11:30 Talk | Efficient Model Synchronization by Automatically Constructed Repair ProcessesBest paper nomination FASE Link to publication | ||
11:30 - 12:00 Talk | Offline Delta-driven Model Transformation with Dependency Injection FASE Artur BoronatUniversity of Leicester Link to publication | ||
12:00 - 12:30 Talk | A Logic-Based Incremental Approach to Graph Repair FASE Link to publication |
14:00 - 14:30 Talk | DeepFault: Fault Localization For Deep Neural Networks FASE Link to publication | ||
14:30 - 15:00 Talk | Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL FASE Aleksandar S. DimovskiMother Teresa University, Skopje, Axel LegayINRIA Rennes, Andrzej WąsowskiIT University of Copenhagen, Denmark Link to publication | ||
15:00 - 15:30 Talk | Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System FASE Link to publication | ||
15:30 - 16:00 Talk | Checking Observational Purity Of Procedures FASE Himanshu Arora, Raghavan KomondoorIndian Institute of Science, Bangalore, G. RamalingamMicrosoft Research Link to publication |
Thu 11 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
10:30 - 12:30: Software Evolution & Requirements EngineeringFASE at JUPITER Chair(s): Gabriele TaentzerUniversität Marburg | |||
10:30 - 11:00 Talk | Structural and Nominal Cross-Language Clone Detection FASE Link to publication | ||
11:00 - 11:30 Talk | SL2SF: Refactoring Simulink to Stateflow FASE Link to publication | ||
11:30 - 12:00 Talk | Metric Temporal Graph Logic over Typed Attributed Graphs FASE Holger GieseHasso Plattner Institute, University of Potsdam, Maria Maximova, Lucas Sakizloglou, Sven Schneider Link to publication | ||
12:00 - 12:15 Talk | KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs FASE Link to publication | ||
12:15 - 12:30 Talk | Business Process Privacy Analysis in PLEAK FASE Aivo Toots, Reedik Tuuling, Maksym Yerokhin, Marlon Dumas, Luciano García-BañuelosUniversity 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ähnleTechnical University of Darmstadt | |||
14:00 - 14:30 Talk | CLTestCheck: Measuring Test Effectiveness for GPU Kernels FASE 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 Link to publication | ||
17:00 - 17:30 Talk | Pardis: Priority Aware Test Case Reduction FASE 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.