Robert de Simone

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