Franck Fleurey

According to our database1, Franck Fleurey authored at least 72 papers between 2002 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Model-based fleet deployment in the IoT-edge-cloud continuum.
Softw. Syst. Model., 2022

2020
Model-based fleet deployment of edge computing applications.
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2017
Model-Based Software Engineering to Tame the IoT Jungle.
IEEE Softw., 2017

ThingML: A Generative Approach to Engineer Heterogeneous and Distributed Systems.
Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

2016
ThingML: a language and code generation framework for heterogeneous targets.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

A Generative Middleware for Heterogeneous and Distributed Services.
Proceedings of the 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2016

2015
Multitier Diversification in Web-Based Software Applications.
IEEE Softw., 2015

Evaluating robustness of cloud-based systems.
J. Cloud Comput., 2015

Diversity: A Heuristic to Improve Robustness of Self-Adaptive Cloud Architectures.
Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015

Consolas: A Model-Based Tool for Automatic Configuration and Deployment of Cloud Applications.
Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

On Architectural Diversity of Dynamic Adaptive Systems.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Taming Heterogeneity and Distribution in sCPS.
Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2015

Emergent Robustness in Software Systems through Decentralized Adaptation: an Ecologically-Inspired ALife Approach.
Proceedings of the Thirteenth European Conference Artificial Life, 2015

2014
Robustness Indicators for Cloud-Based Systems Topologies.
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

Peer Synchronization Method for Wireless Sensor Networks using Heterogeneous Bluetooth Sensor Nodes.
Proceedings of the SENSORNETS 2014 - Proceedings of the 3rd International Conference on Sensor Networks, Lisbon, Portugal, 7, 2014

DIVERSIFY: Ecology-inspired software evolution for diversity emergence.
Proceedings of the 2014 Software Evolution Week, 2014

2012
Achieving process modeling and execution through the combination of aspect and model-driven engineering approaches.
J. Softw. Evol. Process., 2012

SENSAPP as a Reference Platform to Support Cloud Experiments: From the Internet of Things to the Internet of Services.
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

An algorithm for generating t-wise covering arrays from large feature models.
Proceedings of the 16th International Software Product Line Conference, 2012

A Technique for Agile and Automatic Interaction Testing for Product Lines.
Proceedings of the Testing Software and Systems, 2012

Wearable Wireless Multi-parameter Sensor Module for Physiological Monitoring.
Proceedings of the pHealth 2012, 2012

Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

Towards flexible evolution of Dynamically Adaptive Systems.
Proceedings of the 34th International Conference on Software Engineering, 2012

A dynamic component model for cyber physical systems.
Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

2011
Standardizing Variability - Challenges and Solutions.
Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

Modelling adaptability and variability in requirements.
Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

MDE to Manage Communications with and between Resource-Constrained Systems.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

A Survey of Empirics of Strategies for Software Product Line Testing.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

A model-driven approach to develop adaptive firmwares.
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Bow tie testing: a testing pattern for product lines.
Proceedings of the 16th European Conference on Pattern Languages of Programs, 2011

Aspect-Oriented Model Development at Different Levels of Abstraction.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

2010
Aspect-Oriented Design with Reusable Aspect Models.
LNCS Trans. Aspect Oriented Softw. Dev., 2010

Barriers to systematic model transformation testing.
Commun. ACM, 2010

Developing a Software Product Line for Train Control: A Case Study of CVL.
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

CVL Tool - Modeling Variability in SPLs.
Proceedings of the Software Product Lines - 14th International Conference, 2010

Exploring the Synergies Between Feature Models and Ontologies.
Proceedings of the Software Product Lines - 14th International Conference, 2010

Summary of the 5th International Workshop on Models@run.time.
Proceedings of the Models in Software Engineering, 2010

Security-driven model-based dynamic adaptation.
Proceedings of the ASE 2010, 2010

Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control Policies.
Proceedings of the Third International Conference on Software Testing, 2010

2009
Qualifying input test data for model transformations.
Softw. Syst. Model., 2009

Models@ Run.time to Support Dynamic Adaptation.
Computer, 2009

Strategies for variability transformation at run-time.
Proceedings of the Software Product Lines, 13th International Conference, 2009

A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution.
Proceedings of the Trustworthy Software Development Processes, 2009

Model Driven Language Engineering with Kermeta.
Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

2008
Model-driven analysis and synthesis of textual concrete syntax.
Softw. Syst. Model., 2008

Mutating DAC and MAC Security Policies: A Generic Metamodel Based Approach.
Proceedings of the Workshop on Modeling Security ( MODSEC08 ) held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems ( MODELS ) Toulouse, 2008

A Model-Based Framework for Security Policy Specification, Deployment and Testing.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Modeling and Validating Dynamic Adaptation.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

A Generic Metamodel For Security Policies Mutation.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

2007
Weaving Multiple Aspects in Sequence Diagrams.
LNCS Trans. Aspect Oriented Softw. Dev., 2007

A Generic Approach for Automatic Model Composition.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Model-Driven Engineering for Software Migration in a Large Industrial Context.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

Modeling and Integrating Aspects into Component Architectures.
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

Providing Support for Model Composition in Metamodels.
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

2006
Langage et méthode pour une ingénierie des modèles fiable.
PhD thesis, 2006

Automatic Test Generation: A Use Case Driven Approach.
IEEE Trans. Software Eng., 2006

Model-Driven Analysis and Synthesis of Concrete Syntax.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

Tissage d'aspects comportementaux.
Proceedings of the Actes des journéees Langages et Modèles à Objets, 2006

Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Improving test suites for efficient fault localization.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005
From genetic to bacteriological algorithms for mutation-based testing.
Softw. Test. Verification Reliab., 2005

Automatic Test Case Optimization: A Bacteriologic Algorithm.
IEEE Softw., 2005

Une méthode de formalisation progressive des exigences basée sur un modèle simulable.
Obj. Logiciel Base données Réseaux, 2005

Weaving Executability into Object-Oriented Meta-languages.
Proceedings of the Model Driven Engineering Languages and Systems, 2005

2004
From Testing to Diagnosis: An Automated Approach.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2003
A Requirement-Based Approach to Test Product Families.
Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003

Requirements by Contracts allow Automated System Testing.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

2002
Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Component.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002


  Loading...