Travelled to:1 × Austria
1 × Estonia
1 × France
1 × Greece
1 × Poland
1 × Portugal
1 × Sweden
2 × Germany
2 × USA
Collaborated with:T.Bouhadiba Y.Rémond M.Jourdan N.Halbwachs M.Jourdan M.Moy N.Berthier L.Mounier J.Cornet L.Maillet-Contoz Y.Raoul A.Olivero K.Altisen A.Clodic É.Rutten F.Lagnier P.Raymond
Talks about:system (6) time (4) synchron (3) model (3) embed (3) mode (3) properti (2) automata (2) program (2) control (2)
Person: Florence Maraninchi
DBLP: Maraninchi:Florence
Contributed to:
2013
20112008
2007
2003
2000199819961995
1993
1993Wrote 11 papers:
- DATE-2013-BouhadibaMM #energy #modelling #validation
- System-level modeling of energy in TLM for early validation of power and thermal management (TB, MM, FM), pp. 1609–1614.
- LCTES-2011-BerthierMM #embedded #operating system #programming
- Synchronous programming of device drivers for global resource control in embedded operating systems (NB, FM, LM), pp. 81–90.
- DATE-2008-CornetMM #development #modelling #performance #transaction
- A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip (JC, FM, LMC), pp. 9–14.
- GPCE-2007-MaraninchiB #approach #component #embedded #modelling #named #programmable
- 42: programmable models of computation for a component-based approach to heterogeneous embedded systems (FM, TB), pp. 53–62.
- ESOP-2003-AltisenCMR #using
- Using Controller-Synthesis Techniques to Build Property-Enforcing Layers (KA, AC, FM, ÉR), pp. 174–188.
- CC-2000-MaraninchiRR #implementation #named
- MATOU: An Implementation of Mode-Automata (FM, YR, YR), pp. 249–263.
- ESOP-1998-MaraninchiR #named
- Mode-Automata: About Modes and States for Reactive Systems (FM, YR), pp. 185–199.
- ESOP-1996-MaraninchiH #composition #nondeterminism #semantics
- Compositional Semantics of Non-Deterministic Synchronous Languages (FM, NH), pp. 235–249.
- LCT-RTS-1995-JourdanM #analysis #realtime
- Static Timing Analysis of Real-Time Systems (MJ, FM), pp. 79–87.
- CAV-1993-JourdanMO #realtime #source code #verification
- Verifying Quantitative Real-Time Properties of Synchronous Programs (MJ, FM, AO), pp. 347–358.
- PLILP-1993-JourdanLMR #declarative #imperative
- Embedding Declarative Subprograms into Imperative Constructs (MJ, FL, FM, PR), pp. 414–415.