Filter your results
- 66
- 25
- 65
- 13
- 6
- 3
- 2
- 1
- 1
- 86
- 4
- 1
- 1
- 1
- 3
- 6
- 5
- 4
- 6
- 10
- 10
- 8
- 8
- 5
- 8
- 5
- 2
- 7
- 2
- 1
- 79
- 12
- 74
- 19
- 14
- 10
- 8
- 8
- 8
- 5
- 5
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 91
- 14
- 14
- 8
- 8
- 8
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 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
91 Results
|
Resource management for multimedia applications, distributed in open and heterogeneous home networksJournal of Systems Architecture, 2013, 59 (3), pp.121-134. ⟨10.1016/j.sysarc.2013.01.003⟩
Journal articles
hal-01275907v1
|
||
Modif: Automating data migration for the reuse of legacy tools2ème Conférence en IngénieriE du Logiciel (CIEL 2013), Mar 2013, Nancy, France
Conference papers
hal-00904067v1
|
|||
Méthodologie d'analyse temporelle des applications temps réel à contraintes strictesJournal Européen des Systèmes Automatisés (JESA), 1998, 1998 (56), pp.581--608
Journal articles
hal-03360880v1
|
|||
Modeling legacy code with BIP: How to reduce the gap between formal description and real-time implementation2016 Forum on Specification and Design Languages (FDL), Sep 2016, Bremen, Germany. ⟨10.1109/FDL.2016.7880385⟩
Conference papers
cea-01837005v1
|
|||
A Process for Evaluating Parametric Models for Mechanical Systems Simulation : the Case of a SailboatSofware and Hardware Architectures for Robots Control, Jun 2016, Brest, France
Conference papers
hal-01711322v1
|
|||
Robotic system testing with AMSA frameworkInternational Conference on Model Driven Engineering Languages and Systems (MODELS 2018) Workshop MDETOOLS, Oct 2018, Copenhague, Denmark
Conference papers
hal-02497327v1
|
|||
Recontextualisation de modèles par graphes de dépendanceRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015
Journal articles
hal-01220433v1
|
|||
Specification of Adaptable Model MigrationsMODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, Feb 2015, Angers, France
Conference papers
hal-01128973v1
|
|||
SRMP: a software pattern for deadlocks prevention inreal-time concurrency modelsthe 10th international ACM Sigsoft conference on Quality of software architectures, QoSA'14, Jun 2014, Lille, France. pp.139-144, ⟨10.1145/2602576.2602591⟩
Conference papers
hal-01157237v1
|
|||
|
An Ontology for Attacks in Wireless Sensor Networks[Research Report] RR-6704, INRIA. 2008
Reports
inria-00333591v1
|
||
Optimizing Component-Based Embedded Software2nd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems(CORCS09), Jul 2009, Seattle, United States. pp.491-496
Conference papers
hal-00670192v1
|
|||
A MDA-based approach for real time embedded systems simulationProceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications, Oct 2005, Washington, DC, USA, United States. pp.257--264, ⟨10.1109/DISTRA.2005.2⟩
Conference papers
inria-00587338v1
|
|||
|
Génération de code multi-plates-formes pour la mise au point de modèles IMOCACAL 2014. Conférence francophone sur l'Architecture Logicielle, Jun 2014, Paris, France
Conference papers
hal-01102851v1
|
||
|
Formal framework of recontextualization by means of dependency graphs[Research Report] Lab-STICC_UBO_CACS_MOCS. 2015
Reports
hal-01140107v1
|
||
|
IMOCA : une architecture à base de modes de fonctionnement pour les systèmes de contrôle de processusRevue des Nouvelles Technologies de l'Information, 2014, Avancées récentes dans le domaine des Architectures Logicielles, RNTI-L-7, pp.147-164
Journal articles
hal-01102839v1
|
||
|
Resource Management for Multimedia Applications, Distributed in Open and Heterogeneous Home NetworksJournal of Systems Architecture, 2013, 59 (3), pp.121-134. ⟨10.1016/j.sysarc.2013.01.003⟩
Journal articles
hal-00798084v1
|
||
QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC), May 2018, Singapore, France. pp.42-50, ⟨10.1109/ISORC.2018.00014⟩
Conference papers
hal-02060014v1
|
|||
|
Chaining Model Transformations for System Model Verification : Application to Verify Capella Model with Simulink8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.279-286, ⟨10.5220/0008902302790286⟩
Conference papers
hal-02866122v1
|
||
Extending response-time analysis for the automatic synthesis of functional graphs into fixed-priority distributed systems9th IEEE International Symposium on Industrial Embedded Systems (SIES), 2014, Jun 2014, Pisa, Italy. pp.122-132, ⟨10.1109/SIES.2014.6871196⟩
Conference papers
hal-01157249v1
|
|||
Runtime resource assurance and adaptation with Qinna framework : a case studyReal Time Software (RTS) 2008, Oct 2008, Poland. pp.617-624, ⟨10.1109/IMCSIT.2008.4747307⟩
Conference papers
hal-00801546v1
|
|||
|
Model driven engineering method for SAIA architecture designIngénierie Dirigée par les Modèles, Jun 2006, Lille, France
Conference papers
inria-00587200v1
|
||
Real-Time Design Models to RTOS-Specific Models Refinement Verification5th MoDELS workshop on Model Based Architecting and Construction of Embedded Systems, Sep 2012, Innsbruck, Austria. pp.25-30
Conference papers
hal-00744943v1
|
|||
|
VBR Video Abstraction for Home-Network Reservation7th International Conference on Embedded and Multimedia Computing (EMC-12), Sep 2012, Gwangu, South Korea. pp.113-122, ⟨10.1007/978-94-007-5076-0_13⟩
Conference papers
istex
hal-00762273v1
|
||
Dynamic Server Configuration for Multiple Streaming in a Home NetworkInternational Conference on Embedded and Ubiquitous Computing, Aug 2014, Milan, Italy. pp 39--45, ⟨10.1109/EUC.2014.15⟩
Conference papers
hal-01086905v1
|
|||
A Model-Driven Approach to Automate Tuning of Continuous Controller Parameters2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, France. pp.568-576, ⟨10.1109/MODELS-C.2019.00087⟩
Conference papers
hal-02496218v1
|
|||
An Iterative Approach to Automate the Tuning of Continuous Controller Parameters2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC), Dec 2020, Guangzhou, China. pp.1-8, ⟨10.1109/EUC50751.2020.00008⟩
Conference papers
hal-03472838v1
|
|||
ModifRoundtrip: A Model-Based tool to reuse legacy transformationsACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Oct 2016, Saint Malo, France
Conference papers
hal-01418027v1
|
|||
An experiment of a MDE approach for the design of reusable DSL toolsjournées sur l'Ingénierie Dirigée par les Modèles (IDM), Jun 2011, Lille, France. pp.25-30
Conference papers
hal-00631307v1
|
|||
Chaining model transformations to develop a system model verification tool : : application to capella state machines and data flows modelsSAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, Apr 2020, Brno Czech Republic, Czech Republic. pp.1654-1657, ⟨10.1145/3341105.3374093⟩
Conference papers
hal-03472872v1
|
|||
|
IMOCA: a Model-Based Code Generator for the Development of Multi-Platform Marine Embedded SystemsMOQESM'14. International Conference of Quantitative Monitoring of Underwater Environment, Oct 2014, Brest, France
Conference papers
hal-01102862v1
|