iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/pid/66/6899.html

dblp: Robert de Simone

default search action

combined dblp search
author search
venue search
publication search

ask others

Robert de Simone

> Home > Persons

Person information

Other persons with a similar name

see FAQ

Why are some names followed by a four digit number?

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/cpsweek/SironPSCM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/SironPSCM23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/LiuSCKLYW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/LiuSCKLYW20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/LiuSCL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/LiuSCL20
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

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/Schulz-Rosengarten18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/Schulz-Rosengarten18
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni:
Time in SCCharts. FDL 2018: 5-16
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/rapido/LiboniDPQS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rapido/LiboniDPQS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/MilloOKDMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/MilloOKDMS17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/CentomoDS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/CentomoDS16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/Simone16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/Simone16
Robert de Simone:
Keynote talk II: Multiform logical time for Me/Mo-codesign. MEMOCODE 2016: 77
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/KofmanS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/KofmanS16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/XuSD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/XuSD16
Qingguo Xu, Robert de Simone, Julien DeAntoni:
Divergence Detection for CCSL Specification via Clock Causality Chain. SETTA 2016: 18-37
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/XuMSD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/XuMSD16
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MalletS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MalletS15
Frédéric Mallet, Robert de Simone:
Correctness issues on MARTE/CCSL constraints. Sci. Comput. Program. 106: 78-92 (2015)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/MilloKS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/MilloKS15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/GorcitzKCPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/GorcitzKCPS15
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BergachKSTS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BergachKSTS15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/CarleDPSZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/CarleDPSZ14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/KhecharemGDMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/KhecharemGDMS14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/recosoc/CarleDGPPSWZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/recosoc/CarleDGPPSWZ14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/nc/MilloS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/nc/MilloS13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/YinLDMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/YinLDMS13
Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert de Simone:
Schedulability Analysis with CCSL Specifications. APSEC (1) 2013: 414-421
[c39]
- view
- export record
  dblp key:
  - conf/memocode/MalletMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/MalletMS13
Frédéric Mallet, Jean-Vivien Millo, Robert de Simone:
Safe CCSL specifications and marked graphs. MEMOCODE 2013: 157-166
[e3]
- view
- export record
  dblp key:
  - conf/rtns/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtns/2013
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MilloS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MilloS12
Jean-Vivien Millo, Robert de Simone:
Periodic scheduling of marked graphs using balanced binary words. Theor. Comput. Sci. 458: 113-130 (2012)
[c38]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/dasip/DjemalSPWPZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dasip/DjemalSPWPZ12
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1202-4912
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4912
Jean-Vivien Millo, Robert de Simone:
Periodic scheduling of marked graphs using balanced binary words. CoRR abs/1202.4912 (2012)
2011
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Potop-ButucaruSST11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Potop-ButucaruSST11
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/MalletAS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/MalletAS11
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]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/PerseilBCSGN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/PerseilBCSGN10
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]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/MalletDAS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/MalletDAS10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/YuTBGMAS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/YuTBGMAS10
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]
- view
  authority control:
- export record
  dblp key:
  - books/sp/10/BoucaronCS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/10/BoucaronCS10
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]
- view
  authority control:
- export record
  dblp key:
  - books/sp/10/AndreDMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/10/AndreDMS10
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]
- view
  authority control:
