| 2025 | UC | Probabilistic Spiking Neural Networks: Formal Verification and Simulation. | Zhen Yao, Elisabetta De Maria, Robert de Simone |
| 2020 | APSEC | Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System. | Qian Liu, Robert de Simone, Xiaohong Chen, Jiexiang Kang, Jing Liu, Wei Yin, Hui Wang |
| 2020 | EMSOFT | Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress. | Qian Liu, Robert de Simone, Xiaohong Chen, Jing Liu |
| 2018 | FDL | Time in SCCharts. | Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frdric Mallet, Robert de Simone, Julien Deantoni |
| 2017 | MODELSWARD | Explicit Control of Dataflow Graphs with MARTE/CCSL. | Jean-Vivien Millo, Amine Oueslati, Emilien Kofman, Julien DeAntoni, Frdric Mallet, Robert de Simone |
| 2016 | DSD | Using SystemC Cyber Models in an FMI Co-Simulation Environment: Results and Proposed FMI Enhancements. | Stefano Centomo, Julien Deantoni, Robert de Simone |
| 2016 | MEMOCODE | A formal approach to the mapping of tasks on an heterogenous multicore, energy-aware architecture. | Emilien Kofman, Robert de Simone |
| 2016 | MEMOCODE | Keynote talk II: Multiform logical time for Me/Mo-codesign. | Robert de Simone |
| 2016 | SETTA | Divergence Detection for CCSL Specification via Clock Causality Chain. | Qingguo Xu, Robert de Simone, Julien DeAntoni |
| 2014 | FDL | Execution of heterogeneous models for thermal analysis with a multi-view approach. | Amani Khecharem, Carlos Gomez, Julien Deantoni, Frdric Mallet, Robert de Simone |
| 2013 | APSEC | Schedulability Analysis with CCSL Specifications. | Ling Yin, Jing Liu, Zuohua Ding, Frdric Mallet, Robert de Simone |
| 2013 | MEMOCODE | Safe CCSL specifications and marked graphs. | Frdric Mallet, Jean-Vivien Millo, Robert de Simone |
| 2010 | ISORC | Polychronous Analysis of Timing Constraints in UML MARTE. | Huafeng Yu, Jean-Pierre Talpin, Loc Besnard, Thierry Gautier, Frdric Mallet, Charles Andr, Robert de Simone |
| 2009 | EMSOFT | Clock-driven distributed real-time implementation of endochronous synchronous programs. | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin |
| 2009 | FDL | IP-XACT components with abstract time characterization. | Aamir Mehut Khan, Frdric Mallet, Charles Andr, Robert de Simone |
| 2008 | FDL | MARTE vs. AADL for Discrete-Event and Discrete-Time Domains. | Frdric Mallet, Robert de Simone |
| 2008 | FDL | Event-Triggered vs. Time-Triggered Communications with UML MARTE. | Frdric Mallet, Robert de Simone, Laurent Rioux |
| 2008 | ICECCS | Dealing with AADL End-to-End Flow Latency with UML MARTE. | Su-Young Lee, Frdric Mallet, Robert de Simone |
| 2007 | EMSOFT | Necessary and sufficient conditions for deterministic desynchronization. | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel |
| 2007 | FDL | Modeling of immediate vs. delayed data communications: from AADL to UML Marte. | Frdric Mallet, Charles Andr, Robert de Simone |
| 2007 | FDL | Time Modeling in MARTE. | Robert de Simone, Charles Andr |
| 2007 | ICECCS | MARTE: Also an UML Profile for Modeling AADL Applications. | Madeleine Faugre, Thimothe Bourbeau, Robert de Simone, Sbastien Grard |
| 2007 | MODELS | Modeling Time(s). | Charles Andr, Frdric Mallet, Robert de Simone |
| 2006 | MEMOCODE | Latency-insensitive design and central repetitive scheduling. | Julien Boucaron, Robert de Simone, Jean-Vivien Millo |
| 2005 | CAV | Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs. | Eric Vecchi, Robert de Simone |
| 2005 | DSD | P2I: An Innovative MDA Methodology for Embedded Real-Time System. | Arnaud Cuccuru, Robert de Simone, Thierry Saunier, Gnther Siegel, Yves Sorel |
| 2004 | MEMOCODE | Curing schizophrenia by program rewriting in Esterel. | Olivier Tardieu, Robert de Simone |
| 2003 | MEMOCODE | Optimizations for Faster Execution of Esterel Programs. | Dumitru Potop-Butucaru, Robert de Simone |
| 2003 | SAS | Instantaneous Termination in Pure Esterel. | Olivier Tardieu, Robert de Simone |
| 1996 | CAV | The FC2TOOLS Set. | Amar Bouali, Annie Ressouche, Valrie Roy, Robert de Simone |
| 1996 | TACAS | The FC2TOOLS Set (Tool Demonstration). | Amar Bouali, Annie Ressouche, Valrie Roy, Robert de Simone |
| 1995 | FORTE | Using PO Methods for Verfying Behavioural Equivalences. | Monica Lara de Souza, Robert de Simone |
| 1994 | CAV | Compositional Semantics of ESTEREL and Verification by Compositional Reductions. | Robert de Simone, Annie Ressouche |
| 1994 | CONCUR | Model-Based Verification Methods and Tools (Abstract). | Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone |
| 1992 | CAV | Symbolic Bisimulation Minimisation. | Amar Bouali, Robert de Simone |
| 1991 | CONCUR | Causal Models for Rational Algebraic Processes. | Amar Bouali, Robert de Simone |
| 1990 | CAV | Auto/Autograph. | Valrie Roy, Robert de Simone |
| 1985 | STACS | Petri Nets and Algebraic Calculi of Processes. | Grard Boudol, Grard Roucairol, Robert de Simone |