| 2021 | QRS | On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods. | Paulina Stevia Nouwou Mindom, Amin Nikanjam, Foutse Khomh, John Mullins |
| 2016 | ANT | A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernet. | Tiyam Robati, Abdelouahed Gherbi, John Mullins |
| 2015 | IRI | Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus. | Sardaouna Hamadou, John Mullins, Christophe Chareton, Abdelouahed Gherbi |
| 2015 | ISORC | A Time-Triggered Constraint-Based Calculus for Avionic Systems. | Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi, Sofiene Beji |
| 2015 | MODELS | Simulation-Based Verification of Avionic Systems Deployed on IMA Architectures. | Tiyam Robati, Amine El Kouhen, Abdelouahed Gherbi, John Mullins |
| 2014 | MODELS | An Extension for AADL to Model Mixed-Criticality Avionic Systems Deployed on IMA architectures with TTEthernet. | Robati Tiyam, Amine El Kouhen, Abdelouahed Gherbi, Sardaouna Hamadou, John Mullins |
| 2013 | COMPSAC | Cost Optimization Strategy for Iterative Integration of Multi-critical Functions in IMA and TTEthernet Architecture. | Michal Lauer, John Mullins, Moez Yeddes |
| 2006 | SecureComm | A History-Based Framework to Build Trust Management Systems. | Samuel Galice, Vronique Legrand, Marine Minier, John Mullins, Stphane Ubda |
| 2005 | ICICS | Admissible Interference by Typing for Cryptographic Protocols. | Alaaeddine Fellah, John Mullins |
| 1996 | EuroPar | Array Structures and Data-Parallel Algorithms. | Gatan Hains, John Mullins |
| 1995 | EuroPar | A Metacircular Data-Parallel Functional Language. | Gatan Hains, John Mullins |
| 1992 | LFCS | Kleene Automata and Recursion Theory. | John Mullins |