- export record
  dblp key:
  - books/sp/10/Potop-ButucaruSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/10/Potop-ButucaruSS10
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/Potop-ButucaruSST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/Potop-ButucaruSST09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/Potop-ButucaruSST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/Potop-ButucaruSST09
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]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fdl/KhanMAS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/KhanMAS09
Aamir Mehut Khan, Frédéric Mallet, Charles André, Robert de Simone:
IP-XACT components with abstract time characterization. FDL 2009: 1-6
[c33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BoucaronCS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BoucaronCS09
Julien Boucaron, Anthony Coadou, Robert de Simone:
Latency-Insensitive Design: Retry Relay-Station and Fusion Shell. FMGALS@DATE 2009: 23-33
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/crc/zurawski2009/Potop-ButucaruST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/zurawski2009/Potop-ButucaruST09
Dumitru Potop-Butucaru, Robert de Simone, Jean-Pierre Talpin:
Synchronous Hypothesis and Polychronous Languages. Embedded Systems Design and Verification 2009: 6
2008
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/MalletS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/MalletS08
Frédéric Mallet, Robert de Simone:
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains. FDL (Selected Papers) 2008: 27-41
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/MalletSR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/MalletSR08
Frédéric Mallet, Robert de Simone, Laurent Rioux:
Event-Triggered vs. Time-Triggered Communications with UML MARTE. FDL 2008: 154-159
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/0002MS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/0002MS08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/simutools/MalletS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simutools/MalletS08
Frédéric Mallet, Robert de Simone:
MARTE: a profile for RT/E systems modeling, analysis-and simulation? SimuTools 2008: 43
[e2]
- view
- export record
  dblp key:
  - conf/fmgals/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmgals/2007
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ejes/BoucaronSM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ejes/BoucaronSM07
Julien Boucaron, Robert de Simone, Jean-Vivien Millo:
Formal Methods for Scheduling of Latency-Insensitive Designs. EURASIP J. Embed. Syst. 2007 (2007)
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/Potop-ButucaruSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/Potop-ButucaruSS07
Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel:
Necessary and sufficient conditions for deterministic desynchronization. EMSOFT 2007: 124-133
[c27]
- view
  - electronic edition @ ecsi-association.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/fdl/MalletAS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/MalletAS07
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]
- view
  - electronic edition @ ecsi-association.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/fdl/SimoneA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/SimoneA07
Robert de Simone, Charles André:
Time Modeling in MARTE. FDL 2007: 268-273
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/FaugereBSG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/FaugereBSG07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/models/AndreMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AndreMS07
Charles André, Frédéric Mallet, Robert de Simone:
Modeling Time(s). MoDELS 2007: 559-573
[c23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GiraultS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GiraultS08
Alain Girault, Robert de Simone:
Preface. FMGALS@MEMOCODE 2007: 1-2
2006
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/ijes/VecchieS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijes/VecchieS06
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/SimoneA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/SimoneA06
Robert de Simone, Charles André:
Towards a "Synchronous Reactive" UML profile? Int. J. Softw. Tools Technol. Transf. 8(2): 146-155 (2006)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/BoucaronSM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/BoucaronSM06
Julien Boucaron, Robert de Simone, Jean-Vivien Millo:
Latency-insensitive design and central repetitive scheduling. MEMOCODE 2006: 175-183
2005
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/TardieuS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/TardieuS05
Olivier Tardieu, Robert de Simone:
Loops in esterel. ACM Trans. Embed. Comput. Syst. 4(4): 708-750 (2005)
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/VecchieS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/VecchieS05
Eric Vecchié, Robert de Simone:
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs. CAV 2005: 213-225
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/CuccuruSSSS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/CuccuruSSSS05
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BoucaronMS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BoucaronMS06
Julien Boucaron, Jean-Vivien Millo, Robert de Simone:
Another Glance at Relay Stations in Latency-Insensitive Design. FMGALS@MEMOCODE 2005: 41-59
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/crc/SimoneTP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/SimoneTP05
Robert de Simone, Jean-Pierre Talpin, Dumitru Potop-Butucaru:
The Synchronous Hypothesis and Synchronous Languages. Embedded Systems Handbook 2005
2004
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/TardieuS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/TardieuS04
Olivier Tardieu, Robert de Simone:
Curing schizophrenia by program rewriting in Esterel. MEMOCODE 2004: 39-48
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/VecchieS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/VecchieS06
Eric Vecchié, Robert de Simone:
Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs. SLAP@ETAPS 2004: 19-35
2003
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/pieee/BenvenisteCEHGS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pieee/BenvenisteCEHGS03
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]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/Potop-ButucaruS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/Potop-ButucaruS03
Dumitru Potop-Butucaru, Robert de Simone:
Optimizations for Faster Execution of Esterel Programs. MEMOCODE 2003: 227-236
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/TardieuS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/TardieuS03
Olivier Tardieu, Robert de Simone:
Instantaneous Termination in Pure Esterel. SAS 2003: 91-108
2002
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/SangiorgiS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/SangiorgiS02
Davide Sangiorgi, Robert de Simone:
Ninth International Conference on Concurrency Theory 1998 - Editorial. Theor. Comput. Sci. 274(1-2): 1 (2002)
2000
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BerryBFLNS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BerryBFLNS00
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

