Frdric Tuong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2011–2023
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ISSTA | SymRustC: A Hybrid Fuzzer for Rust. | Frdric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko |
| 2016 | MODELS | Recent Developments in OCL and Textual Modelling. | Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Snchez-Barbudo Herrera, Frank Hilken, Frdric Tuong, Edward D. Willink, Burkhart Wolff |
| 2014 | MODELS | Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. | Delphine Longuet, Frdric Tuong, Burkhart Wolff |
| 2013 | MODELS | On the Semantics of Object-Oriented Data Structures and Path Expressions. | Achim D. Brucker, Delphine Longuet, Frdric Tuong, Burkhart Wolff |
| 2011 | CPP | First Steps towards the Certification of an ARM Simulator Using Compcert. | Xiaomu Shi, Jean-Franois Monin, Frdric Tuong, Frdric Blanqui |