Franck Fleurey

73 papers A* 5A 16B 5C 1Misc 4Journal 15Unranked 25

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Model-based fleet deployment in the IoT-edge-cloud continuum. Softw. Syst. Model. Hui Song, Rustem Dautov, Nicolas Ferry, Arnor Solberg, Franck Fleurey
2020	A	`conf`	Model-based fleet deployment of edge computing applications. MoDELS Hui Song, Rustem Dautov, Nicolas Ferry, Arnor Solberg, Franck Fleurey
2017	J	`jnl`	Model-Based Software Engineering to Tame the IoT Jungle. IEEE Softw. Brice Morin, Nicolas Harrand, Franck Fleurey
2017	—	`conf`	ThingML: A Generative Approach to Engineer Heterogeneous and Distributed Systems. ICSA Workshops Franck Fleurey, Brice Morin
2016	—	`conf`	A Generative Middleware for Heterogeneous and Distributed Services. CBSE Brice Morin, Franck Fleurey, Knut Eilif Husa, Olivier Barais
2016	A	`conf`	ThingML: a language and code generation framework for heterogeneous targets. MoDELS Nicolas Harrand, Franck Fleurey, Brice Morin, Knut Eilif Husa
2015	—	`conf`	Consolas: A Model-Based Tool for Automatic Configuration and Deployment of Cloud Applications. P&D@MoDELS Hui Song, Franck Chauvel, Franck Fleurey, Nicolas Ferry, Arnor Solberg
2015	Misc	`conf`	Diversity: A Heuristic to Improve Robustness of Self-Adaptive Cloud Architectures. UCC Franck Chauvel, Hui Song, Franck Fleurey
2015	—	`conf`	Emergent Robustness in Software Systems through Decentralized Adaptation: an Ecologically-Inspired ALife Approach. ECAL Franck Fleurey, Benoit Baudry, Benoit Gauzens, André Elie, Kwaku Yeboah-Antwi
2015	J	`jnl`	Evaluating robustness of cloud-based systems. J. Cloud Comput. Franck Chauvel, Hui Song, Nicolas Ferry, Franck Fleurey
2015	J	`jnl`	Multitier Diversification in Web-Based Software Applications. IEEE Softw. Simon Allier, Olivier Barais, Benoit Baudry, Johann Bourcier, Erwan Daubert, Franck Fleurey, Martin Monperrus, Hui Song, Maxime Tricoire
2015	—	`conf`	On Architectural Diversity of Dynamic Adaptive Systems. ICSE (2) Hui Song, Amal Elgammal, Vivek Nallur, Franck Chauvel, Franck Fleurey, Siobhán Clarke
2015	—	`conf`	Taming Heterogeneity and Distribution in sCPS. SEsCPS@ICSE Brice Morin, Franck Fleurey, Olivier Barais
2014	—	`conf`	DIVERSIFY: Ecology-inspired software evolution for diversity emergence. CSMR-WCRE Benoit Baudry, Martin Monperrus, Cendrine Mony, Franck Chauvel, Franck Fleurey, Siobhán Clarke
2014	—	`conf`	Peer Synchronization Method for Wireless Sensor Networks using Heterogeneous Bluetooth Sensor Nodes. SENSORNETS Steffen Dalgard, Franck Fleurey, Anders E. Liverud
2014	Misc	`conf`	Robustness Indicators for Cloud-Based Systems Topologies. UCC Franck Chauvel, Hui Song, Nicolas Ferry, Franck Fleurey
2012	C	`conf`	A Technique for Agile and Automatic Interaction Testing for Product Lines. ICTSS Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Erik Carlson, Jan Endresen, Tormod Wien
2012	—	`conf`	A dynamic component model for cyber physical systems. CBSE François Fouquet, Brice Morin, Franck Fleurey, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel
2012	J	`jnl`	Achieving process modeling and execution through the combination of aspect and model-driven engineering approaches. J. Softw. Evol. Process. Reda Bendraou, Jean-Marc Jézéquel, Franck Fleurey
2012	—	`conf`	An algorithm for generating t-wise covering arrays from large feature models. SPLC (1) Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey
2012	A	`conf`	Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines. MoDELS Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Anne Grete Eldegard, Torbjørn Syversen
2012	Misc	`conf`	SENSAPP as a Reference Platform to Support Cloud Experiments: From the Internet of Things to the Internet of Services. SYNASC Sébastien Mosser, Franck Fleurey, Brice Morin, Franck Chauvel, Arnor Solberg, Iokanaan Goutier
2012	A*	`conf`	Towards flexible evolution of Dynamically Adaptive Systems. ICSE Gilles Perrouin, Brice Morin, Franck Chauvel, Franck Fleurey, Jacques Klein, Yves Le Traon, Olivier Barais, Jean-Marc Jézéquel
2012	—	`conf`	Wearable Wireless Multi-parameter Sensor Module for Physiological Monitoring. pHealth Anders E. Liverud, Jon Vedum, Franck Fleurey, Trine M. Seeberg
2011	—	`conf`	A Survey of Empirics of Strategies for Software Product Line Testing. ICST Workshops Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey
2011	A	`conf`	A model-driven approach to develop adaptive firmwares. SEAMS Franck Fleurey, Brice Morin, Arnor Solberg
2011	B	`conf`	Aspect-Oriented Model Development at Different Levels of Abstraction. ECMFA Mauricio Alférez, Nuno Amálio, Selim Ciraci, Franck Fleurey, Jörg Kienzle, Jacques Klein, Max E. Kramer, Sébastien Mosser, Gunter Mussbacher, Ella E. Roubtsova, Gefei Zhang
2011	Misc	`conf`	Bow tie testing: a testing pattern for product lines. EuroPLoP Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey
2011	A	`conf`	MDE to Manage Communications with and between Resource-Constrained Systems. MoDELS Franck Fleurey, Brice Morin, Arnor Solberg, Olivier Barais
2011	A	`conf`	Modelling adaptability and variability in requirements. RE Phil Greenwood, Ruzanna Chitchyan, Awais Rashid, Joost Noppen, Franck Fleurey, Arnor Solberg
2011	A	`conf`	Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible. MoDELS Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey
2011	—	`conf`	Standardizing Variability - Challenges and Solutions. SDL Forum Franck Fleurey, Øystein Haugen, Birger Møller-Pedersen, Andreas Svendsen, Xiaorui Zhang
2010	J	`jnl`	Aspect-Oriented Design with Reusable Aspect Models. LNCS Trans. Aspect Oriented Softw. Dev. Jörg Kienzle, Wisam Al Abed, Franck Fleurey, Jean-Marc Jézéquel, Jacques Klein
2010	J	`jnl`	Barriers to systematic model transformation testing. Commun. ACM Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert B. France, Yves Le Traon, Jean-Marie Mottu
2010	—	`conf`	CVL Tool - Modeling Variability in SPLs. SPLC Workshops Andreas Svendsen, Xiaorui Zhang, Franck Fleurey, Øystein Haugen, Gøran K. Olsen, Birger Møller-Pedersen
2010	B	`conf`	Developing a Software Product Line for Train Control: A Case Study of CVL. SPLC Andreas Svendsen, Xiaorui Zhang, Roy Lind-Tviberg, Franck Fleurey, Øystein Haugen, Birger Møller-Pedersen, Gøran K. Olsen
2010	—	`conf`	Exploring the Synergies Between Feature Models and Ontologies. SPLC Workshops Martin Fagereng Johansen, Franck Fleurey, Mathieu Acher, Philippe Collet, Philippe Lahire
2010	—	`conf`	Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control Policies. ICST Workshops Yves Le Traon, Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry
2010	—	`ed.`	Proceedings of the 5th Workshop on [email protected], Oslo, Norway, October 5th, 2010 [email protected] Nelly Bencomo, Gordon S. Blair, Franck Fleurey, Cédric Jeanneret
2010	A*	`conf`	Security-driven model-based dynamic adaptation. ASE Brice Morin, Tejeddine Mouelhi, Franck Fleurey, Yves Le Traon, Olivier Barais, Jean-Marc Jézéquel
2010	—	`conf`	Summary of the 5th International Workshop on [email protected]. MoDELS (Workshops) Nelly Bencomo, Gordon S. Blair, Franck Fleurey, Cédric Jeanneret
2009	A	`conf`	A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems. MoDELS Franck Fleurey, Arnor Solberg
2009	—	`conf`	Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution. ICSP Reda Bendraou, Jean-Marc Jézéquel, Franck Fleurey
2009	—	`conf`	Model Driven Language Engineering with Kermeta. GTTSE Jean-Marc Jézéquel, Olivier Barais, Franck Fleurey
2009	J	`jnl`	Models@ Run.time to Support Dynamic Adaptation. Computer Brice Morin, Olivier Barais, Jean-Marc Jézéquel, Franck Fleurey, Arnor Solberg
2009	J	`jnl`	Qualifying input test data for model transformations. Softw. Syst. Model. Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon
2009	B	`conf`	Strategies for variability transformation at run-time. SPLC Carlos Cetina, Øystein Haugen, Xiaorui Zhang, Franck Fleurey, Vicente Pelechano
2008	—	`conf`	A Generic Metamodel For Security Policies Mutation. ICST Workshops Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry
2008	A	`conf`	A Model-Based Framework for Security Policy Specification, Deployment and Testing. MoDELS Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon
2008	A	`conf`	An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability. MoDELS Brice Morin, Franck Fleurey, Nelly Bencomo, Jean-Marc Jézéquel, Arnor Solberg, Vegard Dehlen, Gordon S. Blair
2008	J	`jnl`	Model-driven analysis and synthesis of textual concrete syntax. Softw. Syst. Model. Pierre-Alain Muller, Frédéric Fondement, Franck Fleurey, Michel Hassenforder, Rémi Schneckenburger, Sébastien Gérard, Jean-Marc Jézéquel
2008	—	`conf`	Modeling and Validating Dynamic Adaptation. MoDELS (Workshops) Franck Fleurey, Vegard Dehlen, Nelly Bencomo, Brice Morin, Jean-Marc Jézéquel
2008	—	`conf`	Mutating DAC and MAC Security Policies: A Generic Metamodel Based Approach. MODSEC@MoDELS Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon
2007	—	`conf`	A Generic Approach for Automatic Model Composition. MoDELS (Workshops) Franck Fleurey, Benoit Baudry, Robert B. France, Sudipto Ghosh
2007	A	`conf`	Model-Driven Engineering for Software Migration in a Large Industrial Context. MoDELS Franck Fleurey, Erwan Breton, Benoit Baudry, Alain Nicolas, Jean-Marc Jézéquel
2007	B	`conf`	Modeling and Integrating Aspects into Component Architectures. EDOC Lydia Michotte, Robert B. France, Franck Fleurey
2007	B	`conf`	Providing Support for Model Composition in Metamodels. EDOC Robert B. France, Franck Fleurey, Raghu Reddy, Benoit Baudry, Sudipto Ghosh
2007	J	`jnl`	Weaving Multiple Aspects in Sequence Diagrams. LNCS Trans. Aspect Oriented Softw. Dev. Jacques Klein, Franck Fleurey, Jean-Marc Jézéquel
2006	J	`jnl`	Automatic Test Generation: A Use Case Driven Approach. IEEE Trans. Software Eng. Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel
2006	A*	`conf`	Improving test suites for efficient fault localization. ICSE Benoit Baudry, Franck Fleurey, Yves Le Traon
2006	—	`—`	Langage et méthode pour une ingénierie des modèles fiable. Franck Fleurey
2006	A	`conf`	Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool. ISSRE Erwan Brottier, Franck Fleurey, Jim Steel, Benoit Baudry, Yves Le Traon
2006	A	`conf`	Model-Driven Analysis and Synthesis of Concrete Syntax. MoDELS Pierre-Alain Muller, Franck Fleurey, Frédéric Fondement, Michel Hassenforder, Rémi Schneckenburger, Sébastien Gérard, Jean-Marc Jézéquel
2006	—	`conf`	Tissage d'aspects comportementaux. LMO Jacques Klein, Franck Fleurey
2005	J	`jnl`	Automatic Test Case Optimization: A Bacteriologic Algorithm. IEEE Softw. Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon
2005	J	`jnl`	From genetic to bacteriological algorithms for mutation-based testing. Softw. Test. Verification Reliab. Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon
2005	J	`jnl`	Une méthode de formalisation progressive des exigences basée sur un modèle simulable. Obj. Logiciel Base données Réseaux Clémentine Nebut, Franck Fleurey
2005	A	`conf`	Weaving Executability into Object-Oriented Meta-languages. MoDELS Pierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel
2004	A*	`conf`	From Testing to Diagnosis: An Automated Approach. ASE Franck Fleurey, Yves Le Traon, Benoit Baudry
2003	—	`conf`	A Requirement-Based Approach to Test Product Families. PFE Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel
2003	A	`conf`	Requirements by Contracts allow Automated System Testing. ISSRE Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel
2002	A*	`conf`	Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Component. ASE Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon
2002	A	`conf`	Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment. ISSRE Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon