Search - Archive ouverte HAL Access content directly

Filter your results

91 Results
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

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

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

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

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

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

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

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

SRMP: a software pattern for deadlocks prevention inreal-time concurrency models

Rania Mzid , Chokri Mraidha , Jean-Philippe Babau , Mohamed Abid
the 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
Image document

An Ontology for Attacks in Wireless Sensor Networks

Wassim Znaidi , Marine Minier , Jean-Philippe Babau
[Research Report] RR-6704, INRIA. 2008
Reports inria-00333591v1

Optimizing Component-Based Embedded Software

Olivier Lobry , Juan Navas , Jean-Philippe Babau
2nd 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 simulation

Julien Deantoni , Jean-Philippe Babau
Proceedings 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
Image document

Génération de code multi-plates-formes pour la mise au point de modèles IMOCA

Goulven Guillou , Jean-Philippe Babau
CAL 2014. Conférence francophone sur l'Architecture Logicielle, Jun 2014, Paris, France
Conference papers hal-01102851v1
Image document

Formal framework of recontextualization by means of dependency graphs

Mickaël Kerboeuf , Paola Vallejo , Jean-Philippe Babau
[Research Report] Lab-STICC_UBO_CACS_MOCS. 2015
Reports hal-01140107v1
Image document

IMOCA : une architecture à base de modes de fonctionnement pour les systèmes de contrôle de processus

Goulven Guillou , Jean-Philippe Babau
Revue 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 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-00798084v1

QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System

Briag Le Nabec , Belgacem Ben Hedia , Jean-Philippe Babau
2018 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
Image document

Chaining Model Transformations for System Model Verification : Application to Verify Capella Model with Simulink

Christophe Duhil , Jean-Philippe Babau , Eric Lépicier , Jean-Luc Voirin , Juan Navas et al.
8th 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 systems

Asma Mehiaoui , Sara Tucci Piergiovanni , Chokri Mraidha , Jean-Philippe Babau
9th 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 study

Jean-Philippe Babau , Laure Gonnord
Real Time Software (RTS) 2008, Oct 2008, Poland. pp.617-624, ⟨10.1109/IMCSIT.2008.4747307⟩
Conference papers hal-00801546v1
Image document

Model driven engineering method for SAIA architecture design

Julien Deantoni , Jean-Philippe Babau
Ingénierie Dirigée par les Modèles, Jun 2006, Lille, France
Conference papers inria-00587200v1

Real-Time Design Models to RTOS-Specific Models Refinement Verification

Rania Mzid , Chokri Mraidha , Jean-Philippe Babau , Mohamed Abid
5th 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 Reservation

Laurent Lemarchand , Maxime Louvel , Jean-Philippe Babau
7th 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 Network

Laurent Lemarchand , Isaac Armah-Mensah , Jean-Philippe Babau
International 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 Parameters

Hamza El Baccouri , Goulven Guillou , Jean-Philippe Babau
2019 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 Parameters

Hamza El Baccouri , Goulven Guillou , Jean-Philippe Babau
2020 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 transformations

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

Mickael Kerboeuf , Alain Plantec , Jean-Philippe Babau
journé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 models

Christophe Duhil , Jean-Philippe Babau , Eric Lépicier , Jean-Luc Voirin , Juan Navas et al.
SAC '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
Image document

IMOCA: a Model-Based Code Generator for the Development of Multi-Platform Marine Embedded Systems

Goulven Guillou , Jean-Philippe Babau
MOQESM'14. International Conference of Quantitative Monitoring of Underwater Environment, Oct 2014, Brest, France
Conference papers hal-01102862v1