Concepedia

Sébastien Furic

SF

Statistics

Publications

4

Citations

63

H-Index

4

Active since

2006

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Sébastien Furic is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal verification, engineering, and systems engineering.

Top concepts

Publications per year

2006–2017

4

Publications

4

Types in the Modelica Language

David Broman, Peter Fritzson, Sébastien Furic · 2006 · 22 citations

Rigorous design of cyber-physical systems

Simon Bliudze, Sébastien Furic, Joseph Sifakis et al. · Software & Systems Modeling · 2017 · 19 citations · Full text

, , +5

An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction

Simon Bliudze, Sébastien Furic · Linköping electronic conference proceedings · 2014 · 12 citations · Full text

Enforcing model composability in Modelica

Sébastien Furic · Linköping electronic conference proceedings · 2009 · 10 citations · Full text

1–4 of 4