author-photo

Emmanuelle Encrenaz-Tiphène

Centre national de la recherche scientifique

6

Papers

47

Citations

Citation Trend

Filter By

Papers (6) Sort By

Journal Conference Others

Méthodes formelles pour la vérification des systèmes embarqués

2015
- Emmanuelle Encrenaz-Tiphène
Show All
- Source
- Cite
- Save
Citations (0)
Une approche de raffinement et de vérification formels des communications SOC

2012
Show All
- Source
- Cite
- Save
Citations (0)
Timed verification of the generic architecture of a memory circuit using parametric timed automata

2009 FM | Formal Methods
Show All
- Source
- Cite
- Save
Citations (31)
Verification of the generic architecture of a memory circuit using parametric timed automata

2006 FORMATS | Formal Modeling and Analysis of Timed Systems
Show All
- Source
- Cite
- Save
Citations (13)
Timed Verification of the Generic Architecture of a Memory Circuit

2006
Show All
- Source
- Cite
- Save
Citations (0)
Timing analysis of an embedded memory: SPSMALL

2006 ICC | International Conference on Circuits
Show All
- Source
- Cite
- Save
Citations (3)