Filter your results
- 34
- 15
- 1
- 38
- 10
- 1
- 1
- 49
- 1
- 3
- 3
- 5
- 3
- 3
- 8
- 7
- 7
- 2
- 1
- 2
- 3
- 3
- 49
- 1
- 43
- 11
- 5
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 50
- 21
- 8
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline MissesFirst Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6
Conference papers
hal-00922522v1
|
||
|
Litmus-RT plugins for global static scheduling of mixed criticality systemsJournal of Systems Architecture, 2021, 118, pp.102221. ⟨10.1016/j.sysarc.2021.102221⟩
Journal articles
hal-03276250v1
|
||
|
A Real-Time NMPC Controller for Autonomous Vehicle Racing2022 6th International Conference on Automation, Control and Robots (ICACR), Sep 2022, Shanghai, China. pp.148-155, ⟨10.1109/ICACR55854.2022.9935523⟩
Conference papers
hal-04009646v1
|
||
Scheduling algorithms to reduce the static energy consumption of real-time systemsExperiments in Fluids, 2015, 56 (3), pp.153-191. ⟨10.1007/s11241-014-9207-7⟩
Journal articles
cea-01846864v1
|
|||
Architecture Models Refinement for Fine Grain Timing Analysis of Embedded SystemsIEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India
Conference papers
hal-01121019v1
|
|||
Architecture Models Refinement for Fine Grain Timing Analysis of Embedded SystemsInternational Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50
Conference papers
hal-01115723v1
|
|||
Assessing adversarial training effect on IDSs and GANs2021 IEEE International Conference on Cyber Security and Resilience (CSR) Workshop on Resilient Artificial Intelligence, Jul 2021, Rhodes, France. pp.543-550, ⟨10.1109/CSR51186.2021.9527949⟩
Conference papers
hal-03775550v1
|
|||
|
Autonomous racecar control in head-to-head competition using Mixed-Integer Quadratic ProgrammingOpportunities and challenges with autonomous racing, 2021 ICRA workshop, May 2021, Online, United States
Conference papers
hal-03749355v1
|
||
Directed Acyclic Graph Scheduling for Mixed-Criticality SystemsReliable Software Technologies, Jun 2017, Vienne, Austria. pp.217-232
Conference papers
hal-01995010v1
|
|||
RTNS 2022: The 30th International Conference on Real-Time Networks and SystemsACM, 2022, ⟨10.1145/3534879⟩
Proceedings
hal-03951192v1
|
|||
Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2013), Jun 2013, Paderborn, Germany
Conference papers
hal-01121244v1
|
|||
Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems ModelsICECCS 2012, Jul 2012, Paris, France
Conference papers
hal-02286400v1
|
|||
|
Threats to Adversarial Training for IDSs and Mitigation19th International Conference on Security and Cryptography, Jul 2022, Lisbon, France. pp.226-236, ⟨10.5220/0011277600003283⟩
Conference papers
hal-03801012v1
|
||
Dynamic Arbitration of Memory Requests with TDM-like GuaranteesWorkshop on Compositional Theory and Technology for Real-Time Embedded Systems, Dec 2017, Paris, France
Conference papers
hal-02287739v1
|
|||
An Emerging Need for a New Software Engineering MethodInternational Conference on Engineering of Complex Computer Systems (ICECCS), 2009, Jun 2009, Potsdam, Germany. pp.359- 364
Conference papers
hal-02286672v1
|
|||
Generalized mixed-criticality scheduling based on RUN23rd International Conference on Real-Time Networks and Systems (RTNS '15), Nov 2015, Lille France, France. pp.267-276, ⟨10.1145/2834848.2834873⟩
Conference papers
hal-03629047v1
|
|||
Multi-objective exploration of architectural designs by composition of model transformationsSoftware and Systems Modeling, 2019, 18 (1), pp.107-127. ⟨10.1007/s10270-017-0580-2⟩
Journal articles
hal-02292455v1
|
|||
A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systemsRTNS '13 Proceedings of the 21st International conference on Real-Time Networks and Systems, Oct 2013, Sophia Antipolis, France. pp.99-108, ⟨10.1145/2516821.2516839⟩
Conference papers
cea-01818894v1
|
|||
|
Using AADL to build critical real-time systems: Experiments in the IST-ASSERT projectEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers
insu-02270096v1
|
||
|
COntinuuM, a CO-modelling Methodology for the Integration of Real-time Architecture ModelsEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Conference papers
hal-02270295v1
|
||
Handling criticality mode change in time-triggered systems through linear programmingAda User Journal, 2014, 35 (2), pp.133-137
Journal articles
cea-01844456v1
|
|||
|
Réduction de la consommation statique des systèmes temps-réel multiprocesseursÉcole d’Été Temps Réel (ETR‘13), Aug 2013, Toulouse, France. pp.1-4
Conference papers
hal-00922521v1
|
||
PDP 4PS : Periodic-Delayed Protocol for Partitioned SystemsInternational Conference on Reliable Software Technologies, Jun 2014, Paris, France. pp.149-165
Conference papers
hal-01115671v1
|
|||
Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation ChainsMODELS workshop on Analysis of Model Transformations, Oct 2014, Valencia, Spain. pp.34-43
Conference papers
hal-01115716v1
|
|||
Model-Based Code GenerationEmbedded Systems : analysis and modeling with SysML, UML and AADL, Wiley, 2013
Book sections
hal-02286688v1
|
|||
|
Scheduling Multi-Periodic Mixed-Criticality DAGs on Multi-Core Architectures39th IEEE Real-Time Systems Symposium (RTSS 2018), Dec 2018, Nashville, TN, United States. ⟨10.1109/RTSS.2018.00042⟩
Conference papers
hal-01994627v1
|
||
Availability enhancement and analysis for mixed-criticality systems on multi-core2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2018, Dresden, France. pp.1271-1276
Conference papers
hal-01994643v1
|
|||
Automatic Production of Transformation Chains Using Structural Constraints on Output ModelsEuromicro Conference on Software Engineering and Advanced Applications, Aug 2014, Verona, Italy. pp.158 - 165
Conference papers
hal-01115708v1
|
|||
|
An off-line multiprocessor real-time scheduling algorithm to reduce static energy consumptionFirst Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH), Feb 2013, Shenzhen, China. pp.7-12
Conference papers
hal-00919169v1
|
||
Translation of ATL to AGT and Application to a Code Generator for SimulinkSoftware and Systems Modeling, 2017
Journal articles
hal-02287624v1
|
- 1
- 2