John Mullins

According to our database, John Mullins authored at least 58 papers between 1992 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Bounded opacity for timed systems.

Ikhlass Ammar, Yamen El Touati, Moez Yeddes, John Mullins

J. Inf. Secur. Appl., 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

On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods.

Paulina Stevia Nouwou Mindom, Amin Nikanjam, Foutse Khomh, John Mullins

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2019

Iterative integration of TTEthernet network flows.

Sofiene Beji, Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi

Int. J. Crit. Comput. Based Syst., 2019

2018

Opacity for linear constraint Markov chains.

Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas

Discret. Event Dyn. Syst., 2018

Concurrent Secrets with Quantified Suspicion.

Loïc Hélouët, Hervé Marchand, John Mullins

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017

Non-interference in Partial Order Models.

Béatrice Bérard, Loïc Hélouët, John Mullins

ACM Trans. Embed. Comput. Syst., 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

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

Proceedings of the IEEE 60th International Midwest Symposium on Circuits and Systems, 2017

2016

A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet.

Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi

Proceedings of the Theoretical Information Reuse and Integration, 2016

Time-Triggered Ethernet Metamodel: Design and Application.

Tiyam Robati, Amine El Kouhen, Abdelouahed Gherbi, John Mullins

J. Softw., 2016

Preserving opacity on Interval Markov Chains under simulation.

Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas

Proceedings of the 13th International Workshop on Discrete Event Systems, 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

Proceedings of the System Analysis and Modeling. Technology-Specific Aspects of Models, 2016

A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernet.

Tiyam Robati, Abdelouahed Gherbi, John Mullins

Proceedings of the 7th International Conference on Ambient Systems, 2016

2015

Quantifying opacity.

Béatrice Bérard, John Mullins, Mathieu Sassolas

Math. Struct. Comput. Sci., 2015

Probabilistic Opacity in Refinement-Based Modeling.

Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas

CoRR, 2015

Simulation-Based Verification of Avionic Systems Deployed on IMA Architectures.

Tiyam Robati, Amine El Kouhen, Abdelouahed Gherbi, John Mullins

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

A Time-Triggered Constraint-Based Calculus for Avionic Systems.

Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi, Sofiene Beji

Proceedings of the 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2015

Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus.

Sardaouna Hamadou, John Mullins, Christophe Chareton, Abdelouahed Gherbi

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

2014

Verification of Information Flow Properties under Rational Observation.

Béatrice Bérard, John Mullins

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Opacity with Orwellian Observers and Intransitive Non-Interference.

John Mullins, Moez Yeddes

Proceedings of the 12th International Workshop on Discrete Event Systems, 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

Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

SMT-Based Cost Optimization Approach for the Integration of Avionic Functions in IMA and TTEthernet Architectures.

Sofiene Beji, Sardaouna Hamadou, Abdelouahed Gherbi, John Mullins

Proceedings of the 18th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2014

2013

Towards a formal analysis of dynamic reconfiguration in WS-BPEL.

Faisal Abouzaid, Manuel Mazzara, John Mullins, Nafees Qamar

Intell. Decis. Technol., 2013

Cost Optimization Strategy for Iterative Integration of Multi-critical Functions in IMA and TTEthernet Architecture.

Michaël Lauer, John Mullins, Moez Yeddes

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

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

Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus.

Faisal Abouzaid, John Mullins, Manuel Mazzara, Nicola Dragoni

Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012

2010

Calibrating the power of schedulers for probabilistic polynomial-time calculus.

Sardaouna Hamadou, John Mullins

J. Comput. Secur., 2010

2009

Model-checking Web Services Orchestrations using BP-calculus.

Faisal Abouzaid, John Mullins

Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

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

2008

Formal Specification of Correlation in WS Orchestrations Using BP-calculus.

Faisal Abouzaid, John Mullins

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

2007

A Probabilistic Scheduler for the Analysis of Cryptographic Protocols.

Srecko Brlek, Sardaouna Hamadou, John Mullins

