Florence Maraninchi

Affiliations:
  • IMAG, Grenoble, France


According to our database1, Florence Maraninchi authored at least 53 papers between 1989 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Let us not put all our eggs in one basket.
Commun. ACM, 2022

2016
Modeling Power Consumption and Temperature in TLM Models.
Leibniz Trans. Embed. Syst., 2016

Efficient monitoring of loose-ordering properties for SystemC/TLM.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2013
Synchronous programming of device drivers for global resource control in embedded operating systems.
ACM Trans. Embed. Comput. Syst., 2013

Co-simulation of Functional SystemC TLM Models with Power/Thermal Solvers.
Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013

System-level modeling of energy in TLM for early validation of power and thermal management.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
An overview of the career of Paul Caspi.
Proceedings of the 12th International Conference on Embedded Software, 2012

2011
AreaCast: A cross-layer approach for a communication by area in Wireless Sensor Networks.
Proceedings of the 17th IEEE International Conference on Networks, 2011

2009
Full simulation coverage for SystemC transaction-level models of systems-on-a-chip.
Formal Methods Syst. Des., 2009

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Formal and executable contracts for transaction-level modeling in SystemC.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Contract-Based Coordination of Hardware Components for the Development of Embedded Software.
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

2008
Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems.
EURASIP J. Embed. Syst., 2008

A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks.
Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007

A SystemC/TLM Semantics in Promelaand Its Possible Applications.
Proceedings of the Model Checking Software, 2007

The ARESA Project: Facilitating Research, Development and Commercialization of WSNs.
Proceedings of the Fourth Annual IEEE Communications Society Conference on Sensor, 2007

42: programmable models of computation for a component-based approach to heterogeneous embedded systems.
Proceedings of the Generative Programming and Component Engineering, 2007

2006
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework.
Sci. Comput. Program., 2006

Modular Design of Man-Machine Interfaces with Larissa.
Proceedings of the Software Composition - 5th International Symposium, 2006

On the Importance of Modeling the Environment when Analyzing Sensor Networks.
Proceedings of the Third Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks, 2006

GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks.
Proceedings of the First International Conference in Integrated Internet Ad Hoc and Sensor Networks, 2006

Test Coverage for Loose Timing Annotations.
Proceedings of the Formal Methods: Applications and Technology, 2006

Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip.
Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2005
Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embed. Comput. Syst., 2005

LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level.
Des. Autom. Embed. Syst., 2005

Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip.
Proceedings of the EMSOFT 2005, 2005

LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level.
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004
Preface.
Proceedings of the Third International Workshop on Synchronous Languages, 2004

Logical-Time Contracts for Reactive Embedded Components.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

Defining and translating a "safe" subset of simulink/stateflow into lustre.
Proceedings of the EMSOFT 2004, 2004

Arrays and Contracts for the Specification and Analysis of Regular Systems.
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003
Mode-Automata: a new domain-specific construct for the development of safe critical systems.
Sci. Comput. Program., 2003

Foreword.
Proceedings of the Synchronous Languages, Applications and Programming, 2003

Using Controller-Synthesis Techniques to Build Property-Enforcing Layers.
Proceedings of the Programming Languages and Systems, 2003

2002
Preface.
Proceedings of the Synchronous Languages, Applications, and Programming, 2002

2001
Argos: an automaton-based synchronous language.
Comput. Lang., 2001

Effective programming language support for discrete-continuous mode-switching control systems.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000
Running-modes of real-time systems: a case-study with mode-automata.
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

MATOU: An Implementation of Mode-Automata.
Proceedings of the Compiler Construction, 9th International Conference, 2000

Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre.
Proceedings of the Fourth International Workshop on Automated Debugging, 2000

1998
Mode-Automata: About Modes and States for Reactive Systems.
Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

1997
Compositionality Criteria for Defining Mixed-Styles Synchronous Languages.
Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

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).
, 1997

1996
Compiling ARGOS into Boolean Equations.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Compositional Semantics of Non-Deterministic Synchronous Languages.
Proceedings of the Programming Languages and Systems, 1996

1995
Static Timing Analysis of Real-Time Systems.
Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, 1995

1994
Studying Synchronous Communication Mechanisms by Abstractions.
Proceedings of the Programming Concepts, 1994

A Multiparadigm Language for Reactive Systems.
Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

1993
Embedding Declarative Subprograms into Imperative Constructs.
Proceedings of the Programming Language Implementation and Logic Programming, 1993

Verifying Quantitative Real-Time Properties of Synchronous Programs.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992
Operational and Compositional Semantics of Synchronous Automaton Compositions.
Proceedings of the CONCUR '92, 1992

1989
Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra.
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989


  Loading...