Mathieu Sassolas
发表
Hernán C. Melgratti,
Ricardo J. Rodríguez,
J. Gabarró,
2011
.
J. Raskin,
Mathieu Sassolas,
G. Pérez,
2018
.
D. Lime,
O. Roux,
Mathieu Sassolas,
2010
.
D. Lime,
O. Roux,
Mathieu Sassolas,
2015
.
S. Haddad,
Mathieu Sassolas,
B. Bérard,
2010
.
Mathieu Sassolas,
J. Mullins,
B. Bérard,
2016
.
Mathieu Sassolas,
J. Mullins,
B. Bérard,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Amol Bakshi,
Anastasios Gounaris,
Alexandru Jugravu,
2020,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
S. Haddad,
Mathieu Sassolas,
B. Bérard,
2012,
Formal Methods in System Design.
Lorenzo Clemente,
Mickael Randour,
Guillermo A. Pérez,
2015,
LATA.
Jean-François Raskin,
Romain Brenguier,
Mathieu Sassolas,
2013,
CSL-LICS.
Serge Haddad,
Mathieu Sassolas,
Béatrice Bérard,
2012,
Formal Methods Syst. Des..
Mathieu Sassolas,
Lynda Mokdad,
Quentin Monnet,
2017,
2017 IEEE International Conference on Communications (ICC).
David Chisnall,
Hernán C. Melgratti,
Ricardo J. Rodríguez,
2020,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Marsha Chechik,
Sebastián Uchitel,
Mathieu Sassolas,
2011,
Software & Systems Modeling.
Mathieu Sassolas,
John Mullins,
Beatrice Berard,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Serge Haddad,
Mathieu Sassolas,
Béatrice Bérard,
2010,
2010 17th International Symposium on Temporal Representation and Reasoning.
Serge Haddad,
Mathieu Sassolas,
Béatrice Bérard,
2009
.
Serge Haddad,
Nathalie Sznajder,
Mathieu Sassolas,
2012,
CONCUR.