The SCEAS System
Navigation Menu

Search the dblp DataBase


Florence Maraninchi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Florence Maraninchi, Fabien Gaucher
    Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 2000, pp:- [Conf]
  2. Florence Maraninchi, Lionel Morel
    Arrays and Contracts for the Specification and Analysis of Regular Systems. [Citation Graph (0, 0)][DBLP]
    ACSD, 2004, pp:57-66 [Conf]
  3. Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz
    LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:26-35 [Conf]
  4. Florence Maraninchi
    Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra. [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:38-53 [Conf]
  5. M. Jourdan, Florence Maraninchi, Alfredo Olivero
    Verifying Quantitative Real-Time Properties of Synchronous Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:347-358 [Conf]
  6. Florence Maraninchi, Yann Rémond, Yannick Raoul
    MATOU: An Implementation of Mode-Automata. [Citation Graph (0, 0)][DBLP]
    CC, 2000, pp:249-263 [Conf]
  7. Florence Maraninchi, Yann Rémond
    Compositionality Criteria for Defining Mixed-Styles Synchronous Languages. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:424-438 [Conf]
  8. Florence Maraninchi
    Operational and Compositional Semantics of Synchronous Automaton Compositions. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:550-564 [Conf]
  9. Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz
    Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2005, pp:317-324 [Conf]
  10. Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi
    Defining and translating a "safe" subset of simulink/stateflow into lustre. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2004, pp:259-268 [Conf]
  11. Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten
    Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:174-188 [Conf]
  12. Florence Maraninchi, Nicolas Halbwachs
    Compositional Semantics of Non-Deterministic Synchronous Languages. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:235-249 [Conf]
  13. Florence Maraninchi, Yann Rémond
    Mode-Automata: About Modes and States for Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:185-199 [Conf]
  14. Florence Maraninchi, Lionel Morel
    Logical-Time Contracts for Reactive Embedded Components. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 2004, pp:48-55 [Conf]
  15. C. Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy
    Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2006, pp:171-178 [Conf]
  16. Florence Maraninchi, Nicolas Halbwachs
    Compiling ARGOS into Boolean Equations. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1996, pp:72-89 [Conf]
  17. Muriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond
    A Multiparadigm Language for Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ICCL, 1994, pp:211-218 [Conf]
  18. Muriel Jourdan, Florence Maraninchi
    Static Timing Analysis of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Workshop on Languages, Compilers, & Tools for Real-Time Systems, 1995, pp:79-87 [Conf]
  19. Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond
    Embedding Declarative Subprograms into Imperative Constructs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:414-415 [Conf]
  20. Muriel Jourdan, Florence Maraninchi
    Studying Synchronous Communication Mechanisms by Abstractions. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:189-205 [Conf]
  21. Karine Altisen, Florence Maraninchi, David Stauch
    Modular Design of Man-Machine Interfaces with Larissa. [Citation Graph (0, 0)][DBLP]
    Software Composition, 2006, pp:291-306 [Conf]
  22. Florence Maraninchi, Yann Rémond
    Argos: an automaton-based synchronous language. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 2001, v:27, n:1/3, pp:61-92 [Journal]
  23. Florence Maraninchi, Alain Girault, Marc Pouzet
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:4, pp:1-2 [Journal]
  24. Florence Maraninchi, Alain Girault, Éric Rutten
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
  25. Karine Altisen, Florence Maraninchi, David Stauch
    Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:63, n:3, pp:297-320 [Journal]
  26. Florence Maraninchi, Yann Rémond
    Mode-Automata: a new domain-specific construct for the development of safe critical systems. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:46, n:3, pp:219-254 [Journal]
  27. 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. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:3, pp:587-611 [Journal]
  28. Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi
    A SystemC/TLM Semantics in Promelaand Its Possible Applications. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:204-222 [Conf]
  29. C. Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz
    Test Coverage for Loose Timing Annotations. [Citation Graph (0, 0)][DBLP]
    FMICS/PDMC, 2006, pp:100-115 [Conf]

  30. Contract-Based Coordination of Hardware Components for the Development of Embedded Software. [Citation Graph (, )][DBLP]

  31. A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip. [Citation Graph (, )][DBLP]

  32. Running-modes of real-time systems: a case-study with mode-automata. [Citation Graph (, )][DBLP]

  33. Formal and executable contracts for transaction-level modeling in SystemC. [Citation Graph (, )][DBLP]

  34. 42: programmable models of computation for a component-based approach to heterogeneous embedded systems. [Citation Graph (, )][DBLP]

  35. GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. [Citation Graph (, )][DBLP]

  36. The ARESA Project: Facilitating Research, Development and Commercialization of WSNs. [Citation Graph (, )][DBLP]

  37. Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks. [Citation Graph (, )][DBLP]

  38. Foreword. [Citation Graph (, )][DBLP]

Search in 0.013secs, Finished in 0.015secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002