Papers by Sébastien Furic:

Title: An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction
Authors: Simon Bliudze and Sébastien Furic
Links: Abstract, Full paper

---

Title: Statecharts as a Means to Control Plant Models in LMS Imagine.Lab AMESim
Authors: Sébastien Furic, Loïc Wagner and Vincent Berthoux
Links: Abstract, Full paper