| 2014 | A Model-Based Certification Framework for the EnergyBus Standard. Alexander Graf-Brill, Holger Hermanns, Hubert Garavel |
| 2014 | A Program Logic for Verifying Secure Routing Protocols. Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo |
| 2014 | Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa |
| 2014 | Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances. David Romero-Hernández, David de Frutos-Escrig |
| 2014 | Denial-of-Service Security Attack in the Continuous-Time World. Shuling Wang, Flemming Nielson, Hanne Riis Nielson |
| 2014 | Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. Rocco De Nicola, Giulio Iacobelli, Mirco Tribastone |
| 2014 | Effectiveness for Input Output Conformance Simulation iocos̱. Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres |
| 2014 | Efficient and Generalized Decentralized Monitoring of Regular Languages. Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez |
| 2014 | Formal Specification and Verification of CRDTs. Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter |
| 2014 | Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings Erika Ábrahám, Catuscia Palamidessi |
| 2014 | Formal Verification of Complex Properties on PLC Programs. Dániel Darvas, Borja Fernandez Adiego, András Vörös, Tamás Bartha, Enrique Blanco Viñuela, Víctor M. González Suárez |
| 2014 | Mechanizing the Minimization of Deterministic Generalized Büchi Automata. Souheib Baarir, Alexandre Duret-Lutz |
| 2014 | Metrics for Differential Privacy in Concurrent Systems. Lili Xu, Konstantinos Chatzikokolakis, Huimin Lin |
| 2014 | On the Step Branching Time Closure of Free-Choice Petri Nets. Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz |
| 2014 | Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs. Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri E. Bal |
| 2014 | Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries. Michele Boreale, Francesca Pampaloni |
| 2014 | Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida |
| 2014 | Uniform Protection for Multi-exposed Targets. Roberto Vigo, Flemming Nielson, Hanne Riis Nielson |
| 2014 | Verifying Security Policies Using Host Attributes. Cornelius Diekmann, Stephan-Alexander Posselt, Heiko Niedermayer, Holger Kinkelin, Oliver Hanka, Georg Carle |