Filter your results
- 36
- 15
- 30
- 7
- 7
- 6
- 1
- 47
- 7
- 1
- 3
- 6
- 3
- 5
- 5
- 2
- 1
- 2
- 2
- 8
- 7
- 3
- 4
- 51
- 27
- 22
- 12
- 8
- 5
- 5
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 51
- 21
- 9
- 8
- 8
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 1
- 1
51 Results
|
|
sorted by
|
|
TBES: Template-Based Exploration and Synthesis of Heterogeneous Multiprocessor Architectures on FPGAACM Transactions on Embedded Computing Systems (TECS), 2016, 15 (1), pp.9
Journal articles
hal-01172103v1
|
||
AADL: A Language to Specify the Architecture of Cyber-Physical SystemsFoundations of Multi-Paradigm Modelling for Cyber-Physical Systems, 2020
Book sections
hal-03022808v1
|
|||
|
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⟩
Conference papers
hal-03905633v1
|
||
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
Conference papers
hal-00760365v1
|
|||
A MARTE to AADL MappingACM/IEEE International Conference on Model Driven Engineerging, Oct 2010, Oslo, Norway
Conference papers
hal-00760444v1
|
|||
|
Framework to Relate / Combine Modeling Languages and Techniques[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports
hal-03168831v1
|
||
|
Literature Classification Data for a Systematic Mapping Study on Multi-Paradigm Modeling for Cyber-Physical Systems2021
Preprints, Working Papers, ...
hal-03338607v1
|
||
Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies1st Int. Workshop on Collaborative Modelling in MDE, Sep 2016, St-Malo, France
Conference papers
hal-02287520v1
|
|||
AADL Requirements Annex Explored With FAA Handbook ExampleSAE 2012 Aerospace Electronics and Avionics Systems Conference, Oct 2012, Phoenix, United States
Conference papers
hal-00760436v1
|
|||
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
|
|||
|
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
|
||
|
State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development[Technical Report] COST European Cooperation in Science and Technology. 2017
Reports
hal-03168840v1
|
||
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
Conference papers
hal-03219179v1
|
|||
FPGA modeling for SoC design explorationHEART (International Workshop on Highly-Efficient Accelerators and Reconfigurable Technologies, Imperial college, Jun 2011, London, United Kingdom
Conference papers
hal-00650630v1
|
|||
An Extensible System-Level Power Consumption Analysis Toolbox for Model-Driven Design8th IEEE International NEWCAS Conference, Jun 2010, Canada
Conference papers
hal-00489770v1
|
|||
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⟩
Book sections
hal-03219279v1
|
|||
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⟩
Book sections
hal-03225338v1
|
|||
Synchronization of Models of Rich Languages with Triple Graph GrammarsInternational Conference on Model Transformation (ICMT), Jul 2014, York, United Kingdom
Conference papers
hal-01083267v1
|
|||
Energy and power consumption estimation for embedded applications and operating systemsJournal of Low Power Electronics, 2009, 5 (3)
Journal articles
hal-00429454v1
|
|||
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⟩
Journal articles
hal-00921900v1
|
|||
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
Conference papers
hal-00760439v1
|
|||
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
|
|||
|
Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports
hal-03168834v1
|
||
Fast Template-based Heterogeneous MPSoC Synthesis on FPGA9th Int. Symposium on Applied Reconfigurable Computing, Mar 2013, Los Angeles, United States
Conference papers
hal-00780378v1
|
|||
Functional Validation of AADL Models via Model Transformation to SystemC with ATLACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems, Sep 2012, Innsbruck, Austria
Conference papers
hal-00760301v1
|
|||
|
Functional Validation of AADL Models via Model Transformation to SystemC with ATL5th International Workshop on Model Based Architecting and Construction of Embedded Systems ACES 2012, Sep 2012, Innsbruck, Austria
Conference papers
hal-00759904v1
|
||
Power and energy consumption estimations in model based designMartin Radetzki. Languages for Embedded Systems and their Applications, Springer, pp.1, 2009, Lecture Notes in Electrical Engineering series
Book sections
hal-00370849v1
|
|||
A Requirements Engineering Approach for Usability-Driven DSL DevelopmentInternational Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers
hal-03340371v1
|
|||
A Requirements Engineering Approach for Usability-Driven DSL DevelopmentInternational Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers
hal-01649727v1
|
|||
|
State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development[Research Report] COST European Cooperation in Science and Technology. 2019
Reports
hal-03168832v1
|
- 1
- 2