Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Florence Maraninchi" ( http://dblp.L3S.de/Authors/Florence_Maraninchi )

URL (Homepage):  http://www-verimag.imag.fr/~maraninx/  Author page on DBLP  Author page in RDF  Community of Florence Maraninchi in ASPL-2

Publication years (Num. hits)
1989-2001 (15) 2002-2006 (17) 2007-2011 (12)
Publication types (Num. hits)
article(12) inproceedings(32)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(4) EMSOFT(3) ESOP(3) ACSD(2) Sci. Comput. Program.(2) AADEBUG(1) ACM Trans. Embedded Comput. Sy...(1) Automatic Verification Methods...(1) CAV(1) CC(1) COMPOS(1) Comput. Lang.(1) CONCUR(1) COORDINATION(1) DATE(1) Design Autom. for Emb. Sys.(1) More (+10 of total 35)
Authors
Florence Maraninchi(44) Laurent Maillet-Contoz(7) Matthieu Moy(6) Yann Rémond(6) Alain Girault(4) Éric Rutten(4) Claude Helmstetter(3) Karine Altisen(3) Laurent Mounier(3) Muriel Jourdan(3) Tayeb Bouhadiba(3) David Stauch(2) Fabienne Lagnier(2) Fabrice Valois(2) Jérôme Cornet(2) Lionel Morel(2) More (+10 of total 75)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 26 occurrences of 25 keywords
Results
Found 44 publication records. Showing 44 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Karel Heurtefeux, Florence Maraninchi, Fabrice Valois AreaCast: A cross-layer approach for a communication by area in Wireless Sensor Networks. Search on Bibsonomy ICON The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nicolas Berthier, Florence Maraninchi, Laurent Mounier Synchronous programming of device drivers for global resource control in embedded operating systems. Search on Bibsonomy LCTES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Loï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. Search on Bibsonomy ECEASST The full citation details ... 2009 DBLP  BibTeX  RDF
1Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz Full simulation coverage for SystemC transaction-level models of systems-on-a-chip. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal Formal and executable contracts for transaction-level modeling in SystemC. Search on Bibsonomy EMSOFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF formal component models, systems-on-a-chip, virtual prototyping, transaction-level-modeling
1Tayeb Bouhadiba, Florence Maraninchi Contract-Based Coordination of Hardware Components for the Development of Embedded Software. Search on Bibsonomy COORDINATION The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Executable Contracts, Embedded Systems, Components, Simulation Models, Hardware/Software Interface
1Florence 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. Search on Bibsonomy EURASIP J. Emb. Sys. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Ludovic Samper, Kevin Baradon, Antoine Vasseur Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jé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. Search on Bibsonomy DATE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mischa 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. Search on Bibsonomy SECON The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi A SystemC/TLM Semantics in Promelaand Its Possible Applications. Search on Bibsonomy SPIN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Tayeb Bouhadiba 42: programmable models of computation for a component-based approach to heterogeneous embedded systems. Search on Bibsonomy GPCE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF semantics, models-of-computation, component-based design, heterogeneous embedded systems
1Karine Altisen, Florence Maraninchi, David Stauch Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Alain Girault, Marc Pouzet Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Karine Altisen, Florence Maraninchi, David Stauch Modular Design of Man-Machine Interfaces with Larissa. Search on Bibsonomy Software Composition The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. Search on Bibsonomy InterSense The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz Test Coverage for Loose Timing Annotations. Search on Bibsonomy FMICS/PDMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Paul 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. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Graduate curriculum, architecture and design, extrafunctional properties, distributed systems, embedded systems, real-time, control, labs
1Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level. Search on Bibsonomy Design Autom. for Emb. Sys. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF dynamic, SystemC, parser, static, front-end, elaboration
1Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level. Search on Bibsonomy ACSD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Alain Girault, Éric Rutten Foreword. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi Defining and translating a "safe" subset of simulink/stateflow into lustre. Search on Bibsonomy EMSOFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF embedded software, simulink, lustre, automatic translation
1Florence Maraninchi, Lionel Morel Arrays and Contracts for the Specification and Analysis of Regular Systems. Search on Bibsonomy ACSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Lionel Morel Logical-Time Contracts for Reactive Embedded Components. Search on Bibsonomy EUROMICRO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Yann Rémond Mode-Automata: a new domain-specific construct for the development of safe critical systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Alain Girault, Éric Rutten Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Yann Rémond Argos: an automaton-based synchronous language. Search on Bibsonomy Comput. Lang. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Yann Rémond Running-modes of real-time systems: a case-study with mode-automata. Search on Bibsonomy ECRTS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Fabien Gaucher Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Florence Maraninchi, Yann Rémond, Yannick Raoul MATOU: An Implementation of Mode-Automata. Search on Bibsonomy CC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Yann Rémond Mode-Automata: About Modes and States for Reactive Systems. Search on Bibsonomy ESOP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Yann Rémond Compositionality Criteria for Defining Mixed-Styles Synchronous Languages. Search on Bibsonomy COMPOS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Nicolas Halbwachs Compositional Semantics of Non-Deterministic Synchronous Languages. Search on Bibsonomy ESOP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Nicolas Halbwachs Compiling ARGOS into Boolean Equations. Search on Bibsonomy FTRTFT The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Muriel Jourdan, Florence Maraninchi Static Timing Analysis of Real-Time Systems. Search on Bibsonomy Workshop on Languages, Compilers, & Tools for Real-Time Systems The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Muriel Jourdan, Florence Maraninchi Studying Synchronous Communication Mechanisms by Abstractions. Search on Bibsonomy PROCOMET The full citation details ... 1994 DBLP  BibTeX  RDF
1Muriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond A Multiparadigm Language for Reactive Systems. Search on Bibsonomy ICCL The full citation details ... 1994 DBLP  BibTeX  RDF
1Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond Embedding Declarative Subprograms into Imperative Constructs. Search on Bibsonomy PLILP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Martin Jourdan, Florence Maraninchi, Alfredo Olivero Verifying Quantitative Real-Time Properties of Synchronous Programs. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi Operational and Compositional Semantics of Synchronous Automaton Compositions. Search on Bibsonomy CONCUR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra. Search on Bibsonomy Automatic Verification Methods for Finite State Systems The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #44 of 44 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.