Florence Maraninchi

	2009
38		Tayeb Bouhadiba, Florence Maraninchi: Contract-Based Coordination of Hardware Components for the Development of Embedded Software. COORDINATION 2009: 204-224
37		Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal: Formal and executable contracts for transaction-level modeling in SystemC. EMSOFT 2009: 97-106
	2008
36		Jérôme Cornet, Florence Maraninchi, Laurent Maillet-Contoz: A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip. DATE 2008: 9-14
35		Florence Maraninchi, Ludovic Samper, Kevin Baradon, Antoine Vasseur: Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks. Electr. Notes Theor. Comput. Sci. 203(4): 95-110 (2008)
	2007
34		Florence Maraninchi, Tayeb Bouhadiba: 42: programmable models of computation for a component-based approach to heterogeneous embedded systems. GPCE 2007: 53-62
33		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: The ARESA Project: Facilitating Research, Development and Commercialization of WSNs. SECON 2007: 590-599
32		Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi: A SystemC/TLM Semantics in Promelaand Its Possible Applications. SPIN 2007: 204-222
	2006
31		C. Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy: Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. FMCAD 2006: 171-178
30		C. Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz: Test Coverage for Loose Timing Annotations. FMICS/PDMC 2006: 100-115
29		Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel: GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. InterSense 2006: 3
28		Karine Altisen, Florence Maraninchi, David Stauch: Modular Design of Man-Machine Interfaces with Larissa. Software Composition 2006: 291-306
27		Florence Maraninchi, Alain Girault, Marc Pouzet: Preface. Electr. Notes Theor. Comput. Sci. 153(4): 1-2 (2006)
26		Karine Altisen, Florence Maraninchi, David Stauch: Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. Sci. Comput. Program. 63(3): 297-320 (2006)
	2005
25		Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz: LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level. ACSD 2005: 26-35
24		Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz: Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. EMSOFT 2005: 317-324
23		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: Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)
	2004
22		Florence Maraninchi, Lionel Morel: Arrays and Contracts for the Specification and Analysis of Regular Systems. ACSD 2004: 57-66
21		Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi: Defining and translating a "safe" subset of simulink/stateflow into lustre. EMSOFT 2004: 259-268
20		Florence Maraninchi, Lionel Morel: Logical-Time Contracts for Reactive Embedded Components. EUROMICRO 2004: 48-55
19		Florence Maraninchi, Alain Girault, Éric Rutten: Foreword. Electr. Notes Theor. Comput. Sci. 88: 1-2 (2004)
	2003
18		Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten: Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. ESOP 2003: 174-188
17		Florence Maraninchi, Yann Rémond: Mode-Automata: a new domain-specific construct for the development of safe critical systems. Sci. Comput. Program. 46(3): 219-254 (2003)
	2002
16		Florence Maraninchi, Alain Girault, Éric Rutten: Preface. Electr. Notes Theor. Comput. Sci. 65(5): (2002)
	2001
15		Florence Maraninchi, Yann Rémond: Argos: an automaton-based synchronous language. Comput. Lang. 27(1/3): 61-92 (2001)
	2000
14		Florence Maraninchi, Fabien Gaucher: Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre. AADEBUG 2000
13		Florence Maraninchi, Yann Rémond, Yannick Raoul: MATOU: An Implementation of Mode-Automata. CC 2000: 249-263
12		Florence Maraninchi, Yann Rémond: Running-modes of real-time systems: a case-study with mode-automata. ECRTS 2000: 257-264
	1998
11		Florence Maraninchi, Yann Rémond: Mode-Automata: About Modes and States for Reactive Systems. ESOP 1998: 185-199
	1997
10		Florence Maraninchi, Yann Rémond: Compositionality Criteria for Defining Mixed-Styles Synchronous Languages. COMPOS 1997: 424-438
	1996
9		Florence Maraninchi, Nicolas Halbwachs: Compositional Semantics of Non-Deterministic Synchronous Languages. ESOP 1996: 235-249
8		Florence Maraninchi, Nicolas Halbwachs: Compiling ARGOS into Boolean Equations. FTRTFT 1996: 72-89
	1995
