| Monday, March 29 |
|
09h00 -
10h20
|
FASE
Variability & Patterns | Model Synchronization (Chair: Tiziana Margaria)
- Juan de Lara and Esther Guerra. Multi-level Model Product Lines: Open and closed variability for modelling language families [doi]
- Maurice H. ter Beek, Sjef van Loo, Erik de Vink and Tim Willemse. Family-Based SPL Model Checking Using Parity Games with Variability [doi]
- Radu Calinescu, Vittorio Cortellessa, Ioannis Stefanakos and Catia Trubiani. Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles [doi]
- Patrick Stünkel, Harald König, Yngve Lamo and Adrian Rutle. Towards Multiple Model Synchronization with Comprehensive Systems [doi]
|
| Tuesday, March 30 |
|
09h00 -
10h20
|
FASE
Analysis | Model consistency (Chair: Artur Boronat)
- Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge and Ina Schaefer. Skill-Based Verification of Cyber-Physical Systems [doi]
- Erwan Mahe, Christophe Gaston and Pascale Le Gall. Revisiting semantics of interactions for trace validity analysis [doi]
- Themistoklis Diamantopoulos, Nikolaos Oikonomou and Andreas Symeonidis. Extracting Semantics from Question-Answering Services for Snippet Reuse [doi]
- Nils Weidmann and Anthony Anjorin. Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming [doi]
|
| Wednesday, March 31 |
|
09h00 -
10h20
|
FASE
Model-based Design | Model Checking & Specification (Chair: Maurice ter Beek)
- Hugo A. López, Søren Debois, Tijs Slaats and Thomas Hildebrandt. Business Process Compliance using Reference Models of Law [doi]
- Claudio Menghi, Alessandro Maria Rizzi and Anna Bernasconi. Integrating model checking and topological proofs to instrument iterative design [doi]
- Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach. Holistic Specifications for Robust Programs [doi]
|
| Thursday, April 1 |
| 17h00 - 18h00 |
FASE/ESOP
Mixed ETAPS'20 session (Chair: TBD)
- (FASE'20) Aren Babikian, Oszkár Semeráth and Dániel Varró. Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers [doi]
- (ESOP'20) William Mansky, Wolf Honore and Andrew Appel. Connecting Higher-Order Separation Logic to a First-Order Outside World [doi]
- (ESOP'20) Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan. A First-Order Logic with Frames [doi]
|