Jean-Philippe Babau
According to our database1,
Jean-Philippe Babau
authored at least 63 papers
between 1996 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the IEEE International Conference on Big Data, 2022
2021
CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function.
Proceedings of the 24th Forum on specification & Design Languages, 2021
2020
Chaining model transformations to develop a system model verification tool: application to capella state machines and data flows models.
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020
Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink.
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020
Proceedings of the 18th IEEE International Conference on Embedded and Ubiquitous Computing, 2020
2019
Int. J. Embed. Syst., 2019
Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures.
Autom. Softw. Eng., 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
2018
J. Commun. Networks, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018
2016
Proceedings of the MODELSWARD 2016, 2016
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016
Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation.
Proceedings of the 2016 Forum on Specification and Design Languages, 2016
2015
Tech. Sci. Informatiques, 2015
Proceedings of the Model-Driven Engineering and Software Development, 2015
Proceedings of the MODELSWARD 2015, 2015
Improving reuse by means of asymmetrical model migrations: An application to the Orcc case study.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
2014
Extending response-time analysis for the automatic synthesis of functional graphs into fixed-priority distributed systems.
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014
Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014
Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014
Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014
2013
Reconciling run-time evolution and resource-constrained embedded systems through a component-based development framework.
Sci. Comput. Program., 2013
Resource management for multimedia applications, distributed in open and heterogeneous home networks.
J. Syst. Archit., 2013
Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, 2013
Specification of a Legacy Tool by Means of a Dependency Graph to Improve its Reusability.
Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013
Proceedings of the 2013 Forum on specification and Design Languages, 2013
Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013
2012
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, 2012
A two-steps model transformation to extend the scope of an analysis framework to standard modeling languages.
Proceedings of the 6th International Workshop on Models and Evolution, 2012
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012
Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012
IMOCA : une architecture à base de modes de fonctionnement pour les systèmes de contrôle de processus.
Proceedings of the 6ème Conférence francophone sur les Architectures Logicielles, 2012
2011
Ensuring QoS of Multimedia Applications in Heterogeneous Home Networks: The CPU Use Case.
Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011
A Network Resource Management Framework for Multimedia Applications Distributed in Heterogeneous Home Networks.
Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications, 2011
2010
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010
A component-based run-time evolution infrastructure for resource-constrained embedded systems.
Proceedings of the Generative Programming And Component Engineering, 2010
Quantity of Resource aggregation for heterogeneous resource reservation for multimedia applications.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010
2009
Qinna: a component-based framework for runtime safe resource adaptation of embedded systems.
Scalable Comput. Pract. Exp., 2009
Efficient and Adapted Component-Based Strategies for Embedded Software Device Drivers Development.
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009
Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009
Quantity of resource properties expression and runtime assurance for embedded systems.
Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009
2008
Detecting wormhole attacks in wireless networks using local neighborhood information.
Proceedings of the IEEE 19th International Symposium on Personal, 2008
Proceedings of the International Multiconference on Computer Science and Information Technology, 2008
2006
MDA Approach for the Development of Embeddable Applications on Communicating Devices.
Proceedings of the Model-Driven Enterprise Information Systems, 2006
2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005
Proceedings of the Forum on specification and Design Languages, 2005
Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2005), 2005
Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005
Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel.
, 2005
2004
Temporal validation of Real Time multitasking applications based on communicating timed automata.
Proceedings of the Forum on specification and Design Languages, 2004
Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata.
Proceedings of the 8th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2004), 2004
2000
Object Oriented Design for Real-Time Systems-Response to C. E. Pereira's Contribution.
Real Time Syst., 2000
1996
Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996
Extension of Scheduling Algorithms in Case of Conditional or Parametric Synchronisation Relationships.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996