| 2019 | Static Detection of Event-Driven Races in HTML5-Based Mobile Apps. | Phi Tuong Lau |
| 2019 | Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules. | Philippe Glanon, Selma Azaiez, Chokri Mraidha |
| 2019 | Modeling Concurrent Behaviors as Words. | Yohan Boichut, Jean-Michel Couvreur, Xavier Ferry, Mohamadou Tafsir Sakho |
| 2019 | Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems. | Ayman Aljarbouh |
| 2019 | Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis. | Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey |
| 2019 | Analysing Security Protocols Using Scenario Based Simulation. | Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon |
| 2018 | How to Be Sure a Faulty System Does Not Always Appear Healthy? | Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandn Briones, Agnes Madalinski |
| 2018 | MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. | Rui Wang, Lars Michael Kristensen, Volker Stolz |
| 2018 | Modelling and Verification of Dynamic Role-Based Access Control. | Inna Vistbakka, Elena Troubitsyna |
| 2018 | Improving Parallel State-Space Exploration Using Genetic Algorithms. | Etienne Renault |
| 2018 | LTL Model-Checking for Communicating Concurrent Programs. | Adrien Pommellet, Tayssir Touili |
| 2018 | Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments. | Roua Ben Hamouda, Sabrine Boussema, Imene Ben Hafaiedh, Riadh Robbana |
| 2018 | The State of Fault Injection Vulnerability Detection. | Thomas Given-Wilson, Nisrine Jafri, Axel Legay |
| 2018 | A Protocol for Constraint Automata Execution in a Synchronous Network of Processors. | Alireza Farhadi, Mohammad Izadi, Jafar Habibi |
| 2018 | Analysis of a Road/Tramway Intersection by the ORIS Tool. | Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario |
| 2018 | Toward Implicit Learning for the Compositional Verification of Markov Decision Processes. | Redouane Bouchekir, Mohand Cherif Boukala |
| 2018 | Orchestration Synthesis for Real-Time Service Contracts. | Davide Basile, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez |
| 2018 | Exploiting Local Persistency for Reduced State Space Generation. | Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li |
| 2018 | Replacing Store Buffers by Load Buffers in TSO. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo |
| 2017 | Factor-Based C-AMAT Analysis for Memory Optimization. | Qi Yu, Libo Huang, Cheng Qian, Jianqiao Ma, Zhiying Wang |
| 2017 | Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking. | Sana Youns, Momtez Benmbarek |
| 2017 | Intertwined Global Optimization Based Reachability Analysis. | Ibtissem Seghaier, Sofine Tahar |
| 2017 | Regression-Based Statistical Bounds on Software Execution Time. | Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros |
| 2017 | WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction. | Armel Mangean, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou |
| 2017 | Uppaal vs Event-B for Modelling Optimised Link State Routing. | Mojgan Kamali, Luigia Petre |