default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDumitru Potop-Butucaru
Person information
- affiliation: INRIA, France
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c17]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: 319-324- [i1]Dumitru Potop-Butucaru, Albert Cohen, Gordon D. Plotkin, Hugo Pompougnac:
Bidirectional Reactive Programming for Machine Learning. CoRR abs/2311.16977 (2023) - 2022
- [j7]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): 22:1-22:25 (2022)
2010 – 2019
- 2019
- [j6]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): 24:1-24:27 (2019) - [c16]Keryan Didier, Albert Cohen, Dumitru Potop-Butucaru, Adrien Gauffriau:
Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software. ACSD 2019: 43-52 - 2018
- [c15]Fatma Jebali, Dumitru Potop-Butucaru:
Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators. ACSD 2018: 105-114 - 2015
- [b2]Dumitru Potop-Butucaru:
Real-Time Systems Compilation. (Compilation de systèmes temps réel). Pierre and Marie Curie University, France, 2015 - [j5]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): 01:1-01:30 (2015) - [c14]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: 108-123 - 2014
- [j4]Thomas Carle, Dumitru Potop-Butucaru:
Predicate-aware, makespan-preserving software pipelining of scheduling tables. ACM Trans. Archit. Code Optim. 11(1): 12:1-12:26 (2014) - [c13]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: 112-121 - [c12]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: 1-8 - 2013
- [c11]Dumitru Potop-Butucaru, Isabelle Puaut:
Integrated Worst-Case Execution Time Estimation of Multicore Applications. WCET 2013: 21-31 - 2012
- [c10]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: 1-8 - 2011
- [j3]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): 91-118 (2011) - 2010
- [c9]Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister:
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures. EMSOFT 2010: 199-208 - [p2]Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel:
From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations. Synthesis of Embedded Software 2010: 229-262
2000 – 2009
- 2009
- [c8]Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin:
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. ACSD 2009: 42-51 - [c7]Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin:
Clock-driven distributed real-time implementation of endochronous synchronous programs. EMSOFT 2009: 147-156 - [p1]Dumitru Potop-Butucaru, Robert de Simone, Jean-Pierre Talpin:
Synchronous Hypothesis and Polychronous Languages. Embedded Systems Design and Verification 2009: 6 - 2007
- [b1]Dumitru Potop-Butucaru, Stephen A. Edwards, Gérard Berry:
Compiling Esterel. Springer 2007, ISBN 978-0-387-70626-9, pp. I-XXI, 1-335 - [j2]Dumitru Potop-Butucaru, Benoît Caillaud:
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. Fundam. Informaticae 78(1): 131-159 (2007) - [c6]Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel:
Necessary and sufficient conditions for deterministic desynchronization. EMSOFT 2007: 124-133 - 2006
- [j1]Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste:
Concurrency in Synchronous Systems. Formal Methods Syst. Des. 28(2): 111-130 (2006) - 2005
- [c5]Dumitru Potop-Butucaru, Benoît Caillaud:
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. ACSD 2005: 48-57 - [c4]Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud:
From multi-clocked synchronous processes to latency-insensitive modules. EMSOFT 2005: 282-285 - [c3]Sohini Dasgupta, Dumitru Potop-Butucaru, Benoît Caillaud, Alexandre Yakovlev:
Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits. FMGALS@MEMOCODE 2005: 81-103 - [r1]Robert de Simone, Jean-Pierre Talpin, Dumitru Potop-Butucaru:
The Synchronous Hypothesis and Synchronous Languages. Embedded Systems Handbook 2005 - 2004
- [c2]Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste:
Concurrency in Synchronous Systems. ACSD 2004: 67-78 - 2003
- [c1]Dumitru Potop-Butucaru, Robert de Simone:
Optimizations for Faster Execution of Esterel Programs. MEMOCODE 2003: 227-236
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
