Login / Signup
Andres Toom
Publication Activity (10 Years)
Years Active: 2011-2016
Publications (10 Years): 1
Top Topics
Formal Language
Safety Critical
Architectural Models
Code Generator
Top Venues
OCL@MoDELS
SPLC
FMICS-AVoCS
</>
Publications
</>
Arnaud Dieumegard
,
Andres Toom
,
Marc Pantel
Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems.
FMICS-AVoCS
(2016)
Arnaud Dieumegard
,
Andres Toom
,
Marc Pantel
A software product line approach for semantic specification of block libraries in dataflow languages.
SPLC
(2014)
Arnaud Dieumegard
,
Andres Toom
,
Marc Pantel
Model-based formal specification of a DSL library for a qualified code generator.
OCL@MoDELS
(2012)
Huafeng Yu
,
Yue Ma
,
Yann Glouche
,
Jean-Pierre Talpin
,
Loïc Besnard
,
Thierry Gautier
,
Paul Le Guernic
,
Andres Toom
,
Odile Laurent
System-level co-simulation of integrated avionics using polychrony.
SAC
(2011)