Florence Maraninchi

Publication Activity (10 Years)

Years Active: 1989-2022
Publications (10 Years): 3

Top Topics

Multicore Processors

Microsoft Windows

Operating System

Top Venues

ACM Trans. Embed. Comput. Syst.

IPDPS Workshops

Publications

Florence Maraninchi
Let us not put all our eggs in one basket. Commun. ACM 65 (9) (2022)
Matthieu Moy, Claude Helmstetter, Tayeb Bouhadiba, Florence Maraninchi
Modeling Power Consumption and Temperature in TLM Models. Leibniz Trans. Embed. Syst. 3 (1) (2016)
Yuliia Romenska, Florence Maraninchi
Efficient monitoring of loose-ordering properties for SystemC/TLM. DATE (2016)
Nicolas Berthier, Florence Maraninchi, Laurent Mounier
Synchronous programming of device drivers for global resource control in embedded operating systems. ACM Trans. Embed. Comput. Syst. 12 (1s) (2013)
Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi, Jérôme Cornet, Laurent Maillet-Contoz, Ilija Materic
Co-simulation of Functional SystemC TLM Models with Power/Thermal Solvers. IPDPS Workshops (2013)
Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi
System-level modeling of energy in TLM for early validation of power and thermal management. DATE (2013)
Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi
An overview of the career of Paul Caspi. EMSOFT (2012)
Nicolas Berthier, Florence Maraninchi, Laurent Mounier
Synchronous programming of device drivers for global resource control in embedded operating systems. LCTES (2011)
Karel Heurtefeux, Florence Maraninchi, Fabrice Valois
AreaCast: A cross-layer approach for a communication by area in Wireless Sensor Networks. ICON (2011)
Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal
Formal and executable contracts for transaction-level modeling in SystemC. EMSOFT (2009)
Tayeb Bouhadiba, Florence Maraninchi
Contract-Based Coordination of Hardware Components for the Development of Embedded Software. COORDINATION (2009)
Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz
Full simulation coverage for SystemC transaction-level models of systems-on-a-chip. Formal Methods Syst. Des. 35 (2) (2009)
Florence Maraninchi, Michael Mendler, Marc Pouzet, Alain Girault, Éric Rutten
Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems. EURASIP J. Embed. Syst. 2008 (2008)
Florence Maraninchi, Ludovic Samper, Kevin Baradon, Antoine Vasseur
Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks. Electron. Notes Theor. Comput. Sci. 203 (4) (2008)
Jérôme Cornet, Florence Maraninchi, Laurent Maillet-Contoz
A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip. DATE (2008)
Florence Maraninchi, Tayeb Bouhadiba
42: programmable models of computation for a component-based approach to heterogeneous embedded systems. GPCE (2007)
Mischa Dohler, Dominique Barthel, Florence Maraninchi, Laurent Mounier, Stephane Aubert, Christophe Dugas, Aurélien Buhrig, Franck Paugnat, Marc Renaudin, Andrzej Duda, Martin Heusse, Fabrice Valois
The ARESA Project: Facilitating Research, Development and Commercialization of WSNs. SECON (2007)
Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi
A SystemC/TLM Semantics in Promelaand Its Possible Applications. SPIN (2007)
Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz
Test Coverage for Loose Timing Annotations. FMICS/PDMC (2006)
Karine Altisen, Florence Maraninchi, David Stauch
Modular Design of Man-Machine Interfaces with Larissa. SC@ETAPS (2006)
Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel
GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. InterSense (2006)
Karine Altisen, Florence Maraninchi, David Stauch
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. Sci. Comput. Program. 63 (3) (2006)
Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy
Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. FMCAD (2006)
Ludovic Samper, Florence Maraninchi, Erwan Jahier
On the Importance of Modeling the Environment when Analyzing Sensor Networks. SECON (2006)
Florence Maraninchi, Alain Girault, Marc Pouzet
Preface. Electron. Notes Theor. Comput. Sci. 153 (4) (2006)
Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi
Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. 4 (3) (2005)
Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz
LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level. Des. Autom. Embed. Syst. 10 (2-3) (2005)
Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. EMSOFT (2005)
Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level. ACSD (2005)
Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi
Defining and translating a "safe" subset of simulink/stateflow into lustre. EMSOFT (2004)
Florence Maraninchi, Alain Girault, Éric Rutten
Foreword. Electron. Notes Theor. Comput. Sci. 88 (2004)
Florence Maraninchi, Lionel Morel
Logical-Time Contracts for Reactive Embedded Components. EUROMICRO (2004)
Florence Maraninchi, Lionel Morel
Arrays and Contracts for the Specification and Analysis of Regular Systems. ACSD (2004)
Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. ESOP (2003)
Florence Maraninchi, Yann Rémond
Mode-Automata: a new domain-specific construct for the development of safe critical systems. Sci. Comput. Program. 46 (3) (2003)
Florence Maraninchi, Alain Girault, Éric Rutten
Preface. Electron. Notes Theor. Comput. Sci. 65 (5) (2002)
Florence Maraninchi, Yann Rémond
Argos: an automaton-based synchronous language. Comput. Lang. 27 (1/3) (2001)
Florence Maraninchi, Yann Rémond, Éric Rutten
Effective programming language support for discrete-continuous mode-switching control systems. CDC (2001)
Florence Maraninchi, Yann Rémond
Running-modes of real-time systems: a case-study with mode-automata. ECRTS (2000)
Florence Maraninchi, Fabien Gaucher
Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre. AADEBUG (2000)
Florence Maraninchi, Yann Rémond, Yannick Raoul
MATOU: An Implementation of Mode-Automata. CC (2000)
Florence Maraninchi, Yann Rémond
Mode-Automata: About Modes and States for Reactive Systems. ESOP (1998)
Florence Maraninchi, Yann Rémond
Compositionality Criteria for Defining Mixed-Styles Synchronous Languages. COMPOS (1997)
Florence Maraninchi, Nicolas Halbwachs
Compiling ARGOS into Boolean Equations. FTRTFT (1996)
Florence Maraninchi, Nicolas Halbwachs
Compositional Semantics of Non-Deterministic Synchronous Languages. ESOP (1996)
Muriel Jourdan, Florence Maraninchi
Static Timing Analysis of Real-Time Systems. Workshop on Languages, Compilers, & Tools for Real-Time Systems (1995)
Muriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond
A Multiparadigm Language for Reactive Systems. ICCL (1994)
Muriel Jourdan, Florence Maraninchi
Studying Synchronous Communication Mechanisms by Abstractions. PROCOMET (1994)
Martin Jourdan, Florence Maraninchi, Alfredo Olivero
Verifying Quantitative Real-Time Properties of Synchronous Programs. CAV (1993)
Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond
Embedding Declarative Subprograms into Imperative Constructs. PLILP (1993)
Florence Maraninchi
Operational and Compositional Semantics of Synchronous Automaton Compositions. CONCUR (1992)
Florence Maraninchi
Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra. Automatic Verification Methods for Finite State Systems (1989)