Mathieu Sassolas

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 7

Top Venues

CoRR

CSL-LICS

Discret. Event Dyn. Syst.

Math. Struct. Comput. Sci.

Pierre and Marie Curie University, Paris, France (PHD)

Education History

Pierre and Marie Curie University, Paris, France

PHD

Publications

Léonard Brice, Jean-François Raskin, Mathieu Sassolas, Guillaume Scerri, Marie van den Bogaard
Pessimism of the Will, Optimism of the Intellect: Fair Protocols with Malicious but Rational Agents. CoRR (2024)
Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
Polynomial interrupt timed automata: Verification and expressiveness. Inf. Comput. 277 (2021)
Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas
Opacity for linear constraint Markov chains. Discret. Event Dyn. Syst. 28 (1) (2018)
El Habib Boudjema, Christèle Faure, Mathieu Sassolas, Lynda Mokdad
Detection of security vulnerabilities in C language applications. Secur. Priv. 1 (1) (2018)
Quentin Monnet, Mathieu Sassolas, Lynda Mokdad
Modeling DoS attacks in WSNs with quantitative games. ICC (2017)
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas
Non-Zero Sum Games for Reactive Synthesis. LATA (2016)
Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas
Preserving opacity on Interval Markov Chains under simulation. WODES (2016)
Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
Polynomial Interrupt Timed Automata. CoRR (2015)
Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas
Probabilistic Opacity in Refinement-Based Modeling. CoRR (2015)
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas
Non-Zero Sum Games for Reactive Synthesis. CoRR (2015)
Béatrice Bérard, John Mullins, Mathieu Sassolas
Quantifying opacity. Math. Struct. Comput. Sci. 25 (2) (2015)
Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
Polynomial Interrupt Timed Automata. RP (2015)
Romain Brenguier, Jean-François Raskin, Mathieu Sassolas
The complexity of admissibility in Omega-regular games. CSL-LICS (2014)
Romain Brenguier, Jean-François Raskin, Mathieu Sassolas
The Complexity of Admissibility in Omega-Regular Games CoRR (2013)
Béatrice Bérard, John Mullins, Mathieu Sassolas
Quantifying Opacity CoRR (2013)
Béatrice Bérard, Serge Haddad, Mathieu Sassolas
Interrupt Timed Automata: verification and expressiveness CoRR (2012)
Béatrice Bérard, Serge Haddad, Mathieu Sassolas
Interrupt Timed Automata: verification and expressiveness. Formal Methods Syst. Des. 40 (1) (2012)
Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas
Channel Synthesis for Finite Transducers. Int. J. Found. Comput. Sci. 23 (6) (2012)
Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder
Concurrent Games on VASS with Inhibition. CONCUR (2012)
Mathieu Sassolas, Marsha Chechik, Sebastián Uchitel
Exploring inconsistencies between modal transition systems. Softw. Syst. Model. 10 (1) (2011)
Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas
Channel Synthesis for Finite Transducers. AFL (2011)
Béatrice Bérard, Serge Haddad, Mathieu Sassolas
Real Time Properties for Interrupt Timed Automata. TIME (2010)
Béatrice Bérard, John Mullins, Mathieu Sassolas
Quantifying Opacity. QEST (2010)

Mathieu Sassolas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mathieu Sassolas