Florence Maraninchi

According to our database1, Florence Maraninchi authored at least 50 papers between 1989 and 2016.

Collaborative distances:



In proceedings 
PhD thesis 



On csauthors.net:


Modeling Power Consumption and Temperature in TLM Models.
LITES, 2016

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

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

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

Synchronous programming of device drivers for global resource control in embedded operating systems.
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 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

Full simulation coverage for SystemC transaction-level models of systems-on-a-chip.
Formal Methods in System Design, 2009

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

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

Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks.
Electr. Notes Theor. Comput. Sci., 2008

Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems.
EURASIP J. Emb. Sys., 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

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

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

Electr. Notes Theor. Comput. Sci., 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 Conference on Sensor, 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

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

LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level.
Design Autom. for Emb. Sys., 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

Electr. Notes Theor. Comput. Sci., 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

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

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

Electr. Notes Theor. Comput. Sci., 2002

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

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

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

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

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

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

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

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

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

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