Search - Archive ouverte HAL Access content directly

Filter your results

49 Results
Image document

Concurrency in Synchronous Systems

Dumitru Potop-Butucaru , Benoit Caillaud , Albert Benveniste
Formal Methods in System Design, 2006, 28 (2), pp.111-130. ⟨10.1007/s10703-006-7844-8⟩
Journal articles inria-00124252v1
Image document

On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling

Raul Gorcitz , Emilien Kofman , Thomas Carle , Dumitru Potop-Butucaru , Robert de Simone
2015
Preprints, Working Papers, ... hal-01179489v1
Image document

Deterministic execution of synchronous programs in an asynchronous environment. A compositional necessary and sufficient condition

Dumitru Potop-Butucaru , Robert De Simone , Yves Sorel
[Research Report] RR-6656, INRIA. 2008, pp.20
Reports inria-00322563v1
Image document

From concurrent multi-clock programs to concurrent multi-threaded implementations

Virginia Papailiopoulou , Dumitru Potop-Butucaru , Yves Sorel , Robert de Simone , Loic Besnard , et al.
[Research Report] RR-7577, INRIA. 2011, pp.22
Reports inria-00578585v2
Image document

From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation *

Thomas Carle , Dumitru Potop-Butucaru , Yves Sorel , David Lesens
Leibniz Transactions on Embedded Systems, 2015, ⟨10.4230/LITES-v002-i002-a001⟩
Journal articles hal-01263994v1
Image document

Hard Real Time and Mixed Time Criticality on Off-The-Shelf Embedded Multi-Cores

Albert Cohen , Valentin Perrelle , Dumitru Potop-Butucaru , Marc Pouzet , Elie Soubiran , et al.
International Conference on Embedded and Real-Time Software and Systems (ERTS2), Jan 2016, Toulouse, France
Conference papers hal-01425887v1
Image document

Static mapping of real-time applications onto massively parallel processor arrays

Thomas Carle , Manel Djemal , Dumitru Potop-Butucaru , Robert de Simone
14th International Conference on Application of Concurrency to System Design, Jun 2014, Hammamet, Tunisia
Conference papers hal-01095130v1
Image document

Mixed-criticality in Railway Systems: A Case Study on Signalling Application

