BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Maraninchi:Florence

Contributed to:

DATE 20132013
LCTES 20112011
DATE 20082008
GPCE 20072007
ESOP 20032003
CC 20002000
ESOP 19981998
ESOP 19961996
LCT-RTS 19951995
CAV 19931993
PLILP 19931993

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.