dblp.uni-trier.dewww.uni-trier.de

Robert de Simone Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
44EEDumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin: Clock-driven distributed real-time implementation of endochronous synchronous programs. EMSOFT 2009: 147-156
2008
43EEFrédéric Mallet, Robert de Simone, Laurent Rioux: Event-Triggered vs. Time-Triggered Communications with UML MARTE. FDL 2008: 154-159
42EESu-Young Lee, Frédéric Mallet, Robert de Simone: Dealing with AADL End-to-End Flow Latency with UML MARTE. ICECCS 2008: 228-233
41EEFrédéric Mallet, Robert de Simone: MARTE: a profile for RT/E systems modeling, analysis--and simulation? SimuTools 2008: 43
40EEAlain Girault, Robert de Simone: Preface. Electr. Notes Theor. Comput. Sci. 200(1): 1-2 (2008)
2007
39EEDumitru Potop-Butucaru, Robert de Simone, Yves Sorel: Necessary and sufficient conditions for deterministic desynchronization. EMSOFT 2007: 124-133
38EEFrédéric Mallet, Charles André, Robert de Simone: Modeling of immediate vs. delayed data communications: from AADL to UML Marte. FDL 2007: 249-254
37EERobert de Simone, Charles André: Time Modeling in MARTE. FDL 2007: 268-273
36EEMadeleine 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
35EECharles André, Frédéric Mallet, Robert de Simone: Modeling Time(s). MoDELS 2007: 559-573
2006
34EEJulien Boucaron, Robert de Simone, Jean-Vivien Millo: Latency-insensitive design and central repetitive scheduling. MEMOCODE 2006: 175-183
33EEJulien 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)
32EEEric Vecchié, Robert de Simone: Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs. Electr. Notes Theor. Comput. Sci. 153(4): 19-35 (2006)
31EEEric Vecchié, Robert de Simone: Syntax-driven optimisations for reachable state space construction of ESTEREL programs. IJES 2(3/4): 228-238 (2006)
30EERobert de Simone, Charles André: Towards a "Synchronous Reactive" UML profile? STTT 8(2): 146-155 (2006)
2005
29EEEric Vecchié, Robert de Simone: Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs. CAV 2005: 213-225
28EEArnaud 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
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
17EEAmar 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
12EERobert de Simone, Annie Ressouche: Compositional Semantics of ESTEREL and Verification by Compositional Reductions. CAV 1994: 441-454
11EEJean-Claude Fernandez, Joseph Sifakis, Robert de Simone: Model-Based Verification Methods and Tools (Abstract). CONCUR 1994: 64
1992
10EEAmar 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
8EEAmar Bouali, Robert de Simone: Causal Models for Rational Algebraic Processes. CONCUR 1991: 18-19
1990
7EEValérie Roy, Robert de Simone: Auto/Autograph. CAV 1990: 65-75
1989
6EEGé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
5EEGérard Boudol, Gérard Roucairol, Robert de Simone: Petri nets and algebraic calculi of processes. Applications and Theory in Petri Nets 1985: 41-58
4EEGé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é [30] [35] [37] [38]
3Albert Benveniste [22] [27]
4Gérard Berry [20]
5Amar Bouali [8] [10] [15] [16] [17] [18] [20]
6Julien Boucaron [33] [34]
7Gérard Boudol [4] [5] [6]
8Thimothée Bourbeau [36]
9Frédéric Boussinot [14]
10Bruno Bouyssounouse [27]
11Giorgio C. Buttazzo [27]
12Paul Caspi [22] [27]
13Ivica Crnkovic [27]
14Arnaud Cuccuru [28]
15Werner Damm [27]
16Stephen A. Edwards [22]
17Jakob Engblom [27]
18Madeleine Faugère [36]
19Jean-Claude Fernandez [11]
20Gerhard Fohler [27]
21Xavier Fornari [20]
22Marisol García-Valls [27]
23Sébastien Gérard (Sebastien Gerard) [36]
24Alain Girault [40]
25Paul Le Guernic [22]
26Nicolas Halbwachs [22]
27Hermann Kopetz [27]
28Yassine Lakhnech [27]
29François Laroussinie [27]
30Luciano Lavagno [27]
31Emmanuel Ledinot [20]
32Su-Young Lee [42]
33Giuseppe Lipari [27]
34Frédéric Mallet [35] [38] [41] [42] [43]
35Florence Maraninchi [27]
36Jean-Paul Marmorat [16]
37Jean-Vivien Millo [33] [34]
38Eric Nassor [20]
39Philipp Peti [27]
40Dumitru Potop-Butucaru [24] [39] [44]
41Juan Antonio de la Puente [27]
42Annie Ressouche [12] [15] [17] [18]
43Laurent Rioux [43]
44Gérard Roucairol [4] [5]
45Valérie Roy [6] [7] [9] [15] [17] [18]
46Davide Sangiorgi [19] [21]
47Alberto L. Sangiovanni-Vincentelli [27]
48Thierry Saunier [28]
49Norman Scaife [27]
50Günther Siegel [28]
51Joseph Sifakis [11] [27]
52Yves Sorel [28] [39] [44]
53Monica Lara de Souza [13]
54Jean-Pierre Talpin [44]
55Olivier Tardieu [23] [25] [26]
56Horia Toma [16]
57Martin Törngren [27]
58Eric Vecchié [29] [31] [32]
59Didier Vergamini [6]
60Paulo Veríssimo [27]
61Andy J. Wellings [27]
62Reinhard Wilhelm [27]
63Tim A. C. Willemse [27]
64Wang Yi [27]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)