Dumitru Potop‐Butucaru

Publications

413

Citations

H-Index

2003

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Institut de Recherche en Informatique et Systèmes Aléatoires

Fondation Sophia Antipolis

École Nationale Supérieure des Mines de Paris

Airbus (France)

Dumitru Potop‐Butucaru is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, engineering, and parallel computing.

ORCID

Top concepts

EngineeringComputer ScienceParallel ComputingSystems EngineeringComputer EngineeringComputer ArchitectureFormal MethodsSystem SoftwareProgram AnalysisFormal Verification

Publications per year

2003–2019

Publications

Concurrency in Synchronous Systems

Dumitru Potop‐Butucaru, Benoı̂t Caillaud, Albert Benveniste · Formal Methods in System Design · 2006 · 70 citations · Full text

Engineering, Concurrency Theory, Formal Methods +7

Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications

Dumitru Potop‐Butucaru, Benoı̂t Caillaud · 2007 · 41 citations

Engineering, Verification, Computer Architecture +20

Optimizations for faster execution of Esterel programs

Dumitru Potop‐Butucaru · International Conference on Formal Methods and Models for Co-Design · 2003 · 40 citations

Engineering, Compiler Technology, Computer Architecture +23

Concurrency in synchronous systems

Dumitru Potop‐Butucaru, Benoı̂t Caillaud, Albert Benveniste · 2004 · 35 citations

Classical Theory, Engineering, Synchronization Protocol +15

Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications

Dumitru Potop‐Butucaru, Benoı̂t Caillaud · 2006 · 35 citations

Engineering, Verification, Computer Architecture +19

Rows per page

1–5 of 17