Robert de Simone

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 15

Top Topics

Cellular Automata

Constraint Solving

Definition Language

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Fabien Siron, Dumitru Potop-Butucaru, Robert de Simone, Damien Chabrol, Amira Methni
Semantics foundations of PsyC based on synchronous Logical Execution Time. CPS-IoT Week Workshops (2023)
Qian Liu, Robert de Simone, Xiaohong Chen, Jiexiang Kang, Jing Liu, Wei Yin, Hui Wang
Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System. APSEC (2020)
Qian Liu, Robert de Simone, Xiaohong Chen, Jing Liu
Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress. EMSOFT (2020)
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni
Time in SCCharts. FDL (2018)
Giovanni Liboni, Julien Deantoni, Antonio Portaluri, Davide Quaglia, Robert de Simone
Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for Performance and Accuracy Improvements. RAPIDO (2018)
Jean-Vivien Millo, Amine Oueslati, Emilien Kaufman, Julien DeAntoni, Frédéric Mallet, Robert de Simone
Explicit Control of Dataflow Graphs with MARTE/CCSL. MODELSWARD (2017)
Emilien Kofman, Robert de Simone
A formal approach to the mapping of tasks on an heterogenous multicore, energy-aware architecture. MEMOCODE (2016)
Robert de Simone
Keynote talk II: Multiform logical time for Me/Mo-codesign. MEMOCODE (2016)
Qingguo Xu, Huaikou Miao, Robert de Simone, Julien DeAntoni
Instant-Based and State-Based Analysis of Infinite Logical Clock. SOFL+MSVL (2016)
Qingguo Xu, Robert de Simone, Julien DeAntoni
Divergence Detection for CCSL Specification via Clock Causality Chain. SETTA (2016)
Stefano Centomo, Julien Deantoni, Robert de Simone
Using SystemC Cyber Models in an FMI Co-Simulation Environment: Results and Proposed FMI Enhancements. DSD (2016)
Frédéric Mallet, Robert de Simone
Correctness issues on MARTE/CCSL constraints. Sci. Comput. Program. 106 (2015)
Raul Gorcitz, Emilien Kofman, Thomas Carle, Dumitru Potop-Butucaru, Robert de Simone
On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling. FORMATS (2015)
Mohamed Amine Bergach, Emilien Kofman, Robert de Simone, Serge Tissot, Michel Syska
Efficient FFT mapping on GPU for radar processing application: modeling and implementation. CoRR (2015)
Jean-Vivien Millo, Emilien Kofman, Robert de Simone
Modeling and Analyzing Dataflow Applications on NoC-Based Many-Core Architectures. ACM Trans. Embed. Comput. Syst. 14 (3) (2015)
Thomas Carle, Manel Djemal, Daniela Genius, François Pêcheux, Dumitru Potop-Butucaru, Robert de Simone, Franck Wajsbürt, Zhen Zhang
Reconciling performance and predictability on a many-core through off-line mapping. ReCoSoC (2014)
Amani Khecharem, Carlos Gomez, Julien Deantoni, Frédéric Mallet, Robert de Simone
Execution of heterogeneous models for thermal analysis with a multi-view approach. FDL (2014)
Thomas Carle, Manel Djemal, Dumitru Potop-Butucaru, Robert de Simone, Zhen Zhang
Static Mapping of Real-Time Applications onto Massively Parallel Processor Arrays. ACSD (2014)
Jean-Vivien Millo, Robert de Simone
Explicit routing schemes for implementation of cellular automata on processor arrays. Nat. Comput. 12 (3) (2013)
Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert de Simone
Schedulability Analysis with CCSL Specifications. APSEC (1) (2013)
Frédéric Mallet, Jean-Vivien Millo, Robert de Simone
Safe CCSL specifications and marked graphs. MEMOCODE (2013)
Jean-Vivien Millo, Robert de Simone
Periodic scheduling of marked graphs using balanced binary words CoRR (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)
Jean-Vivien Millo, Robert de Simone
Periodic scheduling of marked graphs using balanced binary words. Theor. Comput. Sci. 458 (2012)
Dumitru Potop-Butucaru, Yves Sorel, Robert de Simone, Jean-Pierre Talpin
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. Fundam. Informaticae 108 (1-2) (2011)
Frédéric Mallet, Charles André, Robert de Simone
Logical time: specification vs. implementation. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
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. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
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. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone
Polychronous Analysis of Timing Constraints in UML MARTE. ISORC Workshops (2010)
Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin
Clock-driven distributed real-time implementation of endochronous synchronous programs. EMSOFT (2009)
Julien Boucaron, Anthony Coadou, Robert de Simone
Latency-Insensitive Design: Retry Relay-Station and Fusion Shell. Electron. Notes Theor. Comput. Sci. 245 (2009)
Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. ACSD (2009)
Aamir Mehut Khan, Frédéric Mallet, Charles André, Robert de Simone
IP-XACT components with abstract time characterization. FDL (2009)
Frédéric Mallet, Robert de Simone, Laurent Rioux
Event-Triggered vs. Time-Triggered Communications with UML MARTE. FDL (2008)
Su-Young Lee, Frédéric Mallet, Robert de Simone
Dealing with AADL End-to-End Flow Latency with UML MARTE. ICECCS (2008)
Frédéric Mallet, Robert de Simone
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains. FDL (Selected Papers) (2008)
Alain Girault, Robert de Simone
Preface. Electron. Notes Theor. Comput. Sci. 200 (1) (2008)
Frédéric Mallet, Robert de Simone
? SimuTools (2008)
Julien Boucaron, Robert de Simone, Jean-Vivien Millo
Formal Methods for Scheduling of Latency-Insensitive Designs. EURASIP J. Embed. Syst. 2007 (2007)
Robert de Simone, Charles André
Time Modeling in MARTE. FDL (2007)
Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel
Necessary and sufficient conditions for deterministic desynchronization. EMSOFT (2007)
Madeleine Faugère, Thimothée Bourbeau, Robert de Simone, Sébastien Gérard
MARTE: Also an UML Profile for Modeling AADL Applications. ICECCS (2007)
Charles André, Frédéric Mallet, Robert de Simone
Modeling Time(s). MoDELS (2007)
Frédéric Mallet, Charles André, Robert de Simone
Modeling of immediate vs. delayed data communications: from AADL to UML Marte. FDL (2007)
Eric Vecchié, Robert de Simone
Syntax-driven optimisations for reachable state space construction of ESTEREL programs. Int. J. Embed. Syst. 2 (3/4) (2006)
Eric Vecchié, Robert de Simone
Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs. Electron. Notes Theor. Comput. Sci. 153 (4) (2006)
Robert de Simone, Charles André
Towards a "Synchronous Reactive" UML profile? Int. J. Softw. Tools Technol. Transf. 8 (2) (2006)
Julien Boucaron, Robert de Simone, Jean-Vivien Millo
Latency-insensitive design and central repetitive scheduling. MEMOCODE (2006)
Julien Boucaron, Jean-Vivien Millo, Robert de Simone
Another Glance at Relay Stations in Latency-Insensitive Design. Electron. Notes Theor. Comput. Sci. 146 (2) (2006)
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. Embed. Comput. Syst. 4 (3) (2005)
Olivier Tardieu, Robert de Simone
Loops in esterel. ACM Trans. Embed. Comput. Syst. 4 (4) (2005)
Eric Vecchié, Robert de Simone
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs. CAV (2005)
Arnaud Cuccuru, Robert de Simone, Thierry Saunier, Günther Siegel, Yves Sorel
P2I: An Innovative MDA Methodology for Embedded Real-Time System. DSD (2005)
Olivier Tardieu, Robert de Simone
Curing schizophrenia by program rewriting in Esterel. MEMOCODE (2004)
Dumitru Potop-Butucaru, Robert de Simone
Optimizations for Faster Execution of Esterel Programs. MEMOCODE (2003)
Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone
The synchronous languages 12 years later. Proc. IEEE 91 (1) (2003)
Olivier Tardieu, Robert de Simone
Instantaneous Termination in Pure Esterel. SAS (2003)
Davide Sangiorgi, Robert de Simone
Ninth International Conference on Concurrency Theory 1998 - Editorial. Theor. Comput. Sci. 274 (1-2) (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) (2000)
Amar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma
Verifying Synchronous Reactive Systems Programmed in ESTEREL. FTRTFT (1996)
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
The FC2TOOLS Set. CAV (1996)
Frédéric Boussinot, Robert de Simone
The SL Synchronous Language. IEEE Trans. Software Eng. 22 (4) (1996)
Christophe Diot, Robert de Simone, Christian Huitema
Automated design of communication protocols using ESTEREL. J. High Speed Networks 5 (2) (1996)
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
The FC2TOOLS Set (Tool Demonstration). TACAS (1996)
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
The FC2TOOLS Set. AMAST (1996)
Monica Lara de Souza, Robert de Simone
Using PO Methods for Verfying Behavioural Equivalences. FORTE (1995)
Robert de Simone, Annie Ressouche
Compositional Semantics of ESTEREL and Verification by Compositional Reductions. CAV (1994)
Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone
Model-Based Verification Methods and Tools (Abstract). CONCUR (1994)
Amar Bouali, Robert de Simone
Symbolic Bisimulation Minimisation. CAV (1992)
Valérie Roy, Robert de Simone
Auto/Autograph. Formal Methods Syst. Des. 1 (2/3) (1992)
Amar Bouali, Robert de Simone
Causal Models for Rational Algebraic Processes. CONCUR (1991)
Frédéric Boussinot, Robert de Simone
The ESTEREL language. Proc. IEEE 79 (9) (1991)
Valérie Roy, Robert de Simone
Auto/Autograph. CAV (DIMACS/AMS volume) (1990)
Valérie Roy, Robert de Simone
Auto/Autograph. CAV (1990)
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)
Gérard Boudol, Gérard Roucairol, Robert de Simone
Petri Nets and Algebraic Calculi of Processes. STACS (1985)
Gérard Boudol, Gérard Roucairol, Robert de Simone
Petri nets and algebraic calculi of processes. Applications and Theory in Petri Nets (1985)
Robert de Simone
Higher-Level Synchronising Devices in Meije-SCCS. Theor. Comput. Sci. 37 (1985)
Robert de Simone
On Meije and SCCS: Infinite Sum Operators VS. Non-Guarded Definitions. Theor. Comput. Sci. 30 (1984)
Robert de Simone
Langages Infinitaires et Produit de Mixage. Theor. Comput. Sci. 31 (1984)