Robert de Simone

	2012
53		Jean-Vivien Millo, Robert de Simone: Periodic scheduling of marked graphs using balanced binary words CoRR abs/1202.4912: (2012)
	2011
52		Frédéric Mallet, Charles André, Robert de Simone: Logical time: specification vs. implementation. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)
51		Dumitru Potop-Butucaru, Yves Sorel, Robert de Simone, Jean-Pierre Talpin: From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. Fundam. Inform. 108(1-2): 91-118 (2011)
	2010
50		Isabelle Perseil, Jean-Michel Bruel, Agusti Canals, Robert de Simone, Sébastien Gérard, Elie Najm: Introduction to special issue: papers from UML&FM'2009. ISSE 6(1-2): 1-3 (2010)
49		Frédéric Mallet, Julien DeAntoni, Charles André, Robert de Simone: The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs. ISSE 6(1-2): 99-106 (2010)
	2009
48		Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin: From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. ACSD 2009: 42-51
47		Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin: Clock-driven distributed real-time implementation of endochronous synchronous programs. EMSOFT 2009: 147-156
46		Aamir Mehut Khan, Frédéric Mallet, Charles André, Robert de Simone: IP-XACT components with abstract time characterization. FDL 2009: 1-6
45		Julien Boucaron, Anthony Coadou, Robert de Simone: Latency-Insensitive Design: Retry Relay-Station and Fusion Shell. Electr. Notes Theor. Comput. Sci. 245: 23-33 (2009)
	2008
44		Frédéric Mallet, Robert de Simone, Laurent Rioux: Event-Triggered vs. Time-Triggered Communications with UML MARTE. FDL 2008: 154-159
43		Su-Young Lee, Frédéric Mallet, Robert de Simone: Dealing with AADL End-to-End Flow Latency with UML MARTE. ICECCS 2008: 228-233
42		Frédéric Mallet, Robert de Simone: MARTE: a profile for RT/E systems modeling, analysis--and simulation? SimuTools 2008: 43
41		Alain Girault, Robert de Simone: Preface. Electr. Notes Theor. Comput. Sci. 200(1): 1-2 (2008)
	2007
40		Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel: Necessary and sufficient conditions for deterministic desynchronization. EMSOFT 2007: 124-133
39		Frédéric Mallet, Charles André, Robert de Simone: Modeling of immediate vs. delayed data communications: from AADL to UML Marte. FDL 2007: 249-254
38		Robert de Simone, Charles André: Time Modeling in MARTE. FDL 2007: 268-273
37		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
36		Charles André, Frédéric Mallet, Robert de Simone: Modeling Time(s). MoDELS 2007: 559-573
35		Julien Boucaron, Robert de Simone, Jean-Vivien Millo: Formal Methods for Scheduling of Latency-Insensitive Designs. EURASIP J. Emb. Sys. 2007: (2007)
	2006
34		Julien Boucaron, Robert de Simone, Jean-Vivien Millo: Latency-insensitive design and central repetitive scheduling. MEMOCODE 2006: 175-183
33		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		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		Eric Vecchié, Robert de Simone: Syntax-driven optimisations for reachable state space construction of ESTEREL programs. IJES 2(3/4): 228-238 (2006)
30		Robert de Simone, Charles André: Towards a "Synchronous Reactive" UML profile? STTT 8(2): 146-155 (2006)
	2005
29		Eric Vecchié, Robert de Simone: Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs. CAV 2005: 213-225
28		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		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		Olivier Tardieu, Robert de Simone: Loops in esterel. ACM Trans. Embedded Comput. Syst. 4(4): 708-750 (2005)
	2004
25		Olivier Tardieu, Robert de Simone: Curing schizophrenia by program rewriting in Esterel. MEMOCODE 2004: 39-48
	2003
24		Dumitru Potop-Butucaru, Robert de Simone: Optimizations for Faster Execution of Esterel Programs. MEMOCODE 2003: 227-236
23		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		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		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] [36] [38] [39] [46] [49] [52]
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] [35] [45]
7	Gérard Boudol	[4] [5] [6]
8	Thimothée Bourbeau	[37]
9	Frédéric Boussinot	[14]
10	Bruno Bouyssounouse	[27]
11	Jean-Michel Bruel	[50]
12	Giorgio C. Buttazzo	[27]
13	Agusti Canals	[50]
14	Paul Caspi	[22] [27]
15	Anthony Coadou	[45]
16	Ivica Crnkovic	[27]
17	Arnaud Cuccuru	[28]
18	Werner Damm	[27]
19	Julien DeAntoni	[49]
20	Stephen A. Edwards	[22]
21	Jakob Engblom	[27]
22	Madeleine Faugère	[37]
23	Jean-Claude Fernandez	[11]
24	Gerhard Fohler	[27]
25	Xavier Fornari	[20]
26	Marisol García-Valls	[27]
27	Sébastien Gérard (Sebastien Gerard)	[37] [50]
28	Alain Girault	[41]
29	Paul Le Guernic	[22]
30	Nicolas Halbwachs	[22]
31	Aamir Mehut Khan	[46]
32	Hermann Kopetz	[27]
33	Yassine Lakhnech	[27]
34	François Laroussinie	[27]
35	Luciano Lavagno	[27]
36	Emmanuel Ledinot	[20]
37	Su-Young Lee	[43]
38	Giuseppe Lipari	[27]
39	Frédéric Mallet	[36] [39] [42] [43] [44] [46] [49] [52]
40	Florence Maraninchi	[27]
41	Jean-Paul Marmorat	[16]
42	Jean-Vivien Millo	[33] [34] [35] [53]
43	Elie Najm	[50]
44	Eric Nassor	[20]
45	Isabelle Perseil	[50]
46	Philipp Peti	[27]
47	Dumitru Potop-Butucaru	[24] [40] [47] [48] [51]
48	Juan Antonio de la Puente	[27]
49	Annie Ressouche	[12] [15] [17] [18]
50	Laurent Rioux	[44]
51	Gérard Roucairol	[4] [5]
52	Valérie Roy	[6] [7] [9] [15] [17] [18]
53	Davide Sangiorgi	[19] [21]
54	Alberto L. Sangiovanni-Vincentelli	[27]
55	Thierry Saunier	[28]
56	Norman Scaife	[27]
57	Günther Siegel	[28]
58	Joseph Sifakis	[11] [27]
59	Yves Sorel	[28] [40] [47] [48] [51]
60	Monica Lara de Souza	[13]
61	Jean-Pierre Talpin	[47] [48] [51]
62	Olivier Tardieu	[23] [25] [26]
63	Horia Toma	[16]
64	Martin Törngren	[27]
65	Eric Vecchié	[29] [31] [32]
66	Didier Vergamini	[6]
67	Paulo Veríssimo	[27]
68	Andy J. Wellings	[27]
69	Reinhard Wilhelm	[27]
70	Tim A. C. Willemse	[27]
71	Wang Yi	[27]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page