Dumitru Potop-Butucaru

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 6

Top Topics

Massively Parallel

Top Venues

ACM Trans. Archit. Code Optim.

CPS-IoT Week Workshops

Publications

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)
Dumitru Potop-Butucaru, Albert Cohen, Gordon Plotkin, Hugo Pompougnac
Bidirectional Reactive Programming for Machine Learning. CoRR (2023)
Hugo Pompougnac, Ulysse Beaugnon, Albert Cohen, Dumitru Potop-Butucaru
Weaving Synchronous Reactions into the Fabric of SSA-form Compilers. ACM Trans. Archit. Code Optim. 19 (2) (2022)
Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, Philippe Baufreton, Amaury Graillat
Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware. ACM Trans. Archit. Code Optim. 16 (3) (2019)
Keryan Didier, Albert Cohen, Dumitru Potop-Butucaru, Adrien Gauffriau
Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software. ACSD (2019)
Fatma Jebali, Dumitru Potop-Butucaru
Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators. ACSD (2018)
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)
Thomas Carle, Dumitru Potop-Butucaru, Yves Sorel, David Lesens
From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation. Leibniz Trans. Embed. Syst. 2 (2) (2015)
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)
Thomas Carle, Dumitru Potop-Butucaru
Predicate-aware, makespan-preserving software pipelining of scheduling tables. ACM Trans. Archit. Code Optim. 11 (1) (2014)
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)
Dumitru Potop-Butucaru, Isabelle Puaut
Integrated Worst-Case Execution Time Estimation of Multicore Applications. WCET (2013)
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)
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) (2011)
Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures. EMSOFT (2010)
Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin
Clock-driven distributed real-time implementation of endochronous synchronous programs. EMSOFT (2009)
Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. ACSD (2009)
Dumitru Potop-Butucaru, Benoît Caillaud
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. Fundam. Informaticae 78 (1) (2007)
Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel
Necessary and sufficient conditions for deterministic desynchronization. EMSOFT (2007)
Sohini Dasgupta, Dumitru Potop-Butucaru, Benoît Caillaud, Alexandre Yakovlev
Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits. Electron. Notes Theor. Comput. Sci. 146 (2) (2006)
Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste
Concurrency in Synchronous Systems. Formal Methods Syst. Des. 28 (2) (2006)
Dumitru Potop-Butucaru, Benoît Caillaud
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. ACSD (2005)
Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud
From multi-clocked synchronous processes to latency-insensitive modules. EMSOFT (2005)
Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste
Concurrency in Synchronous Systems. ACSD (2004)
Dumitru Potop-Butucaru, Robert de Simone
Optimizations for Faster Execution of Esterel Programs. MEMOCODE (2003)