Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

93 Results
authIdHal_s : jean-philippe-babau
Image document

Integration of physical models in the ORQA framework for electric vehicle energy management

Borjan Tchakaloff , Sébastien Saudrais , Jean-Philippe Babau
Doctoral 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 ADL

M. Ludwig , Nicolas Farcet , Jean-Philippe Babau , Joël Champeau
7th 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
Image document

IMOCA : une architecture à base de modes de fonctionnement pour une application de contrôle dans un environnement incertain

Goulven Guillou , Jean-Philippe Babau
CAL 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 systems

Asma Mehiaoui , Ernest Wozniak , Sara Tucci Piergiovanni , Chokri Mraidha , Marco Di Natale et al.
SIGPLAN/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
Image document

A kernel transformation language for metamodel evolution and reversible model co-evolution

Mickaël Kerboeuf , Paola Vallejo , Jean-Philippe Babau
Reports hal-00842789v1

RT-simex: retro-analysis of execution traces

Julien Deantoni , Frédéric Mallet , Frédéric Thomas , Gonzague Reydet , Jean-Philippe Babau et al.
SIGSOFT 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 information

Wassim Znaidi , Marine Minier , Jean-Philippe Babau
19th Annual International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC'08, Sep 2008, Cannes, France. pp.1-5
Conference papers hal-00402737v1
Image document

Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel

Jean-Philippe Babau
Autre [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 Sailboat

E. Lavigne , B. Piquemal , Adeline Bourdon , Simon Chesné , Goulven Guillou et al.
Sofware 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 implementation

B.L. Nabec , B.B. Hedia , Jean-Philippe Babau , M. Jan , H. Guesmi et al.
2016 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 framework

Hamza El Baccouri , Goulven Guillou , Jean-Philippe Babau
International Conference on Model Driven Engineering Languages and Systems (MODELS 2018) Workshop MDETOOLS, Oct 2018, Copenhague, Denmark
Conference papers hal-02497327v1
Image document

Resource management for multimedia applications, distributed in open and heterogeneous home networks

Maxime Louvel , Alain Plantec , Jean-Philippe Babau
Journal 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 strictes

Jean-Philippe Babau , Francis Cottet
Journal Européen des Systèmes Automatisés (JESA), 1998, 1998 (56), pp.581--608
Journal articles hal-03360880v1

Specification of Adaptable Model Migrations

Paola Vallejo , Mickael Kerboeuf , Jean-Philippe Babau
MODELSWARD 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épendance

Paola Vallejo , Mickaël Kerboeuf , Jean-Philippe Babau
Revue 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 tools

Paola Vallejo , Mickaël Kerboeuf , Jean-Philippe Babau
2è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 Case

Maxime Louvel , Julien Tous , Jean-Philippe Babau , Alain Plantec
Embedded and Ubiquitous Computing, EUC 2011, Oct 2011, Melbourne, Australia. pp.19-26
Conference papers hal-00670384v1
Image document

Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems

Laure Gonnord , Jean-Philippe Babau
AICCSA - 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 Network

Laurent Lemarchand , Jean-Philippe Babau
Journal of Communications and Networks, 2018, 20 (2), pp.168--181
Journal articles hal-01722609v1

AVS, a model-based racing sailboat simulator: application to wind integration

Emilien Lavigne , Goulven Guillou , Jean-Philippe Babau
3rd 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 Tuning

Goulven Guillou , Jean-Philippe Babau
4th International Conference on Model-Driven Engineering and Software Development, Feb 2016, Rome, Italy. pp.390-396, ⟨10.5220/0005804103900396⟩
Conference papers hal-02497288v1
Image document

SAIA: safe deployment of sensors based real time application

Julien Deantoni , Jean-Philippe Babau
Workshop on Models and Analysis for Automotive Systems (held in conjunction with RTSS), Dec 2006, Rio de Janeiro, Brazil
Conference papers inria-00587178v1
Image document

SAIA : une utilisation conjointe du génie logiciel et des méthodes formelles

Julien Deantoni , Jean-Philippe Babau
En vue - Lettre d'information de l'INSA de Lyon, 2009, 26
Journal articles inria-00587097v1
Image document

Component-Based Real-Time Operating System for Embedded Applications

Frédéric Loiret , Juan Navas , Jean-Philippe Babau , Olivier Lobry
12th 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 approach

Jean-Louis Houberdon , Jean-Philippe Babau , Isabelle Augé-Blum , Pierre Combes
International 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 Model

Ahmed Ahmed , Paola Vallejo , Mickaël Kerboeuf , Jean-Philippe Babau
International 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 systems

Laure Gonnord , Jean-Philippe Babau
Scalable 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 Study

Stéphane Rubini , Jean-Philippe Babau , Jalil Boukhobza
IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, Dec 2012, Phaphos, Cyprus. pp.570--577
Conference papers hal-00762513v1
Image document

Modèles et transformations de modèles pour l'introduction de la consommation énergétique dans le standard AUTOSAR

Borjan Tchakaloff , Sébastien Saudrais , Jean-Philippe Babau
Conférence en IngénieriE du Logiciel (CIEL), Jun 2012, Rennes, France. papier n°20
Conference papers hal-00734226v1
Image document

Resource Properties Expression and Runtime assurance for embedded programs, using Qinna, a component-based software architecture

Laure Gonnord , Jean-Philippe Babau
[Research Report] RR-6565, INRIA. 2008
Reports inria-00289937v2