Dumitru Potop-Butucaru

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware.
TACO, 2019

Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software.
Proceedings of the 19th International Conference on Application of Concurrency to System Design, 2019

2018
Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators.
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.
LITES, 2015

On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

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

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

Reconciling performance and predictability on a many-core through off-line mapping.
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.
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013
Integrated Worst-Case Execution Time Estimation of Multicore Applications.
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.
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.
Fundam. Inform., 2011

2010
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures.
Proceedings of the 10th International conference on Embedded software, 2010

From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations.
Proceedings of the Synthesis of Embedded Software, 2010

2009
Clock-driven distributed real-time implementation of endochronous synchronous programs.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations.
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

Synchronous Hypothesis and Polychronous Languages.
Proceedings of the Embedded Systems Design and Verification, 2009

2007
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications.
Fundam. Inform., 2007

Necessary and sufficient conditions for deterministic desynchronization.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Compiling Esterel.
Springer, ISBN: 978-0-387-70626-9, 2007

2006
Concurrency in Synchronous Systems.
Formal Methods in System Design, 2006

Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits.
Electr. Notes Theor. Comput. Sci., 2006

2005
The Synchronous Hypothesis and Synchronous Languages.
Proceedings of the Embedded Systems Handbook., 2005

From multi-clocked synchronous processes to latency-insensitive modules.
Proceedings of the EMSOFT 2005, 2005

Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications.
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004
Concurrency in Synchronous Systems.
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

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


  Loading...