John Mullins

Identifiers

• name variant John Mullins 0.60 · backfill

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

• 1510.04316 #3 · backfill · confidence 0.70 John Mullins
• 1410.3694 #3 · backfill · confidence 0.70 John Mullins
• 1409.0871 #2 · backfill · confidence 0.70 John Mullins
• 1312.6426 #1 · backfill · confidence 0.70 John Mullins

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