John Mullins

Identifiers

No identifiers captured yet.

Papers (4)

1. Probabilistic Opacity in Refinement-Based Modeling cs.CR · 2015 · author #3
2. A Time-Triggered Constraint-Based Calculus for Avionic Systems cs.SE · 2014 · author #3
3. Verification of Information Flow Properties under Rational Observation cs.CR · 2014 · author #2
4. Opacity with Orwellian Observers and Intransitive Non-interference cs.CR · 2013 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• B\'eatrice B\'erard 2 shared papers
• Abdelouahed Gherbi 1 shared papers
• Mathieu Sassolas 1 shared papers
• Moez Yeddes 1 shared papers
• Olga Kouchnarenko 1 shared papers
• Sardaouna Hamadou 1 shared papers
• Sofiene Beji 1 shared papers