7		Muriel Jourdan, Florence Maraninchi: Static Timing Analysis of Real-Time Systems. Workshop on Languages, Compilers, & Tools for Real-Time Systems 1995: 79-87
	1994
6		Muriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond: A Multiparadigm Language for Reactive Systems. ICCL 1994: 211-218
5		Muriel Jourdan, Florence Maraninchi: Studying Synchronous Communication Mechanisms by Abstractions. PROCOMET 1994: 189-205
	1993
4		M. Jourdan, Florence Maraninchi, Alfredo Olivero: Verifying Quantitative Real-Time Properties of Synchronous Programs. CAV 1993: 347-358
3		Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond: Embedding Declarative Subprograms into Imperative Constructs. PLILP 1993: 414-415
	1992
2		Florence Maraninchi: Operational and Compositional Semantics of Synchronous Automaton Compositions. CONCUR 1992: 550-564
	1989
1		Florence Maraninchi: Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra. Automatic Verification Methods for Finite State Systems 1989: 38-53

Coauthor Index

1	Luís Almeida	[23]
2	Karine Altisen	[18] [26] [28]
3	Stephane Aubert	[33]
4	Kevin Baradon	[35]
5	Dominique Barthel	[33]
6	Albert Benveniste	[23]
7	Tayeb Bouhadiba	[34] [37] [38]
8	Bruno Bouyssounouse	[23]
9	Aurélien Buhrig	[33]
10	Giorgio C. Buttazzo	[23]
11	Paul Caspi	[21] [23]
12	Aurélie Clodic	[18]
13	Jérôme Cornet	[32] [36]
14	Ivica Crnkovic	[23]
15	Werner Damm	[23]
16	Mischa Dohler	[33]
17	Andrzej Duda	[33]
18	Christophe Dugas	[33]
19	Jakob Engblom	[23]
20	Gerhard Fohler	[23]
21	Giovanni Funchal	[37]
22	Marisol García-Valls	[23]
23	Fabien Gaucher	[14]
24	Alain Girault	[16] [19] [27]
25	Nicolas Halbwachs	[8] [9]
26	C. Helmstetter	[30] [31]
27	Martin Heusse	[33]
28	M. Jourdan	[4]
29	Martin Jourdan	[3]
30	Muriel Jourdan	[5] [6] [7]
31	Hermann Kopetz	[23]
32	Fabienne Lagnier	[3] [6]
33	Yassine Lakhnech	[23]
34	François Laroussinie	[23]
35	Luciano Lavagno	[23]
36	Giuseppe Lipari	[23]
37	Laurent Maillet-Contoz	[24] [25] [30] [31] [36]
38	Louis Mandel	[29]
39	Lionel Morel	[20] [22]
40	Laurent Mounier	[29] [33]
41	Matthieu Moy	[24] [25] [31] [32]
42	Alfredo Olivero	[4]
43	Franck Paugnat	[33]
44	Philipp Peti	[23]
45	Marc Pouzet	[27]
46	Juan Antonio de la Puente	[23]
47	Yannick Raoul	[13]
48	Pascal Raymond	[3] [6]
49	Yann Rémond	[10] [11] [12] [13] [15] [17]
50	Marc Renaudin	[33]
51	Éric Rutten	[16] [18] [19]
52	Ludovic Samper	[29] [35]
53	Alberto L. Sangiovanni-Vincentelli	[23]
54	Norman Scaife	[21] [23]
55	Joseph Sifakis	[23]
56	Robert de Simone	[23]
57	Christos Sofronis	[21]
58	David Stauch	[26] [28]
59	Martin Törngren	[23]
60	Claus Traulsen	[32]
61	Stavros Tripakis	[21]
62	Fabrice Valois	[33]
63	Antoine Vasseur	[35]
64	Paulo Veríssimo	[23]
65	Andy J. Wellings	[23]
66	Reinhard Wilhelm	[23]
67	Tim A. C. Willemse	[23]
68	Wang Yi	[23]

Colors in the list of coauthors