Albert Cohen , Valentin Perrelle , Dumitru Potop-Butucaru , Elie Soubiran , Zhen Zhang
Workshop on Mixed Criticality for Industrial Systems (WMCIS'2014), Jun 2014, Paris, France
Conference papers hal-01095111v1
Image document

Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications

Jean-Pierre Talpin , Dumitru Potop-Butucaru , Julien Ouy , Benoit Caillaud
[Research Report] PI 1730, 2005, pp.22
Reports inria-00000175v1
Image document

Concurrency in synchronous systems

Dumitru Potop-Butucaru , Benoit Caillaud , Albert Benveniste
[Research Report] RR-5110, INRIA. 2004
Reports inria-00071472v1
Image document

Efficient parallelization of large-scale hard real-time applications

Keryan Didier , Dumitru Potop-Butucaru , Guillaume Iooss , Albert Cohen , Jean Souyris , et al.
[Research Report] RR-9180, INRIA Paris. 2018
Reports hal-01810176v2
Image document

Automatic implementation of TTEthernet-based time-triggered avionics applications

Raul Adrian Gorcitz , Thomas Carle , David Lesens , David Monchaux , Dumitru Potop-Butucaru , et al.
DASIA 2015, Eurospace, May 2015, Barcelone, Spain
Conference papers hal-01264687v1
Image document

Formal Semantics of the PsyC language

Fabien Siron , Dumitru Potop-Butucaru , Robert de Simone , Damien Chabrol , Amira Methni
RR-9506, Inria - Sophia Antipolis. 2023, pp.32
Reports hal-04088177v1

Synchronous hypothesis and polychronous languages

Dumitru Potop-Butucaru , Robert de Simone , Jean-Pierre Talpin
Richard Zurawski. Embedded Systems Design and Verification, CRC Press, pp.6-1-6-27, 2009, 978-1-4398-0755-2. ⟨10.1201/9781439807637.ch6⟩
Book sections hal-00788473v1
Image document

Semantics-Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures

Dumitru Potop-Butucaru , Akramul Azim , Sebastian Fischmeister
International Conference on Embedded Software (EMSOFT), Oct 2010, Scottsdale, AZ, United States. pp.199-208, ⟨10.1145/1879021.1879048⟩
Conference papers inria-00544665v1
Image document

Programmable routers for efficient mapping of applications onto NoC-based MPSoCs

Manel Djemal , François Pêcheux , Dumitru Potop-Butucaru , Robert de Simone , Franck Wajsburt , et al.
DASIP 2012 -Conference on Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.1-8
Conference papers hal-00787497v1
Image document

Predicate-aware, makespan-preserving software pipelining of scheduling tables

Thomas Carle , Dumitru Potop-Butucaru
ACM Transactions on Architecture and Code Optimization, 2014, 11, pp.1 - 26. ⟨10.1145/2579676⟩
Journal articles hal-01095123v1

Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software

Keryan Didier , Albert Cohen , Dumitru Potop-Butucaru , Adrien Gauffriau
ACSD 2019 - 19th International Conference on Application of Concurrency to System Design, Jun 2019, Aachen, Germany. pp.43-52, ⟨10.1109/ACSD.2019.00009⟩
Conference papers hal-02422787v1

Efficient fine-grain parallelism in shared memory for real-time avionics

Philippe Baufreton , Vincent Bregeon , Keryan Didier , Guillaume Iooss , Dumitru Potop-Butucaru , et al.
ERTS 2020 - 10th European Congress Embedded Real Time Systems, Jan 2020, Toulouse, France
Conference papers hal-02431187v1
Image document

The synchronous Logical Execution Time paradigm

Fabien Siron , Dumitru Potop-Butucaru , Robert de Simone , Damien Chabrol , Amira Methni
ERTS 2022 - Embedded real time systems, Jun 2022, Toulouse, France
Conference papers hal-03694950v1
Image document

Optimized static real-time scheduling of communications on a broadcast bus

Dumitru Potop-Butucaru , Yves Sorel
[Research Report] RR-6655, INRIA. 2008, pp.21
Reports inria-00322561v1
Image document

Off-line mapping of real-time applications onto massively parallel processor arrays

Thomas Carle , Manel Djemal , Dumitru Potop-Butucaru , Robert de Simone , Zhen Zhang
[Research Report] RR-8429, INRIA. 2013
Reports hal-00919411v1
Image document

Fast Redundancy Elimination Using High-Level Structural Information from Esterel

Dumitru Potop-Butucaru
RR-4330, INRIA. 2001
Reports inria-00072257v1
Image document

From SSA to Synchronous Concurrency and Back

Hugo Pompougnac , Ulysse Beaugnon , Albert Cohen , Dumitru Potop-Butucaru
[Research Report] RR-9380, INRIA Sophia Antipolis - Méditerranée (France). 2020, pp.23
Reports hal-03043623v1

Synchronous Approach and Scheduling

Dumitru Potop-Butucaru , Yves Sorel
Maryline Chetto. Real-time Systems Scheduling 2: Focuses, Wiley-ISTE, 2014, 978-1-84821-789-8. ⟨10.1002/9781119042976.ch4⟩
Book sections hal-01096255v1
Image document

Programming and verifying real-time design using logical time

Fabien Siron , Dumitru Potop-Butucaru , Robert de Simone , Damien Chabrol , Amira Methni
FDL 2021 - Forum on specification & Design Languages, Sep 2021, Antibes, France
Conference papers hal-03537976v1

Integrated Worst-Case Execution Time Estimation of Multicore Applications

Dumitru Potop-Butucaru , Isabelle Puaut
13th International Workshop on Worst-Case Execution Time Analysis, Jul 2013, Paris, France. pp.21-31, ⟨10.4230/OASIcs.WCET.2013.i⟩
Conference papers hal-00909330v1
Image document

Sheep in wolf's clothing: Implementation models for data-flow multi-threaded software

Keryan Didier , Albert Cohen , Adrien Gauffriau , Amaury Graillat , Dumitru Potop-Butucaru
[Research Report] RR-9057, Inria Paris. 2017, pp.31
Reports hal-01509314v1
Image document

Throughput Optimization by Software Pipelining of Conditional Reservation tables

Thomas Carle , Dumitru Potop-Butucaru
[Research Report] RR-7606, INRIA. 2011
Reports inria-00587319v2

Clock-Driven Distributed Real-Time Implementation of Endochronous Synchronous Programs

Dumitru Potop-Butucaru , Robert de Simone , Yves Sorel , Jean-Pierre Talpin
International conference on Embedded software - EMSOFT 2009, Oct 2009, Grenoble, France. ⟨10.1145/1629335.1629356⟩
Conference papers inria-00485007v1