ETAPS 2019 (series) / FASE 2019 (series) /
FASE 2019 Program
This is the FASE 2019 program - see the full program for ETAPS 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 9 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:30 | |||
10:30 30mTalk | 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 30mTalk | Automatic Modeling for Opaque Code in JavaScript Static Analysis FASE Link to publication | ||
11:30 30mTalk | 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 30mTalk | A Hybrid Dynamic Logic for Event/Data-based SystemsBest paper nomination FASE Link to publication | ||
Wed 10 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 30mTalk | Pyro: Generating Domain-Specific Collaborative Online Modeling Environments FASE Link to publication | ||
11:00 30mTalk | Efficient Model Synchronization by Automatically Constructed Repair ProcessesBest paper nomination FASE Link to publication | ||
11:30 30mTalk | Offline Delta-driven Model Transformation with Dependency Injection FASE Artur Boronat University of Leicester Link to publication | ||
12:00 30mTalk | A Logic-Based Incremental Approach to Graph Repair FASE Link to publication | ||
14:00 - 16:00 | |||
14:00 30mTalk | DeepFault: Fault Localization For Deep Neural Networks FASE Link to publication | ||
14:30 30mTalk | 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 30mTalk | Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System FASE Link to publication | ||
15:30 30mTalk | Checking Observational Purity Of Procedures FASE Himanshu Arora , Raghavan Komondoor Indian Institute of Science, Bangalore, G. Ramalingam Microsoft Research Link to publication | ||
Thu 11 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 11 Apr
Displayed 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ähnle Technical University of Darmstadt | ||
14:00 30mTalk | CLTestCheck: Measuring Test Effectiveness for GPU Kernels FASE Link to publication | ||
14:30 30mTalk | 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 30mTalk | 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 30mTalk | A Data Flow Model with Frequency Arithmetic FASE Link to publication | ||
16:30 - 18:00 | |||
16:30 30mTalk | CoVeriTest: Cooperative, Verifier-Based Testing FASE Link to publication | ||
17:00 30mTalk | Pardis: Priority Aware Test Case Reduction FASE Link to publication | ||
17:30 30mTalk | 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 | ||