see FAQ

What is the meaning of the colors in the publication lists?

1998
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/1998
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jhsn/DiotSH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jhsn/DiotSH96
Christophe Diot, Robert de Simone, Christian Huitema:
Automated design of communication protocols using ESTEREL. J. High Speed Networks 5(2): 109-124 (1996)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BoussinotS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BoussinotS96
Frédéric Boussinot, Robert de Simone:
The SL Synchronous Language. IEEE Trans. Software Eng. 22(4): 256-266 (1996)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/BoualiRRS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/BoualiRRS96
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone:
The FC2TOOLS Set. AMAST 1996: 595-598
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BoualiRRS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BoualiRRS96
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone:
The FC2TOOLS Set. CAV 1996: 441-445
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/BoualiMST96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/BoualiMST96
Amar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma:
Verifying Synchronous Reactive Systems Programmed in ESTEREL. FTRTFT 1996: 463-466
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BoualiRRS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BoualiRRS96
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone:
The FC2TOOLS Set (Tool Demonstration). TACAS 1996: 396
1995
[c10]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/SouzaS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/SouzaS95
Monica Lara de Souza, Robert de Simone:
Using PO Methods for Verfying Behavioural Equivalences. FORTE 1995: 75-90
1994
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/SimoneR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/SimoneR94
Robert de Simone, Annie Ressouche:
Compositional Semantics of ESTEREL and Verification by Compositional Reductions. CAV 1994: 441-454
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/FernandezSS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/FernandezSS94
Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone:
Model-Based Verification Methods and Tools (Abstract). CONCUR 1994: 64
1992
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/RoyS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/RoyS92
Valérie Roy, Robert de Simone:
Auto/Autograph. Formal Methods Syst. Des. 1(2/3): 239-249 (1992)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BoualiS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BoualiS92
Amar Bouali, Robert de Simone:
Symbolic Bisimulation Minimisation. CAV 1992: 96-108
1991
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/pieee/BoussinotS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pieee/BoussinotS91
Frédéric Boussinot, Robert de Simone:
The ESTEREL language. Proc. IEEE 79(9): 1293-1304 (1991)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BoualiS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BoualiS91
Amar Bouali, Robert de Simone:
Causal Models for Rational Algebraic Processes. CONCUR 1991: 18-19
1990
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/RoyS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/RoyS90
Valérie Roy, Robert de Simone:
Auto/Autograph. CAV 1990: 65-75
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/dimacs/RoyS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/RoyS90
Valérie Roy, Robert de Simone:
Auto/Autograph. CAV (DIMACS/AMS volume) 1990: 477-492

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/avmfss/BoudolRSV89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/avmfss/BoudolRSV89
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Simone85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Simone85
Robert de Simone:
Higher-Level Synchronising Devices in Meije-SCCS. Theor. Comput. Sci. 37: 245-267 (1985)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BoudolRS85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BoudolRS85
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]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/BoudolRS85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/BoudolRS85
Gérard Boudol, Gérard Roucairol, Robert de Simone:
Petri Nets and Algebraic Calculi of Processes. STACS 1985: 59-70
1984
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Simone84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Simone84
Robert de Simone:
On Meije and SCCS: Infinite Sum Operators VS. Non-Guarded Definitions. Theor. Comput. Sci. 30: 133-138 (1984)
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Simone84a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Simone84a
Robert de Simone:
Langages Infinitaires et Produit de Mixage. Theor. Comput. Sci. 31: 83-100 (1984)

Coauthor Index

see FAQ

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.