| Compiling esterel D Potop-Butucaru, SA Edwards, G Berry Springer Science & Business Media, 2007 | 237 | 2007 |
| Concurrency in synchronous systems D Potop-Butucaru, B Caillaud, A Benveniste Formal Methods in System Design 28 (2), 111-130, 2006 | 135 | 2006 |
| Correct-by-construction asynchronous implementation of modular synchronous specifications D Potop-Butucaru, B Caillaud Fundamenta Informaticae 78 (1), 131-159, 2007 | 81 | 2007 |
| The synchronous hypothesis and synchronous languages D Potop-Butucaru, R De Simone, JP Talpin The embedded systems handbook, 1-21, 2005 | 64 | 2005 |
| Integrated worst-case execution time estimation of multicore applications D Potop-Butucaru, I Puaut 13th International Workshop on Worst-Case Execution Time Analysis, 2013 | 56 | 2013 |
| 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 | 48 | 2015 |
| 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 | 43 | 2014 |
| 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 | 40 | 2003 |
| 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 | 38 | 2006 |
| OPTIMIZATIONS FOR FASTER EXECUTION OF D Potop-Butucaru Formal Methods and Models for System Design: A System Level Perspective, 285, 2004 | 38 | 2004 |
| Optimizations for faster execution of Esterel programs D Potop-Butucaru, R De Simone Formal methods and models for system design, 285-315, 2004 | 38 | 2004 |
| 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 | 34 | 2015 |
| 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 | 31 | 2011 |
| 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 | 29 | 2009 |
| 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 | 28 | 2019 |
| 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 | 25 | 2010 |
| 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 | 20 | 2014 |
| 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 | 19 | 2011 |
| 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 | 18 | 2012 |
| Optimizations for faster simulation of Esterel programs D Potop-Butucaru Ph. D. thesis, Ecole des Mines, Paris, France, 2002 | 17 | 2002 |
