Search: (more)
Header

Search Result

2009

BibTeX Search WWW PDF   [VeTS09]
E. Vecchié and J.-P. Talpin and K. Schneider
Separate Compilation and Execution of Imperative Synchronous Modules
Design, Automation and Test in Europe (DATE)

2007

BibTeX Search WWW PDF   [ASSV07]
R. Adler and I. Schaefer and T. Schüle and E. Vecchié
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
International Conference on Formal Engineering Methods (ICFEM)

2006

BibTeX Search WWW PDF   [ScBV06a]
K. Schneider and J. Brandt and E. Vecchié
Modular Compilation of Synchronous Programs
Distributed and Parallel Embedded Systems (DIPES)
BibTeX Search WWW PDF   [ScBV06b]
K. Schneider and J. Brandt and E. Vecchié
Efficient Code Generation from Synchronous Programs
Formal Methods and Models for Codesign (MEMOCODE)
BibTeX Search WWW PDF   [VeSi06]
E. Vecchié and R. de Simone
Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs
Electronic Notes in Theoretical Computer Science (ENTCS)

2005

BibTeX Search WWW PDF   [VeSi05]
E. Vecchié and R. de Simone
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs
Computer Aided Verification (CAV)

2004

BibTeX Search WWW PDF   [Vecc04]
E. Vecchié
Calcul des etats atteignables de programmes Esterel partitionne selon la syntaxe
PhD Thesis