Florence Maraninchi

59 papers A* 1A 7B 8C 1Misc 5Journal 11Unranked 22

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Let us not put all our eggs in one basket. Commun. ACM Florence Maraninchi
2016	A	`conf`	Efficient monitoring of loose-ordering properties for SystemC/TLM. DATE Yuliia Romenska, Florence Maraninchi
2016	J	`jnl`	Modeling Power Consumption and Temperature in TLM Models. Leibniz Trans. Embed. Syst. Matthieu Moy, Claude Helmstetter, Tayeb Bouhadiba, Florence Maraninchi
2013	—	`conf`	Co-simulation of Functional SystemC TLM Models with Power/Thermal Solvers. IPDPS Workshops Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi, Jérôme Cornet, Laurent Maillet-Contoz, Ilija Materic
2013	J	`jnl`	Synchronous programming of device drivers for global resource control in embedded operating systems. ACM Trans. Embed. Comput. Syst. Nicolas Berthier, Florence Maraninchi, Laurent Mounier
2013	A	`conf`	System-level modeling of energy in TLM for early validation of power and thermal management. DATE Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi
2012	Misc	`conf`	An overview of the career of Paul Caspi. EMSOFT Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi
2012	Misc	`ed.`	Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012 EMSOFT Ahmed Jerraya, Luca P. Carloni, Florence Maraninchi, John Regehr
2011	—	`conf`	AreaCast: A cross-layer approach for a communication by area in Wireless Sensor Networks. ICON Karel Heurtefeux, Florence Maraninchi, Fabrice Valois
2011	B	`conf`	Synchronous programming of device drivers for global resource control in embedded operating systems. LCTES Nicolas Berthier, Florence Maraninchi, Laurent Mounier
2009	J	`jnl`	Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi
2009	C	`conf`	Contract-Based Coordination of Hardware Components for the Development of Embedded Software. COORDINATION Tayeb Bouhadiba, Florence Maraninchi
2009	Misc	`conf`	Formal and executable contracts for transaction-level modeling in SystemC. EMSOFT Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal
2009	J	`jnl`	Full simulation coverage for SystemC transaction-level models of systems-on-a-chip. Formal Methods Syst. Des. Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz
2008	A	`conf`	A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip. DATE Jérôme Cornet, Florence Maraninchi, Laurent Maillet-Contoz
2008	J	`jnl`	Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems. EURASIP J. Embed. Syst. Florence Maraninchi, Michael Mendler, Marc Pouzet, Alain Girault, Éric Rutten
2007	B	`conf`	42: programmable models of computation for a component-based approach to heterogeneous embedded systems. GPCE Florence Maraninchi, Tayeb Bouhadiba
2007	—	`conf`	A SystemC/TLM Semantics in Promelaand Its Possible Applications. SPIN Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi
2007	—	`conf`	Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks. SLA++P Florence Maraninchi, Ludovic Samper, Kevin Baradon, Antoine Vasseur
2007	B	`conf`	The ARESA Project: Facilitating Research, Development and Commercialization of WSNs. SECON Mischa Dohler, Dominique Barthel, Florence Maraninchi, Laurent Mounier, Stephane Aubert, Christophe Dugas, Aurélien Buhrig, Franck Paugnat, Marc Renaudin, Andrzej Duda, Martin Heusse, Fabrice Valois
2006	J	`jnl`	Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. Sci. Comput. Program. Karine Altisen, Florence Maraninchi, David Stauch
2006	B	`conf`	Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. FMCAD Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy
2006	—	`conf`	GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. InterSense Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel
2006	A	`conf`	Modular Design of Man-Machine Interfaces with Larissa. SC Karine Altisen, Florence Maraninchi, David Stauch
2006	B	`conf`	On the Importance of Modeling the Environment when Analyzing Sensor Networks. SECON Ludovic Samper, Florence Maraninchi, Erwan Jahier
2006	—	`ed.`	Proceedings of the Third International Workshop on Synchronous Languages, Applications, and Programs, SLAP 2004, Satellite Event of ETAPS 2004, Barcelona, Spain, March 28, 2004 SLAP Florence Maraninchi, Alain Girault, Marc Pouzet
2006	—	`conf`	Test Coverage for Loose Timing Annotations. FMICS/PDMC Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz
2005	J	`jnl`	Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi
2005	—	`conf`	LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level. ACSD Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz
2005	J	`jnl`	LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level. Des. Autom. Embed. Syst. Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz
2005	Misc	`conf`	Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. EMSOFT Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz
2004	—	`conf`	Arrays and Contracts for the Specification and Analysis of Regular Systems. ACSD Florence Maraninchi, Lionel Morel
2004	Misc	`conf`	Defining and translating a "safe" subset of simulink/stateflow into lustre. EMSOFT Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi
2004	—	`conf`	Logical-Time Contracts for Reactive Embedded Components. EUROMICRO Florence Maraninchi, Lionel Morel
2004	—	`conf`	Preface. SLAP Florence Maraninchi, Alain Girault, Marc Pouzet
2004	—	`ed.`	Synchronous Languages, Applications and Programming, SLAP 2003, A Satellite Workshop of ECRTS 2003, Porto, Portugal, July 1, 2003 SLAP Florence Maraninchi, Alain Girault, Éric Rutten
2003	—	`conf`	Automatic State Reaching for Debugging Reactive Programs. AADEBUG Fabien Gaucher, Erwan Jahier, Bertrand Jeannet, Florence Maraninchi
2003	—	`conf`	Foreword. SLAP Florence Maraninchi, Alain Girault, Éric Rutten
2003	J	`jnl`	Mode-Automata: a new domain-specific construct for the development of safe critical systems. Sci. Comput. Program. Florence Maraninchi, Yann Rémond
2003	A	`conf`	Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. ESOP Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten
2002	—	`conf`	Preface. SLAP Florence Maraninchi, Alain Girault, Éric Rutten
2002	—	`ed.`	Synchronous Languages, Applications, and Programming, SLAP 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002 SLAP Florence Maraninchi, Alain Girault, Éric Rutten
2001	J	`jnl`	Argos: an automaton-based synchronous language. Comput. Lang. Florence Maraninchi, Yann Rémond
2001	—	`conf`	Effective programming language support for discrete-continuous mode-switching control systems. CDC Florence Maraninchi, Yann Rémond, Éric Rutten
2000	B	`conf`	MATOU: An Implementation of Mode-Automata. CC Florence Maraninchi, Yann Rémond, Yannick Raoul
2000	B	`conf`	Running-modes of real-time systems: a case-study with mode-automata. ECRTS Florence Maraninchi, Yann Rémond
2000	—	`conf`	Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre. AADEBUG Florence Maraninchi, Fabien Gaucher
1998	A	`conf`	Mode-Automata: About Modes and States for Reactive Systems. ESOP Florence Maraninchi, Yann Rémond
1997	—	`conf`	Compositionality Criteria for Defining Mixed-Styles Synchronous Languages. COMPOS Florence Maraninchi, Yann Rémond
1997	—	`book`	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
1996	—	`conf`	Compiling ARGOS into Boolean Equations. FTRTFT Florence Maraninchi, Nicolas Halbwachs
1996	A	`conf`	Compositional Semantics of Non-Deterministic Synchronous Languages. ESOP Florence Maraninchi, Nicolas Halbwachs
1995	—	`conf`	Static Timing Analysis of Real-Time Systems. Workshop on Languages, Compilers, & Tools for Real-Time Systems Muriel Jourdan, Florence Maraninchi
1994	—	`conf`	A Multiparadigm Language for Reactive Systems. ICCL Muriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond
1994	—	`conf`	Studying Synchronous Communication Mechanisms by Abstractions. PROCOMET Muriel Jourdan, Florence Maraninchi
1993	—	`conf`	Embedding Declarative Subprograms into Imperative Constructs. PLILP Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond
1993	A*	`conf`	Verifying Quantitative Real-Time Properties of Synchronous Programs. CAV Martin Jourdan, Florence Maraninchi, Alfredo Olivero
1992	B	`conf`	Operational and Compositional Semantics of Synchronous Automaton Compositions. CONCUR Florence Maraninchi
1989	—	`conf`	Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra. Automatic Verification Methods for Finite State Systems Florence Maraninchi