Recherche
Thèmes de recherche
- Vérification des systèmes temporisés
- Contrôle et synthèse
- Applications à la sécurité des systèmes d'information
- Théorie des jeux
Publications (en)
- avec Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din. Polynomial Interrupt Timed Automata: Verification and Expressiveness. Information and Computation, 2018. À paraître.BibTeX@article{ic18,
title = {Polynomial Interrupt Timed Automata: Verification and Expressiveness},
author = {B{\'e}rard, B{\'e}atrice and Haddad, Serge and Picaronny, Claudine and Safey El Din, Mohab and Sassolas, Mathieu},
journal = {Information and Computation},
year = {2018},
publisher = {Elsevier},
note = {To appear.},
}
- avec Béatrice Bérard, Olga Kouchnarenko, John Mullins. Opacity for Linear Constraint Markov Chains. Discrete Event Dynamic Systems 28(1), mars 2018. PDFPage de l'éditeurBibTeX@article{deds18,
title = {Opacity for Linear Constraint Markov Chains},
author = {B{\'e}rard, B{\'e}atrice and Kouchnarenko, Olga and Mullins, John and Sassolas, Mathieu},
journal = {Discrete Event Dynamic Systems},
month = mar,
year = {2018},
volume = {28},
number = {1},
publisher = {Springer},
pages = {83--108},
numpages = {26},
}
- avec El Habib Boudjema, Christèle Faure, Lynda Mokdad. Detection of security vulnerabilities in C language applications. Security and Privacy 1(1), février 2018. PDFPage de l'éditeurBibTeX@article{spy18,
title = {Detection of security vulnerabilities in {C} language applications},
author = {Boudjema, El Habib and Faure, Christ{\`e}le and Sassolas, Mathieu and Mokdad, Lynda},
journal = {Security and Privacy},
month = feb,
year = {2018},
volume = {1},
number = {1},
publisher = {Wiley},
pages = {1--26},
numpages = {26},
}
- avec Quentin Monnet, Lynda Mokdad. Modeling DoS Attacks in WSNs with Quantitative Games. IEEE International Conference on Communications, 21-25 mai 2017, Paris, France. PDFPage de l'éditeurBibTeX@inproceedings{icc17,
title = {Modeling {DoS} Attacks in {WSN}s with Quantitative Games},
author = {Monnet, Quentin and Sassolas, Mathieu and Mokdad, Lynda},
booktitle = {Proceedings of the {IEEE} International Conference on Communications},
month = may,
year = {2017},
editor = {Debbah, M{\'e}roune and Gesbert, David and Mellouk, Abdelhamid},
publisher = {{IEEE}},
pages = {1--6},
numpages = {6},
}
- avec Béatrice Bérard, Olga Kouchnarenko, John Mullins. Preserving Opacity on Interval Markov Chains under Simulation. 13th International Workshop on Discrete Event Systems (WODES'16), 30 mai-1er juin 2016, Xi'an, China. PDFPage de l'éditeurSur ArXivBibTeX@inproceedings{wodes16,
title = {Preserving Opacity on Interval Markov Chains under Simulation},
author = {B{\'e}rard, B{\'e}atrice and Kouchnarenko, Olga and Mullins, John and Sassolas, Mathieu},
booktitle = {Proceedings of the 13th International Workshop on Discrete Event Systems ({WODES}'16)},
month = jun,
year = {2016},
editor = {Cassandras, Christos G. and Giua, Alessandro and Li, Zhiwu},
publisher = {{IEEE}},
pages = {319--324},
numpages = {6},
}
- avec Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickaeël Randour, Jean-François Raskin, Ocan Sankur. Non-Zero Sum Games for Reactive Synthesis. 10th International Conference on Language and Automata Theory and Applications (LATA'16), 14-18 mars 2016, Prague, Czech Republic. PDFPage de l'éditeurBibTeX@inproceedings{lata16,
title = {Non-Zero Sum Games for Reactive Synthesis},
author = {Brenguier, Romain and Clemente, Lorenzo and Hunter, Paul and P{\'e}rez, Guillermo A. and Randour, Mickae{\"e}l and Raskin, Jean-Fran{\c c}ois and Sankur, Ocan and Sassolas, Mathieu},
booktitle = {Proceedings of the 10th International Conference on Language and Automata Theory and Applications ({LATA}'16)},
month = mar,
year = {2016},
editor = {Dediu, Adrian-Horia and Janou{\v s}ek, Jan and Mart{\'\i}n-Vide, Carlos and Truthe, Bianca},
volume = {9618},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
pages = {3--23},
numpages = {21},
}
- avec Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din. Polynomial Interrupt Timed Automata. 9th International Workshop on Reachability problems (RP'15), 21-23 septembre 2015, Warsaw, Poland. PDFPage de l'éditeurSur ArXivBibTeX@inproceedings{rp15,
title = {Polynomial {I}nterrupt {T}imed {A}utomata},
author = {B{\'e}rard, B{\'e}atrice and Haddad, Serge and Picaronny, Claudine and Safey El Din, Mohab and Sassolas, Mathieu},
booktitle = {Proceedings of the 9th International Workshop on Reachability problems ({RP}'15)},
month = sep,
year = {2015},
editor = {Boja{\'n}czyk, Miko{\l}aj and Lasota, S{\l}awomir and Potapov, Igor},
volume = {9328},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
pages = {20--32},
numpages = {13},
}
- avec Béatrice Bérard, John Mullins. Quantifying Opacity. Mathematical Structures in Computer Science 25(Special issue 2), février 2015. PDFPage de l'éditeurSur ArXivBibTeX@article{mscs15,
title = {Quantifying Opacity},
author = {B{\'e}rard, B{\'e}atrice and Mullins, John and Sassolas, Mathieu},
journal = {Mathematical Structures in Computer Science},
month = feb,
year = {2015},
volume = {25},
number = {Special issue 2},
publisher = {Cambridge University Press},
pages = {361--403},
numpages = {43},
}
- avec Romain Brenguier, Jean-François Raskin. The Complexity of Admissibility in Omega-Regular Games. Joint meeting of the 23rd Annual Conference on Computer Science Logic (CSL) and the 29th Annual Symposium on Logic in Computer Science (LICS), 14-18 juillet 2014, Vienna, Austria. PDFPage de l'éditeurSur ArXivBibTeX@inproceedings{lics14,
title = {The Complexity of Admissibility in Omega-Regular Games},
author = {Brenguier, Romain and Raskin, Jean-Fran{\c c}ois and Sassolas, Mathieu},
booktitle = {Proceedings of the joint meeting of the 23rd Annual Conference on Computer Science Logic ({CSL}) and the 29th Annual Symposium on Logic in Computer Science ({LICS})},
month = jul,
year = {2014},
editor = {Henzinger, Thomas A. and Miller, Dale},
publisher = {{ACM}},
pages = {23:1--23:10},
numpages = {10},
}
- avec Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux. Channel Synthesis for Finite Transducers. International Journal of Foundations of Computer Science 23(6), novembre 2012. PDFPage de l'éditeurBibTeX@article{ijfcs12,
title = {Channel Synthesis for Finite Transducers},
author = {Benattar, Gilles and B{\'e}rard, B{\'e}atrice and Lime, Didier and Mullins, John and Roux, Olivier H. and Sassolas, Mathieu},
journal = {International Journal of Foundations of Computer Science},
month = nov,
year = {2012},
volume = {23},
number = {6},
publisher = {World Scientific},
pages = {1241--1260},
numpages = {20},
}
- avec Béatrice Bérard, Serge Haddad, Nathalie Sznajder. Concurrent Games on VASS with Inhibition. 23rd International Conference on Concurrency Theory (CONCUR'12), 4-7 septembre 2012, Newcastle, UK. PDFBibTeX@inproceedings{concur12,
title = {Concurrent Games on {VASS} with Inhibition},
author = {B{\'e}rard, B{\'e}atrice and Haddad, Serge and Sassolas, Mathieu and Sznajder, Nathalie},
booktitle = {Proceedings of the 23rd International Conference on Concurrency Theory ({CONCUR}'12)},
month = sep,
year = {2012},
editor = {Koutny, Maciej and Ulidowski, Irek},
volume = {7454},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
pages = {39--52},
numpages = {14},
}
- avec Béatrice Bérard, Serge Haddad. Interrupt Timed Automata: Verification and Expressiveness. Formal Methods in System Design 40(1), février 2012. PDFPage de l'éditeurSur ArXivBibTeX@article{fmsd12,
title = {{I}nterrupt {T}imed {A}utomata: Verification and Expressiveness},
author = {B{\'e}rard, B{\'e}atrice and Haddad, Serge and Sassolas, Mathieu},
journal = {Formal Methods in System Design},
month = feb,
year = {2012},
volume = {40},
number = {1},
publisher = {Springer},
pages = {41--87},
numpages = {47},
}
- avec Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux. Channel Synthesis for Finite Transducers. 13th International Conference on Automata and Formal Languages (AFL'11), 17-22 août 2011, Debrecen, Hungary. PDFBibTeX@inproceedings{afl11,
title = {Channel Synthesis for Finite Transducers},
author = {Benattar, Gilles and B{\'e}rard, B{\'e}atrice and Lime, Didier and Mullins, John and Roux, Olivier H. and Sassolas, Mathieu},
booktitle = {Proceedings of the 13th International Conference on Automata and Formal Languages ({AFL}'11)},
month = aug,
year = {2011},
editor = {D{\"o}m{\"o}si, P{\'a}l and Szabolcs, Iv{\'a}n},
pages = {79--92},
numpages = {14},
}
- avec Marsha Chechik, Sebastian Uchitel. Exploring Inconsistencies between Modal Transition Systems. Journal of Software and Systems Modeling 10(1), février 2011. PDFPage de l'éditeurBibTeX@article{sosym11,
title = {Exploring Inconsistencies between {M}odal {T}ransition {S}ystems},
author = {Sassolas, Mathieu and Chechik, Marsha and Uchitel, Sebastian},
journal = {Journal of Software and Systems Modeling},
month = feb,
year = {2011},
volume = {10},
number = {1},
publisher = {Springer},
pages = {117--142},
numpages = {26},
}
- avec Béatrice Bérard, John Mullins. Quantifying Opacity. 7th International Conference on Quantitative Evaluation of Systems (QEST'10), 15-18 septembre 2010, Williamsburg, Virginia, USA. PDFBibTeX@inproceedings{qest10,
title = {Quantifying Opacity},
author = {B{\'e}rard, B{\'e}atrice and Mullins, John and Sassolas, Mathieu},
booktitle = {Proceedings of the 7th International Conference on Quantitative Evaluation of Systems ({QEST}'10)},
month = sep,
year = {2010},
editor = {Ciardo, Gianfranco and Segala, Roberto},
publisher = {{IEEE} Computer Society},
pages = {263--272},
numpages = {10},
}
- avec Béatrice Bérard, Serge Haddad. Real Time Properties for Interrupt Timed Automata. Proceedings of the 17th International Symposium on Temporal Representation and Reasoning (TIME'10), 6-8 septembre 2010, Paris, France. PDFPage de l'éditeurBibTeX@inproceedings{time10,
title = {Real Time Properties for {I}nterrupt {T}imed {A}utomata},
author = {B{\'e}rard, B{\'e}atrice and Haddad, Serge and Sassolas, Mathieu},
booktitle = {Proceedings of the Proceedings of the 17th International Symposium on Temporal Representation and Reasoning ({TIME}'10)},
month = sep,
year = {2010},
editor = {Markey, Nicolas and Wijsen, Jef},
publisher = {{IEEE} Computer Society},
pages = {69--76},
numpages = {8},
}
- avec Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux. Covert Channels with Sequential Transducers. Workshop on Foundations of Computer Security, 10 août 2009, Los Angeles, California, USA. PDFBibTeX@inproceedings{fcs09,
title = {Covert Channels with Sequential Transducers},
author = {Benattar, Gilles and B{\'e}rard, B{\'e}atrice and Lime, Didier and Mullins, John and Roux, Olivier H. and Sassolas, Mathieu},
booktitle = {Proceedings of the Workshop on Foundations of Computer Security},
month = aug,
year = {2009},
editor = {Cortier, V{\'e}ronique and Shmatikov, Vitaly},
pages = {131--145},
numpages = {15},
}
Autre
- Méthodes qualitatives et quantitatives pour la détection d'information cachée. Thèse de doctorat. Soutenance: 28 novembre 2011. Manuscrit (fr)SlidesBibTeX@phdthesis{these,
title = {M{\'e}thodes qualitatives et quantitatives pour la d{\'e}tection d'information cach{\'e}e},
author = {Sassolas, Mathieu},
school = {Universit{\'e} Pierre et Marie Curie},
month = nov,
year = {2011},
numpages = {174},
}
- Exploring Inconsistencies between Modal Transition Systems. Rapport de M2. Soutenance: septembre 2008. PDFBibTeX@mastersthesis{master,
title = {Exploring Inconsistencies between {M}odal {T}ransition {S}ystems},
author = {Sassolas, Mathieu},
school = {{\'E}cole Normale Sup{\'e}rieure de Cachan},
month = sep,
year = {2008},
numpages = {28},
}
- avec Gilles Benattar. Canaux cachés à partir de transducteurs. 6ème École d'été Temps Réel (ETR'09), 31 août-4 septembre 2009, Paris, France. BibTeX@inproceedings{etr09-cc,
title = {Canaux cach{\'e}s {\`a} partir de transducteurs},
author = {Benattar, Gilles and Sassolas, Mathieu},
booktitle = {Actes de la 6{\`e}me {\'E}cole d'{\'e}t{\'e} Temps R{\'e}el ({ETR}'09)},
month = sep,
year = {2009},
editor = {Pautet, Laurent},
pages = {211--216},
numpages = {6},
}
- avec Béatrice Bérard, Serge Haddad. Indécidabilité du model checking de TCTL avec horloges explicites sur les automates temporisés à interruptions. 6ème École d'été Temps Réel (ETR'09), 31 août-4 septembre 2009, Paris, France. BibTeX@inproceedings{etr09-ita,
title = {Ind{\'e}cidabilit{\'e} du model checking de {TCTL} avec horloges explicites sur les automates temporis{\'e}s {\`a} interruptions},
author = {B{\'e}rard, B{\'e}atrice and Haddad, Serge and Sassolas, Mathieu},
booktitle = {Actes de la 6{\`e}me {\'E}cole d'{\'e}t{\'e} Temps R{\'e}el ({ETR}'09)},
month = sep,
year = {2009},
editor = {Pautet, Laurent},
pages = {189--192},
numpages = {4},
}
- PseudoMerge: a Prototype Tool. 1er décembre 2009. ArchiveBibTeX@misc{pseudomergeprototype,
title = {{PseudoMerge}: a Prototype Tool},
author = {Sassolas, Mathieu},
month = dec,
year = {2009},
howpublished = {\url{http://www.lacl.fr/~msassolas/recherche/tools/PseudoMergePrototype.zip}},
}
- Mes articles sur arXiv.
- Ma liste de publications sur DBLP.
