FASE 2020 programme

All times are in CEST (GMT+2)

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]

 

Who's online

We have 153 guests and no members online

Site Hosted by