2022
Conference papers
- titre
- FaST: An Efficient Framework For Visualizing Large-Scale Time Series
- auteur
- Manele Ait Habouche, Mickaël Kerboeuf, Goulven Guillou, Jean-Philippe Babau
- article
- 2022 IEEE International Conference on Big Data (Big Data), Dec 2022, Osaka, Japan. pp.3745-3754, ⟨10.1109/BigData55660.2022.10020317⟩
- Accès au bibtex
-
2021
Conference papers
- titre
- CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function
- auteur
- Loic Salmon, Pierre-Yves Pillain, Goulven Guillou, Jean-Philippe Babau
- article
- 2021 Forum on specification & Design Languages (FDL), Sep 2021, Antibes, France. pp.01-08, ⟨10.1109/FDL53530.2021.9568380⟩
- Accès au bibtex
-
2020
Conference papers
- titre
- An Iterative Approach to Automate the Tuning of Continuous Controller Parameters
- auteur
- Hamza El Baccouri, Goulven Guillou, Jean-Philippe Babau
- article
- 2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC), Dec 2020, Guangzhou, China. pp.1-8, ⟨10.1109/EUC50751.2020.00008⟩
- Accès au bibtex
-
- titre
- Chaining model transformations to develop a system model verification tool : : application to capella state machines and data flows models
- auteur
- Christophe Duhil, Jean-Philippe Babau, Eric Lépicier, Jean-Luc Voirin, Juan Navas
- article
- SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, Apr 2020, Brno Czech Republic, Czech Republic. pp.1654-1657, ⟨10.1145/3341105.3374093⟩
- Accès au bibtex
-
- titre
- Chaining Model Transformations for System Model Verification : Application to Verify Capella Model with Simulink
- auteur
- Christophe Duhil, Jean-Philippe Babau, Eric Lépicier, Jean-Luc Voirin, Juan Navas
- article
- 8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.279-286, ⟨10.5220/0008902302790286⟩
- Accès au texte intégral et bibtex
-
2019
Journal articles
- titre
- Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures
- auteur
- Asma Mehiaoui, Ernest Wozniak, Jean-Philippe Babau, Sara Tucci-Piergiovanni, Chokri Mraidha
- article
- Automated Software Engineering, 2019, 26 (1), pp.1-57. ⟨10.1007/s10515-018-0244-7⟩
- Accès au bibtex
-
- titre
- From real-time design model to RTOS-specific models: a model-driven methodology
- auteur
- Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
- article
- International Journal of Embedded Systems, 2019, 11 (6), pp.738. ⟨10.1504/IJES.2019.103991⟩
- Accès au bibtex
-
Conference papers
- titre
- A Model-Driven Approach to Automate Tuning of Continuous Controller Parameters
- auteur
- Hamza El Baccouri, Goulven Guillou, Jean-Philippe Babau
- article
- 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⟩
- Accès au bibtex
-
- titre
- Parametric exploration for tuning a sailboat control law
- auteur
- Goulven Guillou, Emilien Lavigne, Jean-Philippe Babau
- article
- 14th National Conference on Software and Hardware Architectures for Robots Control (SHARC'19), Jul 2019, Montpellier, France
- Accès au bibtex
-
- titre
- A Model-Driven Framework for WPS Development
- auteur
- Jean-Philippe Babau
- article
- Computational Methods in Water Resources (CMWR), Jun 2019, Saint-Malo, France
- Accès au bibtex
-
- titre
- Sailboat Routing with Multiple Objectives for Sailing Races
- auteur
- Goulven Guillou, Laurent Lemarchand, Jean-Philippe Babau
- article
- 23rd Chesapeake Sailing Yacht Symposium, Mar 2019, Annapolis, United States
- Accès au bibtex
-
2018
Journal articles
- titre
- Bandwidth Allocation for Sharing Video in a Closed Domestic Network
- auteur
- Laurent Lemarchand, Jean-Philippe Babau
- article
- Journal of Communications and Networks, 2018, 20 (2), pp.168--181
- Accès au bibtex
-
Conference papers
- titre
- Robotic system testing with AMSA framework
- auteur
- Hamza El Baccouri, Goulven Guillou, Jean-Philippe Babau
- article
- International Conference on Model Driven Engineering Languages and Systems (MODELS 2018) Workshop MDETOOLS, Oct 2018, Copenhague, Denmark
- Accès au bibtex
-
- titre
- ROS code generation from AMSA framework for robotic systems testing
- auteur
- Hamza El Baccouri, Emilien Lavigne, Goulven Guillou, Jean-Philippe Babau
- article
- 13th National Conference on Software and Hardware Architectures for Robots Control (SHARC'18), Jun 2018, Saint Tropez, France
- Accès au bibtex
-
- titre
- AVS, a model-based racing sailboat simulator: application to wind integration
- auteur
- Emilien Lavigne, Goulven Guillou, Jean-Philippe Babau
- article
- 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⟩
- Accès au bibtex
-
- titre
- QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System
- auteur
- Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau
- article
- 2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC), May 2018, Singapore, France. pp.42-50, ⟨10.1109/ISORC.2018.00014⟩
- Accès au bibtex
-
2016
Conference papers
- titre
- ModifRoundtrip: A Model-Based tool to reuse legacy transformations
- auteur
- Paola Vallejo, Jean-Philippe Babau, Mickaël Kerboeuf
- article
- ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Oct 2016, Saint Malo, France
- Accès au bibtex
-
- titre
- Modeling legacy code with BIP: How to reduce the gap between formal description and real-time implementation
- auteur
- B.L. Nabec, B.B. Hedia, Jean-Philippe Babau, M. Jan, H. Guesmi
- article
- 2016 Forum on Specification and Design Languages (FDL), Sep 2016, Bremen, Germany. ⟨10.1109/FDL.2016.7880385⟩
- Accès au bibtex
-
- titre
- A Process for Evaluating Parametric Models for Mechanical Systems Simulation : the Case of a Sailboat
- auteur
- E. Lavigne, B. Piquemal, Adeline Bourdon, Simon Chesné, Goulven Guillou, Jean-Philippe Babau
- article
- Sofware and Hardware Architectures for Robots Control, Jun 2016, Brest, France
- Accès au bibtex
-
- titre
- ImocaGen: A Model-based Code Generator for Embedded Systems Tuning
- auteur
- Goulven Guillou, Jean-Philippe Babau
- article
- 4th International Conference on Model-Driven Engineering and Software Development, Feb 2016, Rome, Italy. pp.390-396, ⟨10.5220/0005804103900396⟩
- Accès au bibtex
-
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
- 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⟩
- 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
- 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
- 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
- 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
- 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
- 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⟩
- 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
- 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
- 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⟩
- 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⟩
- 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⟩
- 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⟩
- 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⟩
- 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
- 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⟩
- 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⟩
- 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⟩
- 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
- 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⟩
- 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⟩
- 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⟩
- 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
- 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
- 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
- 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
- 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
- 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
- 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⟩
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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⟩
- 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
- 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
- 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
- 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⟩
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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⟩
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Accès au texte intégral et bibtex
-
2005
Conference papers
- titre
- A MDA-based approach for real time embedded systems simulation
- auteur
- Julien Deantoni, Jean-Philippe Babau
- article
- 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⟩
- Accès au bibtex
-
- titre
- Validating temporal properties of a deployed application with an MDA approach
- auteur
- Jean-Louis Houberdon, Jean-Philippe Babau, Isabelle Augé-Blum, Pierre Combes
- article
- 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
- Accès au bibtex
-
- titre
- A MDA Approach for Systems Dedicated to Process Control
- auteur
- Julien Deantoni, Jean-Philippe Babau
- article
- Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2005, hong kong, China. pp.567--570, ⟨10.1109/RTCSA.2005.11⟩
- Accès au bibtex
-
Habilitation à diriger des recherches
- titre
- Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel
- auteur
- Jean-Philippe Babau
- article
- Autre [cs.OH]. INSA de Lyon, 2005
- Accès au texte intégral et bibtex
-
Other publications
- titre
- SAIA : Sensors/Actuators Independent Architecture -- A showcase through the Martian Task Specifications
- auteur
- Julien Deantoni, Jean-Philippe Babau
- article
- 2005
- Accès au texte intégral et bibtex
-
- titre
- CiberMouse design: a case study for SAIA model reuse
- auteur
- Julien Deantoni, Jean-Philippe Babau
- article
- 2005
- Accès au texte intégral et bibtex
-
Books
- titre
- Model Driven Engineering for Distributed Real-Time Embedded Systems
- auteur
- Sébastien Gerard, Jean-Philippe Babau, Joël Champeau
- article
- Hermes Science Publishing, pp.Non renseigné, 2005
- Accès au bibtex
-
2002
Books
- titre
- Actes de l'école d'été MDA for Embedded System developpement
- auteur
- Jean-Philippe Babau, Joël Champeau, Sébastien Gérard
- article
- Actes de l'école d'été MDA for Embedded System developpement, pp.1-200, 2002
- Accès au bibtex
-
- titre
- Editeurs des actes de l'école d'été MDA for Embedded System developpement
- auteur
- Jean-Philippe Babau, Joël Champeau, Sébastien Gérard
- article
- Non renseigne, pp.Non renseigne, 2002
- Accès au bibtex
-
1998
Journal articles
- titre
- Méthodologie d'analyse temporelle des applications temps réel à contraintes strictes
- auteur
- Jean-Philippe Babau, Francis Cottet
- article
- Journal Européen des Systèmes Automatisés (JESA), 1998, 1998 (56), pp.581--608
- Accès au bibtex
-