dblp.uni-trier.de

Robert de Simone

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL - ACM Guide - CiteSeer - CSB - Google

2007
35EEMadeleine 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
34EECharles André, Frédéric Mallet, Robert de Simone: Modeling Time(s). MoDELS 2007: 559-573
2006
33EEJulien Boucaron, Robert de Simone, Jean-Vivien Millo: Latency-insensitive design and central repetitive scheduling. MEMOCODE 2006: 175-183
32EEJulien 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)
31EEEric Vecchié, Robert de Simone: Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs. Electr. Notes Theor. Comput. Sci. 153(4): 19-35 (2006)
30EEEric Vecchié, Robert de Simone: Syntax-driven optimisations for reachable state space construction of ESTEREL programs. IJES 2(3/4): 228-238 (2006)
29EERobert de Simone, Charles André: Towards a "Synchronous Reactive" UML profile? STTT 8(2): 146-155 (2006)
2005
28EEEric Vecchié, Robert de Simone: Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs. CAV 2005: 213-225
27EEPaul 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)
26EEOlivier Tardieu, Robert de Simone: Loops in esterel. ACM Trans. Embedded Comput. Syst. 4(4): 708-750 (2005)
2004
25EEOlivier Tardieu, Robert de Simone: Curing schizophrenia by program rewriting in Esterel. MEMOCODE 2004: 39-48
2003
24EEDumitru Potop-Butucaru, Robert de Simone: Optimizations for Faster Execution of Esterel Programs. MEMOCODE 2003: 227-236
23EEOlivier 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
21EEDavide 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
14EEFré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

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

Colors in the list of coauthors

DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Wed Mar 12 02:24:58 2008