Kleene Automata and Recursion Theory. - John Mullins (LFCS, 1992)

A Metacircular Data-Parallel Functional Language. - Gaétan Hains; John Mullins (Euro-Par, 1995)

Array Structures and Data-Parallel Algorithms. - Gaétan Hains; John Mullins (Euro-Par, Vol. II, 1996)

Linear Logic. - Jules Desharnais; Bernard Hodgson; John Mullins (Relational Methods in Computer Science, 1997)

On an Effective Hierarchy of Communicating Processes: Separation Principle and Testing. - John Mullins (Theor. Comput. Sci., 1997)

Nondeterministic Admissible Interference. - John Mullins (J. Univers. Comput. Sci., 2000)

Concrete data structures and functional parallel programming. - Gaétan Hains; Frédéric Loulergue; John Mullins (Theor. Comput. Sci., 2001)

Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols. - Stéphane Lafrance; John Mullins (CATS, 2002)

Using Admissible Interference to Detect Denial of Service Vulnerabilities. - Stéphane Lafrance; John Mullins (IWFM, 2003)

An Information Flow Method to Detect Denial of Service Vulnerabilities. - Stéphane Lafrance; John Mullins (J. Univers. Comput. Sci., 2003)

Analyse des réseaux temporels. Calcul des classes en O(n2) et des temps de chemin en O(m x n). - Hanifa Boucheneb; John Mullins (Tech. Sci. Informatiques, 2003)

An algorithmic approach to verification of intransitive non-interference in security policies. - Nejib Ben Hadj-Alouane; Stéphane Lafrance; Feng Lin 001; John Mullins; Moez Yeddes (CDC, 2004)

Admissible Interference by Typing for Cryptographic Protocols. - Alaaeddine Fellah; John Mullins (ICICS, 2005)

Anonymous and Secure Electronic Transaction protocol. - Srecko Brlek; Sardaouna Hamadou; John Mullins (Ann. des Télécommunications, 2005)

Non-Interference Control Synthesis for Security Timed Automata. - Guillaume Gardey; John Mullins; Olivier H. Roux (SecCO@CONCUR, 2005)

Characterizing intransitive noninterference for 3-domain security policies with observability. - Nejib Ben Hadj-Alouane; Stéphane Lafrance; Feng Lin 001; John Mullins; Moez Yeddes (IEEE Trans. Autom. Control., 2005)

On the verification of intransitive noninterference in multilevel security. - Nejib Ben Hadj-Alouane; Stéphane Lafrance; Feng Lin 001; John Mullins; Mohamed Moez Yeddes (IEEE Trans. Syst. Man Cybern. Part B, 2005)

Some Remarks on the Certificates Registration of the Electronic Commerce Protocol SET. - Srecko Brlek; Sardaouna Hamadou; John Mullins (AICT/ICIW, 2006)

Cryptographic Protocol to Establish Trusted History of Interactions. - Samuel Galice; Marine Minier; John Mullins; Stéphane Ubéda (ESAS, 2006)

A History-Based Framework to Build Trust Management Systems. - Samuel Galice; Véronique Legrand; Marine Minier; John Mullins; Stéphane Ubéda (SecureComm, 2006)

The KAA project: a trust policy point of view - Samuel Galice; Véronique Legrand; Marine Minier; John Mullins; Stéphane Ubéda (CoRR, 2006)

A flaw in the electronic commerce protocol SET. - Srecko Brlek; Sardaouna Hamadou; John Mullins (Inf. Process. Lett., 2006)

Editorial. - Siva Anantharaman; Paul Gastin; Gaétan Hains; John Mullins; Michaël Rusinowitch (J. Autom. Lang. Comb., 2006)

Model Checking of Extended OCL Constraints on UML Models in SOCLe. - John Mullins; Raveca Oarga (FMOODS, 2007)

Queue Management as a DoS Counter-Measure? - Daniel Boteanu; José M. Fernandez 001; John McHugh; John Mullins (ISC, 2007)

A Calculus for Generation, Verification and Refinement of BPEL Specifications. - Faisal Abouzaid; John Mullins (WWV, 2007)

A Probabilistic Scheduler for the Analysis of Cryptographic Protocols. - Srecko Brlek; Sardaouna Hamadou; John Mullins (SecCO@CONCUR, 2007)

Formal Specification of Correlation in WS Orchestrations Using BP-calculus. - Faisal Abouzaid; John Mullins (FACS, 2008)

Thermal management: Enabling enhanced functionality and reduced carbon footprint. - Domhnaill Hernon; Todd Salamon; Roger Kempers; Shankar Krishnan; Alan Lyons; Marc Hodes; Paul Kolodner; John Mullins; Liam McGarry (Bell Labs Tech. J., 2009)

Model-checking Web Services Orchestrations using BP-calculus. - Faisal Abouzaid; John Mullins (FOCLASA, 2009)

