Guillaume Babin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2015–2016
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICFEM | A System Substitution Mechanism for Hybrid Systems in Event-B. | Guillaume Babin, Yamine At Ameur, Neeraj Kumar Singh, Marc Pantel |
| 2015 | MODELS | Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs. | Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton |
| 2015 | SETTA | Refinement and Proof Based Development of Systems Characterized by Continuous Functions. | Guillaume Babin, Yamine At Ameur, Shin Nakajima, Marc Pantel |