2015
Journal articles
- titre
- Recontextualisation de modèles par graphes de dépendance
- auteur
- Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015
- typdoc
- Journal articles
- Accès au bibtex
-
- titre
- A Model-driven Approach for the Generation of Customizable Model Migrations
- auteur
- Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
- article
- Communications in Computer and Information Science, 2015, Model-Driven Engineering and Software Development: Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers, 580, pp.67--81. ⟨10.1007/978-3-319-27869-8_4⟩
- typdoc
- Journal articles
- Accès au bibtex
-
Conference papers
- titre
- Improving Reuse by means of Asymmetrical Model Migrations: An Application to the Orcc Case Study
- auteur
- Paola Vallejo, Mickaël Kerboeuf, Kevin Martin, Jean-Philippe Babau
- article
- 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- IMOCA : une architecture à base de modes de fonctionnement pour les systèmes de contrôle processus
- auteur
- Goulven Guillou, Jean-Philippe Babau
- article
- 10th National Conference of Control Architectures of Robot (CAR'15), Jun 2015, Lyon, France
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Specification of Adaptable Model Migrations
- auteur
- Paola Vallejo, Mickael Kerboeuf, Jean-Philippe Babau
- article
- MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, Feb 2015, Angers, France
- typdoc
- Conference papers
- Accès au bibtex
-
Reports
- titre
- Formal framework of recontextualization by means of dependency graphs
- auteur
- Mickaël Kerboeuf, Paola Vallejo, Jean-Philippe Babau
- article
- [Research Report] Lab-STICC_UBO_CACS_MOCS. 2015
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2014
Journal articles
- titre
- IMOCA : une architecture à base de modes de fonctionnement pour les systèmes de contrôle de processus
- auteur
- Goulven Guillou, Jean-Philippe Babau
- article
- Revue des Nouvelles Technologies de l'Information, 2014, Avancées récentes dans le domaine des Architectures Logicielles, RNTI-L-7, pp.147-164
- typdoc
- Journal articles
- Accès au texte intégral et bibtex
-
- titre
- RTOS-Aware Refactoring for Portable Real-Time Design Models
- auteur
- Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
- article
- Journal of Software, 2014, 9 (7), pp.1737-1748. ⟨10.4304/jsw.9.7.1737-1748⟩
- typdoc
- Journal articles
- Accès au bibtex
-
Conference papers
- titre
- IMOCA: a Model-Based Code Generator for the Development of Multi-Platform Marine Embedded Systems
- auteur
- Goulven Guillou, Jean-Philippe Babau
- article
- MOQESM'14. International Conference of Quantitative Monitoring of Underwater Environment, Oct 2014, Brest, France
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- CdmCL, a Specific Textual Constraint Language for Common Data Model
- auteur
- Ahmed Ahmed, Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
- article
- 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
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Efficient models configuration for an electric vehicle energy management software
- auteur
- Borjan Tchakaloff, Sébastien Saudrais, Jean-Philippe Babau
- article
- Euromicro Conference series on Software Engineering and Advanced Applications (SEAA), Aug 2014, Verona, Italy. pp.Pages 48-55, ⟨10.1109/SEAA.2014.80⟩
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Dynamic Server Configuration for Multiple Streaming in a Home Network
- auteur
- Laurent Lemarchand, Isaac Armah-Mensah, Jean-Philippe Babau
- article
- International Conference on Embedded and Ubiquitous Computing, Aug 2014, Milan, Italy. pp 39--45, ⟨10.1109/EUC.2014.15⟩
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Integration of physical models in the ORQA framework for electric vehicle energy management
- auteur
- Borjan Tchakaloff, Sébastien Saudrais, Jean-Philippe Babau
- article
- Doctoral Symposium on Components and Architecture (WCOP), Jun 2014, Marcq-en-Baroeul, France. pp.7-12, ⟨10.1145/2601328.2601332⟩
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- SRMP: a software pattern for deadlocks prevention inreal-time concurrency models
- auteur
- Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
- article
- the 10th international ACM Sigsoft conference on Quality of software architectures, QoSA'14, Jun 2014, Lille, France. pp.139-144, ⟨10.1145/2602576.2602591⟩
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Extending response-time analysis for the automatic synthesis of functional graphs into fixed-priority distributed systems
- auteur
- Asma Mehiaoui, Sara Tucci Piergiovanni, Chokri Mraidha, Jean-Philippe Babau
- article
- 9th IEEE International Symposium on Industrial Embedded Systems (SIES), 2014, Jun 2014, Pisa, Italy. pp.122-132, ⟨10.1109/SIES.2014.6871196⟩
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Génération de code multi-plates-formes pour la mise au point de modèles IMOCA
- auteur
- Goulven Guillou, Jean-Philippe Babau
- article
- CAL 2014. Conférence francophone sur l'Architecture Logicielle, Jun 2014, Paris, France
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
2013
Journal articles
- titre
- Resource Management for Multimedia Applications, Distributed in Open and Heterogeneous Home Networks
- auteur
- Maxime Louvel, Alain Plantec, Jean-Philippe Babau
- article
- Journal of Systems Architecture, 2013, 59 (3), pp.121-134. ⟨10.1016/j.sysarc.2013.01.003⟩
- typdoc
- Journal articles
- Accès au bibtex
-
- titre
- Resource management for multimedia applications, distributed in open and heterogeneous home networks
- auteur
- Maxime Louvel, Alain Plantec, Jean-Philippe Babau
- article
- Journal of Systems Architecture, 2013, 59 (3), pp.121-134. ⟨10.1016/j.sysarc.2013.01.003⟩
- typdoc
- Journal articles
- Accès au texte intégral et bibtex
-
- titre
- Reconciling run-time evolution and resource-constrained embedded systems through a component-based development framework
- auteur
- Juan Navas, Jean-Philippe Babau, Jacques Pulou
- article
- Science of Computer Programming, 2013, 8, pp.1073-1098. ⟨10.1016/j.scico.2012.08.004⟩
- typdoc
- Journal articles
- Accès au bibtex
-
Conference papers
- titre
- Specification of a Legacy Tool by Means of a Dependency Graph to Improve its Reusability
- auteur
- Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
- article
- 7th MoDELS workshop on Models and Evolution, Sep 2013, Miami, United States. pp.1
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- DPMP: A Software Pattern for Real-Time Tasks Merge
- auteur
- Rania Mzid, Chokri Mraidha, Asma Mehiaoui, Sara Tucci Piergiovanni, Jean-Philippe Babau, Mohamed Abid
- article
- 9th European Conference on Modelling Foundations and Applications, Jul 2013, Montpellier, France. pp.101-117, ⟨10.1007/978-3-642-39013-5_8⟩
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems
- auteur
- Asma Mehiaoui, Ernest Wozniak, Sara Tucci Piergiovanni, Chokri Mraidha, Marco Di Natale, Haibo Zeng, Jean-Philippe Babau, Laurent Lemarchand, Sébastien Gerard
- article
- SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2013, Jun 2013, Seattle, United States. pp.121-132, ⟨10.1145/2465554.2465572⟩
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- ORQA: Modeling Energy and Quality of Service within AUTOSAR Models
- auteur
- Borjan Tchakaloff, Sébastien Saudrais, Jean-Philippe Babau
- article
- Quality of Software Architectures (QoSA), Jun 2013, Vancouver, Canada. pp.Pages 3-12, ⟨10.1145/2465478.2465488⟩
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- IMOCA : une architecture à base de modes de fonctionnement pour une application de contrôle dans un environnement incertain
- auteur
- Goulven Guillou, Jean-Philippe Babau
- article
- CAL 2013. 7ième conférence francophone sur les architectures logicielles., May 2013, Toulouse, France
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Modif: Automating data migration for the reuse of legacy tools
- auteur
- Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
- article
- 2ème Conférence en IngénieriE du Logiciel (CIEL 2013), Mar 2013, Nancy, France
- typdoc
- Conference papers
- Accès au bibtex
-
Reports
- titre
- A kernel transformation language for metamodel evolution and reversible model co-evolution
- auteur
- Mickaël Kerboeuf, Paola Vallejo, Jean-Philippe Babau
- article
- 2013
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2012
Conference papers
- titre
- A Hardware/Software CBSE Framework for RTOS Services: the Timing Service Case Study
- auteur
- Stéphane Rubini, Jean-Philippe Babau, Jalil Boukhobza
- article
- IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, Dec 2012, Phaphos, Cyprus. pp.570--577
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- A two-steps model transformation to extend the scope of an analysis framework to standard modeling languages
- auteur
- Mickael Kerboeuf, Jean-Philippe Babau, V. Gaudel
- article
- Conférence : 6th MoDELS workshop on Models and Evolution., Oct 2012, Innsbruck, Austria. pp.P.P1-6
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Real-Time Design Models to RTOS-Specific Models Refinement Verification
- auteur
- Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
- article
- 5th MoDELS workshop on Model Based Architecting and Construction of Embedded Systems, Sep 2012, Innsbruck, Austria. pp.25-30
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- VBR Video Abstraction for Home-Network Reservation
- auteur
- Laurent Lemarchand, Maxime Louvel, Jean-Philippe Babau
- article
- 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⟩
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- A MDD Approach for RTOS Integration on Valid Real-Time Design Model
- auteur
- Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
- article
- 38th Euromicro Conference on Software Engineering and Advanced Applications, Sep 2012, Cesme, Turkey. pp.9-16
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Optimizing the Deployment of Distributed Real-Time Embedded Applications
- auteur
- Asma Mehiaoui, Sara Tucci Piergiovanni, Jean-Philippe Babau, Laurent Lemarchand
- article
- IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2012, Séoul, South Korea. pp.400-403
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Modèles et transformations de modèles pour l'introduction de la consommation énergétique dans le standard AUTOSAR
- auteur
- Borjan Tchakaloff, Sébastien Saudrais, Jean-Philippe Babau
- article
- Conférence en IngénieriE du Logiciel (CIEL), Jun 2012, Rennes, France. papier n°20
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
Reports
- titre
- A Mixed Integer Linear Programming formulations for optimizing timing performance during the deployment phase in real-time systems design
- auteur
- Asma Mehiaoui, Tucci-Piergiovanni Sara, Jean-Philippe Babau
- article
- 2012
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2011
Conference papers
- titre
- Organizational Configurations in Executable Enterprise Architecture Models
- auteur
- Marie Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau
- article
- poster session of Complex Systems Design and Management 2011, Dec 2011, Paris, France
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Ensuring QoS of Multimedia Applications in Heterogeneous Home Networks: The CPU Use Case
- auteur
- Maxime Louvel, Julien Tous, Jean-Philippe Babau, Alain Plantec
- article
- Embedded and Ubiquitous Computing, EUC 2011, Oct 2011, Melbourne, Australia. pp.19-26
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- A DSML for reversible transformations
- auteur
- Mickael Kerboeuf, Jean-Philippe Babau
- article
- 11th OOPSLA Workshop on Domain-Specific Modeling, Oct 2011, Portland, United States. pp.1-6
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Domain Specific Language Modeling Facilities
- auteur
- Jean-Philippe Babau, Mickael Kerboeuf
- article
- 5th MoDELS workshop on Models and Evolution, Oct 2011, Wellington, Nouvelle-Zélande. pp.1-6
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Implémentation Matérielle des Services d'un RTOS sur Circuit Reconfigurable
- auteur
- Pierre Olivier, Jalil Boukhobza, Jean-Philippe Babau, Damien Picard, Stéphane Rubini
- article
- Ecole d'été du temps réel, Aug 2011, Brest, France. pp.199
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Integrating Design and Runtime Variability Support into a System ADL
- auteur
- M. Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau
- article
- 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⟩
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- An experiment of a MDE approach for the design of reusable DSL tools
- auteur
- Mickael Kerboeuf, Alain Plantec, Jean-Philippe Babau
- article
- journées sur l'Ingénierie Dirigée par les Modèles (IDM), Jun 2011, Lille, France. pp.25-30
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- A Network Resource Management Framework for Multimedia Applications Distributed in Heterogeneous Home Networks
- auteur
- Maxime Louvel, P. Bonhomme, Jean-Philippe Babau, Alain Plantec
- article
- Advanced Information Networking and Applications, AINA 2011, Mar 2011, Singapour, Singapore. pp.724-731
- typdoc
- Conference papers
- Accès au bibtex
-
2010
Conference papers
- titre
- An Optimized Run-time Evolution Infrastructure for Component-Based Embedded Systems
- auteur
- Juan Navas, Jean-Philippe Babau, Jacques Pulou
- article
- BENEVOL, Dec 2010, Lille, France
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- RT-simex: retro-analysis of execution traces
- auteur
- Julien Deantoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon
- article
- SIGSOFT FSE, Nov 2010, Santa Fe, United States. pp.377-378, ⟨10.1145/1882291.1882357⟩
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- A Component-based Run-time Evolution Infrastructure for Resource-Constrained Embedded Systems
- auteur
- Juan Navas, Jean-Philippe Babau, Jacques Pulou
- article
- Generative Programming and Component Engineering, Oct 2010, Eindhoven, Netherlands. pp.73-82
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Quantity of Resource aggregation for heterogeneous resource reservation for multimedia applications
- auteur
- Maxime Louvel, Jacques Pulou, Alain Plantec, Jean-Philippe Babau
- article
- WIP session, Real-time and networked embedded systems track, Sep 2010, Bilbao, Spain
- typdoc
- Conference papers
- Accès au bibtex
-
Book sections
- titre
- Model integration for formal qualification of timing-aware software data acquisition components
- auteur
- Jean-Philippe Babau, Philippe Dhaussy, Pierre-Yves Pillain
- article
- Model Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010
- typdoc
- Book sections
- Accès au bibtex
-
2009
Journal articles
- titre
- Qinna: a component-based framework for runtime safe resource adaptation of embedded systems
- auteur
- Laure Gonnord, Jean-Philippe Babau
- article
- Scalable Computing : Practice and Experience, 2009, 10 (3), pp.253-264
- typdoc
- Journal articles
- Accès au bibtex
-
- titre
- SAIA : une utilisation conjointe du génie logiciel et des méthodes formelles
- auteur
- Julien Deantoni, Jean-Philippe Babau
- article
- En vue - Lettre d'information de l'INSA de Lyon, 2009, 26
- typdoc
- Journal articles
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Formal modelling framework of data acquisition software using a synchronous approach for timing analysis
- auteur
- Lionel Morel, Jean-Philippe Babau, Belgacem Ben Hedia
- article
- 30th 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
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Efficient and Adapted Component-Based Strategies for Embedded Software Device Drivers Development
- auteur
- Juan Navas Mantilla, Jean-Philippe Babau
- article
- EPS'09, Aug 2009, Canada. pp.514-519
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Minimal yet Effective Reconfiguration Infrastructures in Component-Based Embedded Systems
- auteur
- Juan Navas Mantilla, Jean-Philippe Babau, O. Lobry
- article
- SINTER'09, Aug 2009, Netherlands. pp.43-48
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Optimizing Component-Based Embedded Software
- auteur
- Olivier Lobry, Juan Navas, Jean-Philippe Babau
- article
- 2nd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems(CORCS09), Jul 2009, Seattle, United States. pp.491-496
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Component-Based Real-Time Operating System for Embedded Applications
- auteur
- Frédéric Loiret, Juan Navas, Jean-Philippe Babau, Olivier Lobry
- article
- 12th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'09), Jun 2009, East Stroudsburg, United States. pp.209-226
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems
- auteur
- Laure Gonnord, Jean-Philippe Babau
- article
- AICCSA - The seventh ACS/IEEE International Conference on Computer Systems and Applications, May 2009, Rabat, Morocco
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
2008
Conference papers
- titre
- Runtime resource assurance and adaptation with Qinna framework : a case study
- auteur
- Jean-Philippe Babau, Laure Gonnord
- article
- Real Time Software (RTS) 2008, Oct 2008, Poland. pp.617-624, ⟨10.1109/IMCSIT.2008.4747307⟩
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Detecting wormhole attacks in wireless networks using local neighborhood information
- auteur
- Wassim Znaidi, Marine Minier, Jean-Philippe Babau
- article
- 19th Annual International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC'08, Sep 2008, Cannes, France. pp.1-5
- typdoc
- Conference papers
- Accès au bibtex
-
Reports
- titre
- Resource Properties Expression and Runtime assurance for embedded programs, using Qinna, a component-based software architecture
- auteur
- Laure Gonnord, Jean-Philippe Babau
- article
- [Research Report] RR-6565, INRIA. 2008
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- titre
- Resource management with Qinna framework : the remote viewer case study
- auteur
- Laure Gonnord, Jean-Philippe Babau
- article
- [Technical Report] RR-6562, INRIA. 2008
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- titre
- An Ontology for Attacks in Wireless Sensor Networks
- auteur
- Wassim Znaidi, Marine Minier, Jean-Philippe Babau
- article
- [Research Report] RR-6704, INRIA. 2008
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2007
Documents associated with scientific events
- titre
- Architectures logicielles pour les systèmes embarqués temps réel
- auteur
- Jean-Philippe Babau, Julien Deantoni
- article
- Ecole d'été temps réel, Sep 2007, Nantes, France
- typdoc
- Documents associated with scientific events
- Accès au texte intégral et bibtex
-
2006
Conference papers
- titre
- SAIA: safe deployment of sensors based real time application
- auteur
- Julien Deantoni, Jean-Philippe Babau
- article
- Workshop on Models and Analysis for Automotive Systems (held in conjunction with RTSS), Dec 2006, Rio de Janeiro, Brazil
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Model driven engineering method for SAIA architecture design
- auteur
- Julien Deantoni, Jean-Philippe Babau
- article
- Ingénierie Dirigée par les Modèles, Jun 2006, Lille, France
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-