Filtrer vos résultats
- 68
- 17
- 1
- 56
- 17
- 6
- 3
- 3
- 1
- 85
- 1
- 1
- 3
- 4
- 6
- 4
- 3
- 8
- 7
- 7
- 4
- 6
- 4
- 3
- 7
- 2
- 3
- 5
- 3
- 2
- 1
- 3
- 81
- 5
- 49
- 34
- 13
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 86
- 34
- 21
- 10
- 9
- 7
- 7
- 7
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
86 résultats
An Efficient Modeling and Execution Framework for Complex Systems DevelopmentInternational Conference on Engineering of Complex Computer Systems (ICECCS), 2011, Apr 2011, Las Vegas, United States. pp.317 - 331
Communication dans un congrès
hal-02288369v1
|
|||
Distributed Systems Design and AlgorithmsHaddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Ouvrages
hal-00779937v1
|
|||
|
Teaching Real-Time Scheduling Analysis with Cheddar9ème édition de l’Ecole d’Eté « Temps Réel », Aug 2015, Rennes, France
Communication dans un congrès
hal-01166136v1
|
||
Procede et circuit de multiplexage temporel d'acces concurrents a une ressource informatiqueFrance, Patent n° : FR3087982A1. 2018
Brevet
hal-04487710v1
|
|||
Work-conserving dynamic time-division multiplexing for multi-criticality systemsReal-Time Systems, 2019, ⟨10.1007/s11241-019-09336-w⟩
Article dans une revue
hal-02447512v1
|
|||
|
Validate, Simulate and Implement ARINC653 Systems using the AADLACM SIGAda Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩
Article dans une revue
hal-00745370v1
|
||
|
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
Communication dans un congrès
hal-03749355v1
|
||
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⟩
Communication dans un congrès
hal-03775550v1
|
|||
Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems13th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'10), May 2010, Carmona, Spain. pp.87-91, ⟨10.1109/ISORC.2010.32⟩
Communication dans un congrès
hal-01292574v1
|
|||
Design, implementation and verification of MILS systemsSoftware: Practice and Experience, 2012, 42 (7), pp.799-816. ⟨10.1002/spe.1151⟩
Article dans une revue
istex
hal-01176409v1
|
|||
Construction d'un intergiciel vérifiéMéthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.265-287, 2006, 2-7462-1447-4
Chapitre d'ouvrage
hal-01351785v1
|
|||
|
Intrinsic weaknesses of IDSs to malicious adversarial attacks and their mitigationCommunications in Computer and Information Science, 2023, Communications in Computer and Information Science, 1849, pp.122-155. ⟨10.1007/978-3-031-45137-9_6⟩
Article dans une revue
hal-04320964v1
|
||
Architecture Models Refinement for Fine Grain Timing Analysis of Embedded SystemsInternational Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50
Communication dans un congrès
hal-01115723v1
|
|||
Architecture Models Refinement for Fine Grain Timing Analysis of Embedded SystemsIEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India
Communication dans un congrès
hal-01121019v1
|
|||
|
A Framework for DRE Middleware, an Application to DDSInternational Symposium on Object-Oriented Real-time Distributed Computing (ISORC'06), Apr 2006, Gyeongju, South Korea. pp.224-231, ⟨10.1109/ISORC.2006.4⟩
Communication dans un congrès
hal-01336642v1
|
||
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⟩
Article dans une revue
cea-01846864v1
|
|||
|
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
Communication dans un congrès
hal-00922522v1
|
||
Systèmes répartis en action : de l'embarqué aux systèmes à large échelleHermes, 2008, Traités IC2 - Informatique et systèmes d'information
Ouvrages
hal-01304950v1
|
|||
|
Litmus-RT plugins for global static scheduling of mixed criticality systemsJournal of Systems Architecture, 2021, 118, pp.102221. ⟨10.1016/j.sysarc.2021.102221⟩
Article dans une revue
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⟩
Communication dans un congrès
hal-04009646v1
|
||
Ensuring robust partitioning in multicore platforms for IMA systems2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC), Oct 2012, Williamsburg, VA, United States. ⟨10.1109/DASC.2012.6383088⟩
Communication dans un congrès
hal-03023115v1
|
|||
From functional to architectural analysis of a middleware supporting interoperability across heterogeneous distribution models3rd International Symposium on Distributed Objects and Applications (DOA'01), Sep 2001, Roma, Italy. pp.165-175, ⟨10.1109/DOA.2001.954082⟩
Communication dans un congrès
hal-01571185v1
|
|||
Architecture for a reuseable object-oriented polymorphic middlewareInternational Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Jun 2001, Las-Vegas, United States
Communication dans un congrès
hal-01571190v1
|
|||
Design, Verification and Implementation of MILS systemsThe 21th International Symposium on Rapid System Prototyping, Jun 2010, Fairfax, VA, United States. pp.1-8
Communication dans un congrès
hal-01288211v1
|
|||
General introductionDistibuted Systems: Design and Algorithms, Wiley, pp.13-17, 2011, 9781848212503. ⟨10.1002/9781118601365.ch1⟩
Chapitre d'ouvrage
hal-01288072v1
|
|||
|
Modeling and Validation of ARINC653 architecturesERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8
Communication dans un congrès
hal-02269428v1
|
||
|
Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity DomainEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Communication dans un congrès
insu-02270097v1
|
||
Shedding the Shackles of Time-Division MultiplexingRTSS 2018 - IEEE Real-Time Systems Symposium, Dec 2018, Nashville, France. pp.456-468, ⟨10.1109/RTSS.2018.00059⟩
Communication dans un congrès
hal-01994629v1
|
|||
Improving Reusability of Model Transformations by Automating their CompositionEUROMICRO-SEAA, Aug 2015, Madeira, Portugal. pp.267-274
Communication dans un congrès
hal-02287271v1
|
|||
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph TransformationAMT@MoDELS, Sep 2014, Valencia, Spain. pp.34-43
Communication dans un congrès
hal-02287272v1
|