Calibrating the power of schedulers for probabilistic polynomial-time calculus. - Sardaouna Hamadou; John Mullins (J. Comput. Secur., 2010)

Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus. - Faisal Abouzaid; John Mullins; Manuel Mazzara; Nicola Dragoni (KES-AMSTA, 2012)

Channel Synthesis for Finite Transducers. - Gilles Benattar; Béatrice Bérard; Didier Lime; John Mullins; Olivier H. Roux; Mathieu Sassolas (Int. J. Found. Comput. Sci., 2012)

Cost Optimization Strategy for Iterative Integration of Multi-critical Functions in IMA and TTEthernet Architecture. - Michaël Lauer; John Mullins; Moez Yeddes (COMPSAC Workshops, 2013)

Towards a formal analysis of dynamic reconfiguration in WS-BPEL. - Faisal Abouzaid; Manuel Mazzara; John Mullins; Nafees Qamar (Intell. Decis. Technol., 2013)

SMT-Based Cost Optimization Approach for the Integration of Avionic Functions in IMA and TTEthernet Architectures. - Sofiene Beji; Sardaouna Hamadou; Abdelouahed Gherbi; John Mullins (DS-RT, 2014)

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 (ACVI@MoDELS, 2014)

Opacity with Orwellian Observers and Intransitive Non-Interference. - John Mullins; Moez Yeddes (WODES, 2014)

Verification of Information Flow Properties under Rational Observation. - Béatrice Bérard; John Mullins (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus. - Sardaouna Hamadou; John Mullins; Christophe Chareton; Abdelouahed Gherbi (IRI, 2015)

A Time-Triggered Constraint-Based Calculus for Avionic Systems. - Sardaouna Hamadou; John Mullins; Abdelouahed Gherbi; Sofiene Beji (ISORC Workshops, 2015)

Simulation-Based Verification of Avionic Systems Deployed on IMA Architectures. - Tiyam Robati; Amine El Kouhen; Abdelouahed Gherbi; John Mullins (P&D@MoDELS, 2015)

Probabilistic Opacity in Refinement-Based Modeling. - Béatrice Bérard; Olga Kouchnarenko; John Mullins; Mathieu Sassolas (CoRR, 2015)

Quantifying opacity. - Béatrice Bérard; John Mullins; Mathieu Sassolas (Math. Struct. Comput. Sci., 2015)

A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernet. - Tiyam Robati; Abdelouahed Gherbi; John Mullins (ANT/SEIT, 2016)

Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network. - Sofiene Beji; Abdelouahed Gherbi; John Mullins; Pierre-Emmanuel Hladik (SAM, 2016)

Preserving opacity on Interval Markov Chains under simulation. - Béatrice Bérard; Olga Kouchnarenko; John Mullins; Mathieu Sassolas (WODES, 2016)

Time-Triggered Ethernet Metamodel: Design and Application. - Tiyam Robati; Amine El Kouhen; Abdelouahed Gherbi; John Mullins (J. Softw., 2016)

A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet. - Sardaouna Hamadou; John Mullins; Abdelouahed Gherbi (Theoretical Information Reuse and Integration, 2016)

First results from a time domain impedance probe for measuring plasma properties in the ionosphere. - Edmund Spencer; David Clark; Samuel Russ; Ravi Gollapalli; Dimitris Vassiliadis; Brannon Kerrigan; John Mullins; Jeffrey Mizell (MWSCAS, 2017)

Design and simulation of distributed IMA architectures using TTEthernet: a model-driven approach. - Tiyam Robati; Abdelouahed Gherbi; Amine El Kouhen; John Mullins (J. Ambient Intell. Humaniz. Comput., 2017)

Non-interference in Partial Order Models. - Béatrice Bérard; Loïc Hélouët; John Mullins (ACM Trans. Embed. Comput. Syst., 2017)

Concurrent Secrets with Quantified Suspicion. - Loïc Hélouët; Hervé Marchand; John Mullins (ACSD, 2018)

Opacity for linear constraint Markov chains. - Béatrice Bérard; Olga Kouchnarenko; John Mullins; Mathieu Sassolas (Discret. Event Dyn. Syst., 2018)

Iterative integration of TTEthernet network flows. - Sofiene Beji; Sardaouna Hamadou; John Mullins; Abdelouahed Gherbi (Int. J. Crit. Comput. Based Syst., 2019)

On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods. - Paulina Stevia Nouwou Mindom; Amin Nikanjam; Foutse Khomh; John Mullins (QRS, 2021)

Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language. - Ikhlass Ammar; Yamen El Touati; John Mullins; Moez Yeddes (Int. J. Found. Comput. Sci., 2021)

Bounded opacity for timed systems. - Ikhlass Ammar; Yamen El Touati; Moez Yeddes; John Mullins (J. Inf. Secur. Appl., 2021)