According to our database1, Florence Maraninchi authored at least 50 papers between 1989 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Modeling Power Consumption and Temperature in TLM Models.
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