![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Florence Maraninchi
Person information
- affiliation: IMAG, Grenoble, France
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j11]Florence Maraninchi:
Let us not put all our eggs in one basket. Commun. ACM 65(9): 35-37 (2022)
2010 – 2019
- 2016
- [j10]Matthieu Moy
, Claude Helmstetter
, Tayeb Bouhadiba
, Florence Maraninchi
:
Modeling Power Consumption and Temperature in TLM Models. Leibniz Trans. Embed. Syst. 3(1): 03:1-03:29 (2016) - [c42]Yuliia Romenska, Florence Maraninchi:
Efficient monitoring of loose-ordering properties for SystemC/TLM. DATE 2016: 559-562 - 2013
- [j9]Nicolas Berthier
, Florence Maraninchi
, Laurent Mounier:
Synchronous programming of device drivers for global resource control in embedded operating systems. ACM Trans. Embed. Comput. Syst. 12(1s): 39:1-39:26 (2013) - [c41]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 - [c40]Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi, Jérôme Cornet, Laurent Maillet-Contoz, Ilija Materic:
Co-simulation of Functional SystemC TLM Models with Power/Thermal Solvers. IPDPS Workshops 2013: 2176-2181 - 2012
- [c39]Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi:
An overview of the career of Paul Caspi. EMSOFT 2012: 195-196 - [e4]Ahmed Jerraya, Luca P. Carloni, Florence Maraninchi, John Regehr:
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 [contents] - 2011
- [c38]Karel Heurtefeux
, Florence Maraninchi, Fabrice Valois:
AreaCast: A cross-layer approach for a communication by area in Wireless Sensor Networks. ICON 2011: 112-117 - [c37]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
- [j8]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. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009) - [j7]Claude Helmstetter, Florence Maraninchi
, Laurent Maillet-Contoz:
Full simulation coverage for SystemC transaction-level models of systems-on-a-chip. Formal Methods Syst. Des. 35(2): 152-189 (2009) - [c36]Tayeb Bouhadiba, Florence Maraninchi
:
Contract-Based Coordination of Hardware Components for the Development of Embedded Software. COORDINATION 2009: 204-224 - [c35]Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal:
Formal and executable contracts for transaction-level modeling in SystemC. EMSOFT 2009: 97-106 - 2008
- [j6]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. Embed. Syst. 2008 (2008) - [c34]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
- [c33]Florence Maraninchi, Tayeb Bouhadiba:
42: programmable models of computation for a component-based approach to heterogeneous embedded systems. GPCE 2007: 53-62 - [c32]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 - [c31]Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi
:
A SystemC/TLM Semantics in Promelaand Its Possible Applications. SPIN 2007: 204-222 - [c30]Florence Maraninchi, Ludovic Samper, Kevin Baradon, Antoine Vasseur:
Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks. SLA++P@ETAPS 2007: 95-110 - 2006
- [j5]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) - [c29]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 - [c28]Claude Helmstetter
, Florence Maraninchi
, Laurent Maillet-Contoz:
Test Coverage for Loose Timing Annotations. FMICS/PDMC 2006: 100-115 - [c27]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 - [c26]Ludovic Samper, Florence Maraninchi, Erwan Jahier:
On the Importance of Modeling the Environment when Analyzing Sensor Networks. SECON 2006: 835-841 - [c25]Karine Altisen, Florence Maraninchi
, David Stauch:
Modular Design of Man-Machine Interfaces with Larissa. SC@ETAPS 2006: 291-306 - [e3]Florence Maraninchi, Alain Girault, Marc Pouzet:
Proceedings of the Third International Workshop on Synchronous Languages, Applications, and Programs, SLAP 2004, Satellite Event of ETAPS 2004, Barcelona, Spain, March 28, 2004. Electronic Notes in Theoretical Computer Science 153(4), Elsevier 2006 [contents] - 2005
- [j4]Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz:
LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level. Des. Autom. Embed. Syst. 10(2-3): 73-104 (2005) - [j3]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. Embed. Comput. Syst. 4(3): 587-611 (2005) - [c24]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 - [c23]Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz:
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. EMSOFT 2005: 317-324 - 2004
- [c22]Florence Maraninchi, Lionel Morel:
Arrays and Contracts for the Specification and Analysis of Regular Systems. ACSD 2004: 57-66 - [c21]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 - [c20]Florence Maraninchi, Lionel Morel:
Logical-Time Contracts for Reactive Embedded Components. EUROMICRO 2004: 48-55 - [c19]Florence Maraninchi, Alain Girault, Marc Pouzet:
Preface. SLAP@ETAPS 2004: 1-2 - [e2]Florence Maraninchi, Alain Girault, Éric Rutten:
Synchronous Languages, Applications and Programming, SLAP 2003, A Satellite Workshop of ECRTS 2003, Porto, Portugal, July 1, 2003. Electronic Notes in Theoretical Computer Science 88, Elsevier 2004 [contents] - 2003
- [j2]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) - [c18]Karine Altisen, Aurélie Clodic, Florence Maraninchi
, Éric Rutten:
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. ESOP 2003: 174-188 - [c17]Florence Maraninchi, Alain Girault, Éric Rutten:
Foreword. SLAP 2003: 1-2 - 2002
- [c16]Florence Maraninchi, Alain Girault, Éric Rutten:
Preface. SLAP@ETAPS 2002: 1-2 - [e1]Florence Maraninchi, Alain Girault, Éric Rutten:
Synchronous Languages, Applications, and Programming, SLAP 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002. Electronic Notes in Theoretical Computer Science 65(5), Elsevier 2002 [contents] - 2001
- [j1]Florence Maraninchi, Yann Rémond:
Argos: an automaton-based synchronous language. Comput. Lang. 27(1/3): 61-92 (2001) - [c15]Florence Maraninchi, Yann Rémond, Éric Rutten:
Effective programming language support for discrete-continuous mode-switching control systems. CDC 2001: 3296-3301 - 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
- [b1]Florence Maraninchi:
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). Joseph Fourier University, Grenoble, France, 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]Florence Maraninchi
, Nicolas Halbwachs:
Compiling ARGOS into Boolean Equations. FTRTFT 1996: 72-89 - 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint