Robert de Simone

2007
37	EE	Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel: Necessary and sufficient conditions for deterministic desynchronization. EMSOFT 2007: 124-133
36	EE	Madeleine Faugère, Thimothée Bourbeau, Robert de Simone, Sébastien Gérard: MARTE: Also an UML Profile for Modeling AADL Applications. ICECCS 2007: 359-364
35	EE	Charles André, Frédéric Mallet, Robert de Simone: Modeling Time(s). MoDELS 2007: 559-573
2006
34	EE	Julien Boucaron, Robert de Simone, Jean-Vivien Millo: Latency-insensitive design and central repetitive scheduling. MEMOCODE 2006: 175-183
33	EE	Julien Boucaron, Jean-Vivien Millo, Robert de Simone: Another Glance at Relay Stations in Latency-Insensitive Design. Electr. Notes Theor. Comput. Sci. 146(2): 41-59 (2006)
32	EE	Eric Vecchié, Robert de Simone: Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs. Electr. Notes Theor. Comput. Sci. 153(4): 19-35 (2006)
31	EE	Eric Vecchié, Robert de Simone: Syntax-driven optimisations for reachable state space construction of ESTEREL programs. IJES 2(3/4): 228-238 (2006)
30	EE	Robert de Simone, Charles André: Towards a "Synchronous Reactive" UML profile? STTT 8(2): 146-155 (2006)
2005
29	EE	Eric Vecchié, Robert de Simone: Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs. CAV 2005: 213-225
28	EE	Arnaud Cuccuru, Robert de Simone, Thierry Saunier, Günther Siegel, Yves Sorel: P2I: An Innovative MDA Methodology for Embedded Real-Time System. DSD 2005: 26-33
27	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)
26	EE	Olivier Tardieu, Robert de Simone: Loops in esterel. ACM Trans. Embedded Comput. Syst. 4(4): 708-750 (2005)
2004
25	EE	Olivier Tardieu, Robert de Simone: Curing schizophrenia by program rewriting in Esterel. MEMOCODE 2004: 39-48
2003
24	EE	Dumitru Potop-Butucaru, Robert de Simone: Optimizations for Faster Execution of Esterel Programs. MEMOCODE 2003: 227-236
23	EE	Olivier Tardieu, Robert de Simone: Instantaneous Termination in Pure Esterel. SAS 2003: 91-108
22		Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone: The synchronous languages 12 years later. Proceedings of the IEEE 91(1): 64-83 (2003)
2002
21	EE	Davide Sangiorgi, Robert de Simone: Ninth International Conference on Concurrency Theory 1998 - Editorial. Theor. Comput. Sci. 274(1-2): 1 (2002)
2000
20		Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone: ESTEREL: a formal method applied to avionic software development. Sci. Comput. Program. 36(1): 5-25 (2000)
1998
19		Davide Sangiorgi, Robert de Simone: CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings Springer 1998
1996
18		Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone: The FC2TOOLS Set. AMAST 1996: 595-598
17		Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone: The FC2TOOLS Set. CAV 1996: 441-445
16		Amar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma: Verifying Synchronous Reactive Systems Programmed in ESTEREL. FTRTFT 1996: 463-466
15		Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone: The FC2TOOLS Set (Tool Demonstration). TACAS 1996: 396
14	EE	Frédéric Boussinot, Robert de Simone: The SL Synchronous Language. IEEE Trans. Software Eng. 22(4): 256-266 (1996)
1995
13		Monica Lara de Souza, Robert de Simone: Using PO Methods for Verfying Behavioural Equivalences. FORTE 1995: 75-90
1994
12		Robert de Simone, Annie Ressouche: Compositional Semantics of ESTEREL and Verification by Compositional Reductions. CAV 1994: 441-454
11		Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone: Model-Based Verification Methods and Tools (Abstract). CONCUR 1994: 64
1992
10		Amar Bouali, Robert de Simone: Symbolic Bisimulation Minimisation. CAV 1992: 96-108
9		Valérie Roy, Robert de Simone: Auto/Autograph. Formal Methods in System Design 1(2/3): 239-249 (1992)
1991
8		Amar Bouali, Robert de Simone: Causal Models for Rational Algebraic Processes. CONCUR 1991: 18-19
1990
7		Valérie Roy, Robert de Simone: Auto/Autograph. CAV 1990: 65-75
1989
6		Gérard Boudol, Valérie Roy, Robert de Simone, Didier Vergamini: Process Calculi, from Theory to Practice: Verification Tools. Automatic Verification Methods for Finite State Systems 1989: 1-10
1985
5		Gérard Boudol, Gérard Roucairol, Robert de Simone: Petri nets and algebraic calculi of processes. Applications and Theory in Petri Nets 1985: 41-58
4		Gérard Boudol, Gérard Roucairol, Robert de Simone: Petri Nets and Algebraic Calculi of Processes. STACS 1985: 59-70
3		Robert de Simone: Higher-Level Synchronising Devices in Meije-SCCS. Theor. Comput. Sci. 37: 245-267 (1985)
1984
2		Robert de Simone: On Meije and SCCS: Infinite Sum Operators VS. Non-Guarded Definitions. Theor. Comput. Sci. 30: 133-138 (1984)
1		Robert de Simone: Langages Infinitaires et Produit de Mixage. Theor. Comput. Sci. 31: 83-100 (1984)

