Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Florence Maraninchi
2010 – today
- 2013
[c35]Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi: System-level modeling of energy in TLM for early validation of power and thermal management. DATE 2013: 1609-1614- 2012
- [c34]Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi: An overview of the career of Paul Caspi. EMSOFT 2012: 195-196
- [e1]Ahmed Jerraya, Luca P. Carloni, Florence Maraninchi, John Regehr (Eds.): Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012. ACM 2012, ISBN 978-1-4503-1425-1
- 2011
- [c33]Karel Heurtefeux, Florence Maraninchi, Fabrice Valois: AreaCast: A cross-layer approach for a communication by area in Wireless Sensor Networks. ICON 2011: 112-117
- [c32]Nicolas Berthier, Florence Maraninchi, Laurent Mounier: Synchronous programming of device drivers for global resource control in embedded operating systems. LCTES 2011: 81-90
2000 – 2009
- 2009
- [j12]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. ECEASST 23 (2009)
- [j11]Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz: Full simulation coverage for SystemC transaction-level models of systems-on-a-chip. Formal Methods in System Design 35(2): 152-189 (2009)
- [c31]Tayeb Bouhadiba, Florence Maraninchi: Contract-Based Coordination of Hardware Components for the Development of Embedded Software. COORDINATION 2009: 204-224
- [c30]Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal: Formal and executable contracts for transaction-level modeling in SystemC. EMSOFT 2009: 97-106
- 2008
- [j10]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. Emb. Sys. 2008 (2008)
- [j9]Florence Maraninchi, Ludovic Samper, Kevin Baradon, Antoine Vasseur: Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks. Electr. Notes Theor. Comput. Sci. 203(4): 95-110 (2008)
- [c29]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: 9-14
- 2007
- [c28]Florence Maraninchi, Tayeb Bouhadiba: 42: programmable models of computation for a component-based approach to heterogeneous embedded systems. GPCE 2007: 53-62
- [c27]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: 590-599
- [c26]Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi: A SystemC/TLM Semantics in Promelaand Its Possible Applications. SPIN 2007: 204-222
- 2006
- [j8]Florence Maraninchi, Alain Girault, Marc Pouzet: Preface. Electr. Notes Theor. Comput. Sci. 153(4): 1-2 (2006)
- [j7]Karine Altisen, Florence Maraninchi, David Stauch: Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. Sci. Comput. Program. 63(3): 297-320 (2006)
- [c25]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: 171-178
- [c24]Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz: Test Coverage for Loose Timing Annotations. FMICS/PDMC 2006: 100-115
- [c23]Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel: GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. InterSense 2006: 3
- [c22]Ludovic Samper, Florence Maraninchi, Erwan Jahier: On the Importance of Modeling the Environment when Analyzing Sensor Networks. SECON 2006: 835-841
- [c21]Karine Altisen, Florence Maraninchi, David Stauch: Modular Design of Man-Machine Interfaces with Larissa. Software Composition 2006: 291-306
- 2005
- [j6]Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz: LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level. Design Autom. for Emb. Sys. 10(2-3): 73-104 (2005)
- [j5]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. Embedded Comput. Syst. 4(3): 587-611 (2005)
- [c20]Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz: LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level. ACSD 2005: 26-35
- [c19]Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz: Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. EMSOFT 2005: 317-324
- 2004
- [j4]Florence Maraninchi, Alain Girault, Éric Rutten: Foreword. Electr. Notes Theor. Comput. Sci. 88: 1-2 (2004)
- [c18]Florence Maraninchi, Lionel Morel: Arrays and Contracts for the Specification and Analysis of Regular Systems. ACSD 2004: 57-66
- [c17]Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi: Defining and translating a "safe" subset of simulink/stateflow into lustre. EMSOFT 2004: 259-268
- [c16]Florence Maraninchi, Lionel Morel: Logical-Time Contracts for Reactive Embedded Components. EUROMICRO 2004: 48-55
- 2003
- [j3]Florence Maraninchi, Yann Rémond: Mode-Automata: a new domain-specific construct for the development of safe critical systems. Sci. Comput. Program. 46(3): 219-254 (2003)
- [c15]Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten: Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. ESOP 2003: 174-188
- 2002
- [j2]Florence Maraninchi, Alain Girault, Éric Rutten: Preface. Electr. Notes Theor. Comput. Sci. 65(5): 1-2 (2002)
- 2001
- [j1]Florence Maraninchi, Yann Rémond: Argos: an automaton-based synchronous language. Comput. Lang. 27(1/3): 61-92 (2001)
- 2000
- [c14]Florence Maraninchi, Fabien Gaucher: Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre. AADEBUG 2000
- [c13]Florence Maraninchi, Yann Rémond, Yannick Raoul: MATOU: An Implementation of Mode-Automata. CC 2000: 249-263
- [c12]Florence Maraninchi, Yann Rémond: Running-modes of real-time systems: a case-study with mode-automata. ECRTS 2000: 257-264
1990 – 1999
- 1998
- [c11]Florence Maraninchi, Yann Rémond: Mode-Automata: About Modes and States for Reactive Systems. ESOP 1998: 185-199
- 1997
- [c10]Florence Maraninchi, Yann Rémond: Compositionality Criteria for Defining Mixed-Styles Synchronous Languages. COMPOS 1997: 424-438
- 1996
- [c9]Florence Maraninchi, Nicolas Halbwachs: Compositional Semantics of Non-Deterministic Synchronous Languages. ESOP 1996: 235-249
- [c8]
- 1995
- [c7]Muriel Jourdan, Florence Maraninchi: Static Timing Analysis of Real-Time Systems. Workshop on Languages, Compilers, & Tools for Real-Time Systems 1995: 79-87
- 1994
- [c6]Muriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond: A Multiparadigm Language for Reactive Systems. ICCL 1994: 211-218
- [c5]Muriel Jourdan, Florence Maraninchi: Studying Synchronous Communication Mechanisms by Abstractions. PROCOMET 1994: 189-205
- 1993
- [c4]Martin Jourdan, Florence Maraninchi, Alfredo Olivero: Verifying Quantitative Real-Time Properties of Synchronous Programs. CAV 1993: 347-358
- [c3]Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond: Embedding Declarative Subprograms into Imperative Constructs. PLILP 1993: 414-415
- 1992
- [c2]Florence Maraninchi: Operational and Compositional Semantics of Synchronous Automaton Compositions. CONCUR 1992: 550-564
1980 – 1989
- 1989
- [c1]Florence Maraninchi: Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra. Automatic Verification Methods for Finite State Systems 1989: 38-53
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-19 19:32 CEST by the dblp team