Florence Maraninchi - Professional Home Page

Florence Maraninchi


Send a private message to this author


To send a message

This author's articles

AreaCast: a Cross-Layer Approach for a Communication by Area in Wireless Sensor Networks

Tuesday 23 August 2011

Verifying Quantitative Real-Time Properties of Synchronous Programs

Saturday 15 March 2008

External References to this Work

Thursday 10 April 2008

Argos: an Automaton-Based Synchronous Language

Thursday 21 February 2008

Florence Maraninchi

Friday 2 May 2008

“synchrone” Group

Thursday 21 February 2008

Operational and Compositional Semantics of Synchronous Automaton Compositions

Saturday 15 March 2008

Laurent Lemke, PhD 2013-2016

Monday 4 November 2013

Yuliia Romenska, PhD 2013-2016

Tuesday 20 August 2013

Other Students

Friday 11 April 2008

Ozgun Pinarer, PhD 2012-2015

Tuesday 13 November 2012

Yvan Rivierre, PhD 2010-2013

Friday 27 August 2010

Nicolas Berthier, PhD 2008-2012

Monday 7 July 2008

Giovanni Funchal, PhD 2007-2011

Wednesday 27 February 2008

Tayeb Bouhadiba, PhD 2006-2010

Wednesday 27 February 2008

Jérôme Cornet, PhD 2004-2008

Wednesday 19 March 2008

Ludovic Samper, PhD 2004-2008

Wednesday 19 March 2008

Yussef Bouzouzou, DRT 2006-2007

Wednesday 19 March 2008

David Stauch, PhD 2004-2007

Wednesday 19 March 2008

Claude Helmstetter, PhD 2003-2007

Saturday 15 March 2008

Matthieu Moy, PhD 2002-2005

Saturday 15 March 2008

Lionel Morel, PhD 2001-2005

Wednesday 19 March 2008

Fabien Gaucher, PhD 2000-2003

Wednesday 19 March 2008

Yann Rémond, PhD 1998-2001

Saturday 15 March 2008

ALIDECS / ACI “Sécurité & Informatique” French Programme, 2004-2007

Wednesday 19 March 2008

Muriel Jourdan, PhD 1991-1994

Saturday 15 March 2008

Muriel Vachon, DEA 1990-1991

Thursday 20 March 2008

RISE / IST-2001-38117

Wednesday 19 March 2008

42: Programmable Models of Computation for a Component-Based Approach to Heterogeneous Embedded Systems

Monday 10 March 2008

42: Programmable Models of Computation for a Component-Based Approach to Heterogeneous Embedded Systems

Friday 18 April 2008

42: Programmable Models of Computation for the Component-Based Virtual Prototyping of Heterogeneous Embedded Systems

Tuesday 27 January 2009

Hanan Kanso, Master II R, 2013-2014

Friday 7 February 2014

Abdelhaq Beladjine, master II R 2009-2010

Wednesday 9 December 2009

Sofiane Kara Mostefa, master II R 2009-2010

Friday 25 September 2009

Laurie Lugrin, Master II R, 2008-2009

Friday 19 September 2008

Nicolas Berthier, Master II R, 2007-2008

Wednesday 19 March 2008

Quentin Meunier, Master II R, 2006-2007

Thursday 20 March 2008

Giovanni Funchal, Master IIR, 2006-2007

Saturday 22 March 2008

Tayeb Sofiane Bouhadiba, Master IIR, 2005-2006

Saturday 22 March 2008

Muhammad Muzammil Shahbaz, Master IIR, 2004-2005

Saturday 22 March 2008

David Stauch, Master IIR 2003-2004

Saturday 22 March 2008

Jacques Ndjeng Ndjeng, DEA 2002-2003

Saturday 22 March 2008

Aurélie Clodic , DEA 2001-2002

Saturday 22 March 2008

Lionel Morel, DEA 2000-2001

Tuesday 8 April 2008

Fabien Gaucher, DEA 1999-2000

Tuesday 8 April 2008

Yann Rémond, DEA 1997-1998

Tuesday 8 April 2008

Traian Popovici, Master Diploma, Rumania, 1995-1996

Saturday 22 March 2008

Administrative Tasks (VERIMAG/Grenoble INP)

Wednesday 27 February 2008

Evaluation Tasks

Monday 14 April 2008

External References to this Work

Thursday 10 April 2008

Past Projects

Friday 2 May 2008

