Concepedia

John Mullins

JM

Statistics

Publications

15

Citations

372

H-Index

13

Active since

2002

Affiliations

Polytechnique Montréal(Current)

Manouba University

Université de Montréal

École de Technologie Supérieure

Centre National de la Recherche Scientifique

John Mullins is an author at Polytechnique Montréal specializing in computer science, computing, and engineering.

Publications per year

2002–2021

15

Publications

15

On the Verification of Intransitive Noninterference in Mulitlevel Security

Nejib Ben Hadj-Alouane, Stéphane Lafrance, John Mullins et al. · IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) · 2005 · 62 citations

Computing, Computer Science, Computer Systems +15

Quantifying opacity

Béatrice Bérard, John Mullins, Mathieu Sassolas · Mathematical Structures in Computer Science · 2014 · 44 citations · Full text

Engineering, Computer Science, Mathematics +11

A Calculus for Generation, Verification and Refinement of BPEL Specifications

Faisal Abouzaid, John Mullins · Electronic Notes in Theoretical Computer Science · 2008 · 30 citations · Full text

Computing, Computer Science, Information Systems +17

Non-Interference Control Synthesis for Security Timed Automata

Guillaume Gardey, John Mullins, Olivier Roux · Electronic Notes in Theoretical Computer Science · 2007 · 30 citations · Full text

Computing, Computer Engineering, Computer Science +17

Quantifying Opacity

Béatrice Bérard, John Mullins, Mathieu Sassolas · 2010 · 28 citations

Engineering, Computer Science, Mathematics +11

1–5 of 15