M. Acher, Associate Professor, PhD

Personal webpage of M. Acher, PhD

Dr. Mathieu Acher Associate Professor

contact: email adress, twitter, linkedin, slideshare

I am Associate Professor at Université of Rennes 1 and a member of the DiverSE team (Inria/IRISA) since september 2012.
I made my postdoc at University of Namur (Belgium) under the supervision of Prof. Patrick Heymans. I completed my PhD thesis at University of Nice Sophia Antipolis (France), under the supervision of Prof. Philippe Lahire and Associate Prof. Philippe Collet.
My research focuses on the modeling and management of variability in software intensive systems (often called software product lines). For more details, see my research interests, software development, publications, or PhD thesis below!
By the way, I am a chess player (3 international master norms)... If you want to play some blitz, I am always ready!

News and recent results

"Automating the Formalization of Product Comparison Matrices" accepted at ASE2014, Guillaume will present the paper!

Papers accepted in the research, industrial, and tool track at SPLC2014, see you in Florence with Sana, Jose, Hamza, and Dimitri!

Two chapter books about variability and architectures are now available. Also "Deriving Usage Model Variants for Model-based Testing: An Industrial Case Study" has been accepted at ICECCS2014 conference (short paper)

"A Variability-Based Testing Approach for Synthesizing Video Sequences" has been accepted at ISSTA2014 conference (acceptance rate 28%)

"Sound Merging and Differencing for Class Diagrams" has been accepted at FASE2014 conference (acceptance rate 23%)

Best Student Paper Award at SPLC2013 conference for "Generating Counterexamples of Model-based Software Product Lines: An Exploratory Study" Congrats to Bosco!

"Extraction and Evolution of Architectural Variability Models in Plugin-based Systems" has been accepted at SoSyM journal

"Feature Model Extraction from Large Collections of Informal Product Descriptions" has been accepted at ESEC/FSE2013 conference (acceptance rate 20%)

"The Anatomy of a Sales Configurator: An Empirical Study of 111 Cases" has been accepted at CAiSE2013 conference (acceptance rate 16.6%)

Research interests

In many domains, systems heavily rely on software and have to be efficiently extended, changed, customized or configured for use in a particular context (e.g., to respond to the specific expectations of a customer). The challenge for software practitioners is to develop and use the right models (abstractions), languages, and tool-supported techniques to produce and maintain multiple similar software products (variants), exploiting what they have in common and managing what varies among them. The modeling and management of variability in software intensive systems (often called software product lines) is a complex activity and is the focus of my research. For instance, in my thesis, I developed theoretical foundations and practical support for managing feature models, a widely used formalism for specifying and reasoning about commonality and variability of systems. A resulting output of this research is FAMILIAR, a domain-specific language for managing (several) feature models.

Software development

Interested in feature models? You should have a look at FAMILIAR (for FeAture Model scrIpt Language for manIpulation and Automatic Reasoning). With FAMILIAR, you can import, export, compose, decompose, edit, refactor, reverse engineer, computing diffs, configure, or reason about (several) feature models and combine these operations to realize complex variability management tasks.

FAMILIAR is developed in Java language using Xtext, a framework for development of DSLs. Off-the-shelf SAT solvers (i.e., SAT4J) and BDD library (i.e., JavaBDD) are internally used to perform FAMILIAR operations. We also provide an Eclipse text editor and an interpreter that executes the various scripts. The interpreter can be used in an interactive mode. We provide multiple notations for specifying feature models ( SPLOT, GUIDSL/FeatureIDE, a subset of TVL, etc.) The integration of the language to the FeatureIDE environment has been done to support experimentation.

You can try the Eclipse plugin or a standalone version by visiting the webpage of the FAMILIAR project!

Publications

(See also DBLP, Google Scholar, or HAL . Send me an email for further information!)

[1] Mathieu Acher, Benoit Combemale, and Philippe Collet. Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language (2014). In Onward! Essays (co-located with SPLASH and OOPSLA) [PDF] [bib][DOI][slides] Abstract

[2] Sophie Pinchinat, Mathieu Acher, and Didier Vojtisek. Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis (2014). In Workshop on Formal Methods in the Development of Software (co-located with SEFM) [PDF] [bib] Abstract

