| emsoft | participants

Florence Maraninchi

Program Committees:
2007, 2009, 2012 (chair), 2014, 2015, 2016, and 2017
.

EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software

Formal and Executable Contracts for Transaction-Level Modeling in SystemC

Tayeb Bouhadiba, Florence Maraninchi, and Giovanni Funchal

EMSOFT 2005: 5th ACM International Conference on Embedded Software

Pinapa: an Extraction Tool for SystemC Descriptions of Systems-on-a-Chip

Matthieu Moy, Florence Maraninchi, and Laurent Maillet-Contoz

EMSOFT 2004: 4th ACM International Conference on Embedded Software

Defining and Translating a "Safe" Subset of Simulink/Stateflow Into Lustre

Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, and Florence Maraninchi