Optimizations for Faster Execution of Esterel Programs. - Dumitru Potop-Butucaru; Robert de Simone (MEMOCODE, 2003)

From multi-clocked synchronous processes to latency-insensitive modules. - Jean-Pierre Talpin; Dumitru Potop-Butucaru; Julien Ouy; Benoît Caillaud (EMSOFT, 2005)

Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits. - Sohini Dasgupta; Dumitru Potop-Butucaru; Benoît Caillaud; Alexandre Yakovlev (FMGALS@MEMOCODE, 2005)

The Synchronous Hypothesis and Synchronous Languages. - Robert de Simone; Jean-Pierre Talpin; Dumitru Potop-Butucaru (Embedded Systems Handbook, 2005)

Concurrency in Synchronous Systems. - Dumitru Potop-Butucaru; Benoît Caillaud; Albert Benveniste (Formal Methods Syst. Des., 2006)

Compiling Esterel. - Dumitru Potop-Butucaru; Stephen A. Edwards; Gérard Berry (Springer, 2007)

Necessary and sufficient conditions for deterministic desynchronization. - Dumitru Potop-Butucaru; Robert de Simone; Yves Sorel (EMSOFT, 2007)

Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. - Dumitru Potop-Butucaru; Benoît Caillaud (Fundam. Informaticae, 2007)

Synchronous Hypothesis and Polychronous Languages. - Dumitru Potop-Butucaru; Robert de Simone; Jean-Pierre Talpin (Embedded Systems Design and Verification, 2009)

Clock-driven distributed real-time implementation of endochronous synchronous programs. - Dumitru Potop-Butucaru; Robert de Simone; Yves Sorel; Jean-Pierre Talpin (EMSOFT, 2009)

From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations. - Dumitru Potop-Butucaru; Robert de Simone; Yves Sorel (Synthesis of Embedded Software, 2010)

Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures. - Dumitru Potop-Butucaru; Akramul Azim; Sebastian Fischmeister (EMSOFT, 2010)

From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. - Dumitru Potop-Butucaru; Yves Sorel; Robert de Simone; Jean-Pierre Talpin (Fundam. Informaticae, 2011)

Programmable routers for efficient mapping of applications onto NoC-based MPSoCs. - Manel Djemal; Robert de Simone; François Pêcheux; Franck Wajsbürt; Dumitru Potop-Butucaru; Zhen Zhang (DASIP, 2012)

Integrated Worst-Case Execution Time Estimation of Multicore Applications. - Dumitru Potop-Butucaru; Isabelle Puaut (WCET, 2013)

Static Mapping of Real-Time Applications onto Massively Parallel Processor Arrays. - Thomas Carle; Manel Djemal; Dumitru Potop-Butucaru; Robert de Simone; Zhen Zhang (ACSD, 2014)

Reconciling performance and predictability on a many-core through off-line mapping. - Thomas Carle; Manel Djemal; Daniela Genius; François Pêcheux; Dumitru Potop-Butucaru; Robert de Simone; Franck Wajsbürt; Zhen Zhang (ReCoSoC, 2014)

Predicate-aware, makespan-preserving software pipelining of scheduling tables. - Thomas Carle; Dumitru Potop-Butucaru (ACM Trans. Archit. Code Optim., 2014)

Real-Time Systems Compilation. (Compilation de systèmes temps réel). - Dumitru Potop-Butucaru (2015)

On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling. - Raul Gorcitz; Emilien Kofman; Thomas Carle; Dumitru Potop-Butucaru; Robert de Simone (FORMATS, 2015)

From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation. - Thomas Carle; Dumitru Potop-Butucaru; Yves Sorel; David Lesens (Leibniz Trans. Embed. Syst., 2015)

Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators. - Fatma Jebali; Dumitru Potop-Butucaru (ACSD, 2018)

Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software. - Keryan Didier; Albert Cohen 001; Dumitru Potop-Butucaru; Adrien Gauffriau (ACSD, 2019)

Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware. - Keryan Didier; Dumitru Potop-Butucaru; Guillaume Iooss; Albert Cohen 001; Jean Souyris; Philippe Baufreton; Amaury Graillat (ACM Trans. Archit. Code Optim., 2019)

Weaving Synchronous Reactions into the Fabric of SSA-form Compilers. - Hugo Pompougnac; Ulysse Beaugnon; Albert Cohen 001; Dumitru Potop-Butucaru (ACM Trans. Archit. Code Optim., 2022)

Semantics foundations of PsyC based on synchronous Logical Execution Time. - Fabien Siron; Dumitru Potop-Butucaru; Robert de Simone; Damien Chabrol; Amira Methni (CPS-IoT Week Workshops, 2023)

Bidirectional Reactive Programming for Machine Learning. - Dumitru Potop-Butucaru; Albert Cohen 001; Gordon D. Plotkin; Hugo Pompougnac (CoRR, 2023)