According to our database1, Mathieu Sassolas authored at least 13 papers between 2010 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Opacity for linear constraint Markov chains.
Discrete Event Dynamic Systems, 2018
Modeling DoS attacks in WSNs with quantitative games.
Proceedings of the IEEE International Conference on Communications, 2017
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
Polynomial Interrupt Timed Automata.
Proceedings of the Reachability Problems - 9th International Workshop, 2015
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
Interrupt Timed Automata: verification and expressiveness.
Formal Methods in System Design, 2012
Concurrent Games on VASS with Inhibition.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012
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.
Software and System Modeling, 2011
Channel Synthesis for Finite Transducers.
Proceedings of the Automata and Formal Languages, 13th International Conference, 2011
Real Time Properties for Interrupt Timed Automata.
Proceedings of the TIME 2010, 2010
Proceedings of the QEST 2010, 2010