ETAPS 2014: 5-13 April 2014, Grenoble, France

FASE 2014 programme

Tuesday, April 8th
09h00 - 10h00 Room: Amphitheater
FASE Invited Speaker (chair: Arend Rensink)
Christel Baier (Technical University of Dresden, Germany)
Probabilistic model checking and non-standard multi-objective reasoning
10h30 - 12h30 FASE / Room: Kilimandjaro
Modelling and model transformation (chair: Reiko Heckel)
  • Alcino Cunha, Nuno Macedo and Tiago Guimarães. Target oriented relational model finding
  • Perdita Stevens. Bidirectionally tolerating inconsistency: partial transformations (nomination for best paper award)
  • Daniel Strueber, Julia Rubin, Gabriele Taentzer and Marsha Chechik. Splitting Models Using Information Retrieval and Model Crawling Techniques
  • Uli Fahrenberg, Mathieu Acher, Axel Legay and Andrzej Wasowski. Sound Merging and Differencing for Class Diagrams
15h00 - 16h00 FASE / Room: Kilimandjaro
Time and performance (chair: Christel Baier)
  • José Luiz Fiadeiro and Antonia Lopes. Heterogeneous and Asynchronous Networks of Timed Systems
  • Matthias Kowal, Ina Schaefer and Mirco Tribastone. Family-Based Performance Analysis of Variant-Rich Software Systems
Wednesday, April 9th
10h30 - 12h30 FASE / Room: Kilimandjaro
Static analysis (chair: Perdita Stevens)
  • Pietro Ferrara, Daniel Schweizer and Lucas Brutschy. TouchCost: Cost Analysis of TouchDevelop Scripts
  • Rashmi Mudduluru and Murali Krishna Ramanathan. Efficient Incremental Static Analysis Using Path Abstraction
  • Wei Huang, Yao Dong and Ana Milanova. Type-based Taint Analysis of Java Web Applications
  • Alireza Sadeghi, Naeem Esfahani and Sam Malek. Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities
15h00 - 16h00 FASE / Room: Kilimandjaro
Scenario-based specification (chair: Ina Schaefer)
  • Dimitri Van Landuyt and Wouter Joosen. Modularizing Early Architectural Assumptions in Scenario-based Requirements
  • Barak Cohen and Shahar Maoz. Semantically Configurable Analysis of Scenario-Based Specifications
16h30 - 18h00 FASE / Room: Kilimandjaro
Software verification (chair: Antonia Lopes)
  • Paolo Masci, Yi Zhang, Paul Jones, Paul Curzon and Harold Thimbleby. Software verification for medical device user interfaces in PVS
  • Pedro Gomes, Attilio Picoco and Dilian Gurov. Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs
  • Marina Zaharieva-Stojanovski and Marieke Huisman. Verifying Class Invariants in Concurrent Programs
Thursday, April 10th
15h00 - 16h00 FASE / Room: Kilimandjaro
Analysis and repair (chair: Marieke Huisman)
  • Yu Pei, Carlo Furia, Martin Nordio and Bertrand Meyer. Automatic Program Repair by Fixing Contracts
  • Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies and Damien Zufferey. Dynamic Package Interfaces
16h30 - 18h00 FASE / Room: Kilimandjaro
Verification and validation (chair: Stefania Gnesi)
  • Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdjan Krstic and Pierluigi San Pietro. SMT-based Checking of SOLOIST over Sparse Traces (nomination for best paper award)
  • Luc Moreau, Trung D. Huynh and Danius Michaelides. An Online Validator for Provenance: Algorithmic Design, Testing, and API
  • Meriem Ouederni, Gwen Salaun, Javier Camara and Ernesto Pimentel. Comparator: A Tool for Quantifying Behavioural Compatibility (tool paper)
Friday, April 11th
10h30 - 12h30 FASE / Room: Kilimandjaro
Graph transformation (chair: Gabriele Taenzer)
  • Dominique Duval, Rachid Echahed, Frederic Prost and Leila Ribeiro. Transformation of Attributed Structures with Cloning
  • Christian Krause, Matthias Tichy and Holger Giese. Implementing Graph Transformations in the Bulk Synchronous Parallel Model
  • Anthony Anjorin, Karsten Saller, Malte Lochau and Andy Schürr. Modularizing Triple Graph Grammars using Rule Refinement
  • Michael Löwe, Harald König and Christoph Schulz. Polymorphic Single-Pushout Graph Transformation
14h00 - 16h00 FASE / Room: Kilimandjaro
Debugging and testing (chair: Axel Legay)
  • Elena Giachino, Ivan Lanese and Claudio Antares Mezzina. Causal-consistent Reversible Debugging
  • Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell and John Hughes. An Expressive Semantics of Mocking
  • Maximiliano Cristia, Joaquin Mesuro and Claudia Frydman. Integration Testing in the Test Template Framework
  • Ana Cavalcanti and Marie-Claude Gaudel. Data-flow coverage for Circus-based testing