Filtrer vos résultats
- 40
- 16
- 32
- 10
- 7
- 6
- 1
- 6
- 1
- 52
- 7
- 1
- 1
- 3
- 4
- 7
- 3
- 5
- 5
- 2
- 1
- 2
- 2
- 8
- 7
- 3
- 4
- 56
- 27
- 26
- 12
- 8
- 5
- 5
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 56
- 22
- 9
- 8
- 8
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 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
56 résultats
|
|
triés par
|
A MARTE to AADL MappingACM/IEEE International Conference on Model Driven Engineerging, Oct 2010, Oslo, Norway
Communication dans un congrès
hal-00760444v1
|
|||
RDAL: A new language for the definition and verification of requirements against AADL and other architecture modelsNEPTUNE Workshop (Nice Environment with a Process and Tools Using Norms and Examples), May 2011, Paris, France
Communication dans un congrès
hal-00760365v1
|
|||
|
Literature Classification Data for a Systematic Mapping Study on Multi-Paradigm Modeling for Cyber-Physical Systems2021
Pré-publication, Document de travail
hal-03338607v1
|
||
|
Framework to Relate / Combine Modeling Languages and Techniques[Technical Report] COST European Cooperation in Science and Technology. 2019
Rapport
hal-03168831v1
|
||
Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies1st Int. Workshop on Collaborative Modelling in MDE, Sep 2016, St-Malo, France
Communication dans un congrès
hal-02287520v1
|
|||
AADL Requirements Annex Explored With FAA Handbook ExampleSAE 2012 Aerospace Electronics and Avionics Systems Conference, Oct 2012, Phoenix, United States
Communication dans un congrès
hal-00760436v1
|
|||
|
Multi-paradigm modeling for early analysis of ROS-based robotic applications using a library of AADL models4th International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.677-683, ⟨10.1145/3550356.3563129⟩
Communication dans un congrès
hal-03905633v1
|
||
AADL: A Language to Specify the Architecture of Cyber-Physical SystemsFoundations of Multi-Paradigm Modelling for Cyber-Physical Systems, 2020
Chapitre d'ouvrage
hal-03022808v1
|
|||
|
TBES: Template-Based Exploration and Synthesis of Heterogeneous Multiprocessor Architectures on FPGAACM Transactions on Embedded Computing Systems (TECS), 2016, 15 (1), pp.9
Article dans une revue
hal-01172103v1
|
||
Towards a Development Process for Multi-CPU Distributed Synchronous Software ApplicationsPsychology in Spain, 2023, pp.549-558. ⟨10.1109/MODELS-C59198.2023.00092⟩
Article dans une revue
hal-04497326v1
|
|||
|
State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development[Research Report] COST European Cooperation in Science and Technology. 2019
Rapport
hal-03168832v1
|
||
CAT: An extensible system-level power Consumption Analysis Toolbox for Model-Driven design2010 8th IEEE International NEWCAS Conference (NEWCAS), Jun 2010, Montreal, France. pp.33-36, ⟨10.1109/NEWCAS.2010.5603737⟩
Communication dans un congrès
hal-03219207v1
|
|||
Power and energy consumption estimations in model based designLanguages for Embedded Systems and their Applications, Springer, 2009
Chapitre d'ouvrage
hal-00446608v1
|
|||
A Requirements Engineering Approach for Usability-Driven DSL DevelopmentInternational Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Communication dans un congrès
hal-01649727v1
|
|||
Model Driven High-level Power Estimation of Embedded Operating Systems Communication ServicesIEEE 2009 International Conferences on Embedded Software and Systems, May 2009, Hangzhu, China. pp.ISBN: 978-0-7695-3678-1, ⟨10.1109/ICESS.2009.94⟩
Communication dans un congrès
hal-00372695v1
|
|||
A Requirements Engineering Approach for Usability-Driven DSL DevelopmentInternational Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Communication dans un congrès
hal-03340371v1
|
|||
|
AADL Extension to Model Classical FPGA and FPGA Embedded within a SoCInternational Journal of Reconfigurable Computing, 2011, Article ID 425401, 15 p. ⟨10.1155/2011/425401⟩
Article dans une revue
hal-00650628v1
|
||
An Efficient Framework for Power-Aware Design of Heterogeneous MPSoCIEEE Transactions on Industrial Informatics, 2013, 9 (1), pp.487-501. ⟨10.1109/TII.2012.2198657⟩
Article dans une revue
hal-00921900v1
|
|||
An ontological foundation for multi-paradigm modelling for cyber-physical systemsMulti-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.9-43, 2021, ⟨10.1016/B978-0-12-819105-7.00007-6⟩
Chapitre d'ouvrage
hal-03225338v1
|
|||
An ontology for multi-paradigm modellingMulti-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.67-122, 2021, ⟨10.1016/B978-0-12-819105-7.00009-X⟩
Chapitre d'ouvrage
hal-03219279v1
|
|||
Synchronization of Models of Rich Languages with Triple Graph GrammarsInternational Conference on Model Transformation (ICMT), Jul 2014, York, United Kingdom
Communication dans un congrès
hal-01083267v1
|
|||
Early Verification of Embedded System Models using the Requirements Definition and Analysis Language Annex of the SAE AADLSAE 2012 Aerospace Electronics and Avionics Systems Conference, Oct 2012, Phoenix, United States
Communication dans un congrès
hal-00760439v1
|
|||
Energy and power consumption estimation for embedded applications and operating systemsJournal of Low Power Electronics, 2009, 5 (3)
Article dans une revue
hal-00429454v1
|
|||
Multi-paradigm Modelling for Policy-driven Socio-technical Systems1st Workshop on Agent-based Modeling and Policy-Making (AMPM2021), Dec 2021, Vulnius, Lithuania
Communication dans un congrès
hal-04362355v1
|
|||
FPGA modeling for SoC design explorationHEART (International Workshop on Highly-Efficient Accelerators and Reconfigurable Technologies, Imperial college, Jun 2011, London, United Kingdom
Communication dans un congrès
hal-00650630v1
|
|||
|
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⟩
Communication dans un congrès
hal-02428017v1
|
||
|
State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development[Technical Report] COST European Cooperation in Science and Technology. 2017
Rapport
hal-03168840v1
|
||
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⟩
Communication dans un congrès
hal-03905639v1
|
|||
Early Verification of Embedded System Models using the Requirements Definition and Analysis Language Annex of the SAE AADLSAE 2012 Aerospace Electronics and Avionics Systems Conference, Oct 2012, Phoenix, United States
Communication dans un congrès
hal-03219179v1
|
|||
An Extensible System-Level Power Consumption Analysis Toolbox for Model-Driven Design8th IEEE International NEWCAS Conference, Jun 2010, Canada
Communication dans un congrès
hal-00489770v1
|
- 1
- 2