Search the dblp DataBase
Robert de Simone :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Amar Bouali , Annie Ressouche , Valérie Roy , Robert de Simone The FC2TOOLS Set. [Citation Graph (0, 0)][DBLP ] AMAST, 1996, pp:595-598 [Conf ] 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 ] 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 ] Amar Bouali , Annie Ressouche , Valérie Roy , Robert de Simone The FC2TOOLS Set. [Citation Graph (0, 0)][DBLP ] CAV, 1996, pp:441-445 [Conf ] Amar Bouali , Robert de Simone Symbolic Bisimulation Minimisation. [Citation Graph (0, 0)][DBLP ] CAV, 1992, pp:96-108 [Conf ] Valérie Roy , Robert de Simone Auto/Autograph. [Citation Graph (0, 0)][DBLP ] CAV, 1990, pp:65-75 [Conf ] 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 ] 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 ] Amar Bouali , Robert de Simone Causal Models for Rational Algebraic Processes. [Citation Graph (0, 0)][DBLP ] CONCUR, 1991, pp:18-19 [Conf ] 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 ] 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 ] 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 ] 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 ] Olivier Tardieu , Robert de Simone Curing schizophrenia by program rewriting in Esterel. [Citation Graph (0, 0)][DBLP ] MEMOCODE, 2004, pp:39-48 [Conf ] Dumitru Potop-Butucaru , Robert de Simone Optimizations for Faster Execution of Esterel Programs. [Citation Graph (0, 0)][DBLP ] MEMOCODE, 2003, pp:227-236 [Conf ] Olivier Tardieu , Robert de Simone Instantaneous Termination in Pure Esterel. [Citation Graph (0, 0)][DBLP ] SAS, 2003, pp:91-108 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Charles André , Frédéric Mallet , Robert de Simone Modeling Time(s). [Citation Graph (0, 0)][DBLP ] MoDELS, 2007, pp:559-573 [Conf ] From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. [Citation Graph (, )][DBLP ] Necessary and sufficient conditions for deterministic desynchronization. [Citation Graph (, )][DBLP ] Clock-driven distributed real-time implementation of endochronous synchronous programs. [Citation Graph (, )][DBLP ] Dealing with AADL End-to-End Flow Latency with UML MARTE. [Citation Graph (, )][DBLP ] Event-Triggered vs. Time-Triggered Communications with UML MARTE. [Citation Graph (, )][DBLP ] Time Modeling in MARTE. [Citation Graph (, )][DBLP ] Modeling of immediate vs. delayed data communications: from AADL to UML Marte. [Citation Graph (, )][DBLP ] MARTE: a profile for RT/E systems modeling, analysis--and simulation ? [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Latency-Insensitive Design: Retry Relay-Station and Fusion Shell. [Citation Graph (, )][DBLP ] Search in 0.015secs, Finished in 0.017secs