PMaude: Rewrite-based Specification Language for Probabilistic Object Systems, Electronic Notes in Theoretical Computer Science, vol.153, issue.2, pp.213-239, 2005. ,
DOI : 10.1016/j.entcs.2005.10.040
PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool, LNCS, vol.6859, pp.386-392, 2011. ,
DOI : 10.1007/978-3-642-22944-2_28
Statistical Model Checking of Opportunistic Network Protocols, Proceedings of the Asian Internet Engineering Conference on, AINTEC '15, pp.62-68, 2015. ,
DOI : 10.1145/2837030.2837039
Principles of Model Checking, 2008. ,
A Contract-Oriented Middleware, LNCS, vol.9539, pp.86-104, 2015. ,
DOI : 10.1007/978-3-319-28934-2_5
Feature Models, Grammars, and Propositional Formulas, LNCS, vol.3714, pp.7-20, 2005. ,
DOI : 10.1007/11554844_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.9092
Special Issue on Formal Methods in Software Product Line Engineering, J. Log. Algebr. Meth. Program, vol.85, issue.1, p.2016 ,
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking, Electronic Proceedings in Theoretical Computer Science, vol.182, pp.56-70, 2015. ,
DOI : 10.4204/EPTCS.182.5
Statistical analysis of probabilistic models of software product lines with quantitative constraints, Proceedings of the 19th International Conference on Software Product Line, SPLC '15, pp.11-15, 2015. ,
DOI : 10.1145/2791060.2791087
Combining declarative and procedural views in the specification and analysis of product families, Proceedings of the 17th International Software Product Line Conference co-located workshops on, SPLC '13 Workshops, pp.10-17, 2013. ,
DOI : 10.1145/2499777.2500722
Reasoning (on) Service Component Ensembles in Rewriting Logic, Futatsugi Festschrift, pp.188-211, 2014. ,
DOI : 10.1007/11513988_26
Automated analysis of feature models 20 years later: A literature review, Information Systems, vol.35, issue.6, 2010. ,
DOI : 10.1016/j.is.2010.01.001
Analysis, Test and Verification in The Presence of Variability, Dagstuhl Reports, vol.3, issue.2, pp.144-170, 2013. ,
Stochastic Concurrent Constraint Programming, Electronic Notes in Theoretical Computer Science, vol.164, issue.3, pp.65-80, 2006. ,
DOI : 10.1016/j.entcs.2006.07.012
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements, LNCS, vol.4421, pp.18-32, 2007. ,
DOI : 10.1007/978-3-540-71316-6_3
Family-Based Modeling and Analysis for Probabilistic Systems ??? Featuring ProFeat, LNCS, vol.79, issue.1, pp.287-304, 2016. ,
DOI : 10.1016/j.scico.2012.06.002
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking, IEEE Transactions on Software Engineering, vol.39, issue.8, pp.391069-1089, 2013. ,
DOI : 10.1109/TSE.2012.86
Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features, 2013 35th International Conference on Software Engineering (ICSE), pp.472-481, 2013. ,
DOI : 10.1109/ICSE.2013.6606593
URL : https://hal.archives-ouvertes.fr/hal-01087792
Z3: An Efficient SMT Solver, TACAS, pp.337-340, 2008. ,
DOI : 10.1007/978-3-540-78800-3_24
Probabilistic Model Checking for Feature-Oriented Systems, Transactions on AOSD XII, pp.180-220, 2015. ,
DOI : 10.1007/978-3-662-46734-3_5
Probabilistic model checking for energy analysis in software product lines, Proceedings of the 13th international conference on Modularity, MODULARITY '14, pp.169-180, 2014. ,
DOI : 10.1145/2577080.2577095
The Choice Calculus, ACM Transactions on Software Engineering and Methodology, vol.21, issue.1, 2011. ,
DOI : 10.1145/2063239.2063245
Model-based verification of quantitative non-functional properties for software product lines, Information and Software Technology, vol.55, issue.3, pp.508-524, 2013. ,
DOI : 10.1016/j.infsof.2012.07.017
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems, LNCS, vol.8739, pp.71-86, 2014. ,
DOI : 10.1007/978-3-319-10181-1_5
Statistical model checking: Past, present, and future, LNCS, vol.8802, pp.135-142, 2014. ,
DOI : 10.1007/978-3-662-45231-8_10
URL : https://hal.archives-ouvertes.fr/hal-01406518
Statistical Model Checking: An Overview, LNCS, vol.6418, pp.122-135, 2010. ,
DOI : 10.1007/978-3-642-16612-9_11
URL : https://hal.archives-ouvertes.fr/inria-00591593
DeltaCCS: A Core Calculus for Behavioral Change, ISoLA, pp.320-335, 2014. ,
DOI : 10.1007/978-3-662-45234-9_23
Modeling and Verification for Probabilistic Properties in Software Product Lines, Proceedings 16th International Symposium on High Assurance Systems Engineering (HASE'15), pp.173-180, 2015. ,
DOI : 10.1109/hase.2015.34
Distributed statistical analysis of complex systems modeled through a chemical metaphor, 2014 International Conference on High Performance Computing & Simulation (HPCS), pp.416-423, 2014. ,
DOI : 10.1109/HPCSim.2014.6903715
Concurrent constraint programming, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, pp.232-245, 1990. ,
DOI : 10.1145/96709.96733
Formal Methods in Software Product Line Engineering, Computer, vol.44, issue.2, pp.82-85, 2011. ,
DOI : 10.1109/MC.2011.47
A computational field framework for collaborative task execution in volunteer clouds, Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, pp.105-114, 2014. ,
DOI : 10.1145/2593929.2593943
MultiVeStA: Statistical Model Checking for Discrete Event Simulators, Proceedings 7th International Conference on Performance Evaluation Methodologies and Tools (ValueTools'13), pp.310-315, 2013. ,
VESTA: A statistical model-checker and analyzer for probabilistic systems, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), pp.251-252, 2005. ,
DOI : 10.1109/QEST.2005.42
A Classification and Survey of Analysis Strategies for Software Product Lines, ACM Computing Surveys, vol.47, issue.1, p.2014 ,
DOI : 10.1145/2580950
Behavioral relations in a process algebra for variants, Proceedings of the 18th International Software Product Line Conference on, SPLC '14, pp.82-91, 2014. ,
DOI : 10.1145/2648511.2648520
Discrete time Markov chain families, Proceedings of the 17th International Software Product Line Conference co-located workshops on, SPLC '13 Workshops, pp.34-41, 2013. ,
DOI : 10.1145/2499777.2500725