Filter your results
- 47
- 24
- 45
- 12
- 6
- 4
- 3
- 1
- 71
- 4
- 7
- 9
- 5
- 10
- 4
- 6
- 2
- 6
- 7
- 5
- 1
- 1
- 2
- 3
- 3
- 68
- 3
- 67
- 11
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 31
- 25
- 16
- 15
- 10
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
A Comparative Study of the Precision of Stack Cache Occupancy Analyses9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16
Conference papers
hal-02287276v1
|
|||
Worst-Case Execution Time Analysis of Predicated ArchitecturesWorkshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩
Conference papers
hal-02288493v1
|
|||
|
Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.2, ⟨10.1109/MODELS-C.2019.00066⟩
Conference papers
hal-02428017v1
|
||
Solving the instance model-view update problem in AADLMODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.55-65, ⟨10.1145/3550355.3552396⟩
Conference papers
hal-03905639v1
|
|||
Is This Still Normal? Putting Definitions of Timing Anomalies to the Test2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2021, Houston, France. pp.139-148, ⟨10.1109/RTCSA52859.2021.00024⟩
Conference papers
hal-03559899v1
|
|||
A Comparative Study of the Precision of Stack Cache Occupancy Analyses9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4
Conference papers
hal-01246343v1
|
|||
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
|
|||
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
|
|||
Directed Acyclic Graph Scheduling for Mixed-Criticality SystemsReliable Software Technologies, Jun 2017, Vienne, Austria. pp.217-232
Conference papers
hal-01995010v1
|
|||
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
|
|||
A benchmark of incremental model transformation tools based on an industrial case study with AADLSoftware and Systems Modeling, 2022, ⟨10.1007/s10270-022-00989-z⟩
Journal articles
hal-03905646v1
|
|||
Towards a model driven refinement process through architecture evaluationNFPinDSML '12, Dec 2012, Innsbruck, Austria. pp.4:1-4:6, ⟨10.1145/2420942.2420946⟩
Conference papers
hal-02286708v1
|
|||
|
Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports
hal-03168834v1
|
||
|
Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application ProcessorsEmbedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Jul 2014, Samos, Greece. pp 172-180, ⟨10.1109/SAMOS.2014.6893209⟩
Conference papers
hal-01111647v1
|
||
|
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
|
||
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
|
|||
|
Work-conserving dynamic TDM-based memory arbitration for multi-criticality real-time systemsHardware Architecture [cs.AR]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLT044⟩
Theses
tel-02494421v1
|
||
|
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)[Technical Report] RT-0446, INRIA. 2014, pp.27
Reports
hal-00970244v2
|
||
Precise, efficient, and context-sensitive cache analysisReal-Time Systems, 2021, ⟨10.1007/s11241-021-09372-5⟩
Journal articles
hal-03559857v1
|
|||
Eager Stack Cache Memory TransfersWorkshop on Worst-Case Execution Time Analysis, Jul 2016, Toulouse, France
Conference papers
hal-02287376v1
|
|||
CALCULATEUR COMPRENANT UN PROCESSEUR MULTICOEUR ET PROCEDE DE CONTROLE D'UN TEL CALCULATEURFrance, N° de brevet: FR20130002040 20130903. XJTR:BrevMulDet-2015. 2015, pp.31
Patents
hal-02412552v1
|
|||
|
Framework to Relate / Combine Modeling Languages and Techniques[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports
hal-03168831v1
|
||
|
Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language StandardCyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, 2017, Cyber-Physical System Design from an Architecture Analysis Viewpoint, ⟨10.1007/978-981-10-4436-6_3⟩
Book sections
hal-01615143v1
|
||
|
Deployment of mixed criticality and data driven systems on multi-cores architecturesEmbedded Systems. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLT004⟩
Theses
tel-02086680v1
|
||
|
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
|
|||
|
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
|
||
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
|
|||
|
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
|