Coauthor Index

1	Luís Almeida	[27]
2	Charles André	[30] [35]
3	Albert Benveniste	[22] [27]
4	Gérard Berry	[20]
5	Amar Bouali	[8] [10] [15] [16] [17] [18] [20]
6	Julien Boucaron	[33] [34]
7	Gérard Boudol	[4] [5] [6]
8	Thimothée Bourbeau	[36]
9	Frédéric Boussinot	[14]
10	Bruno Bouyssounouse	[27]
11	Giorgio C. Buttazzo	[27]
12	Paul Caspi	[22] [27]
13	Ivica Crnkovic	[27]
14	Arnaud Cuccuru	[28]
15	Werner Damm	[27]
16	Stephen A. Edwards	[22]
17	Jakob Engblom	[27]
18	Madeleine Faugère	[36]
19	Jean-Claude Fernandez	[11]
20	Gerhard Fohler	[27]
21	Xavier Fornari	[20]
22	Marisol García-Valls	[27]
23	Sébastien Gérard (Sebastien Gerard)	[36]
24	Paul Le Guernic	[22]
25	Nicolas Halbwachs	[22]
26	Hermann Kopetz	[27]
27	Yassine Lakhnech	[27]
28	François Laroussinie	[27]
29	Luciano Lavagno	[27]
30	Emmanuel Ledinot	[20]
31	Giuseppe Lipari	[27]
32	Frédéric Mallet	[35]
33	Florence Maraninchi	[27]
34	Jean-Paul Marmorat	[16]
35	Jean-Vivien Millo	[33] [34]
36	Eric Nassor	[20]
37	Philipp Peti	[27]
38	Dumitru Potop-Butucaru	[24] [37]
39	Juan Antonio de la Puente	[27]
40	Annie Ressouche	[12] [15] [17] [18]
41	Gérard Roucairol	[4] [5]
42	Valérie Roy	[6] [7] [9] [15] [17] [18]
43	Davide Sangiorgi	[19] [21]
44	Alberto L. Sangiovanni-Vincentelli	[27]
45	Thierry Saunier	[28]
46	Norman Scaife	[27]
47	Günther Siegel	[28]
48	Joseph Sifakis	[11] [27]
49	Yves Sorel	[28] [37]
50	Monica Lara de Souza	[13]
51	Olivier Tardieu	[23] [25] [26]
52	Horia Toma	[16]
53	Martin Törngren	[27]
54	Eric Vecchié	[29] [31] [32]
55	Didier Vergamini	[6]
56	Paulo Veríssimo	[27]
57	Andy J. Wellings	[27]
58	Reinhard Wilhelm	[27]
59	Tim A. C. Willemse	[27]
60	Wang Yi	[27]

Colors in the list of coauthors