Feature-Oriented Software Product Lines -Concepts and Implementation, 2013. ,
FEATUREHOUSE: Language-independent, automated software composition, 31st International Conference on Software Engineering, pp.221-231, 2009. ,
, C&ESAR 2008, Computer Electronics Security Applications Rendezvous, pp.162-179, 2008.
, Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001.
, Proceedings, Lecture Notes in Computer Science 2323, pp.135-149, 2001.
Feature Models, Grammars, and Propositional Formulas, Software Product Lines, 9th International Conference, SPLC 2005, vol.3714, pp.7-20, 2005. ,
Feature interactions, products, and composition, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, pp.13-22, 2011. ,
Scaling Step-Wise Refinement, Proceedings of the 25th International Conference on Software Engineering, pp.187-197, 2003. ,
Automated Reasoning on Feature Models, Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE, pp.361-373, 2013. ,
Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs, 14th International Conference, vol.4790, pp.151-165, 2007.,
URL : https://hal.archives-ouvertes.fr/inria-00315920
Product lines of theorems, Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.595-608, 2011. ,
Modular monadic meta-theory, ACM SIGPLAN International Conference on Functional Programming, ICFP'13, pp.319-330, 2013. ,
The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML, J. Log. Algebr. Program, vol.58, issue.1-2, pp.89-106, 2004. ,
Design by Contract, IEEE Computer, vol.25, issue.10, pp.40-51, 1992. ,
, Software Product Line Engineering -Foundations, Principles, and Techniques, 2005.
Applying Design by Contract to Feature-Oriented Programming, Fundamental Approaches to Software Engineering -15th International Conference, FASE 2012, vol.7212, pp.255-269, 2012. ,
A Classification and Survey of Analysis Strategies for Software Product Lines, ACM Comput. Surv, vol.47, issue.1, p.6, 2014. ,
, Family-based deductive verification of software product lines, Generative Programming and Component Engineering, pp.11-20, 2012.
Proof Composition for Deductive Verification of Software Product Lines, Fourth International IEEE Conference on Software Testing, Verification and Validation, vol.2012, pp.270-277, 2011. ,