| 2018 | Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers Fabio Fioravanti, John P. Gallagher |
| 2017 | A Certified Reference Validation Mechanism for the Permission Model of Android. Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna |
| 2017 | A Constructor-Based Reachability Logic for Rewrite Theories. Stephen Skeirik, Andrei Stefanescu, José Meseguer |
| 2017 | A Rule-Based Approach to Analyzing Database Schema Objects with Datalog. Christiane Engels, Andreas Behrend, Stefan Brass |
| 2017 | Analysis of Rewriting-Based Systems as First-Order Theories. Salvador Lucas |
| 2017 | CARET Analysis of Multithreaded Programs. Huu-Vu Nguyen, Tayssir Touili |
| 2017 | Combining Static and Dynamic Contract Checking for Curry. Michael Hanus |
| 2017 | Confluence and Convergence in Probabilistically Terminating Reduction Systems. Maja H. Kirkeby, Henning Christiansen |
| 2017 | Context Generation from Formal Specifications for C Analysis Tools. Michele Alberti, Julien Signoles |
| 2017 | Deadlock Detection of Java Bytecode. Cosimo Laneve, Abel Garcia |
| 2017 | Erlang Code Evolution Control. David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit |
| 2017 | Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures. Hassan Aït-Kaci, Gabriella Pasi |
| 2017 | Generation of Initial Contexts for Effective Deadlock Detection. Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel |
| 2017 | Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo |
| 2017 | Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms. Thom W. Frühwirth |
| 2017 | Liveness-Driven Random Program Generation. Gergö Barany |
| 2017 | Nominal C-Unification. Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho |
| 2017 | On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms. Olivier Bodini, Paul Tarau |
| 2017 | Predicate Pairing with Abstraction for Relational Verification. Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2017 | Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. Raúl Gutiérrez, José Meseguer |