Florence Maraninchi

2008
31	EE	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
30	EE	Florence Maraninchi, Tayeb Bouhadiba: 42: programmable models of computation for a component-based approach to heterogeneous embedded systems. GPCE 2007: 53-62
29	EE	Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi: A SystemC/TLM Semantics in Promelaand Its Possible Applications. SPIN 2007: 204-222
2006
28	EE	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
27	EE	C. Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz: Test Coverage for Loose Timing Annotations. FMICS/PDMC 2006: 100-115
26	EE	Karine Altisen, Florence Maraninchi, David Stauch: Modular Design of Man-Machine Interfaces with Larissa. Software Composition 2006: 291-306
25	EE	Florence Maraninchi, Alain Girault, Marc Pouzet: Preface. Electr. Notes Theor. Comput. Sci. 153(4): 1-2 (2006)
24	EE	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
23	EE	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
22	EE	Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz: Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. EMSOFT 2005: 317-324
21	EE	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
20	EE	Florence Maraninchi, Lionel Morel: Arrays and Contracts for the Specification and Analysis of Regular Systems. ACSD 2004: 57-66
19	EE	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
18	EE	Florence Maraninchi, Lionel Morel: Logical-Time Contracts for Reactive Embedded Components. EUROMICRO 2004: 48-55
2003
17	EE	Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten: Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. ESOP 2003: 174-188
16	EE	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
15	EE	Florence Maraninchi, Alain Girault, Éric Rutten: Preface. Electr. Notes Theor. Comput. Sci. 65(5): (2002)
2001
14		Florence Maraninchi, Yann Rémond: Argos: an automaton-based synchronous language. Comput. Lang. 27(1/3): 61-92 (2001)
2000
13		Florence Maraninchi, Fabien Gaucher: Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre. AADEBUG 2000
12	EE	Florence Maraninchi, Yann Rémond, Yannick Raoul: MATOU: An Implementation of Mode-Automata. CC 2000: 249-263
1998
11	EE	Florence Maraninchi, Yann Rémond: Mode-Automata: About Modes and States for Reactive Systems. ESOP 1998: 185-199
1997
10	EE	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	[21]
2	Karine Altisen	[17] [24] [26]
3	Kevin Baradon	[31]
4	Albert Benveniste	[21]
5	Tayeb Bouhadiba	[30]
6	Bruno Bouyssounouse	[21]
7	Giorgio C. Buttazzo	[21]
8	Paul Caspi	[19] [21]
9	Aurélie Clodic	[17]
10	Jérôme Cornet	[29]
11	Ivica Crnkovic	[21]
12	Werner Damm	[21]
13	Jakob Engblom	[21]
14	Gerhard Fohler	[21]
15	Marisol García-Valls	[21]
16	Fabien Gaucher	[13]
17	Alain Girault	[15] [25]
18	Nicolas Halbwachs	[8] [9]
19	C. Helmstetter	[27] [28]
20	M. Jourdan	[4]
21	Martin Jourdan	[3]
22	Muriel Jourdan	[5] [6] [7]
23	Hermann Kopetz	[21]
24	Fabienne Lagnier	[3] [6]
25	Yassine Lakhnech	[21]
26	François Laroussinie	[21]
27	Luciano Lavagno	[21]
28	Giuseppe Lipari	[21]
29	Laurent Maillet-Contoz	[22] [23] [27] [28]
30	Lionel Morel	[18] [20]
31	Matthieu Moy	[22] [23] [28] [29]
32	Alfredo Olivero	[4]
33	Philipp Peti	[21]
34	Marc Pouzet	[25]
35	Juan Antonio de la Puente	[21]
36	Yannick Raoul	[12]
37	Pascal Raymond	[3] [6]
38	Yann Rémond	[10] [11] [12] [14] [16]
39	Éric Rutten	[15] [17]
40	Ludovic Samper	[31]
41	Alberto L. Sangiovanni-Vincentelli	[21]
42	Norman Scaife	[19] [21]
43	Joseph Sifakis	[21]
44	Robert de Simone	[21]
45	Christos Sofronis	[19]
46	David Stauch	[24] [26]
47	Martin Törngren	[21]
48	Claus Traulsen	[29]
49	Stavros Tripakis	[19]
50	Antoine Vasseur	[31]
51	Paulo Veríssimo	[21]
52	Andy J. Wellings	[21]
53	Reinhard Wilhelm	[21]
54	Tim A. C. Willemse	[21]
55	Wang Yi	[21]

Colors in the list of coauthors