| 2016 | CafeInMaude: A CafeOBJ Interpreter in Maude. | Adrin Riesco, Kazuhiro Ogata, Kokichi Futatsugi |
| 2016 | Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique. | Sander de Putter, Anton Wijs |
| 2016 | The Death of Object-Oriented Programming. | Oscar Nierstrasz |
| 2016 | ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. | Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee |
| 2016 | Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices. | Jean-Christophe Lchenet, Nikolai Kosmatov, Pascale Le Gall |
| 2016 | PVAIR: Partial Variable Assignment InterpolatoR. | Pavel Janck, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvrinen, Jan Kofron, Natasha Sharygina |
| 2016 | Hybrid Session Verification Through Endpoint API Generation. | Raymond Hu, Nobuko Yoshida |
| 2016 | Integrated Environment for Verifying and Running Distributed Components. | Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine |
| 2016 | Model-Based Testing of Probabilistic Systems. | Marcus Gerhold, Marille Stoelinga |
| 2016 | Reduction Rules for Colored Workflow Nets. | Javier Esparza, Philipp Hoffmann |
| 2016 | Statistical Model Checking of e-Motions Domain-Specific Modeling Languages. | Francisco Durn, Antonio Moreno-Delgado, Jos M. lvarez-Palomo |
| 2016 | Automated Model Merge by Design Space Exploration. | Csaba Debreceni, Istvn Rth, Dniel Varr, Xabier De Carlos, Xabier Mendialdua, Salvador Trujillo |
| 2016 | A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. | Claudio Corrodi, Alexander Heuner, Christopher M. Poskitt |
| 2016 | Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. | Philipp Chrszon, Clemens Dubslaff, Sascha Klppelholz, Christel Baier |
| 2016 | Many-Valued Institutions for Constraint Specification. | Claudia Elena Chirita, Jos Luiz Fiadeiro, Fernando Orejas |
| 2016 | Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories. | Xabier De Carlos, Goiuria Sagardui, Salvador Trujillo |
| 2016 | Modeling and Abstraction of Memory Management in a Hypervisor. | Pauline Bolignano, Thomas Jensen, Vincent Siles |
| 2016 | Automated Choreography Repair. | Samik Basu, Tevfik Bultan |
| 2016 | Crowdsourced Bug Triaging: Leveraging Q&A Platforms for Bug Assignment. | Ali Sajedi Badashian, Abram Hindle, Eleni Stroulia |
| 2016 | RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules. | Daniel Strber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plger |
| 2016 | Towards Formal Proof Metrics. | David Aspinall, Cezary Kaliszyk |
| 2015 | A Variability-Based Approach to Reusable and Efficient Model Transformations. | Daniel Strber, Julia Rubin, Marsha Chechik, Gabriele Taentzer |
| 2015 | Resource Specification for Prototyping Human-Intensive Systems. | Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil, Hari Balasubramanian, Philip L. Henneman |
| 2015 | A Generalized Formal Framework for Partial Modeling. | Rick Salay, Marsha Chechik |
| 2015 | Translation Validation for Clock Transformations in a Synchronous Compiler. | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic |