Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra. - Florence Maraninchi (Automatic Verification Methods for Finite State Systems, 1989)

Operational and Compositional Semantics of Synchronous Automaton Compositions. - Florence Maraninchi (CONCUR, 1992)

Verifying Quantitative Real-Time Properties of Synchronous Programs. - Martin Jourdan; Florence Maraninchi; Alfredo Olivero (CAV, 1993)

Embedding Declarative Subprograms into Imperative Constructs. - Martin Jourdan; Fabienne Lagnier; Florence Maraninchi; Pascal Raymond (PLILP, 1993)

A Multiparadigm Language for Reactive Systems. - Muriel Jourdan; Fabienne Lagnier; Florence Maraninchi; Pascal Raymond (ICCL, 1994)

Studying Synchronous Communication Mechanisms by Abstractions. - Muriel Jourdan; Florence Maraninchi (PROCOMET, 1994)

Static Timing Analysis of Real-Time Systems. - Muriel Jourdan; Florence Maraninchi (Workshop on Languages, Compilers, & Tools for Real-Time Systems, 1995)

Compositional Semantics of Non-Deterministic Synchronous Languages. - Florence Maraninchi; Nicolas Halbwachs (ESOP, 1996)

Compiling ARGOS into Boolean Equations. - Florence Maraninchi; Nicolas Halbwachs (FTRTFT, 1996)

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)

Compositionality Criteria for Defining Mixed-Styles Synchronous Languages. - Florence Maraninchi; Yann Rémond (COMPOS, 1997)

Mode-Automata: About Modes and States for Reactive Systems. - Florence Maraninchi; Yann Rémond (ESOP, 1998)

Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre. - Florence Maraninchi; Fabien Gaucher (AADEBUG, 2000)

MATOU: An Implementation of Mode-Automata. - Florence Maraninchi; Yann Rémond; Yannick Raoul (CC, 2000)

Running-modes of real-time systems: a case-study with mode-automata. - Florence Maraninchi; Yann Rémond (ECRTS, 2000)

Effective programming language support for discrete-continuous mode-switching control systems. - Florence Maraninchi; Yann Rémond; Éric Rutten (CDC, 2001)

Argos: an automaton-based synchronous language. - Florence Maraninchi; Yann Rémond (Comput. Lang., 2001)

Preface. - Florence Maraninchi; Alain Girault; Éric Rutten (SLAP@ETAPS, 2002)

Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. - Karine Altisen; Aurélie Clodic; Florence Maraninchi; Éric Rutten (ESOP, 2003)

Foreword. - Florence Maraninchi; Alain Girault; Éric Rutten (SLAP, 2003)

Mode-Automata: a new domain-specific construct for the development of safe critical systems. - Florence Maraninchi; Yann Rémond (Sci. Comput. Program., 2003)

Arrays and Contracts for the Specification and Analysis of Regular Systems. - Florence Maraninchi; Lionel Morel (ACSD, 2004)

Defining and translating a "safe" subset of simulink/stateflow into lustre. - Norman Scaife; Christos Sofronis; Paul Caspi; Stavros Tripakis; Florence Maraninchi (EMSOFT, 2004)

Logical-Time Contracts for Reactive Embedded Components. - Florence Maraninchi; Lionel Morel (EUROMICRO, 2004)

Preface. - Florence Maraninchi; Alain Girault; Marc Pouzet (SLAP@ETAPS, 2004)

LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level. - Matthieu Moy; Florence Maraninchi; Laurent Maillet-Contoz (ACSD, 2005)

Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. - Matthieu Moy; Florence Maraninchi; Laurent Maillet-Contoz (EMSOFT, 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)

Guidelines for a graduate curriculum on embedded software and systems. - Paul Caspi; Alberto L. Sangiovanni-Vincentelli; Luís Almeida 001; Albert Benveniste; Bruno Bouyssounouse; Giorgio C. Buttazzo; Ivica Crnkovic; Werner Damm; Jakob Engblom; Gerhard Fohler; Marisol García-Valls; Hermann Kopetz; et al. (ACM Trans. Embed. Comput. Syst., 2005)

Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. - Claude Helmstetter; Florence Maraninchi; Laurent Maillet-Contoz; Matthieu Moy (FMCAD, 2006)

Test Coverage for Loose Timing Annotations. - Claude Helmstetter; Florence Maraninchi; Laurent Maillet-Contoz (FMICS/PDMC, 2006)

GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. - Ludovic Samper; Florence Maraninchi; Laurent Mounier; Louis Mandel (InterSense, 2006)

On the Importance of Modeling the Environment when Analyzing Sensor Networks. - Ludovic Samper; Florence Maraninchi; Erwan Jahier (SECON, 2006)

Modular Design of Man-Machine Interfaces with Larissa. - Karine Altisen; Florence Maraninchi; David Stauch (SC@ETAPS, 2006)

Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. - Karine Altisen; Florence Maraninchi; David Stauch (Sci. Comput. Program., 2006)

42: programmable models of computation for a component-based approach to heterogeneous embedded systems. - Florence Maraninchi; Tayeb Bouhadiba (GPCE, 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 (SECON, 2007)

A SystemC/TLM Semantics in Promelaand Its Possible Applications. - Claus Traulsen; Jérôme Cornet; Matthieu Moy; Florence Maraninchi (SPIN, 2007)

Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks. - Florence Maraninchi; Ludovic Samper; Kevin Baradon; Antoine Vasseur (SLA++P@ETAPS, 2007)

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 (DATE, 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)

Contract-Based Coordination of Hardware Components for the Development of Embedded Software. - Tayeb Bouhadiba; Florence Maraninchi (COORDINATION, 2009)

Formal and executable contracts for transaction-level modeling in SystemC. - Tayeb Bouhadiba; Florence Maraninchi; Giovanni Funchal (EMSOFT, 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)

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)

AreaCast: A cross-layer approach for a communication by area in Wireless Sensor Networks. - Karel Heurtefeux; Florence Maraninchi; Fabrice Valois (ICON, 2011)

An overview of the career of Paul Caspi. - Albert Benveniste; Edward A. Lee; Marc Pouzet; Stavros Tripakis; Florence Maraninchi (EMSOFT, 2012)

System-level modeling of energy in TLM for early validation of power and thermal management. - Tayeb Bouhadiba; Matthieu Moy; Florence Maraninchi (DATE, 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 (IPDPS Workshops, 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)

Efficient monitoring of loose-ordering properties for SystemC/TLM. - Yuliia Romenska; Florence Maraninchi (DATE, 2016)

Modeling Power Consumption and Temperature in TLM Models. - Matthieu Moy; Claude Helmstetter; Tayeb Bouhadiba; Florence Maraninchi (Leibniz Trans. Embed. Syst., 2016)

Let us not put all our eggs in one basket. - Florence Maraninchi (Commun. ACM, 2022)