| Tuesday, April 5th |
| 10h30 - 12h30 |
FASE / Room: CZ 2
Concurrent and Distributed Systems (Chair: Marieke Huisman)
- Samik Basu and Tevfik Bultan. Automated Choreography Repair
- Claudio Corrodi, Alexander Heußner and Christopher M. Poskitt. A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs
- Jia-Chun Lin, Ingrid Yu, Einar Broch Johnsen and Ming-Chang Lee. ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters
- Ludovic Henrio, Oleksandra Kulankhina, Siqi Li and Eric Madelaine. Integrated environment for verifying and running distributed components
|
| 15h30 - 18h00 |
FASE / Room: CZ 8
Model-Driven Development (Chair: Perdita Stevens)
- Oszkár Semeráth, András Vörös and Dániel Varró. Iterative and incremental model generation by logic solvers
- Csaba Debreceni, István Ráth, Dániel Varró, Xabier De Carlos, Xabier Mendialdua and Salvador Trujillo. Automated Model Merge by Design Space Exploration
- Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer and Jennifer Plöger. RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules (EASST award nominee)
- Xabier De Carlos, Goiuria Sagardui and Salvador Trujillo. Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories
- Markus Weckesser, Malte Lochau, Thomas Schnabel, Björn Richerzhagen and Andy Schürr. Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models
|
| Wednesday, April 6th |
| 09h00 - 10h00 |
Room: Blauwe Zaal (Chair: Perdita Stevens)
FASE Invited Speaker
Oscar Nierstrasz (Universität Bern, Switzerland)
The Death of Object-Oriented Programming
|
| 10h30 - 12h30 |
FASE / Room: CZ 8
Analysis and Bug Triaging (Chair: TBA)
- Jean-Christophe Léchenet, Nikolai Kosmatov and Pascale Le Gall. Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices
- Lei Wang, Han Li and Xinchen Wang. The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs
- Pauline Bolignano, Thomas Jensen and Vincent Siles. Modeling and Abstraction of Memory Management in a Hypervisor
- Ali Sajedi Badashian, Abram Hindle and Eleni Stroulia. Crowdsourced Bug Triaging: Leveraging Q&A resources for Bug Assignment
|
| 14h00 - 16h00 |
FASE / Room: CZ 8
Probabilistic and Stochastic Systems (Chair: Gabriele Taentzer)
- Marcus Gerhold and Marielle Stoelinga. Model-Based Testing of Probabilistic Systems (EASST award nominee)
- Guoxin Su, Taolue Chen, Yuan Feng, David Rosenblum and P.S. Thiagarajan. An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-Adaptive Systems
- Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz and Christel Baier. Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat (EAPLS award nominee)
- Francisco Durán, Antonio Moreno-Delgado and José María Álvarez. Statistical model-checking of domain-specific modeling languages
|
| Thursday, April 7th |
| 10h30 - 12h30 |
FASE / Room: CZ 8
Proof and Theorem Proving (Chair: Andrzej Wąsowski)
- David Aspinall, Cezary Kaliszyk. Proof Engineering Metrics
- Philipp Hoffmann and Javier Esparza. Reduction Rules for Colored Workflow Nets
- Claudia Elena Chiriță, José Luiz Fiadeiro and Fernando Orejas. Many-valued Institutions for Constraint Specification
- Adrian Riesco, Kazuhiro Ogata and Kokichi Futatsugi. CafeInMaude: a CafeOBJ interpreter in Maude
|
| 14h00 - 16h00 |
FASE / Room: CZ 8
Verification (Chair: TBA)
- Sander de Putter and Anton Wijs. Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique
- Raymond Hu and Nobuko Yoshida. Hybrid Session Verification through Endpoint API Generation
- Pavel Jancik, Leonardo Alt, Grigory Fedyukovich, Antti Hyvärinen, Jan Kofron and Natasha Sharygina. PVAIR: Partial Variable Assignment InterpolatoR
|