Concepedia

Mathieu Sassolas

MS

Statistics

Publications

6

Citations

144

H-Index

6

Active since

2010

Affiliations

Sorbonne Université(Current)

Centre National de la Recherche Scientifique

École Normale Supérieure Paris-Saclay

Polytechnique Montréal

Mathieu Sassolas is an author at Sorbonne Université specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsAutomated ReasoningSystems EngineeringCryptographyData PrivacyVerificationData Security

Publications per year

2010–2014

6

Publications

6

Quantifying opacity

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

Engineering, Information Security, Information Leakage +13

The complexity of admissibility in Omega-regular games

Romain Brenguier, Jean-François Raskin, Mathieu Sassolas · 2014 · 28 citations · Full text

Mathematical Programming, Engineering, Iterated Elimination +17

Quantifying Opacity

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

Quantitative Information Leakage, Engineering, Information Security +15

Interrupt Timed Automata: verification and expressiveness

Béatrice Bérard, Serge Haddad, Mathieu Sassolas · Formal Methods in System Design · 2012 · 22 citations · Full text

Interrupt Timed Automata, Logical Automaton, Engineering +10

Exploring inconsistencies between modal transition systems

Mathieu Sassolas, Marsha Chećhik, Sebastián Uchitel · Software & Systems Modeling · 2010 · 12 citations

Modal Transition Systems, Engineering, Automated Reasoning +4

1–5 of 6