| 2016 | DATE | Efficient monitoring of loose-ordering properties for SystemC/TLM. | Yuliia Romenska, Florence Maraninchi |
| 2013 | DATE | System-level modeling of energy in TLM for early validation of power and thermal management. | Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi |
| 2012 | EMSOFT | An overview of the career of Paul Caspi. | Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi |
| 2009 | Coordination | Contract-Based Coordination of Hardware Components for the Development of Embedded Software. | Tayeb Bouhadiba, Florence Maraninchi |
| 2009 | EMSOFT | Formal and executable contracts for transaction-level modeling in SystemC. | Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal |
| 2008 | DATE | A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip. | Jrme Cornet, Florence Maraninchi, Laurent Maillet-Contoz |
| 2007 | GPCE | 42: programmable models of computation for a component-based approach to heterogeneous embedded systems. | Florence Maraninchi, Tayeb Bouhadiba |
| 2007 | SECON | The ARESA Project: Facilitating Research, Development and Commercialization of WSNs. | Mischa Dohler, Dominique Barthel, Florence Maraninchi, Laurent Mounier, Stephane Aubert, Christophe Dugas, Aurlien Buhrig, Franck Paugnat, Marc Renaudin, Andrzej Duda, Martin Heusse, Fabrice Valois |
| 2006 | FMCAD | Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. | Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy |
| 2006 | FMICS | Test Coverage for Loose Timing Annotations. | Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz |
| 2006 | SECON | On the Importance of Modeling the Environment when Analyzing Sensor Networks. | Ludovic Samper, Florence Maraninchi, Erwan Jahier |
| 2005 | EMSOFT | Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. | Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz |
| 2004 | EMSOFT | Defining and translating a "safe" subset of simulink/stateflow into lustre. | Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi |
| 2003 | ESOP | Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. | Karine Altisen, Aurlie Clodic, Florence Maraninchi, ric Rutten |
| 2000 | CC | MATOU: An Implementation of Mode-Automata. | Florence Maraninchi, Yann Rmond, Yannick Raoul |
| 2000 | ECRTS | Running-modes of real-time systems: a case-study with mode-automata. | Florence Maraninchi, Yann Rmond |
| 1998 | ESOP | Mode-Automata: About Modes and States for Reactive Systems. | Florence Maraninchi, Yann Rmond |
| 1996 | ESOP | Compositional Semantics of Non-Deterministic Synchronous Languages. | Florence Maraninchi, Nicolas Halbwachs |
| 1993 | CAV | Verifying Quantitative Real-Time Properties of Synchronous Programs. | Martin Jourdan, Florence Maraninchi, Alfredo Olivero |
| 1992 | CONCUR | Operational and Compositional Semantics of Synchronous Automaton Compositions. | Florence Maraninchi |