Mathieu Sassolas

According to our database1, Mathieu Sassolas authored at least 17 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Pessimism of the Will, Optimism of the Intellect: Fair Protocols with Malicious but Rational Agents.
CoRR, 2024

2021
Polynomial interrupt timed automata: Verification and expressiveness.
Inf. Comput., 2021

2018
Detection of security vulnerabilities in C language applications.
Secur. Priv., 2018

Opacity for linear constraint Markov chains.
Discret. Event Dyn. Syst., 2018

2017
Modeling DoS attacks in WSNs with quantitative games.
Proceedings of the IEEE International Conference on Communications, 2017

2016
Preserving opacity on Interval Markov Chains under simulation.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Non-Zero Sum Games for Reactive Synthesis.
Proceedings of the Language and Automata Theory and Applications, 2016

2015
Quantifying opacity.
Math. Struct. Comput. Sci., 2015

Probabilistic Opacity in Refinement-Based Modeling.
CoRR, 2015

Polynomial Interrupt Timed Automata.
Proceedings of the Reachability Problems - 9th International Workshop, 2015

2014
The complexity of admissibility in Omega-regular games.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2012
Channel Synthesis for Finite Transducers.
Int. J. Found. Comput. Sci., 2012

Interrupt Timed Automata: verification and expressiveness.
Formal Methods Syst. Des., 2012

Concurrent Games on VASS with Inhibition.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011
Méthodes qualitatives et quantitatives pour la détection d'information cachée. (Qualitative and Quantitative Methods for Detection of Hidden Information).
PhD thesis, 2011

Exploring inconsistencies between modal transition systems.
Softw. Syst. Model., 2011

2010
Real Time Properties for Interrupt Timed Automata.
Proceedings of the TIME 2010, 2010


  Loading...