Abstract is missing.
- The Death of Object-Oriented ProgrammingOscar Nierstrasz. 3-10 [doi]
- Automated Choreography RepairSamik Basu, Tevfik Bultan. 13-30 [doi]
- A Graph-Based Semantics Workbench for Concurrent Asynchronous ProgramsClaudio Corrodi, Alexander Heußner, Christopher M. Poskitt. 31-48 [doi]
- ABS-YARN: A Formal Framework for Modeling Hadoop YARN ClustersJia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee. 49-65 [doi]
- Integrated Environment for Verifying and Running Distributed ComponentsLudovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine. 66-83 [doi]
- Iterative and Incremental Model Generation by Logic SolversOszkár Semeráth, András Vörös, Dániel Varró. 87-103 [doi]
- Automated Model Merge by Design Space ExplorationCsaba Debreceni, István Ráth, Dániel Varró, Xabier De Carlos, Xabier Mendialdua, Salvador Trujillo. 104-121 [doi]
- RuleMerger: Automatic Construction of Variability-Based Model Transformation RulesDaniel Strüber 0001, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plöger. 122-140 [doi]
- Two-Step Transformation of Model Traversal EOL Queries for Large CDO RepositoriesXabier De Carlos, Goiuria Sagardui, Salvador Trujillo. 141-157 [doi]
- Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature ModelsMarkus Weckesser, Malte Lochau, Thomas Schnabel, Björn Richerzhagen, Andy Schürr. 158-175 [doi]
- Cut Branches Before Looking for Bugs: Sound Verification on Relaxed SlicesJean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall. 179-196 [doi]
- The Influences of Edge Instability on Change Propagation and Connectivity in Call GraphsLei Wang, Han Li, Xinchen Wang. 197-213 [doi]
- Modeling and Abstraction of Memory Management in a HypervisorPauline Bolignano, Thomas Jensen, Vincent Siles. 214-230 [doi]
- Crowdsourced Bug Triaging: Leveraging Q&A Platforms for Bug AssignmentAli Sajedi Badashian, Abram Hindle, Eleni Stroulia. 231-248 [doi]
- Model-Based Testing of Probabilistic SystemsMarcus Gerhold, Mariëlle Stoelinga. 251-268 [doi]
- An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive SystemsGuoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum, P. S. Thiagarajan. 269-286 [doi]
- Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeatPhilipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier. 287-304 [doi]
- Statistical Model Checking of e-Motions Domain-Specific Modeling LanguagesFrancisco Durán, Antonio Moreno-Delgado, José M. Álvarez-Palomo. 305-322 [doi]
- Towards Formal Proof MetricsDavid Aspinall 0001, Cezary Kaliszyk. 325-341 [doi]
- Reduction Rules for Colored Workflow NetsJavier Esparza, Philipp Hoffmann. 342-358 [doi]
- Many-Valued Institutions for Constraint SpecificationClaudia Elena Chirita, José Luiz Fiadeiro, Fernando Orejas. 359-376 [doi]
- CafeInMaude: A CafeOBJ Interpreter in MaudeAdrián Riesco, Kazuhiro Ogata, Kokichi Futatsugi. 377-380 [doi]
- Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification TechniqueSander de Putter, Anton Wijs. 383-400 [doi]
- Hybrid Session Verification Through Endpoint API GenerationRaymond Hu, Nobuko Yoshida. 401-418 [doi]
- PVAIR: Partial Variable Assignment InterpolatoRPavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina. 419-434 [doi]