Concurrency in Synchronous Systems
Dumitru Potop-Butucaru
,
Benoit Caillaud
,
Albert Benveniste
Journal articles
inria-00124252v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation *
Thomas Carle
,
Dumitru Potop-Butucaru
,
Yves Sorel
,
David Lesens
Journal articles
hal-01263994v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Concurrency in synchronous systems
Dumitru Potop-Butucaru
,
Benoit Caillaud
,
Albert Benveniste
[Research Report] RR-5110, INRIA. 2004
Reports
inria-00071472v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fast Redundancy Elimination Using High-Level Structural Information from Esterel
Dumitru Potop-Butucaru
RR-4330, INRIA. 2001
Reports
inria-00072257v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Synchronous Approach and Scheduling
Dumitru Potop-Butucaru
,
Yves Sorel
Book sections
hal-01096255v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Integrated Worst-Case Execution Time Estimation of Multicore Applications
Dumitru Potop-Butucaru
,
Isabelle Puaut
Conference papers
hal-00909330v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Throughput Optimization by Software Pipelining of Conditional Reservation tables
Thomas Carle
,
Dumitru Potop-Butucaru
[Research Report] RR-7606, INRIA. 2011
Reports
inria-00587319v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Clock-Driven Distributed Real-Time Implementation of Endochronous Synchronous Programs
Dumitru Potop-Butucaru
,
Robert de Simone
,
Yves Sorel
,
Jean-Pierre Talpin
Conference papers
inria-00485007v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More