John Mullins - RankMe

67 papers C 5Misc 2Journal 31Unranked 27

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