Follow
Dumitru Potop Butucaru
Title
Cited by
Cited by
Year
Compiling esterel
D Potop-Butucaru, SA Edwards, G Berry
Springer Science & Business Media, 2007
2382007
Concurrency in synchronous systems
D Potop-Butucaru, B Caillaud, A Benveniste
Formal Methods in System Design 28 (2), 111-130, 2006
1332006
Correct-by-construction asynchronous implementation of modular synchronous specifications
D Potop-Butucaru, B Caillaud
Fundamenta Informaticae 78 (1), 131-159, 2007
812007
The synchronous hypothesis and synchronous languages
D Potop-Butucaru, R De Simone, JP Talpin
The embedded systems handbook, 1-21, 2005
612005
Integrated worst-case execution time estimation of multicore applications
D Potop-Butucaru, I Puaut
13th International Workshop on Worst-Case Execution Time Analysis, 2013
572013
From dataflow specification to multiprocessor partitioned time-triggered real-time implementation
T Carle, D Potop-Butucaru, Y Sorel, D Lesens
Leibniz Transactions on Embedded Systems 2 (2), 01-1-01: 30, 2015
472015
Static mapping of real-time applications onto massively parallel processor arrays
T Carle, M Djemal, D Potop-Butucaru, R De Simone, Z Zhang
2014 14th International Conference on Application of Concurrency to System …, 2014
432014
Optimizations for faster execution of Esterel programs
D Potop-Butucaru, R De Simone
First ACM and IEEE International Conference on Formal Methods and Models for …, 2003
392003
OPTIMIZATIONS FOR FASTER EXECUTION OF
D Potop-Butucaru
Formal Methods and Models for System Design: A System Level Perspective, 285, 2004
362004
Optimizations for faster execution of Esterel programs
D Potop-Butucaru, R De Simone
Formal methods and models for system design, 285-315, 2004
362004
On the scalability of constraint solving for static/off-line real-time scheduling
R Gorcitz, E Kofman, T Carle, D Potop-Butucaru, R De Simone
Formal Modeling and Analysis of Timed Systems: 13th International Conference …, 2015
352015
Moving from weakly endochronous systems to delay-insensitive circuits
S Dasgupta, D Potop-Butucaru, B Caillaud, A Yakovlev
Electronic Notes in Theoretical Computer Science 146 (2), 81-103, 2006
352006
From concurrent multi-clock programs to deterministic asynchronous implementations
D Potop-Butucaru, Y Sorel, R de Simone, JP Talpin
Fundamenta Informaticae 108 (1-2), 91-118, 2011
342011
Clock-driven distributed real-time implementation of endochronous synchronous programs
D Potop-Butucaru, R de Simone, Y Sorel, JP Talpin
Proceedings of the seventh ACM international conference on Embedded software …, 2009
292009
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures
D Potop-Butucaru, A Azim, S Fischmeister
Proceedings of the tenth ACM international conference on Embedded software …, 2010
252010
Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware
K Didier, D Potop-Butucaru, G Iooss, A Cohen, J Souyris, P Baufreton, ...
ACM Transactions on Architecture and Code Optimization (TACO) 16 (3), 1-27, 2019
232019
From design-time concurrency to effective implementation parallelism: The multi-clock reactive case
V Papailiopoulou, D Potop-Butucaru, Y Sorel, R De Simone, L Besnard, ...
2011 Electronic System Level Synthesis Conference (ESLsyn), 1-6, 2011
212011
Programmable routers for efficient mapping of applications onto NoC-based MPSoCs
M Djemal, R De Simone, F Pêcheux, F Wajsburt, D Potop-Butucaru, ...
Proceedings of the 2012 Conference on Design and Architectures for Signal …, 2012
192012
Optimizations for faster simulation of Esterel programs
D Potop-Butucaru
Ph. D. thesis, Ecole des Mines, Paris, France, 2002
182002
Predicate-aware, makespan-preserving software pipelining of scheduling tables
T Carle, D Potop-Butucaru
ACM Transactions on Architecture and Code Optimization (TACO) 11 (1), 1-26, 2014
172014
The system can't perform the operation now. Try again later.
Articles 1–20