Florence Maraninchi

According to our database, Florence Maraninchi authored at least 53 papers between 1989 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Let us not put all our eggs in one basket.

Florence Maraninchi

Commun. ACM, 2022

2016

Modeling Power Consumption and Temperature in TLM Models.

Matthieu Moy, Claude Helmstetter, Tayeb Bouhadiba, Florence Maraninchi

Leibniz Trans. Embed. Syst., 2016

Efficient monitoring of loose-ordering properties for SystemC/TLM.

Yuliia Romenska, Florence Maraninchi

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2013

Synchronous programming of device drivers for global resource control in embedded operating systems.

Nicolas Berthier, Florence Maraninchi, Laurent Mounier

ACM Trans. Embed. Comput. Syst., 2013

Co-simulation of Functional SystemC TLM Models with Power/Thermal Solvers.

Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi, Jérôme Cornet, Laurent Maillet-Contoz, Ilija Materic

Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013

System-level modeling of energy in TLM for early validation of power and thermal management.

Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi

Proceedings of the Design, Automation and Test in Europe, 2013

2012

An overview of the career of Paul Caspi.

Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi

Proceedings of the 12th International Conference on Embedded Software, 2012

2011

AreaCast: A cross-layer approach for a communication by area in Wireless Sensor Networks.

Karel Heurtefeux, Florence Maraninchi, Fabrice Valois

Proceedings of the 17th IEEE International Conference on Networks, 2011

2009

Full simulation coverage for SystemC transaction-level models of systems-on-a-chip.

Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz

Formal Methods Syst. Des., 2009

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form.

Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Formal and executable contracts for transaction-level modeling in SystemC.

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Contract-Based Coordination of Hardware Components for the Development of Embedded Software.

Tayeb Bouhadiba, Florence Maraninchi

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

2008

Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems.

Florence Maraninchi, Michael Mendler, Marc Pouzet, Alain Girault, Éric Rutten

EURASIP J. Embed. Syst., 2008

A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip.

Jérôme Cornet, Florence Maraninchi, Laurent Maillet-Contoz

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks.

Florence Maraninchi, Ludovic Samper, Kevin Baradon, Antoine Vasseur

Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007

A SystemC/TLM Semantics in Promelaand Its Possible Applications.

Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi

Proceedings of the Model Checking Software, 2007

The ARESA Project: Facilitating Research, Development and Commercialization of WSNs.

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

Proceedings of the Fourth Annual IEEE Communications Society Conference on Sensor, 2007

42: programmable models of computation for a component-based approach to heterogeneous embedded systems.

Florence Maraninchi, Tayeb Bouhadiba

Proceedings of the Generative Programming and Component Engineering, 2007

2006

Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework.

Karine Altisen, Florence Maraninchi, David Stauch

Sci. Comput. Program., 2006

Modular Design of Man-Machine Interfaces with Larissa.

Karine Altisen, Florence Maraninchi, David Stauch

Proceedings of the Software Composition - 5th International Symposium, 2006

On the Importance of Modeling the Environment when Analyzing Sensor Networks.

Ludovic Samper, Florence Maraninchi, Erwan Jahier

Proceedings of the Third Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks, 2006

GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks.

Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel

Proceedings of the First International Conference in Integrated Internet Ad Hoc and Sensor Networks, 2006

Test Coverage for Loose Timing Annotations.

Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz

Proceedings of the Formal Methods: Applications and Technology, 2006

Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip.

Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2005

Guidelines for a graduate curriculum on embedded software and systems.

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

ACM Trans. Embed. Comput. Syst., 2005

LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level.

Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz

Des. Autom. Embed. Syst., 2005

Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip.

Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz

Proceedings of the EMSOFT 2005, 2005

LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level.

Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004

Preface.

Florence Maraninchi, Alain Girault, Marc Pouzet

Proceedings of the Third International Workshop on Synchronous Languages, 2004

Logical-Time Contracts for Reactive Embedded Components.

Florence Maraninchi, Lionel Morel

Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

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

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

Proceedings of the EMSOFT 2004, 2004

Arrays and Contracts for the Specification and Analysis of Regular Systems.

Florence Maraninchi, Lionel Morel

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

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

Florence Maraninchi, Yann Rémond

Sci. Comput. Program., 2003

Foreword.

Florence Maraninchi, Alain Girault, Éric Rutten

Proceedings of the Synchronous Languages, Applications and Programming, 2003

Using Controller-Synthesis Techniques to Build Property-Enforcing Layers.

Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten

Proceedings of the Programming Languages and Systems, 2003

2002

Preface.

Florence Maraninchi, Alain Girault, Éric Rutten

Proceedings of the Synchronous Languages, Applications, and Programming, 2002

2001

Argos: an automaton-based synchronous language.

Florence Maraninchi, Yann Rémond

Comput. Lang., 2001

Effective programming language support for discrete-continuous mode-switching control systems.

Florence Maraninchi, Yann Rémond, Éric Rutten

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Running-modes of real-time systems: a case-study with mode-automata.

Florence Maraninchi, Yann Rémond

Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

MATOU: An Implementation of Mode-Automata.

Florence Maraninchi, Yann Rémond, Yannick Raoul

Proceedings of the Compiler Construction, 9th International Conference, 2000

Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre.

Florence Maraninchi, Fabien Gaucher

Proceedings of the Fourth International Workshop on Automated Debugging, 2000

1998

Mode-Automata: About Modes and States for Reactive Systems.

Florence Maraninchi, Yann Rémond

Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

1997

Compositionality Criteria for Defining Mixed-Styles Synchronous Languages.

Florence Maraninchi, Yann Rémond

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

Modélisation et validation des systèmes réactifs : un langage synchrone à base d'automates. (Modélisation et validation des systèmes réactifs : un langage synchrone à base d'automates).

Florence Maraninchi

, 1997

1996

Compiling ARGOS into Boolean Equations.

Florence Maraninchi, Nicolas Halbwachs

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Compositional Semantics of Non-Deterministic Synchronous Languages.

Florence Maraninchi, Nicolas Halbwachs

Proceedings of the Programming Languages and Systems, 1996

1995

Static Timing Analysis of Real-Time Systems.

Muriel Jourdan, Florence Maraninchi

Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, 1995

1994

Studying Synchronous Communication Mechanisms by Abstractions.

Muriel Jourdan, Florence Maraninchi

Proceedings of the Programming Concepts, 1994

A Multiparadigm Language for Reactive Systems.

Muriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond

Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

1993

Embedding Declarative Subprograms into Imperative Constructs.

Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond

Proceedings of the Programming Language Implementation and Logic Programming, 1993

Verifying Quantitative Real-Time Properties of Synchronous Programs.

Martin Jourdan, Florence Maraninchi, Alfredo Olivero

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Operational and Compositional Semantics of Synchronous Automaton Compositions.

Florence Maraninchi

Proceedings of the CONCUR '92, 1992

1989

Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra.

Florence Maraninchi

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989