Presentations by Year

Friday 18 April 2008

A Generic Structure for Modeling Time and Energy Consumption in Abstract Virtual Prototypes of Embedded Systems

Thursday 24 November 2011

A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip

Saturday 15 March 2008

A Multiparadigm Language for Reactive Systems

Monday 14 April 2008

A SystemC/TLM semantics in Promela and its Possible Applications

Saturday 15 March 2008

Abstraction Problems for the Modeling and Analysis of Sensor Networks

Wednesday 19 November 2008

Architectures logicielles et matérielles (book, online version)

Saturday 15 March 2008

AreaCast: a Communication by Area in Wireless Sensor Networks

Sunday 13 March 2011

ARESA

Monday 1 February 2010

ARESA2

Tuesday 10 November 2009

Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra

Thursday 17 April 2008

Arrays and Contracts for the Specification and Analysis of Regular Systems

Friday 21 March 2008

Aspect-Oriented Programming for Reactive Systems: a Proposal in the Synchronous Framework

Thursday 20 March 2008

Aspects for Reactive Systems

Friday 18 April 2008

Automata in the Family of Synchronous Languages

Friday 18 April 2008

Automatic generation of schedulings for improving the test coverage of systems-on-a-chip

Saturday 15 March 2008

Automatic State Reaching for Debugging Reactive Programs

Friday 21 March 2008

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form

Wednesday 19 August 2009

Castalia or Sinalgo for Simulating Secure Routing Protocols: What is a Very Bad, Yet Realistic, Attacker?

Monday 7 April 2014

CESyMPA 2013-2014

Thursday 21 February 2013

Co-simulation of a SystemC TLM virtual platform with a Power Simulator at the architectural level: Case of a Set Top Box

Friday 9 March 2012

Co-Simulation of Functional SystemC/TLM Models with Power/Thermal Solvers

Wednesday 27 February 2013

Collaboration with DOCEA Power

Friday 11 April 2008

Collaboration with Hanoï, Vietnam

Monday 2 June 2008

COMBEST

Thursday 10 April 2008

Compiling Argos into Boolean Equations

Monday 14 April 2008

Computational Modeling of Non-Functional Properties with the Component Model 42

Wednesday 7 May 2008

Contract-Based Coordination of Hardware Components for the Development of Embedded Software

Friday 20 March 2009

Cours d’informatique : langages et programmation (book)

Saturday 15 March 2008

Defining and translating a “safe” subset of Simulink/Stateflow into Lustre

Friday 21 March 2008

Effective programming language support for discrete-continuous mode-switching control systems

Friday 21 March 2008

Embedded Software and Systems

Friday 21 March 2008

Exploring Aspects in the Context of Reactive Systems

Friday 21 March 2008

Faithfulness Considerations for Virtual Prototyping of Systems-on-Chip

Monday 24 May 2010

Faithfulness Considerations for Virtual Prototyping of Systems-on-Chip

Saturday 18 December 2010

FETCH (07, 08, 09, ...)

Wednesday 19 March 2008

Formal and Executable Contracts for Transaction-Level Modeling in SystemC

Wednesday 19 August 2009

Formal and Executable Contracts for Transaction-Level Modeling in SystemC - Full version

Friday 5 June 2009

Formal Models for Time and Concurrency

Wednesday 19 March 2008

Formal Validation of Embedded Software and Systems, ENSIMAG 3A

Thursday 21 February 2008

Formal Validation Techniques for Transactional Models

Thursday 10 April 2008

Formalizing the SystemC Semantics for the Validation of Systems-on-a-Chip

Friday 18 April 2008

FoToVP

Wednesday 27 February 2008

Full Simulation Coverage for SystemC Transaction-Level Models of Systems-on-a-Chip

Friday 29 May 2009

GLONEMO: Global and Accurate Formal Models for the Analysis of Ad-Hoc Sensor Networks

Wednesday 19 March 2008

Guidelines for a graduate curriculum on embedded software and systems

Wednesday 19 March 2008

HELP

Tuesday 10 November 2009

Interference of Larissa Aspects

Friday 21 March 2008

International Relations at Ensimag / Grenoble INP

Thursday 2 October 2008

Kevin Marquet, openTLM 2008-2010

Thursday 10 July 2008

La place de l’informatique dans l’enseignement des logiciels et systèmes embarqués

Wednesday 19 March 2008

