Tho Le Calvar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
3
Active years
2018–2025
Best venue rank
A
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICTAI | Modeling OCL Collection Types and Type Casting Using Constraint Programming. | Matthew Coyle, Samir Loudni, Tho Le Calvar, Massimo Tisi |
| 2025 | MODELS | Towards LLM Agents for Model-Based Engineering: A Case in Transformation Selection. | Zakaria Hachm, Tho Le Calvar, Hugo Bruneliere, Massimo Tisi |
| 2025 | SAC | Towards Enforcing Structural OCL Constraints using Constraint Programming. | Matthew Coyle, Tho Le Calvar, Samir Loudni, Massimo Tisi |
| 2022 | MODELS | From OCL-based model static analysis to quick fixes. | Frdric Jouault, Maxime Mr, Matthias Brun, Tho Le Calvar, Matthias Pasquier, Ciprian Teodorov |
| 2021 | MODELS | AnimUML as a UML Modeling and Verification Teaching Tool. | Frdric Jouault, Valentin Sebille, Valentin Besnard, Tho Le Calvar, Ciprian Teodorov, Matthias Brun, Jrme Delatour |
| 2020 | MODELS | Designing, animating, and verifying partial UML Models. | Frdric Jouault, Valentin Besnard, Tho Le Calvar, Ciprian Teodorov, Matthias Brun, Jrme Delatour |
| 2019 | MODELS | Intensional View Definition with Constrained Incremental Transformation Rules. | Tho Le Calvar, Frdric Jouault, Fabien Chhel, Frdric Saubion, Mickael Clavreul |
| 2019 | SAC | Toward a declarative language to generate explorable sets of models. | Tho Le Calvar, Fabien Chhel, Frdric Jouault, Frdric Saubion |
| 2018 | MODELS | Using process algebra to statically analyze incremental propagation graphs. | Tho Le Calvar, Fabien Chhel, Frdric Jouault, Frdric Saubion |