Frédéric Tuong
Orcid: 0009-0009-2462-6669
According to our database1,
Frédéric Tuong
authored at least 13 papers
between 2011 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
0
1
2
3
4
1
2
1
1
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Proceedings of the Theories of Programming and Formal Methods, 2023
2020
2019
Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019
Arch. Formal Proofs, 2019
2016
Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages. (Construction de Logiques-Objet Sémantiquement Correct pour des Langages à Domaines Spécifiques Basés sur UML/OCL).
PhD thesis, 2016
Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016
2015
2014
Arch. Formal Proofs, 2014
Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014
2013
Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013
2011
Proceedings of the Certified Programs and Proofs - First International Conference, 2011