[3] Mauricio Alférez, José A. Galindo, Mathieu Acher, and Benoit Baudry. Modeling Variability in the Video Domain: Language and Experience Report (2014). Research Report RR-8576 [PDF] [bib] Abstract

[4] Guillaume Bécan, Nicolas Sannier, Mathieu Acher, Olivier Barais, Arnaud Blouin, and Benoit Baudry. Automating the Formalization of Product Comparison Matrices (2014). In 29th IEEE/ACM International Conference on Automated Software Engineering (ASE'14) [PDF] [bib][DOI][slides] Abstract

[5] Joao Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Axel Legay, and Benoit Baudry. Generating Counterexamples of Model-based Software Product Lines (2014). In International Journal on Software Tools for Technology Transfer (STTT) published by Springer [PDF] [bib] Abstract

[6] Mathieu Acher, Benoit Baudry, Olivier Barais, and Jean-Marc Jézéquel. Customization and 3D Printing: A Challenging Playground for Software Product Lines (2014). In 18th International Software Product Line Conference (SPLC'14), research track [PDF] [bib][slides] Abstract

[7] Mathieu Acher, Olivier Barais, Benoit Baudry, Arnaud Blouin, Johann Bourcier, Benoit Combemale, Jean-Marc Jézéquel, and Noël Plouzeau. Software Diversity: Challenges to handle the imposed, Opportunities to harness the chosen (2014). In GDR GPL [PDF] [bib] Abstract

[8] Edoardo Vacchi, Walter Cazzola, Benoit Combemale, and Mathieu Acher. Automating Variability Model Inference for Component-Based Language Implementations (2014). In 18th International Software Product Line Conference (SPLC'14) published by ACM [PDF] [bib] Abstract

[9] Hamza Samih, Hélène Le Guen, Ralf Bogusch, Mathieu Acher, and Benoit Baudry. An Approach to Derive Usage Models Variants for Model-based Testing (2014). In 26th IFIP International Conference on Testing Software and Systems (ICTSS'2014) published by Springer [PDF] [bib] Abstract

[10] Dimitri Van Landuyt, Steven Op De Beeck, Aram Hovsepyan, Sam Michiels, Wouter Joosen, Sven Meynckens, Gjalt De Jong, Olivier Barais, and Mathieu Acher. Towards Managing Variability in the Safety Design of an Automotive Hall Effect Sensor (2014). In 18th International Software Product Line Conference (SPLC'14), industrial track [PDF] [bib] Abstract

[11] Sana Ben Nasr, Nicolas Sannier, Mathieu Acher, and Benoit Baudry. Moving Toward Product Line Engineering in a Nuclear Industry Consortium (2014). In 18th International Software Product Line Conference (SPLC'2014), industrial track [PDF] [bib] Abstract

[12] Mathieu Acher, Mauricio Alferez, José A. Galindo, Pierre Romenteau, and Benoit Baudry. ViViD: A Variability-Based Tool for Synthesizing Video Sequences (2014). In 18th International Software Product Line Conference (SPLC'14), tool track [PDF] [bib] Abstract

[13] Guillaume Bécan, Sana Ben Nasr, Mathieu Acher, and Benoit Baudry. WebFML: Synthesizing Feature Models Everywhere (2014). In 18th International Software Product Line Conference (SPLC'14), tool track [PDF] [bib][slides] Abstract

[14] Mathieu Acher, Roberto Erick Lopez-Herrejon, and Rick Rabiser. SPLTea 2014: First International Workshop on Software Product Line Teaching (2014). In 18th International Software Product Line Conference (SPLC'14) [PDF] [bib] Abstract

[15] Hamza Samih, Mathieu Acher, Ralf Bogusch, Hélène Le Guen, and Benoit Baudry. Deriving Usage Model Variants for Model-based Testing: An Industrial Case Study (2014). In 19th International Conference on Engineering of Complex Computer Systems (ICECCS'14) [PDF] [bib] Abstract

[16] Mathieu Acher, Philippe Collet, and Philippe Lahire. Software Architectures and Multiple Variability (2014) chapter book, in Software Architecture 2 (2014). published by Wiley [PDF] [bib] Abstract

[17] José A. Galindo, Mauricio Alferez, Mathieu Acher, Benoit Baudry, and David Benavides. A Variability-based Testing Approach for Synthesizing Video Sequences (2014). In International Symposium on Software Testing and Analysis (ISSTA'14) acceptance rate: 28% [bib][PDF] Abstract

[18] Nicolas Sannier, Guillaume Bécan, Mathieu Acher, Sana Ben Nasr, and Benoit Baudry. Comparing or Configuring Products: Are We Getting the Right Ones? (2014). In 8th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'14) published by ACM acceptance rate: 38% [PDF] [bib] Abstract

[19] Uli Fahrenberg, Mathieu Acher, Axel Legay, and Andrzej Wasowski. Sound Merging and Differencing for Class Diagrams (2014). In 17th International Conference on Fundamental Approaches to Software Engineering (FASE'14) published by Springer acceptance rate: 23% [PDF] [bib] Abstract

[20] Guillaume Bécan, Mathieu Acher, Benoit Baudry, and Sana Ben Nasr. Breathing Ontological Knowledge Into Feature Model Management (2013). Technical Report RT-0441 [PDF] [bib] Abstract

[21] Mathieu Acher, Philippe Collet, and Philippe Lahire. Architectures logicielles et variabilité multiple (2014) chapter book, in Architectures logicielles et variabilité multiple (2014). published by Lavoisier [PDF] [bib] Abstract

[22] Ebrahim Khalil Abbasi, Mathieu Acher, Patrick Heymans, and Anthony Cleve. Reverse Engineering Web Configurators (2014). In 17th European Conference on Software Maintenance and Reengineering (CSMR'14) acceptance rate: 31% [bib][PDF] Abstract

[23] Mathieu Acher, Roberto Erick Lopez-Herrejon, and Rick Rabiser. A Survey on Teaching of Software Product Lines (2014). In Eight International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'14) published by ACM [PDF] [bib][slides] Abstract

[24] Nicolas Sannier, Mathieu Acher, and Benoit Baudry. From Comparison Matrix to Variability Model: The Wikipedia Case Study (2013). In 28th IEEE/ACM International Conference on Automated Software Engineering (ASE'13) acceptance rate: 23% [PDF] [bib][slides] Abstract

[25] Marianela Ciolfi Felice, Joao Bosco Ferreira Filho, Mathieu Acher, Arnaud Blouin, and Olivier Barais. Interactive Visualisation of Products in Online Configurators: A Case Study for Variability Modelling Technologies (2013). In MAPLE/SCALE 2013 at SPLC 2013 Joint Workshop of MAPLE 2013 -- 5th International Workshop on Model-driven Approaches in Software Product Line Engineering and SCALE 2013 -- 4th Workshop on Scalable Modeling Techniques for Software Product Lines [bib][PDF] Abstract

[26] Mathieu Acher, Benoit Combemale, Philippe Collet, Olivier Barais, Philippe Lahire, and Robert B. France. Composing your Compositions of Variability Models (2013). In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS'13) acceptance rate: 23% [bib][PDF] Abstract

[27] Philippe Collet, Philippe Lahire, Mathieu Acher, and Robert France. Feature Model Management: Smart Operations and Language Support (tutorial) (2013). In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS'13) [PDF] [bib] Abstract

[28] Jean-Marc Davril, Edouard Delfosse, Negar Hariri, Mathieu Acher, Jane Cleland-Huang, and Patrick Heymans. Feature Model Extraction from Large Collections of Informal Product Descriptions (2013). In European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'13) acceptance rate: 20% [bib][PDF] Abstract

[29] João Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, and Benoit Baudry. Generating Counterexamples of Model-based Software Product Lines: An Exploratory Study (2013). In 17th International Conference on Software Product Lines (SPLC'13) acceptance rate: 33% [bib][PDF] Best Student Paper Award Abstract

[30] Mathieu Acher, Benoit Combemale, and Olivier Barais. Model-Based Variability Management (tutorial) (2013). In Three co-located international conferences ECOOP'13, ECMFA'13 and ECSA'13 [PDF] [bib][slides] Abstract

[31] Mathieu Acher, Anthony Cleve, Philippe Collet, Philippe Merle, Laurence Duchien, and Philippe Lahire. Extraction and Evolution of Architectural Variability Models in Plugin-based Systems (2013). In Software and Systems Modeling (SoSyM) [bib][PDF] Abstract

[32] Ebrahim Khalil Abbasi, Arnaud Hubaux, Mathieu Acher, Quentin Boucher, and Patrick Heymans. The Anatomy of a Sales Configurator: An Empirical Study of 111 Cases (2013). In 25th International Conference on Advanced Information Systems Engineering (CAiSE'13) acceptance rate: 16.6% [PDF] [bib] Abstract

[33] Mathieu Acher, Patrick Heymans, Anthony Cleve, Jean-Luc Hainaut, and Benoit Baudry. Support for Reverse Engineering and Maintaining Feature Models (2013). In Seventh International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'13) published by ACM acceptance rate: 42% [bib][PDF] Abstract

[34] Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France. FAMILIAR: A Domain-Specific Language for Large Scale Management of Feature Models (2013). In Science of Computer Programming (SCP) Special issue on programming languages [bib][PDF][DOI] Abstract

[35] Arnaud Hubaux, Mathieu Acher, T. T. Tun, Patrick Heymans, Philippe Collet, and Philippe Lahire. Separating Concerns in Feature Models: Retrospective and Multi-View Support (2013) chapter book, in Domain Engineering: Product Lines, Conceptual Models, and Languages (editors: Reinhartz-Berger,I. and Sturm, A. and Clark, T. and Bettin, J. and Cohen, S.) (2013). published by Springer [bib][PDF] Abstract

[36] Mathieu Acher, Patrick Heymans, Philippe Collet, Clément Quinton, Philippe Lahire, and Philippe Merle. Feature Model Differences (2012). In 24th International Conference on Advanced Information Systems Engineering (CAiSE'12) published by Springer acceptance rate: 14% [PDF] [bib] Abstract

[37] Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France. Separation of Concerns in Feature Modeling: Support and Applications (2012). In Aspect-Oriented Software Development (AOSD'12) published by ACM acceptance rate: 25% [PDF] [bib] Abstract

[38] Mathieu Acher, Philippe Collet, Alban Gaignard, Philippe Lahire, Johan Montagnat, and Robert France. Composing Multiple Variability Artifacts to Assemble Coherent Workflows (2012). In Software Quality Journal Special issue on Quality Engineering for Software Product Lines [PDF] [bib] Abstract

[39] Mathieu Acher, Raphaël Michel, and Patrick Heymans. Next-Generation Model-based Variability Management: Languages and Tools (2012). In ACM 16th International Software Product Line Conference (SPLC’12) [bib][PDF]

[40] Mathieu Acher, Patrick Heymans, Philippe Collet, and Philippe Lahire. Next-Generation Model-based Variability Management: Languages and Tools (tutorial) (2012). In ACM/IEEE 15th International Conference on Model Driven Engineering Languages \& Systems (MODELS'2012) [PDF] [bib] Abstract

[41] Mathieu Acher, Raphaël Michel, and Patrick Heymans. Next-Generation Model-based Variability Management: Languages and Tools (Tutorial) (2012). In Conf{\'e}rence en Ing{\'e}nieriE du Logiciel (CIEL'12) [bib]

[42] Sabine Moisan, Jean-Paul Rigault, and Mathieu Acher. A Feature-based Approach to System Deployment and Adaptation (2012). In Proceedings of the 2012 international workshop on Modeling in software engineering at ICSE 2012 (MiSE'12) published by IEEE acceptance rate: 41% [bib]

[43] Quentin Boucher, Ebrahim Abbasi, Arnaud Hubaux, Gilles Perrouin, Mathieu Acher, and Patrick Heymans. Towards More Reliable Configurators: A Re-engineering Perspective (2012). In Third International Workshop on Product LinE Approaches in Software Engineering at ICSE 2012 (PLEASE'12) acceptance rate: 57% [bib][PDF] Abstract

[44] Mathieu Acher, Raphaël Michel, Patrick Heymans, Philippe Collet, and Philippe Lahire. Languages and Tools for Managing Feature Models (2012). In Third International Workshop on Product LinE Approaches in Software Engineering at ICSE 2012 (PLEASE'12) acceptance rate: 57% [bib]

[45] Mathieu Acher, Anthony Cleve, Gilles Perrouin, Patrick Heymans, Philippe Collet, Philippe Lahire, and Charles Vanbeneden. On Extracting Feature Models From Product Descriptions (2012). In Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12) published by ACM acceptance rate: 51% [PDF] [bib] Abstract

[46] Mathieu Acher, Anthony Cleve, Philippe Collet, Philippe Merle, Laurence Duchien, and Philippe Lahire. Reverse Engineering Architectural Feature Models (2011). In 5th European Conference on Software Architecture (ECSA'11), long paper published by Springer acceptance rate: 25% [bib][PDF][slides] Abstract

[47] Mathieu Acher. Managing Multiple Feature Models: Foundations, Language, and Applications (2011). [bib][slides]

[48] Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France. Decomposing Feature Models: Language, Environment, and Applications (2011). In Automated Software Engineering (ASE'11), short paper: demonstration track published by IEEE/ACM [bib][DOI][slides] Abstract

[49] Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France. Slicing Feature Models (2011). In 26th IEEE/ACM International Conference On Automated Software Engineering (ASE'11), short paper published by IEEE/ACM [bib][DOI][slides] Abstract

[50] Sabine Moisan, Jean-Paul Rigault, Mathieu Acher, Philippe Collet, and Philippe Lahire. Run Time Adaptation of Video-Surveillance Systems: A Software Modeling Approach (2011). In 8th International Conference on Computer Vision Systems (ICVS'2011) published by Springer Verlag [bib]

[51] Mathieu Acher, Philippe Collet, Philippe Lahire, Sabine Moisan, and Jean-Paul Rigault. Modeling Variability from Requirements to Runtime (2011). In 16th International Conference on Engineering of Complex Computer Systems (ICECCS'11) published by IEEE acceptance rate: 31% [bib]

[52] Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France. Managing Feature Models with FAMILIAR: a Demonstration of the Language and its Tool Support (2011). In Fifth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'11) published by ACM acceptance rate: 55% [bib]

[53] Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France. A Domain-Specific Language for Managing Feature Models (2011). In Symposium on Applied Computing (SAC'11) published by ACM acceptance rate: 33% [PDF] [bib] Abstract

[54] Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France. FAMILIAR, a Language and its Environment for Feature Model Management (2010). In Journ{\'e}e Lignes de Produits. Ma{\^\i}triser la Diversit{\'e} [bib]

[55] Martin Fagereng Johansen, Franck Fleurey, Mathieu Acher, Philippe Collet, and Philippe Lahire. Exploring the Synergies Between Feature Models and Ontologies (2010). In International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2010) published by Lancaster University [PDF] [bib] Abstract

[56] Mathieu Acher, Philippe Collet, Franck Fleurey, Philippe Lahire, Sabine Moisan, and Jean-Paul Rigault. Modeling Context and Dynamic Adaptations with Feature Models (2009). [PDF] [bib] (poster)

[57] Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France. FAMILIAR (FeAture Model scrIpt Language for manIpulation and Automatic Reasoning): https://nyx.unice.fr/projects/familiar/ (2011). [bib]

[58] Mathieu Acher, Anthony Cleve, Philippe Collet, Philippe Merle, Laurence Duchien, and Philippe Lahire. Reverse Engineering Architectural Feature Models (2011). In 10th Belgian-Netherlands Seminar on Software Evolution (BENEVOL) [PDF] [bib][slides]

[59] Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France. Managing Multiple Software Product Lines Using Merging Techniques (2010). [PDF] [bib] Abstract

[60] Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France. Managing Variability in Worklow with Feature Model Composition Operators (2010). In 9th International Conference on Software Composition (SC'10) published by Springer acceptance rate: 28% [bib][slides] Abstract

[61] Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France. Comparing Approaches to Implement Feature Model Composition (2010). In 6th European Conference on Modelling Foundations and Applications (ECMFA) published by Springer acceptance rate: 31% [bib][PDF][slides] Abstract

[62] Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France. Composing Feature Models (2009). In 2nd International Conference on Software Language Engineering (SLE'09) published by LNCS acceptance rate: 19% [bib][PDF][slides] Abstract

[63] Mathieu Acher, Philippe Collet, Franck Fleurey, Philippe Lahire, Sabine Moisan, and Jean-Paul Rigault. Modeling Context and Dynamic Adaptations with Feature Models (2009). In 4th International Workshop Models@run.time at Models 2009 (MRT'09) [PDF] [bib] Abstract

[64] Mathieu Acher, Philippe Lahire, Sabine Moisan, and Jean-Paul Rigault. Tackling High Variability in Video Surveillance Systems through a Model Transformation Approach (2009). In MiSE '09: Proceedings of the 2009 international workshop on Modeling in software engineering at ICSE 2009 (MiSE'09) [PDF] [bib] Abstract

[65] Mathieu Acher, Philippe Collet, Philippe Lahire, and Johan Montagnat. Imaging Services on the Grid as a Product Line: Requirements and Architecture (2008). In Service-Oriented Architectures and Software Product Lines - Putting Both Together (SOAPL'08) published by IEEE Computer Society [PDF] [bib] Abstract

[66] Mathieu Acher, Philippe Collet, and Philippe Lahire. Issues in Managing Variability of Medical Imaging Grid Services (2008). In MICCAI-Grid Workshop (MICCAI-Grid) [PDF] [bib] Abstract

[67] Mathieu Acher. Vers une ligne de services pour la grille: application \`a l’imagerie m\'edicale (2008). [PDF] [bib]

[68] Mathieu Acher, and Vincent Aranega. Un compte rendu de la conf\'erence Models 2008 (Toulouse, France) (2008). [PDF] [bib]

PhD thesis

I completed my PhD thesis, entitled "Managing Multiple Feature Models: Foundations, Language, and Applications", at University of Nice Sophia Antipolis, working in the Modalis team (formerly Rainbow team), a research group of the I3S laboratory, under the supervision of Philippe Collet (Assistant Professor) and Philippe Lahire (Professor). The PhD committee was as follows:

You can download the manuscript in pdf, have a look at the list of publications, or simply read the abstract below.
 
Feature models (FMs) are a fundamental formalism for specifying and reasoning about commonality and variability of software product lines (SPLs). FMs are becoming increasingly complex, handled by several stakeholders or organizations, used to describe features at various levels of abstraction and related in a variety of ways. In different contexts and application domains, maintaining a single large FM is neither feasible nor desirable. Instead, multiple FMs are now used. In this thesis, we develop theoretical foundations and practical support for managing multiple FMs. We design and develop a set of composition and decomposition operators (aggregate, merge, slice) for supporting separation of concerns. The operators are formally defined, implemented with a fully automated algorithm and guarantee properties in terms of sets of configurations. We show how the composition and decomposition operators can be combined together or with other reasoning and editing operators to realize complex tasks. We propose a textual language, FAMILIAR (for FeAture Model scrIpt Language for manIpulation and Automatic Reasoning), which provides a practical solution for managing FMs on a large scale. An SPL practitioner can combine the different operators and manipulate a restricted set of concepts (FMs, features, configurations, etc.) using a concise notation and language facilities. FAMILIAR hides implementation details (e.g., solvers) and comes with a development environment. We report various applications of the operators and usages of FAMILIAR in different domains (medical imaging, video surveillance) and for different purposes (scientific workflow design, variability modeling from requirements to runtime, reverse engineering), showing the applicability of both the operators and the supporting language. Without the new capabilities brought by the operators and FAMILIAR, some analysis and reasoning operations would not be made possible in the different case studies.

Chess

I am playing chess since I am 8 years old. I discovered this fantastic game (sport?) by happenstance in my born city. I quickly moved to Cannes chess club at 11 years old, gaining the opportunity to be trained by famous international grand masters. I have a sort of "record" and I am proud of it!
  • I have three international master norms (2007, 2008, 2010) and an international rating since 1998
  • I was two times french youth champion (1998, 2002)
  • I was taking part in three World youth chess championships (1998, 1999, 2002) and one European youth chess championship (1998)
  • I was France's number two in the first french chess league with Cannes chess club (2003)
  • I won gold medal in the first french chess league (6th board, 2009)

At the moment, I am not playing chess at a high level (no time?), but I am always ready to play a blitz online (e.g., on internet chess club or playchess). You can consult some of my games online. I suggest the following three games: a win against Santo Roman in first french chess league (France, 2000), a win against Zhigalko in World youth chess championship (Greece, 2002) and a draw against Vachier-Lagrave in first french chess league (France, 2007). Since 14 years old, I gave chess lessons (individual or collective) from beginners to novice. I am also very interested by developing software for chess. I have a lot of ideas, I hope to have time to do that in the future or simply supervise software projects related to chess!

Contact

You can reach me using different alternatives: