John Mullins

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 20

Top Topics

Reinforcement Learning Algorithms

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Paulina Stevia Nouwou Mindom, Amin Nikanjam, Foutse Khomh, John Mullins
On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods. QRS (2021)
Paulina Stevia Nouwou Mindom, Amin Nikanjam, Foutse Khomh, John Mullins
On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods. CoRR (2021)
Ikhlass Ammar, Yamen El Touati, John Mullins, Moez Yeddes
Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language. Int. J. Found. Comput. Sci. 32 (2) (2021)
Ikhlass Ammar, Yamen El Touati, Moez Yeddes, John Mullins
Bounded opacity for timed systems. J. Inf. Secur. Appl. 61 (2021)
Sofiene Beji, Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi
Iterative integration of TTEthernet network flows. Int. J. Crit. Comput. Based Syst. 9 (3) (2019)
Loïc Hélouët, Hervé Marchand, John Mullins
Concurrent Secrets with Quantified Suspicion. ACSD (2018)
Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas
Opacity for linear constraint Markov chains. Discret. Event Dyn. Syst. 28 (1) (2018)
Edmund Spencer, David Clark, Samuel Russ, Ravi Gollapalli, Dimitris Vassiliadis, Brannon Kerrigan, John Mullins, Jeffrey Mizell
First results from a time domain impedance probe for measuring plasma properties in the ionosphere. MWSCAS (2017)
Tiyam Robati, Abdelouahed Gherbi, Amine El Kouhen, John Mullins
Design and simulation of distributed IMA architectures using TTEthernet: a model-driven approach. J. Ambient Intell. Humaniz. Comput. 8 (3) (2017)
Béatrice Bérard, Loïc Hélouët, John Mullins
Non-interference in Partial Order Models. ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
Sofiene Beji, Abdelouahed Gherbi, John Mullins, Pierre-Emmanuel Hladik
Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network. SAM (2016)
Tiyam Robati, Amine El Kouhen, Abdelouahed Gherbi, John Mullins
Time-Triggered Ethernet Metamodel: Design and Application. J. Softw. 11 (10) (2016)
Tiyam Robati, Abdelouahed Gherbi, John Mullins
A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernet. ANT/SEIT (2016)
Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas
Preserving opacity on Interval Markov Chains under simulation. WODES (2016)
Béatrice Bérard, Loïc Hélouët, John Mullins
Non-interference in Partial Order Models. ACSD (2015)
Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas
Probabilistic Opacity in Refinement-Based Modeling. CoRR (2015)
Béatrice Bérard, John Mullins, Mathieu Sassolas
Quantifying opacity. Math. Struct. Comput. Sci. 25 (2) (2015)
Tiyam Robati, Amine El Kouhen, Abdelouahed Gherbi, John Mullins
Simulation-Based Verification of Avionic Systems Deployed on IMA Architectures. P&D@MoDELS (2015)
Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi, Sofiene Beji
A Time-Triggered Constraint-Based Calculus for Avionic Systems. ISORC Workshops (2015)
Sardaouna Hamadou, John Mullins, Christophe Chareton, Abdelouahed Gherbi
Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus. IRI (2015)
Sardaouna Hamadou, Abdelouahed Gherbi, John Mullins, Sofiene Beji
A Time-Triggered Constraint-Based Calculus for Avionic Systems. CoRR (2014)
John Mullins, Moez Yeddes
Opacity with Orwellian Observers and Intransitive Non-Interference. WODES (2014)
Robati Tiyam, Amine El Kouhen, Abdelouahed Gherbi, Sardaouna Hamadou, John Mullins
An Extension for AADL to Model Mixed-Criticality Avionic Systems Deployed on IMA architectures with TTEthernet. ACVI@MoDELS (2014)
Sofiene Beji, Sardaouna Hamadou, Abdelouahed Gherbi, John Mullins
SMT-Based Cost Optimization Approach for the Integration of Avionic Functions in IMA and TTEthernet Architectures. DS-RT (2014)
Béatrice Bérard, John Mullins
Verification of Information Flow Properties under Rational Observation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Béatrice Bérard, John Mullins
Verification of Information Flow Properties under Rational Observation. CoRR (2014)
Faisal Abouzaid, Manuel Mazzara, John Mullins, Nafees Qamar
Towards a formal analysis of dynamic reconfiguration in WS-BPEL. Intell. Decis. Technol. 7 (3) (2013)
Michaël Lauer, John Mullins, Moez Yeddes
Cost Optimization Strategy for Iterative Integration of Multi-critical Functions in IMA and TTEthernet Architecture. COMPSAC Workshops (2013)
John Mullins, Moez Yeddes
Opacity with Orwellian Observers and Intransitive Non-interference. CoRR (2013)
Béatrice Bérard, John Mullins, Mathieu Sassolas
Quantifying Opacity CoRR (2013)
Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas
Channel Synthesis for Finite Transducers. Int. J. Found. Comput. Sci. 23 (6) (2012)
Faisal Abouzaid, John Mullins, Manuel Mazzara, Nicola Dragoni
Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus. KES-AMSTA (2012)
Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas
Channel Synthesis for Finite Transducers. AFL (2011)
Faisal Abouzaid, John Mullins
Formal Specification of Correlation in WS Orchestrations Using BP-calculus. Electron. Notes Theor. Comput. Sci. 260 (2010)
Sardaouna Hamadou, John Mullins
Calibrating the power of schedulers for probabilistic polynomial-time calculus. J. Comput. Secur. 18 (2) (2010)
Béatrice Bérard, John Mullins, Mathieu Sassolas
Quantifying Opacity. QEST (2010)
Faisal Abouzaid, John Mullins
Model-checking Web Services Orchestrations using BP-calculus. Electron. Notes Theor. Comput. Sci. 255 (2009)
Domhnaill Hernon, Todd Salamon, Roger Kempers, Shankar Krishnan, Alan Lyons, Marc Hodes, Paul Kolodner, John Mullins, Liam McGarry
Thermal management: Enabling enhanced functionality and reduced carbon footprint. Bell Labs Tech. J. 14 (3) (2009)
Faisal Abouzaid, John Mullins
A Calculus for Generation, Verification and Refinement of BPEL Specifications. Electron. Notes Theor. Comput. Sci. 200 (3) (2008)
Guillaume Gardey, John Mullins, Olivier H. Roux
Non-Interference Control Synthesis for Security Timed Automata. Electron. Notes Theor. Comput. Sci. 180 (1) (2007)
Daniel Boteanu, José M. Fernandez, John McHugh, John Mullins
Queue Management as a DoS Counter-Measure? ISC (2007)
John Mullins, Raveca Oarga
Model Checking of Extended OCL Constraints on UML Models in SOCLe. FMOODS (2007)
Srecko Brlek, Sardaouna Hamadou, John Mullins
A Probabilistic Scheduler for the Analysis of Cryptographic Protocols. Electron. Notes Theor. Comput. Sci. 194 (1) (2007)
Siva Anantharaman, Paul Gastin, Gaétan Hains, John Mullins, Michaël Rusinowitch
Editorial. J. Autom. Lang. Comb. 11 (1) (2006)
Samuel Galice, Marine Minier, John Mullins, Stéphane Ubéda
Cryptographic Protocol to Establish Trusted History of Interactions. ESAS (2006)
Samuel Galice, Véronique Legrand, Marine Minier, John Mullins, Stéphane Ubéda
A History-Based Framework to Build Trust Management Systems. SecureComm (2006)
Srecko Brlek, Sardaouna Hamadou, John Mullins
Some Remarks on the Certificates Registration of the Electronic Commerce Protocol SET. AICT/ICIW (2006)
Srecko Brlek, Sardaouna Hamadou, John Mullins
A flaw in the electronic commerce protocol SET. Inf. Process. Lett. 97 (3) (2006)
Samuel Galice, Véronique Legrand, Marine Minier, John Mullins, Stéphane Ubéda
The KAA project: a trust policy point of view CoRR (2006)
Srecko Brlek, Sardaouna Hamadou, John Mullins
Anonymous and Secure Electronic Transaction protocol. Ann. des Télécommunications 60 (5-6) (2005)
Alaaeddine Fellah, John Mullins
Admissible Interference by Typing for Cryptographic Protocols. ICICS (2005)
Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Moez Yeddes
Characterizing intransitive noninterference for 3-domain security policies with observability. IEEE Trans. Autom. Control. 50 (6) (2005)
Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Mohamed Moez Yeddes
On the verification of intransitive noninterference in multilevel security. IEEE Trans. Syst. Man Cybern. Part B 35 (5) (2005)
Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Moez Yeddes
An algorithmic approach to verification of intransitive non-interference in security policies. CDC (2004)
Hanifa Boucheneb, John Mullins
) et des temps de chemin en O(m x n). Tech. Sci. Informatiques 22 (4) (2003)
Stéphane Lafrance, John Mullins
Using Admissible Interference to Detect Denial of Service Vulnerabilities. IWFM (2003)
John Mullins, Stéphane Lafrance
Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols. Inf. Softw. Technol. 45 (11) (2003)
Stéphane Lafrance, John Mullins
An Information Flow Method to Detect Denial of Service Vulnerabilities. J. Univers. Comput. Sci. 9 (11) (2003)
Stéphane Lafrance, John Mullins
Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols. Electron. Notes Theor. Comput. Sci. 61 (2002)
Gaétan Hains, Frédéric Loulergue, John Mullins
Concrete data structures and functional parallel programming. Theor. Comput. Sci. 258 (1-2) (2001)
John Mullins
Nondeterministic Admissible Interference. J. Univers. Comput. Sci. 6 (11) (2000)
John Mullins
On an Effective Hierarchy of Communicating Processes: Separation Principle and Testing. Theor. Comput. Sci. 174 (1-2) (1997)
Gaétan Hains, John Mullins
Array Structures and Data-Parallel Algorithms. Euro-Par, Vol. II (1996)
Gaétan Hains, John Mullins
A Metacircular Data-Parallel Functional Language. Euro-Par (1995)
John Mullins
Kleene Automata and Recursion Theory. LFCS (1992)