Robert de Simone

Jean-Vivien Millo, Robert de Simone: Periodic scheduling of marked graphs using balanced binary words. Theor. Comput. Sci. 458: 113-130 (2012)

Manel Djemal, Robert de Simone, François Pêcheux, Franck Wajsbürt, Dumitru Potop-Butucaru, Zhen Zhang: Programmable routers for efficient mapping of applications onto NoC-based MPSoCs. DASIP 2012: 1-8

Jean-Vivien Millo, Robert de Simone: Periodic scheduling of marked graphs using balanced binary words. CoRR abs/1202.4912 (2012)

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)

Frédéric Mallet, Charles André, Robert de Simone: Logical time: specification vs. implementation. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)

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)

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)

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)

Dumitru Potop-Butucaru, Robert de Simone, Jean-Pierre Talpin: Synchronous Hypothesis and Polychronous Languages. Embedded Systems Design and Verification 2009: 6

Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin: From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. ACSD 2009: 42-51

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

Aamir Mehut Khan, Frédéric Mallet, Charles André, Robert de Simone: IP-XACT components with abstract time characterization. FDL 2009: 1-6

Alain Girault, Robert de Simone: Preface. Electr. Notes Theor. Comput. Sci. 200(1): 1-2 (2008)

Frédéric Mallet, Robert de Simone, Laurent Rioux: Event-Triggered vs. Time-Triggered Communications with UML MARTE. FDL 2008: 154-159

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

Frédéric Mallet, Robert de Simone: MARTE: a profile for RT/E systems modeling, analysis--and simulation? SimuTools 2008: 43

Julien Boucaron, Robert de Simone, Jean-Vivien Millo: Formal Methods for Scheduling of Latency-Insensitive Designs. EURASIP J. Emb. Sys. 2007 (2007)

Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel: Necessary and sufficient conditions for deterministic desynchronization. EMSOFT 2007: 124-133

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

Robert de Simone, Charles André: Time Modeling in MARTE. FDL 2007: 268-273

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

Charles André, Frédéric Mallet, Robert de Simone: Modeling Time(s). MoDELS 2007: 559-573

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)

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)

Eric Vecchié, Robert de Simone: Syntax-driven optimisations for reachable state space construction of ESTEREL programs. IJES 2(3/4): 228-238 (2006)

Robert de Simone, Charles André: Towards a "Synchronous Reactive" UML profile? STTT 8(2): 146-155 (2006)

Julien Boucaron, Robert de Simone, Jean-Vivien Millo: Latency-insensitive design and central repetitive scheduling. MEMOCODE 2006: 175-183

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)

Olivier Tardieu, Robert de Simone: Loops in esterel. ACM Trans. Embedded Comput. Syst. 4(4): 708-750 (2005)

Eric Vecchié, Robert de Simone: Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs. CAV 2005: 213-225

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

Olivier Tardieu, Robert de Simone: Curing schizophrenia by program rewriting in Esterel. MEMOCODE 2004: 39-48

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)

Dumitru Potop-Butucaru, Robert de Simone: Optimizations for Faster Execution of Esterel Programs. MEMOCODE 2003: 227-236

Olivier Tardieu, Robert de Simone: Instantaneous Termination in Pure Esterel. SAS 2003: 91-108

Davide Sangiorgi, Robert de Simone: Ninth International Conference on Concurrency Theory 1998 - Editorial. Theor. Comput. Sci. 274(1-2): 1 (2002)

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)

Davide Sangiorgi, Robert de Simone (Eds.): CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings. Lecture Notes in Computer Science 1466, Springer 1998, isbn 3-540-64896-8

Christophe Diot, Robert de Simone, Christian Huitema: Automated design of communication protocols using ESTEREL. J. High Speed Networks 5(2): 109-124 (1996)

Frédéric Boussinot, Robert de Simone: The SL Synchronous Language. IEEE Trans. Software Eng. 22(4): 256-266 (1996)

Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone: The FC2TOOLS Set. AMAST 1996: 595-598

Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone: The FC2TOOLS Set. CAV 1996: 441-445

Amar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma: Verifying Synchronous Reactive Systems Programmed in ESTEREL. FTRTFT 1996: 463-466

Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone: The FC2TOOLS Set (Tool Demonstration). TACAS 1996: 396

Monica Lara de Souza, Robert de Simone: Using PO Methods for Verfying Behavioural Equivalences. FORTE 1995: 75-90

Robert de Simone, Annie Ressouche: Compositional Semantics of ESTEREL and Verification by Compositional Reductions. CAV 1994: 441-454

Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone: Model-Based Verification Methods and Tools (Abstract). CONCUR 1994: 64

Valérie Roy, Robert de Simone: Auto/Autograph. Formal Methods in System Design 1(2/3): 239-249 (1992)

Amar Bouali, Robert de Simone: Symbolic Bisimulation Minimisation. CAV 1992: 96-108

Amar Bouali, Robert de Simone: Causal Models for Rational Algebraic Processes. CONCUR 1991: 18-19

Valérie Roy, Robert de Simone: Auto/Autograph. CAV 1990: 65-75

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

Robert de Simone: Higher-Level Synchronising Devices in Meije-SCCS. Theor. Comput. Sci. 37: 245-267 (1985)

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

Gérard Boudol, Gérard Roucairol, Robert de Simone: Petri Nets and Algebraic Calculi of Processes. STACS 1985: 59-70

Robert de Simone: On Meije and SCCS: Infinite Sum Operators VS. Non-Guarded Definitions. Theor. Comput. Sci. 30: 133-138 (1984)

Robert de Simone: Langages Infinitaires et Produit de Mixage. Theor. Comput. Sci. 31: 83-100 (1984)