Florence Maraninchi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 54 from 54

2022

Let us not put all our eggs in one basketFlorence Maraninchi. CACM, 65(9):35-37, 2022. [doi]

2016

Modeling Power Consumption and Temperature in TLM ModelsMatthieu Moy, Claude Helmstetter, Tayeb Bouhadiba, Florence Maraninchi. lites, 3(1), 2016. [doi]

Efficient monitoring of loose-ordering properties for SystemC/TLMYuliia Romenska, Florence Maraninchi. date 2016: 559-562 [doi]

2013

2012

An overview of the career of Paul CaspiAlbert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi. emsoft 2012: 195-196 [doi]

2011

Synchronous programming of device drivers for global resource control in embedded operating systemsNicolas Berthier, Florence Maraninchi, Laurent Mounier. lctrts 2011: 81-90 [doi]

AreaCast: A cross-layer approach for a communication by area in Wireless Sensor NetworksKarel Heurtefeux, Florence Maraninchi, Fabrice Valois. icon 2011: 112-117 [doi]

2009

2008

2007

2006

Modular Design of Man-Machine Interfaces with LarissaKarine Altisen, Florence Maraninchi, David Stauch. SC 2006: 291-306 [doi]

Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous frameworkKarine Altisen, Florence Maraninchi, David Stauch. SCP, 63(3):297-320, 2006. [doi]

Test Coverage for Loose Timing AnnotationsC. Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz. fmics 2007: 100-115 [doi]

Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-ChipC. Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy. FMCAD 2006: 171-178 [doi]

PrefaceFlorence Maraninchi, Alain Girault, Marc Pouzet. ENTCS, 153(4):1-2, 2006. [doi]

On the Importance of Modeling the Environment when Analyzing Sensor NetworksLudovic Samper, Florence Maraninchi, Erwan Jahier. secon 2006: 835-841 [doi]

GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networksLudovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel. intersense 2006: 3 [doi]

2005

LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional LevelMatthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz. acsd 2005: 26-35 [doi]

Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chipMatthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz. emsoft 2005: 317-324 [doi]

LusSy: An open tool for the analysis of systems-on-a-chip at the transaction levelMatthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz. dafes, 10(2-3):73-104, 2005. [doi]

2004

2003

Using Controller-Synthesis Techniques to Build Property-Enforcing LayersKarine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten. ESOP 2003: 174-188 [doi]

Mode-Automata: a new domain-specific construct for the development of safe critical systemsFlorence Maraninchi, Yann Rémond. SCP, 46(3):219-254, 2003. [doi]

2002

PrefaceFlorence Maraninchi, Alain Girault, Éric Rutten. ENTCS, 65(5):1-2, 2002. [doi]

2001

Argos: an automaton-based synchronous languageFlorence Maraninchi, Yann Rémond. Comp. Lang., Syst. \& Struct., 27(1/3):61-92, 2001.

Effective programming language support for discrete-continuous mode-switching control systemsFlorence Maraninchi, Yann Rémond, Éric Rutten. cdc 2001: 3296-3301 [doi]

2000

MATOU: An Implementation of Mode-AutomataFlorence Maraninchi, Yann Rémond, Yannick Raoul. cc 2000: 249-263 [doi]

Running-modes of real-time systems: a case-study with mode-automataFlorence Maraninchi, Yann Rémond. ecrts 2000: 257-264 [doi]

Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for LustreFlorence Maraninchi, Fabien Gaucher. AADEBUG 2000:

1998

Mode-Automata: About Modes and States for Reactive SystemsFlorence Maraninchi, Yann Rémond. ESOP 1998: 185-199 [doi]

1997

Compositionality Criteria for Defining Mixed-Styles Synchronous LanguagesFlorence Maraninchi, Yann Rémond. SC 1998: 424-438 [doi]

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)Florence Maraninchi. 1997. [doi]

1996

Compositional Semantics of Non-Deterministic Synchronous LanguagesFlorence Maraninchi, Nicolas Halbwachs. ESOP 1996: 235-249

Compiling ARGOS into Boolean EquationsFlorence Maraninchi, Nicolas Halbwachs. ftrtft 1996: 72-89

1995

Static Timing Analysis of Real-Time SystemsMuriel Jourdan, Florence Maraninchi. lctrts 1995: 79-87

1994

A Multiparadigm Language for Reactive SystemsMuriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond. iccl 1994: 211-218

Studying Synchronous Communication Mechanisms by AbstractionsMuriel Jourdan, Florence Maraninchi. procomet 1994: 189-205

1993

Embedding Declarative Subprograms into Imperative ConstructsMartin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond. plilp 1993: 414-415

Verifying Quantitative Real-Time Properties of Synchronous ProgramsM. Jourdan, Florence Maraninchi, Alfredo Olivero. cav 1993: 347-358

1992

Operational and Compositional Semantics of Synchronous Automaton CompositionsFlorence Maraninchi. concur 1992: 550-564

1989

Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process AlgebraFlorence Maraninchi. avmfss 1990: 38-53

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Florence Maraninchi'

Viewing Publication 1 - 54 from 54

2022

2016

2013

2012

2011

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1998

1997

1996

1995

1994

1993

1992

1989

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Florence Maraninchi'

Viewing Publication 1 - 54 from 54

2022

2016

2013

2012

2011

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1998

1997

1996

1995

1994

1993

1992

1989

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1