FASE 2016 accepted papers
- Lei Wang, Han Li and Xinchen Wang. The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs
- Philipp Hoffmann and Javier Esparza. Reduction Rules for Colored Workflow Nets
- Xabier De Carlos, Goiuria Sagardui and Salvador Trujillo. Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories
- Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer and Jennifer Plöger. RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules
- Claudia Elena Chiriță, José Luiz Fiadeiro and Fernando Orejas. Many-valued Institutions for Constraint Specification
- Claudio Corrodi, Alexander Heußner and Christopher M. Poskitt. A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs
- Ali Sajedi Badashian, Abram Hindle and Eleni Stroulia. Crowdsourced Bug Triaging: Leveraging Q&A resources for Bug Assignment
- 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
- Ludovic Henrio, Oleksandra Kulankhina, Siqi Li and Eric Madelaine. Integrated environment for verifying and running distributed components
- Francisco Durán, Antonio Moreno-Delgado and José María Álvarez. Statistical model-checking of domain-specific modeling languages
- Adrian Riesco, Kazuhiro Ogata and Kokichi Futatsugi. CafeInMaude: a CafeOBJ interpreter in Maude
- Pavel Jancik, Leonardo Alt, Grigory Fedyukovich, Antti Hyvärinen, Jan Kofron and Natasha Sharygina. PVAIR: Partial Variable Assignment InterpolatoR
- 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
- Jia-Chun Lin, Ingrid Yu, Einar Broch Johnsen and Ming-Chang Lee. ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters
- David Aspinall, Cezary Kaliszyk. Proof Engineering Metrics
- Marcus Gerhold and Marielle Stoelinga. Model-Based Testing of Probabilistic Systems
- Jean-Christophe Léchenet, Nikolai Kosmatov and Pascale Le Gall. Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices
- Raymond Hu and Nobuko Yoshida. Hybrid Session Verification through Endpoint API Generation
- 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
- Samik Basu and Tevfik Bultan. Automated Choreography Repair
- Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz and Christel Baier. Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat
- Pauline Bolignano, Thomas Jensen and Vincent Siles. Modeling and Abstraction of Memory Management in a Hypervisor
- Sander de Putter and Anton Wijs. Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique