| 2014 | Denial-of-Service Security Attack in the Continuous-Time World. | Shuling Wang, Flemming Nielson, Hanne Riis Nielson |
| 2014 | Uniform Protection for Multi-exposed Targets. | Roberto Vigo, Flemming Nielson, Hanne Riis Nielson |
| 2014 | Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances. | David Romero-Hernndez, David de Frutos-Escrig |
| 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 | Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. | Rocco De Nicola, Giulio Iacobelli, Mirco Tribastone |
| 2014 | On the Step Branching Time Closure of Free-Choice Petri Nets. | Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz |
| 2014 | Effectiveness for Input Output Conformance Simulation iocos̱. | Carlos Gregorio-Rodrguez, Luis Llana, Rafael Martnez-Torres |
| 2014 | A Model-Based Certification Framework for the EnergyBus Standard. | Alexander Graf-Brill, Holger Hermanns, Hubert Garavel |
| 2014 | Efficient and Generalized Decentralized Monitoring of Regular Languages. | Ylis Falcone, Tom Cornebize, Jean-Claude Fernandez |
| 2014 | Verifying Security Policies Using Host Attributes. | Cornelius Diekmann, Stephan-Alexander Posselt, Heiko Niedermayer, Holger Kinkelin, Oliver Hanka, Georg Carle |
| 2014 | Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. | Sren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida |
| 2014 | Formal Verification of Complex Properties on PLC Programs. | Dniel Darvas, Borja Fernandez Adiego, Andrs Vrs, Tams Bartha, Enrique Blanco Viuela, Vctor M. Gonzlez Surez |
| 2014 | A Program Logic for Verifying Secure Routing Protocols. | Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo |
| 2014 | Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries. | Michele Boreale, Francesca Pampaloni |
| 2014 | Mechanizing the Minimization of Deterministic Generalized Bchi Automata. | Souheib Baarir, Alexandre Duret-Lutz |
| 2014 | Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. | Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa |
| 2013 | Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels. | Jay Thakkar, Aditya Kanade, Rajeev Alur |
| 2013 | Probabilistic Analysis of the Quality Calculus. | Hanne Riis Nielson, Flemming Nielson |
| 2013 | A Case Study in Formal Verification Using Multiple Explicit Heaps. | Wojciech Mostowski |
| 2013 | Bounded Model Checking of Graph Transformation Systems via SMT Solving. | Tobias Isenberg, Dominik Steenken, Heike Wehrheim |
| 2013 | Passive Testing with Asynchronous Communications. | Robert M. Hierons, Mercedes G. Merayo, Manuel Nez |
| 2013 | Model Checking Distributed Systems against Temporal-Epistemic Specifications. | Andreas Griesmayer, Alessio Lomuscio |
| 2013 | Input-Output Conformance Simulation (iocos) for Model Based Testing. | Carlos Gregorio-Rodrguez, Luis Llana, Rafael Martnez-Torres |
| 2013 | May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects. | Antonio Flores-Montoya, Elvira Albert, Samir Genaim |
| 2013 | Formal Verification of Distributed Branching Multiway Synchronization Protocols. | Hugues Evrard, Frdric Lang |