Dumitru Potop-Butucaru

31 papers A 1C 1Misc 4Journal 8Unranked 12
YearRankTypeTitle / Venue / Authors
2025 A conf
Exploiting Burstiness to Improve Multi-Core Interference Analysis.
RTSS
Jad Khatib, Dumitru Potop-Butucaru, Philippe Baufreton
2023 J jnl
Bidirectional Reactive Programming for Machine Learning.
CoRR
Dumitru Potop-Butucaru, Albert Cohen, Gordon D. Plotkin, Hugo Pompougnac
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
2022 J jnl
Weaving Synchronous Reactions into the Fabric of SSA-form Compilers.
ACM Trans. Archit. Code Optim.
Hugo Pompougnac, Ulysse Beaugnon, Albert Cohen, Dumitru Potop-Butucaru
2019 J jnl
Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware.
ACM Trans. Archit. Code Optim.
Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, Philippe Baufreton, Amaury Graillat
2019 — conf
Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software.
ACSD
Keryan Didier, Albert Cohen, Dumitru Potop-Butucaru, Adrien Gauffriau
2018 — conf
Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators.
ACSD
Fatma Jebali, Dumitru Potop-Butucaru
2015 J jnl
From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation.
Leibniz Trans. Embed. Syst.
Thomas Carle, Dumitru Potop-Butucaru, Yves Sorel, David Lesens
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
2015 — book
Real-Time Systems Compilation. (Compilation de systèmes temps réel).
Dumitru Potop-Butucaru
2014 J jnl
Predicate-aware, makespan-preserving software pipelining of scheduling tables.
ACM Trans. Archit. Code Optim.
Thomas Carle, Dumitru Potop-Butucaru
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 — conf
Integrated Worst-Case Execution Time Estimation of Multicore Applications.
WCET
Dumitru Potop-Butucaru, Isabelle Puaut
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
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 Misc conf
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures.
EMSOFT
Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister
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 — ch.
Synchronous Hypothesis and Polychronous Languages.
Embedded Systems Design and Verification
Dumitru Potop-Butucaru, Robert de Simone, Jean-Pierre Talpin
2007 — book
Compiling Esterel.
Dumitru Potop-Butucaru, Stephen A. Edwards, Gérard Berry
2007 J jnl
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications.
Fundam. Informaticae
Dumitru Potop-Butucaru, Benoît Caillaud
2007 Misc conf
Necessary and sufficient conditions for deterministic desynchronization.
EMSOFT
Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel
2006 J jnl
Concurrency in Synchronous Systems.
Formal Methods Syst. Des.
Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste
2005 — conf
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications.
ACSD
Dumitru Potop-Butucaru, Benoît Caillaud
2005 Misc conf
From multi-clocked synchronous processes to latency-insensitive modules.
EMSOFT
Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud
2005 — conf
Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits.
FMGALS@MEMOCODE
Sohini Dasgupta, Dumitru Potop-Butucaru, Benoît Caillaud, Alexandre Yakovlev
2005 — ch.
The Synchronous Hypothesis and Synchronous Languages.
Embedded Systems Handbook
Robert de Simone, Jean-Pierre Talpin, Dumitru Potop-Butucaru
2004 — conf
Concurrency in Synchronous Systems.
ACSD
Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste
2003 C conf
Optimizations for Faster Execution of Esterel Programs.
MEMOCODE
Dumitru Potop-Butucaru, Robert de Simone