Filtrer vos résultats
- 67
- 26
- 66
- 14
- 6
- 3
- 2
- 1
- 1
- 3
- 1
- 88
- 4
- 1
- 1
- 1
- 1
- 1
- 3
- 6
- 5
- 1
- 3
- 6
- 10
- 10
- 8
- 8
- 5
- 8
- 5
- 2
- 7
- 2
- 1
- 81
- 12
- 76
- 20
- 14
- 10
- 8
- 8
- 8
- 5
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 93
- 16
- 15
- 8
- 8
- 8
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 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
- 1
93 résultats
Validating temporal properties of a deployed application with an MDA approachInternational Workshop in Modeling and Analysis of Real-Time and Embedded Systems (MARTES) in conjuction with ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Oct 2005, Montego Bay, Jamaica. pp.1-10
Communication dans un congrès
hal-00405098v1
|
|||
|
Component-Based Real-Time Operating System for Embedded Applications12th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'09), Jun 2009, East Stroudsburg, United States. pp.209-226
Communication dans un congrès
inria-00437949v1
|
||
|
SAIA: safe deployment of sensors based real time applicationWorkshop on Models and Analysis for Automotive Systems (held in conjunction with RTSS), Dec 2006, Rio de Janeiro, Brazil
Communication dans un congrès
inria-00587178v1
|
||
|
SAIA : une utilisation conjointe du génie logiciel et des méthodes formellesEn vue - Lettre d'information de l'INSA de Lyon, 2009, 26
Article dans une revue
inria-00587097v1
|
||
Bandwidth Allocation for Sharing Video in a Closed Domestic NetworkJournal of Communications and Networks, 2018, 20 (2), pp.168--181
Article dans une revue
hal-01722609v1
|
|||
|
AVS, a model-based racing sailboat simulator: application to wind integration3rd IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control CESCIT 2018, Jun 2018, Faro, Portugal. pp.88-94, ⟨10.1016/j.ifacol.2018.06.242⟩
Communication dans un congrès
hal-02496215v1
|
||
|
ImocaGen: A Model-based Code Generator for Embedded Systems Tuning4th International Conference on Model-Driven Engineering and Software Development, Feb 2016, Rome, Italy. pp.390-396, ⟨10.5220/0005804103900396⟩
Communication dans un congrès
hal-02497288v1
|
||
|
Quantity of Resource Properties Expression and Runtime Assurance for Embedded SystemsAICCSA - The seventh ACS/IEEE International Conference on Computer Systems and Applications, May 2009, Rabat, Morocco
Communication dans un congrès
inria-00349918v2
|
||
CdmCL, a Specific Textual Constraint Language for Common Data ModelInternational Workshop on OCL and Textual Modelling, co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Sep 2014, Valencia, Spain
Communication dans un congrès
hal-01107518v1
|
|||
Ensuring QoS of Multimedia Applications in Heterogeneous Home Networks: The CPU Use CaseEmbedded and Ubiquitous Computing, EUC 2011, Oct 2011, Melbourne, Australia. pp.19-26
Communication dans un congrès
hal-00670384v1
|
|||
|
NAVIDRO, a CARES architectural style for configuring drone co-simulationACM Transactions on Embedded Computing Systems (TECS), In press, ⟨10.1145/3651889⟩
Article dans une revue
hal-04514108v1
|
||
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
Communication dans un congrès
hal-01711322v1
|
|||
Robotic system testing with AMSA frameworkInternational Conference on Model Driven Engineering Languages and Systems (MODELS 2018) Workshop MDETOOLS, Oct 2018, Copenhague, Denmark
Communication dans un congrès
hal-02497327v1
|
|||
Modif: Automating data migration for the reuse of legacy tools2ème Conférence en IngénieriE du Logiciel (CIEL 2013), Mar 2013, Nancy, France
Communication dans un congrès
hal-00904067v1
|
|||
Recontextualisation de modèles par graphes de dépendanceRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015
Article dans une revue
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
Communication dans un congrès
hal-01128973v1
|
|||
|
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⟩
Article dans une revue
istex
hal-01275907v1
|
||
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⟩
Communication dans un congrès
cea-01837005v1
|
|||
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
Article dans une revue
hal-03360880v1
|
|||
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systemsSIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2013, Jun 2013, Seattle, United States. pp.121-132, ⟨10.1145/2465554.2465572⟩
Communication dans un congrès
hal-00903753v1
|
|||
Detecting wormhole attacks in wireless networks using local neighborhood information19th Annual International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC'08, Sep 2008, Cannes, France. pp.1-5
Communication dans un congrès
hal-00402737v1
|
|||
|
A kernel transformation language for metamodel evolution and reversible model co-evolution2013
Rapport
hal-00842789v1
|
||
|
Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réelAutre [cs.OH]. INSA de Lyon, 2005
HDR
tel-00502510v1
|
||
|
IMOCA : une architecture à base de modes de fonctionnement pour une application de contrôle dans un environnement incertainCAL 2013. 7ième conférence francophone sur les architectures logicielles., May 2013, Toulouse, France
Communication dans un congrès
hal-01102659v1
|
||
RT-simex: retro-analysis of execution tracesSIGSOFT FSE, Nov 2010, Santa Fe, United States. pp.377-378, ⟨10.1145/1882291.1882357⟩
Communication dans un congrès
inria-00587116v1
|
|||
|
Integration of physical models in the ORQA framework for electric vehicle energy managementDoctoral Symposium on Components and Architecture (WCOP), Jun 2014, Marcq-en-Baroeul, France. pp.7-12, ⟨10.1145/2601328.2601332⟩
Communication dans un congrès
hal-01020135v1
|
||
Integrating Design and Runtime Variability Support into a System ADL7th European Conference Modelling Foundations and Applications ECMFA 2011, Jun 2011, Birmingham, United Kingdom. pp.270-281, ⟨10.1007/978-3-642-21470-7_19⟩
Communication dans un congrès
istex
hal-00670414v1
|
|||
Minimal yet Effective Reconfiguration Infrastructures in Component-Based Embedded SystemsSINTER'09, Aug 2009, Netherlands. pp.43-48
Communication dans un congrès
hal-00502092v1
|
|||
Editeurs des actes de l'école d'été MDA for Embedded System developpementNon renseigne, pp.Non renseigne, 2002
Ouvrages
hal-00517478v1
|
|||
Formal modelling framework of data acquisition software using a synchronous approach for timing analysis30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software (WRTP/RTS'09), Oct 2009, Mrągowo, Poland. pp.1-8
Communication dans un congrès
hal-00412224v1
|