author-photo

Jérémy Buisson

8

Papers

9

Citations

Citation Trend

Filter By

Papers (6) Sort By

Journal Conference Others

Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code

2018
- Jérémy Buisson
- Seidali Rehab
Show All
- Source
- Cite
- Save
Citations (1)
Generation of Inductive Types from Ecore Metamodels

2018 MODELSWARD | International Conference on Model-Driven Engineering and Software Development
- Jérémy Buisson
- Seidali Rehab
Show All
- Source
- Cite
- Save
Citations (0)
Automatic Transformation from Ecore Metamodels towards Gallina Inductive Types

2018 MODELSWARD | International Conference on Model-Driven Engineering and Software Development
- Jérémy Buisson
- Seidali Rehab
Show All
- Source
- Cite
- Save
Citations (2)
Enhancement of Car Safety Using Improved ESC and Tyre Development Method

2007
- Eric Fenaux
- Jérémy Buisson
Show All
- Source
- Cite
- Save
Citations (0)
Adaptation dynamique de programmes et composants parallèles

2006
- Jérémy Buisson
Show All
- Source
- Cite
- Save
Citations (6)
Other Grants and Activities - European grants

2005
Show All
- Source
- Cite
- Save
Citations (0)