default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRobert de Simone
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c55]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: 319-324- 2020
- [c54]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: 415-424 - [c53]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: 22-24
2010 – 2019
- 2018
- [c52]Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni:
Time in SCCharts. FDL 2018: 5-16 - [c51]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: 2:1-2:8 - 2017
- [c50]Jean-Vivien Millo, Amine Oueslati, Emilien Kofman, Julien DeAntoni, Frédéric Mallet, Robert de Simone:
Explicit Control of Dataflow Graphs with MARTE/CCSL. MODELSWARD 2017: 542-549 - 2016
- [c49]Stefano Centomo, Julien Deantoni, Robert de Simone:
Using SystemC Cyber Models in an FMI Co-Simulation Environment: Results and Proposed FMI Enhancements. DSD 2016: 318-325 - [c48]Robert de Simone:
Keynote talk II: Multiform logical time for Me/Mo-codesign. MEMOCODE 2016: 77 - [c47]Emilien Kofman, Robert de Simone:
A formal approach to the mapping of tasks on an heterogenous multicore, energy-aware architecture. MEMOCODE 2016: 153-162 - [c46]Qingguo Xu, Robert de Simone, Julien DeAntoni:
Divergence Detection for CCSL Specification via Clock Causality Chain. SETTA 2016: 18-37 - [c45]Qingguo Xu, Huaikou Miao, Robert de Simone, Julien DeAntoni:
Instant-Based and State-Based Analysis of Infinite Logical Clock. SOFL+MSVL 2016: 32-51 - 2015
- [j23]Frédéric Mallet, Robert de Simone:
Correctness issues on MARTE/CCSL constraints. Sci. Comput. Program. 106: 78-92 (2015) - [j22]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): 46:1-46:25 (2015) - [c44]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: 108-123 - [i2]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 abs/1505.08067 (2015) - 2014
- [c43]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: 112-121 - [c42]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: 1-8 - [c41]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: 1-8 - 2013
- [j21]Jean-Vivien Millo, Robert de Simone:
Explicit routing schemes for implementation of cellular automata on processor arrays. Nat. Comput. 12(3): 353-368 (2013) - [c40]Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert de Simone:
Schedulability Analysis with CCSL Specifications. APSEC (1) 2013: 414-421 - [c39]Frédéric Mallet, Jean-Vivien Millo, Robert de Simone:
Safe CCSL specifications and marked graphs. MEMOCODE 2013: 157-166 - [e3]Michel Auguin, Robert de Simone, Robert I. Davis, Emmanuel Grolleau:
21st International Conference on Real-Time Networks and Systems, RTNS 2013, Sophia Antipolis, France, October 17-18, 2013. ACM 2013, ISBN 978-1-4503-2058-0 [contents] - 2012
- [j20]Jean-Vivien Millo, Robert de Simone:
Periodic scheduling of marked graphs using balanced binary words. Theor. Comput. Sci. 458: 113-130 (2012) - [c38]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 - [i1]Jean-Vivien Millo, Robert de Simone:
Periodic scheduling of marked graphs using balanced binary words. CoRR abs/1202.4912 (2012) - 2011
- [j19]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): 91-118 (2011) - [j18]Frédéric Mallet, Charles André, Robert de Simone:
Logical time: specification vs. implementation. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011) - 2010
- [j17]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): 1-3 (2010) - [j16]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): 99-106 (2010) - [c37]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: 145-151 - [p4]Julien Boucaron, Anthony Coadou, Robert de Simone:
Formal Modeling of Embedded Systems with Explicit Schedules and Routes. Synthesis of Embedded Software 2010: 41-78 - [p3]Charles André, Julien DeAntoni, Frédéric Mallet, Robert de Simone:
The Time Model of Logical Clocks Available in the OMG MARTE Profile. Synthesis of Embedded Software 2010: 201-227 - [p2]Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel:
From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations. Synthesis of Embedded Software 2010: 229-262
2000 – 2009
- 2009
- [c36]Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin:
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. ACSD 2009: 42-51 - [c35]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 - [c34]Aamir Mehut Khan, Frédéric Mallet, Charles André, Robert de Simone:
IP-XACT components with abstract time characterization. FDL 2009: 1-6 - [c33]Julien Boucaron, Anthony Coadou, Robert de Simone:
Latency-Insensitive Design: Retry Relay-Station and Fusion Shell. FMGALS@DATE 2009: 23-33 - [p1]Dumitru Potop-Butucaru, Robert de Simone, Jean-Pierre Talpin:
Synchronous Hypothesis and Polychronous Languages. Embedded Systems Design and Verification 2009: 6 - 2008
- [c32]Frédéric Mallet, Robert de Simone:
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains. FDL (Selected Papers) 2008: 27-41 - [c31]Frédéric Mallet, Robert de Simone, Laurent Rioux:
Event-Triggered vs. Time-Triggered Communications with UML MARTE. FDL 2008: 154-159 - [c30]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 - [c29]Frédéric Mallet, Robert de Simone:
MARTE: a profile for RT/E systems modeling, analysis-and simulation? SimuTools 2008: 43 - [e2]Alain Girault, Robert de Simone:
Proceedings of the Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, FMGALS@MEMOCODE 2007, Nice, France, May 29, 2007. Electronic Notes in Theoretical Computer Science 200(1), Elsevier 2008 [contents] - 2007
- [j15]Julien Boucaron, Robert de Simone, Jean-Vivien Millo:
Formal Methods for Scheduling of Latency-Insensitive Designs. EURASIP J. Embed. Syst. 2007 (2007) - [c28]Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel:
Necessary and sufficient conditions for deterministic desynchronization. EMSOFT 2007: 124-133 - [c27]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 - [c26]Robert de Simone, Charles André:
Time Modeling in MARTE. FDL 2007: 268-273 - [c25]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 - [c24]Charles André, Frédéric Mallet, Robert de Simone:
Modeling Time(s). MoDELS 2007: 559-573 - [c23]Alain Girault, Robert de Simone:
Preface. FMGALS@MEMOCODE 2007: 1-2 - 2006
- [j14]Eric Vecchié, Robert de Simone:
Syntax-driven optimisations for reachable state space construction of ESTEREL programs. Int. J. Embed. Syst. 2(3/4): 228-238 (2006) - [j13]Robert de Simone, Charles André:
Towards a "Synchronous Reactive" UML profile? Int. J. Softw. Tools Technol. Transf. 8(2): 146-155 (2006) - [c22]Julien Boucaron, Robert de Simone, Jean-Vivien Millo:
Latency-insensitive design and central repetitive scheduling. MEMOCODE 2006: 175-183 - 2005
- [j12]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): 587-611 (2005) - [j11]Olivier Tardieu, Robert de Simone:
Loops in esterel. ACM Trans. Embed. Comput. Syst. 4(4): 708-750 (2005) - [c21]Eric Vecchié, Robert de Simone:
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs. CAV 2005: 213-225 - [c20]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 - [c19]Julien Boucaron, Jean-Vivien Millo, Robert de Simone:
Another Glance at Relay Stations in Latency-Insensitive Design. FMGALS@MEMOCODE 2005: 41-59 - [r1]Robert de Simone, Jean-Pierre Talpin, Dumitru Potop-Butucaru:
The Synchronous Hypothesis and Synchronous Languages. Embedded Systems Handbook 2005 - 2004
- [c18]Olivier Tardieu, Robert de Simone:
Curing schizophrenia by program rewriting in Esterel. MEMOCODE 2004: 39-48 - [c17]Eric Vecchié, Robert de Simone:
Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs. SLAP@ETAPS 2004: 19-35 - 2003
- [j10]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): 64-83 (2003) - [c16]Dumitru Potop-Butucaru, Robert de Simone:
Optimizations for Faster Execution of Esterel Programs. MEMOCODE 2003: 227-236 - [c15]Olivier Tardieu, Robert de Simone:
Instantaneous Termination in Pure Esterel. SAS 2003: 91-108 - 2002
- [j9]Davide Sangiorgi, Robert de Simone:
Ninth International Conference on Concurrency Theory 1998 - Editorial. Theor. Comput. Sci. 274(1-2): 1 (2002) - 2000
- [j8]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)
1990 – 1999
- 1998
- [e1]Davide Sangiorgi, Robert de Simone:
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 [contents] - 1996
- [j7]Christophe Diot, Robert de Simone, Christian Huitema:
Automated design of communication protocols using ESTEREL. J. High Speed Networks 5(2): 109-124 (1996) - [j6]Frédéric Boussinot, Robert de Simone:
The SL Synchronous Language. IEEE Trans. Software Eng. 22(4): 256-266 (1996) - [c14]Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone:
The FC2TOOLS Set. AMAST 1996: 595-598 - [c13]Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone:
The FC2TOOLS Set. CAV 1996: 441-445 - [c12]Amar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma:
Verifying Synchronous Reactive Systems Programmed in ESTEREL. FTRTFT 1996: 463-466 - [c11]Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone:
The FC2TOOLS Set (Tool Demonstration). TACAS 1996: 396 - 1995
- [c10]Monica Lara de Souza, Robert de Simone:
Using PO Methods for Verfying Behavioural Equivalences. FORTE 1995: 75-90 - 1994
- [c9]Robert de Simone, Annie Ressouche:
Compositional Semantics of ESTEREL and Verification by Compositional Reductions. CAV 1994: 441-454 - [c8]Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone:
Model-Based Verification Methods and Tools (Abstract). CONCUR 1994: 64 - 1992
- [j5]Valérie Roy, Robert de Simone:
Auto/Autograph. Formal Methods Syst. Des. 1(2/3): 239-249 (1992) - [c7]Amar Bouali, Robert de Simone:
Symbolic Bisimulation Minimisation. CAV 1992: 96-108 - 1991
- [j4]Frédéric Boussinot, Robert de Simone:
The ESTEREL language. Proc. IEEE 79(9): 1293-1304 (1991) - [c6]Amar Bouali, Robert de Simone:
Causal Models for Rational Algebraic Processes. CONCUR 1991: 18-19 - 1990
- [c5]Valérie Roy, Robert de Simone:
Auto/Autograph. CAV 1990: 65-75 - [c4]Valérie Roy, Robert de Simone:
Auto/Autograph. CAV (DIMACS/AMS volume) 1990: 477-492
1980 – 1989
- 1989
- [c3]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 - 1985
- [j3]Robert de Simone:
Higher-Level Synchronising Devices in Meije-SCCS. Theor. Comput. Sci. 37: 245-267 (1985) - [c2]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 - [c1]Gérard Boudol, Gérard Roucairol, Robert de Simone:
Petri Nets and Algebraic Calculi of Processes. STACS 1985: 59-70 - 1984
- [j2]Robert de Simone:
On Meije and SCCS: Infinite Sum Operators VS. Non-Guarded Definitions. Theor. Comput. Sci. 30: 133-138 (1984) - [j1]Robert de Simone:
Langages Infinitaires et Produit de Mixage. Theor. Comput. Sci. 31: 83-100 (1984)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
