Filter your results
- 66
- 13
- 6
- 3
- 2
- 1
- 1
- 1
- 93
- 15
- 15
- 9
- 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
- 1
- 88
- 4
- 1
- 1
- 75
- 20
- 14
- 10
- 9
- 9
- 9
- 5
- 5
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 84
- 75
- 75
- 75
- 75
- 75
- 75
- 73
- 73
- 73
- 72
- 22
- 22
- 22
- 21
- 20
- 15
- 15
- 15
- 14
- 14
- 14
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 81
- 12
- 67
- 26
- 1
- 1
- 3
- 6
- 5
- 4
- 6
- 10
- 10
- 8
- 8
- 5
- 8
- 5
- 1
- 2
- 7
- 2
- 1
|
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⟩
Conference papers
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⟩
Conference papers
istex
hal-00670414v1
|
|||
|
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
Conference papers
hal-01102659v1
|
||
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⟩
Conference papers
hal-00903753v1
|
|||
|
A kernel transformation language for metamodel evolution and reversible model co-evolution2013
Reports
hal-00842789v1
|
||
RT-simex: retro-analysis of execution tracesSIGSOFT FSE, Nov 2010, Santa Fe, United States. pp.377-378, ⟨10.1145/1882291.1882357⟩
Conference papers
inria-00587116v1
|
|||
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
Conference papers
hal-00402737v1
|
|||
|
Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réelAutre [cs.OH]. INSA de Lyon, 2005
Habilitation à diriger des recherches
tel-00502510v1
|
||
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
|
|||
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
|
|||
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
|
|||
|
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
|
||
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
|
|||
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
|
|||
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
|
|||
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
|
|||
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
Conference papers
hal-00670384v1
|
|||
|
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
Conference papers
inria-00349918v2
|
||
Bandwidth Allocation for Sharing Video in a Closed Domestic NetworkJournal of Communications and Networks, 2018, 20 (2), pp.168--181
Journal articles
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⟩
Conference papers
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⟩
Conference papers
hal-02497288v1
|
||
|
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
Conference papers
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
Journal articles
inria-00587097v1
|
||
|
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
Conference papers
inria-00437949v1
|
||
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
Conference papers
hal-00405098v1
|
|||
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
Conference papers
hal-01107518v1
|
|||
Qinna: a component-based framework for runtime safe resource adaptation of embedded systemsScalable Computing : Practice and Experience, 2009, 10 (3), pp.253-264
Journal articles
hal-00670185v1
|
|||
A Hardware/Software CBSE Framework for RTOS Services: the Timing Service Case StudyIEEE/IFIP International Conference on Embedded and Ubiquitous Computing, Dec 2012, Phaphos, Cyprus. pp.570--577
Conference papers
hal-00762513v1
|
|||
|
Modèles et transformations de modèles pour l'introduction de la consommation énergétique dans le standard AUTOSARConférence en IngénieriE du Logiciel (CIEL), Jun 2012, Rennes, France. papier n°20
Conference papers
hal-00734226v1
|
||
|
Resource Properties Expression and Runtime assurance for embedded programs, using Qinna, a component-based software architecture[Research Report] RR-6565, INRIA. 2008
Reports
inria-00289937v2
|