Jean-Philippe Babau

66 papers A 1B 11C 16Misc 2Journal 11Unranked 24

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Machine Learning-Based Estimation Of Wave Direction For Unmanned Surface Vehicles. CoRR Manele Aït Habouche, Mickaël Kerboeuf, Goulven Guillou, Jean-Philippe Babau
2024	B	`conf`	MoDD: A Model-Driven Framework for Data Collection in Drone-Based Systems. SEAA Manele Aït Habouche, Mickaël Kerboeuf, Goulven Guillou, Jean-Philippe Babau
2024	J	`jnl`	NAVIDRO, a CARES architectural style for configuring drone co-simulation. ACM Trans. Embed. Comput. Syst. Loïc Salmon, Pierre Yves Pillain, Goulven Guillou, Jean-Philippe Babau
2022	B	`conf`	FaST: An Efficient Framework For Visualizing Large-Scale Time Series. IEEE Big Data Manele Aït Habouche, Mickaël Kerboeuf, Goulven Guillou, Jean-Philippe Babau
2021	C	`conf`	CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function. FDL Loïc Salmon, Pierre Yves Pillain, Goulven Guillou, Jean-Philippe Babau
2020	C	`conf`	An Iterative Approach to Automate the Tuning of Continuous Controller Parameters. EUC Hamza El Baccouri, Goulven Guillou, Jean-Philippe Babau
2020	C	`conf`	Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink. MODELSWARD Christophe Duhil, Jean-Philippe Babau, Eric Lépicier, Jean-Luc Voirin, Juan F. Navas
2020	Misc	`conf`	Chaining model transformations to develop a system model verification tool: application to capella state machines and data flows models. SAC Christophe Duhil, Jean-Philippe Babau, Eric Lépicier, Jean-Luc Voirin, Juan F. Navas
2019	—	`conf`	A Model-Driven Approach to Automate Tuning of Continuous Controller Parameters. MoDELS (Companion) Hamza El Baccouri, Goulven Guillou, Jean-Philippe Babau
2019	J	`jnl`	From real-time design model to RTOS-specific models: a model-driven methodology. Int. J. Embed. Syst. Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
2019	J	`jnl`	Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures. Autom. Softw. Eng. Asma Mehiaoui, Ernest Wozniak, Jean-Philippe Babau, Sara Tucci Piergiovanni, Chokri Mraidha
2018	J	`jnl`	Bandwidth allocation for sharing video in a closed domestic network. J. Commun. Networks Laurent Lemarchand, Jean-Philippe Babau
2018	C	`conf`	QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System. ISORC Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau
2018	—	`conf`	Robotic system testing with AMSA framework. MoDELS (Workshops) Hamza El Baccouri, Goulven Guillou, Jean-Philippe Babau
2016	C	`conf`	ImocaGen: A Model-based Code Generator for Embedded Systems Tuning. MODELSWARD Goulven Guillou, Jean-Philippe Babau
2016	C	`conf`	Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation. FDL Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau, Mathieu Jan, Hela Guesmi
2016	—	`conf`	ModifRoundtrip: A Model-Based tool to reuse legacy transformations. D&P@MoDELS Paola Vallejo, Jean-Philippe Babau, Mickaël Kerboeuf
2015	—	`conf`	A Model-driven Approach for the Generation of Customizable Model Migrations. MODELSWARD (Revised Selected Papers) Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
2015	J	`jnl`	Formalisation de la recontextualisation de modèles par graphe de dépendance. Tech. Sci. Informatiques Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
2015	A	`conf`	Improving reuse by means of asymmetrical model migrations: An application to the Orcc case study. MoDELS Paola Vallejo, Mickaël Kerboeuf, Kevin J. M. Martin, Jean-Philippe Babau
2015	C	`conf`	Specification of Adaptable Model Migrations. MODELSWARD Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
2014	—	`conf`	CdmCL, a Specific Textual Constraint Language for Common Data Model. OCL@MoDELS Ahmed Ahmed, Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
2014	C	`conf`	Dynamic Server Configuration for Multiple Streaming in a Home Network. EUC Laurent Lemarchand, Isaac Armah Mensah, Jean-Philippe Babau
2014	—	`conf`	Efficient Models Configuration for an Electric Vehicle Energy Management Software. EUROMICRO-SEAA Borjan Tchakaloff, Sébastien Saudrais, Jean-Philippe Babau
2014	—	`conf`	Extending response-time analysis for the automatic synthesis of functional graphs into fixed-priority distributed systems. SIES Asma Mehiaoui, Sara Tucci Piergiovanni, Chokri Mraidha, Jean-Philippe Babau
2014	J	`jnl`	RTOS-Aware Refactoring for Portable Real-Time Design Models. J. Softw. Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
2014	—	`conf`	SRMP: a software pattern for deadlocks prevention inreal-time concurrency models. QoSA Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
2013	B	`conf`	A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems. LCTES Asma Mehiaoui, Ernest Wozniak, Sara Tucci Piergiovanni, Chokri Mraidha, Marco Di Natale, Haibo Zeng, Jean-Philippe Babau, Laurent Lemarchand, Sébastien Gérard
2013	B	`conf`	DPMP: A Software Pattern for Real-Time Tasks Merge. ECMFA Rania Mzid, Chokri Mraidha, Asma Mehiaoui, Sara Tucci Piergiovanni, Jean-Philippe Babau, Mohamed Abid
2013	—	`conf`	ORQA: modeling energy and quality of service within AUTOSAR models. QoSA Borjan Tchakaloff, Sébastien Saudrais, Jean-Philippe Babau
2013	C	`conf`	Platform based design. FDL Jean-Philippe Babau, Martin Radetzki
2013	J	`jnl`	Reconciling run-time evolution and resource-constrained embedded systems through a component-based development framework. Sci. Comput. Program. Juan F. Navas, Jean-Philippe Babau, Jacques Pulou
2013	J	`jnl`	Resource management for multimedia applications, distributed in open and heterogeneous home networks. J. Syst. Archit. Maxime Louvel, Alain Plantec, Jean-Philippe Babau
2013	—	`conf`	Specification of a Legacy Tool by Means of a Dependency Graph to Improve its Reusability. ME@MoDELS Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
2012	—	`conf`	A Hardware/Software CBSE Framework for RTOS Services: The Timing Service Case Study. CSE Stéphane Rubini, Jean-Philippe Babau, Jalil Boukhobza
2012	—	`conf`	A MDD Approach for RTOS Integration on Valid Real-Time Design Model. EUROMICRO-SEAA Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
2012	—	`conf`	A two-steps model transformation to extend the scope of an analysis framework to standard modeling languages. ME@MoDELS Mickaël Kerboeuf, Jean-Philippe Babau, Vincent Gaudel
2012	—	`conf`	IMOCA : une architecture à base de modes de fonctionnement pour les systèmes de contrôle de processus. CAL Goulven Guillou, Jean-Philippe Babau
2012	B	`conf`	Optimizing the Deployment of Distributed Real-Time Embedded Applications. RTCSA Asma Mehiaoui, Sara Tucci Piergiovanni, Jean-Philippe Babau, Laurent Lemarchand
2012	—	`conf`	Real-time design models to RTOS-specific models refinement verification. ACES-MB@MoDELS Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
2011	—	`conf`	A DSML for reversible transformations. SPLASH Workshops Mickaël Kerboeuf, Jean-Philippe Babau
2011	B	`conf`	A Network Resource Management Framework for Multimedia Applications Distributed in Heterogeneous Home Networks. AINA Maxime Louvel, Pierre Bonhomme, Jean-Philippe Babau, Alain Plantec
2011	C	`conf`	Ensuring QoS of Multimedia Applications in Heterogeneous Home Networks: The CPU Use Case. EUC Maxime Louvel, Julien Tous, Jean-Philippe Babau, Alain Plantec
2011	B	`conf`	Integrating Design and Runtime Variability Support into a System ADL. ECMFA Marie Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau
2010	B	`conf`	A component-based run-time evolution infrastructure for resource-constrained embedded systems. GPCE Juan F. Navas, Jean-Philippe Babau, Jacques Pulou
2010	C	`conf`	Quantity of Resource aggregation for heterogeneous resource reservation for multimedia applications. ETFA Maxime Louvel, Jacques Pulou, Alain Plantec, Jean-Philippe Babau
2010	—	`conf`	RT-simex: retro-analysis of execution traces. SIGSOFT FSE Julien Deantoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon
2009	—	`conf`	Component-Based Real-Time Operating System for Embedded Applications. CBSE Frédéric Loiret, Juan F. Navas, Jean-Philippe Babau, Olivier Lobry
2009	—	`conf`	Efficient and Adapted Component-Based Strategies for Embedded Software Device Drivers Development. CSE (2) Juan F. Navas, Jean-Philippe Babau
2009	—	`conf`	Optimizing Component-Based Embedded Software. COMPSAC (2) Olivier Lobry, Juan F. Navas, Jean-Philippe Babau
2009	J	`jnl`	Qinna: a component-based framework for runtime safe resource adaptation of embedded systems. Scalable Comput. Pract. Exp. Laure Gonnord, Jean-Philippe Babau
2009	C	`conf`	Quantity of resource properties expression and runtime assurance for embedded systems. AICCSA Laure Gonnord, Jean-Philippe Babau
2008	B	`conf`	Detecting wormhole attacks in wireless networks using local neighborhood information. PIMRC Wassim Znaidi, Marine Minier, Jean-Philippe Babau
2008	—	`conf`	Runtime resource assurance and adaptation with Qinna framework: A case study. IMCSIT Laure Gonnord, Jean-Philippe Babau
2006	—	`conf`	MDA Approach for the Development of Embeddable Applications on Communicating Devices. MDEIS Eyob Alemu, Dawit Bekele, Jean-Philippe Babau
2005	B	`conf`	A MDA Approach for Systems Dedicated to Process Control. RTCSA Julien Deantoni, Jean-Philippe Babau
2005	C	`conf`	A MDA-based approach for real time embedded systems simulation. DS-RT Julien Deantoni, Jean-Philippe Babau
2005	Misc	`conf`	An evaluation of Qinna, a component-based QoS architecture for embedded systems. SAC Jean-Charles Tournier, Jean-Philippe Babau, Vincent Olive
2005	C	`conf`	Formal Evaluation of Quality of Service for Data Acquisition. FDL Hedia B. Ben, Fabrice Jumel, Jean-Philippe Babau
2005	—	`book`	Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel. Jean-Philippe Babau
2005	—	`conf`	Qinna, a Component-Based QoS Architecture. CBSE Jean-Charles Tournier, Jean-Philippe Babau, Vincent Olive
2004	C	`conf`	Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata. DS-RT Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz
2004	C	`conf`	Temporal validation of Real Time multitasking applications based on communicating timed automata. FDL Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz
2000	J	`jnl`	Object Oriented Design for Real-Time Systems-Response to C. E. Pereira's Contribution. Real Time Syst. Jean-Philippe Babau
1996	B	`conf`	An Iterative Method of Task Temporal Parameter Adjustment in Hard Real-Time Systems. ICECCS Francis Cottet, Jean-Philippe Babau
1996	—	`conf`	Extension of Scheduling Algorithms in Case of Conditional or Parametric Synchronisation Relationships. RTS Jean-Philippe Babau, Francis Cottet