Larissa: Modular Design of Man-Machine Interfaces with Aspects

Friday 21 March 2008

Logical-Time Contracts for the Development of Reactive Embedded Software

Friday 21 March 2008

LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level

Saturday 15 March 2008

LusSy: an open tool for the analysis of systems-on-a-chip at the transaction level

Saturday 15 March 2008

Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks

Thursday 20 March 2008

Master of Science in Informatics at Grenoble

Sunday 23 March 2008

MATOU: An Implementation of Mode-Automata into DC

Tuesday 25 March 2008

MoCC 06, 08

Monday 5 May 2008

Modélisation et validation des systèmes réactifs : un langage synchrone à base d’automates

Saturday 15 March 2008

Modélisation formelle pour l’analyse énergétique et thermique de systèmes électroniques

Wednesday 27 August 2008

Mode-Automata: a new Domain-Specific Construct for the Development of Safe Critical Systems

Saturday 15 March 2008

Mode-Automata: About Modes and States for Reactive Systems

Tuesday 25 March 2008

Model-Based X, Virtual Prototyping, 42, SoCs, Sensor Networks, and Other Stories

Thursday 10 April 2008

Modeling and Validation of Systems-on-a-Chip at the Transactional Levels

Friday 18 April 2008

Models for Time and Parallelism (master level)

Friday 18 April 2008

Modular Worst-Case-Energy-Consumed

Friday 18 April 2008

MOSIG 2: Embedded Systems (F. Maraninchi & P. Raymond)

Friday 3 October 2008

Olivier Bezet, ARESA, oct 2006-jun 2009

Thursday 20 March 2008

On the Importance of Modeling the Environment when Analyzing Sensor Networks

Friday 21 March 2008

OpenES 2013-2016

Friday 30 September 2016

openTLM

Wednesday 19 March 2008

Pinapa: The Extraction Tool for SystemC descriptions of Systems-on-a-Chip

Saturday 15 March 2008

Programming the Arduino platform with synchronous languages

Tuesday 11 February 2014

Publications by Subject

Thursday 24 April 2008

Publications by Year

Thursday 17 April 2008

Research Proposals, 2009-10, VERIMAG/Synchrone

Wednesday 2 July 2008

Running-Modes of Real-Time Systems: A Case-Study with Mode-Automata

Tuesday 25 March 2008

Separation of Functional and Non-Functional Aspects in Transactional Level Models of Systems-on-Chip

Tuesday 8 March 2011

Shared self-configuring models and software infrastructures for Smart City monitoring and control

Thursday 16 May 2013

SLAP and SLA++P, 2002-2008

Saturday 5 April 2008

Specification and Validation of Embedded Systems: A Case Study of a Fault-Tolerant Data Acquisition System with Lustre Programming environment

Friday 15 November 2013

Static timing analysis of real-time systems

Thursday 10 December 2009

Step-wise + Algorithmic debugging for Reactive Programs: LuDiC : a debugger for Lustre

Thursday 20 March 2008

Studying Synchronous Communication Mechanisms by Abstractions

Saturday 15 March 2008

SYNCHRON, since 1994

Wednesday 19 March 2008

Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems

Monday 6 December 2010

Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems

Tuesday 27 March 2012

System-Level Modeling of Energy in TLM for Early Validation of Power and Thermal Management

Friday 16 November 2012

SystemC/TLM Semantics for Heterogeneous System-on-Chip Validation

Tuesday 1 April 2008

Test Coverage for Loose Timing Annotations

Saturday 15 March 2008

The ARESA Project: Facilitating Research, Development and Commercialization of WSNs

Thursday 20 March 2008

The ARESA Project: Facilitating Research, Development and Commercialization of WSNs

Friday 18 April 2008

Two Teaching Books

Friday 13 February 2009

Unmesh D. Bordoloi, CNRS Postdoc 2009

Monday 7 July 2008

Using Controller Synthesis to Build Property-Enforcing Layers

Friday 21 March 2008

VERIMAG + STMicroelectronics common projects [2002...[

Thursday 3 April 2008

Writing Simulators with Synchronous Languages

Wednesday 3 December 2008

Yanhong Liu, FoToVP, 2008-2009

Thursday 20 March 2008
Home page | Contact | Site Map | | Statistics | visits: 79434

Follow-up of the site's activity en    ?

Site created with SPIP 2.1.26 + AHUNTSIC

Creative Commons License