| 2019 | Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification. | Diego Marmsoler |
| 2019 | Correct and Efficient Antichain Algorithms for Refinement Checking. | Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse |
| 2019 | Causal-Consistent Replay Debugging for Message Passing Programs. | Ivan Lanese, Adrin Palacios, Germn Vidal |
| 2019 | Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes. | Jannik Hls, Anne Remke |
| 2019 | Declarative Choreographies and Liveness. | Thomas T. Hildebrandt, Tijs Slaats, Hugo A. Lpez, Sren Debois, Marco Carbone |
| 2019 | Component-aware Input-Output Conformance. | Alexander Graf-Brill, Holger Hermanns |
| 2019 | Output-Sensitive Information Flow Analysis. | Cristian Ene, Laurent Mounier, Marie-Laure Potet |
| 2019 | Semantically Sound Analysis of Content Security Policies. | Stefano Calzavara, Alvise Rabitti, Michele Bugliesi |
| 2019 | Only Connect, Securely. | Chandrika Bhardwaj, Sanjiva Prasad |
| 2019 | Parametric Statistical Model Checking of UAV Flight Plan. | Ran Bao, J. Christian Attiogb, Benot Delahaye, Paulin Fournier, Didier Lime |
| 2019 | On a Higher-Order Calculus of Computational Fields. | Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal |
| 2019 | Parametric Updates in Parametric Timed Automata. | tienne Andr, Didier Lime, Mathias Ramparison |
| 2019 | Squeezing Streams and Composition of Self-stabilizing Algorithms. | Karine Altisen, Pierre Corbineau, Stphane Devismes |
| 2018 | Preserving Contract Satisfiability Under Non-monotonic Composition. | Jonas Westman, Mattias Nyberg |
| 2018 | On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency. | Kim Vllinger, Samira Akili |
| 2018 | Information Flow Tracking for Side-Effectful Libraries. | Alexander Sjsten, Daniel Hedin, Andrei Sabelfeld |
| 2018 | Parameter Synthesis Algorithms for Parametric Interval Markov Chains. | Laure Petrucci, Jaco van de Pol |
| 2018 | A Calculus for Modeling Floating Authorizations. | Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira |
| 2018 | Relating Process Languages for Security and Communication Correctness (Extended Abstract). | Daniele Nantes, Jorge A. Prez |
| 2018 | A Modest Security Analysis of Cyber-Physical Systems: A Case Study. | Ruggero Lanotte, Massimo Merro, Andrei Munteanu |
| 2018 | Monotonic Prefix Consistency in Distributed Systems. | Alain Girault, Gregor Gler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi |
| 2018 | Applied Choreographies. | Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli |
| 2018 | A Distributed Coordination Infrastructure for Attribute-Based Interaction. | Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti |
| 2017 | Creating Bchi Automata for Multi-valued Model Checking. | Stefan J. J. Vijzelaar, Wan J. Fokkink |
| 2017 | Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. | Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |