The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert de Simone: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  35. From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. [Citation Graph (, )][DBLP]


  36. Necessary and sufficient conditions for deterministic desynchronization. [Citation Graph (, )][DBLP]


  37. Clock-driven distributed real-time implementation of endochronous synchronous programs. [Citation Graph (, )][DBLP]


  38. Dealing with AADL End-to-End Flow Latency with UML MARTE. [Citation Graph (, )][DBLP]


  39. Event-Triggered vs. Time-Triggered Communications with UML MARTE. [Citation Graph (, )][DBLP]


  40. Time Modeling in MARTE. [Citation Graph (, )][DBLP]


  41. Modeling of immediate vs. delayed data communications: from AADL to UML Marte. [Citation Graph (, )][DBLP]


  42. MARTE: a profile for RT/E systems modeling, analysis--and simulation? [Citation Graph (, )][DBLP]


  43. Preface. [Citation Graph (, )][DBLP]


  44. Latency-Insensitive Design: Retry Relay-Station and Fusion Shell. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002