Proceedings of the Fifth Workshop on Security Issues in Concurrency, 2007

A Calculus for Generation, Verification and Refinement of BPEL Specifications.

Faisal Abouzaid, John Mullins

Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007

Queue Management as a DoS Counter-Measure?

Daniel Boteanu, José M. Fernandez, John McHugh, John Mullins

Proceedings of the Information Security, 10th International Conference, 2007

Model Checking of Extended OCL Constraints on UML Models in SOCLe.

John Mullins, Raveca Oarga

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

2006

Editorial.

Siva Anantharaman, Paul Gastin, Gaétan Hains, John Mullins, Michaël Rusinowitch

J. Autom. Lang. Comb., 2006

A flaw in the electronic commerce protocol SET.

Srecko Brlek, Sardaouna Hamadou, John Mullins

Inf. Process. Lett., 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 History-Based Framework to Build Trust Management Systems.

Samuel Galice, Véronique Legrand, Marine Minier, John Mullins, Stéphane Ubéda

Proceedings of the Second International Conference on Security and Privacy in Communication Networks and the Workshops, 2006

Cryptographic Protocol to Establish Trusted History of Interactions.

Samuel Galice, Marine Minier, John Mullins, Stéphane Ubéda

Proceedings of the Security and Privacy in Ad-Hoc and Sensor Networks, 2006

Some Remarks on the Certificates Registration of the Electronic Commerce Protocol SET.

Srecko Brlek, Sardaouna Hamadou, John Mullins

Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

2005

On the verification of intransitive noninterference in multilevel security.

Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Mohamed Moez Yeddes

IEEE Trans. Syst. Man Cybern. Part B, 2005

Characterizing intransitive noninterference for 3-domain security policies with observability.

Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Moez Yeddes

IEEE Trans. Autom. Control., 2005

Non-Interference Control Synthesis for Security Timed Automata.

Guillaume Gardey, John Mullins, Olivier H. Roux

Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, 2005

Anonymous and Secure Electronic Transaction protocol.

Srecko Brlek, Sardaouna Hamadou, John Mullins

Ann. des Télécommunications, 2005

Admissible Interference by Typing for Cryptographic Protocols.

Alaaeddine Fellah, John Mullins

Proceedings of the Information and Communications Security, 7th International Conference, 2005

2004

An algorithmic approach to verification of intransitive non-interference in security policies.

Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Moez Yeddes

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003

Analyse des réseaux temporels. Calcul des classes en O(n²) et des temps de chemin en O(m x n).

Hanifa Boucheneb, John Mullins

Tech. Sci. Informatiques, 2003

An Information Flow Method to Detect Denial of Service Vulnerabilities.

Stéphane Lafrance, John Mullins

J. Univers. Comput. Sci., 2003

Using Admissible Interference to Detect Denial of Service Vulnerabilities.

Stéphane Lafrance, John Mullins

Proceedings of the 6th International Workshop on Formal Methods, 2003

2002

Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols.

Stéphane Lafrance, John Mullins

Proceedings of the Computing: the Australasian Theory Symposium, 2002

2001

Concrete data structures and functional parallel programming.

Gaétan Hains, Frédéric Loulergue, John Mullins

Theor. Comput. Sci., 2001

2000

Nondeterministic Admissible Interference.

John Mullins

J. Univers. Comput. Sci., 2000

1997

On an Effective Hierarchy of Communicating Processes: Separation Principle and Testing.

John Mullins

Theor. Comput. Sci., 1997

Linear Logic.

Jules Desharnais, Bernard Hodgson, John Mullins

Proceedings of the Relational Methods in Computer Science., 1997

1996

Array Structures and Data-Parallel Algorithms.

Gaétan Hains, John Mullins

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995

A Metacircular Data-Parallel Functional Language.

Gaétan Hains, John Mullins

Proceedings of the Euro-Par '95 Parallel Processing, 1995

1992

Kleene Automata and Recursion Theory.

John Mullins

Proceedings of the Logical Foundations of Computer Science, 1992