Dumitru Potop-Butucaru

According to our database, Dumitru Potop-Butucaru authored at least 27 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Bidirectional Reactive Programming for Machine Learning.

Dumitru Potop-Butucaru, Albert Cohen, Gordon D. Plotkin, Hugo Pompougnac

CoRR, 2023

Semantics foundations of PsyC based on synchronous Logical Execution Time.

Fabien Siron, Dumitru Potop-Butucaru, Robert de Simone, Damien Chabrol, Amira Methni

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

2022

Weaving Synchronous Reactions into the Fabric of SSA-form Compilers.

Hugo Pompougnac, Ulysse Beaugnon, Albert Cohen, Dumitru Potop-Butucaru

ACM Trans. Archit. Code Optim., 2022

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, Jean Souyris, Philippe Baufreton, Amaury Graillat

ACM Trans. Archit. Code Optim., 2019

Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software.

Keryan Didier, Albert Cohen, Dumitru Potop-Butucaru, Adrien Gauffriau

Proceedings of the 19th International Conference on Application of Concurrency to System Design, 2019

2018

Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators.

Fatma Jebali, Dumitru Potop-Butucaru

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

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

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

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

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

Dumitru Potop-Butucaru

, 2015

2014

Predicate-aware, makespan-preserving software pipelining of scheduling tables.

Thomas Carle, Dumitru Potop-Butucaru

ACM Trans. Archit. Code Optim., 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

Proceedings of the 9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip, 2014

Static Mapping of Real-Time Applications onto Massively Parallel Processor Arrays.

Thomas Carle, Manel Djemal, Dumitru Potop-Butucaru, Robert de Simone, Zhen Zhang

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

Integrated Worst-Case Execution Time Estimation of Multicore Applications.

Dumitru Potop-Butucaru, Isabelle Puaut

Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis, 2013

2012

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

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

2011

From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations.

Dumitru Potop-Butucaru, Yves Sorel, Robert de Simone, Jean-Pierre Talpin

Fundam. Informaticae, 2011

2010

Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures.

Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister

Proceedings of the 10th International conference on Embedded software, 2010

From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations.

Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel

Proceedings of the Synthesis of Embedded Software, 2010

2009

Clock-driven distributed real-time implementation of endochronous synchronous programs.

Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Synchronous Hypothesis and Polychronous Languages.

Dumitru Potop-Butucaru, Robert de Simone, Jean-Pierre Talpin

Proceedings of the Embedded Systems Design and Verification, 2009

2007

Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications.

Dumitru Potop-Butucaru, Benoît Caillaud

Fundam. Informaticae, 2007

Necessary and sufficient conditions for deterministic desynchronization.

Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Compiling Esterel.

Dumitru Potop-Butucaru, Stephen A. Edwards, Gérard Berry

Springer, ISBN: 978-0-387-70626-9, 2007

2006

Concurrency in Synchronous Systems.

Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste

Formal Methods Syst. Des., 2006

2005

The Synchronous Hypothesis and Synchronous Languages.

Robert de Simone, Jean-Pierre Talpin, Dumitru Potop-Butucaru

Proceedings of the Embedded Systems Handbook., 2005

Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits.

Sohini Dasgupta, Dumitru Potop-Butucaru, Benoît Caillaud, Alexandre Yakovlev

Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005

From multi-clocked synchronous processes to latency-insensitive modules.

Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud

Proceedings of the EMSOFT 2005, 2005

2003

Optimizations for Faster Execution of Esterel Programs.

Dumitru Potop-Butucaru, Robert de Simone

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003