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

Who's online

We have 109 guests and no members online

Site Hosted by