Concepedia

Florence Maraninchi

FM

19

Publications

958

Citations

15

H-Index

1991

Active since

Affiliations

Verimag(Current)

STMicroelectronics (France)

Institut polytechnique de Grenoble

STMicroelectronics (Switzerland)

Université Joseph Fourier

Florence Maraninchi is an author at Verimag specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer EngineeringFormal MethodsComputer ScienceSystem SoftwareFormal VerificationSoftware DesignComputer ArchitectureSoftware Analysis

Publications per year

1991–2024

19

Publications

19

Argos: an automaton-based synchronous language

Florence Maraninchi, Yann Rémond · Computer Languages · 2001 · 125 citations · Full text

Automaton-based Synchronous Language, Engineering, Automated Reasoning +9

Mode-Automata: a new domain-specific construct for the development of safe critical systems

Florence Maraninchi, Yann Rémond · Science of Computer Programming · 2002 · 123 citations

Safety-critical System, Reliability Engineering, Engineering +13

Defining and translating a "safe" subset of simulink/stateflow into lustre

Norman Scaife, Christos Sofronis, P. Caspi et al. · 2004 · 111 citations

Engineering, Stateflow Designs, Verification +18

Guidelines for a graduate curriculum on embedded software and systems

P. Caspi, Alberto Sangiovanni‐Vincentelli, Lúıs Almeida et al. · ACM Transactions on Embedded Computing Systems · 2005 · 69 citations

Engineering, Graduate Curriculum, Embedded Design +19

Pinapa

Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz · 2005 · 68 citations · Full text

Hardware Modeling, Engineering, Hardware Verification Language +18

Rows per page

1–5 of 19