Testing a software product line, 2001. ,
Feature-Oriented Domain Analysis (FODA) feasibility study, 1990. ,
Integrating feature modeling with the RSEB, 5th International Conference on Software Reuse, ICSR'98, pp.76-85, 1998. ,
Evaluating the pluss domain modeling approach by modeling the arcade game maker product line, 2005. ,
The pluss approach -domain modeling with features, use cases and use case realizations, 9th International Conference on Software Product Lines, SPLC'06, pp.33-44, 2006. ,
Semi-automated diagnosis of foda feature diagram, 25th ACM Symposium on Applied Computing, SAC'10, pp.2191-2197, 2010. ,
Semantics of FODA feature diagrams, 1st Workshop on Software Variability Management for Product Derivation -Towards Tool Support, SPLCW'04, pp.48-58, 2004. ,
A formal framework for software product lines, Information & Software Technology, vol.55, issue.11, pp.1925-1947, 2013. ,
A ground-complete axiomatisation of finitestate processes in a generic process algebra, Mathematical Structures in Computer Science, vol.18, issue.6, pp.1057-1089, 2008. ,
Formal semantics and verification for feature modeling, 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS'05, pp.303-312, 2005. ,
Feature algebra, 14th International Symposium on Formal Methods, FM'06, ser, vol.4085, pp.300-315, 2006. ,
, An algebra of product families, Software and System Modeling, vol.10, issue.2, pp.161-182, 2011.
Using first-order logic for product line model validation, 2nd International Software Product Line Conference, SPLC'02, pp.176-187, 2002. ,
Feature diagrams and logics: There and back again, 11th International Software Product Line Conference, SPLC'07, pp.23-34, 2007. ,
A deontic logical framework for modelling product families, 4th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS'10, pp.37-44, 2010. ,
A logical framework to deal with variability, 8th Int. Conf. on Integrated Formal Methods, IFM'10, pp.43-58, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00525109
Knowledge Engineering and Management, ser. Advances in Intelligent Systems and Computing, vol.214, pp.531-541, 2014. ,
Cost-related interface for software product lines, Journal of Logical and Algebraic Methods in Programming, vol.85, pp.227-244, 2016. ,
Betty: Benchmarking and testing on the automated analysis of feature models, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, ser. VaMoS '12, pp.63-71, 2012. ,
Mutation testing from probabilistic and stochastic finite state machines, Journal of Systems and Software, vol.82, issue.11, pp.1804-1818, 2009. ,
Information hiding in probabilistic concurrent systems, Theoretical Computer Science, vol.412, issue.28, pp.3072-3089, 2011. ,
Probabilistic systems coalgebraically: A survey, Theoretical Computer Science, vol.412, issue.38, pp.5095-5110, 2011. ,
Using schedulers to test probabilistic distributed systems, Formal Aspects of Computing, vol.24, issue.4-6, pp.679-699, 2012. ,
Real-reward testing for probabilistic processes, Theoretical Computer Science, vol.538, pp.16-36, 2014. ,
A general SOS theory for the specification of probabilistic transition systems, Information and Computation, vol.249, pp.76-109, 2016. ,
Probabilistic Model Checking for Feature-Oriented Systems, pp.180-220, 2015. ,
Reduction semantics in markovian process algebra, J. Log. Algebr. Meth. Program, vol.96, pp.41-64, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01921194
Verification for reliable product lines, CoRR, 2013. ,
Quantitative analysis of probabilistic models of software product lines with statistical model checking, Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, vol.182, pp.56-70, 2015. ,
, Statistical analysis of probabilistic models of software product lines with quantitative constraints, Proceedings of the 19th International Conference on Software Product Line, ser. SPLC '15, pp.11-15, 2015.
Statistical prioritization for software product line testing: an experience report, Software & Systems Modeling, vol.16, issue.1, pp.153-171, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01642289
Z3: An efficient smt solver, Tools and Algorithms for the Construction and Analysis of Systems, pp.337-340, 2008. ,
Multivesta: Statistical model checking for discrete event simulators, Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, ser. ValueTools '13. ICST, pp.310-315, 2013. ,
Discrete time markov chain families: Modeling and verification of probabilistic software product lines, Proceedings of the 17th International Software Product Line Conference Co-located Workshops, pp.34-41, 2013. ,
Properties of realistic feature models make combinatorial testing of product lines feasible, Proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, ser. MODELS'11, pp.638-652, 2011. ,
Generating better partial covering arrays by modeling weights on sub-product lines, Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, ser. MODELS'12, pp.269-284, 2012. ,
Coverage and adequacy in software product line testing, Workshop on Role of software architecture for testing and analysis, ROSATEA'06, pp.53-63, 2006. ,
A foundation for behavioural conformance in software product line architectures, Workshop on Role of software architecture for testing and analysis, ROSATEA'06, pp.39-48, 2006. ,
Profeat: feature-oriented engineering for family-based probabilistic model checking, Formal Aspects of Computing, vol.30, issue.1, pp.45-75, 2018. ,
PRISM 4.0: Verification of probabilistic real-time systems, Proc. 23rd International Conference on Computer Aided Verification (CAV'11), ser, vol.6806, pp.585-591, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00648035
On generative parallel composition, Workshop on Probabilistic Methods in Verification, PROBMIV'98, ENTCS 22, pp.30-54, 1999. ,
A Compositional Approach to Performance Modelling, 1996. ,
On the boundary between decidability and undecidability of asynchronous session subtyping, Theor. Comput. Sci, vol.722, pp.19-51, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01921168
A petri net based modeling of active objects and futures, Fundam. Inform, vol.159, issue.3, pp.197-256, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01919136
Undecidability of asynchronous session subtyping, Inf. Comput, vol.256, pp.300-320, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01637935
Behavioral types in programming languages, Foundations and Trends in Programming Languages, vol.3, issue.2-3, pp.95-230, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01348054
On the expressive power of process interruption and compensation, Mathematical Structures in Computer Science, vol.19, issue.3, pp.565-599, 2009. ,
Revised Selected Papers, ser. Lecture Notes in Computer Science, Trustworthy Global Computing, 4th International Symposium, vol.5474, pp.1-18, 2008. ,