Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series

Authors:
Maurice H. ter Beek;Martin Becker;Andreas Classen;Fabricia Roos-Frantz;Ina Schaefer;Peter Y. H. Wong
Affiliations:
ISTI--CNR, Pisa, Italy;Fraunhofer IESE, Kaiserslautern, Germany;Inteclux Software Engineering/University of Namur, Belgium;UNIJUÍ University, Brazil;Technische Universität, Braunschweig, Germany;Fredhopper B.V., Amsterdam, The Netherlands
Venue:
Proceedings of the 16th International Software Product Line Conference - Volume 1
Year:
2012

Citing 11
Cited 0

First International Workshop on Analysis of Software Product Lines (ASPL'08)

SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Automated analysis of feature models 20 years later: A literature review

Information Systems
Model checking lots of systems: efficient verification of temporal properties in software product lines

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
1st international workshop on formal methods in software product line engineering (FMSPLE 2010)

SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
A logical framework to deal with variability

IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Formal Methods in Software Product Line Engineering

Computer
Symbolic model checking of software product lines

Proceedings of the 33rd International Conference on Software Engineering
Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)

SPLC '11 Proceedings of the 2011 15th International Software Product Line Conference
Formal Description of Variability in Product Families

SPLC '11 Proceedings of the 2011 15th International Software Product Line Conference
Compositional algorithmic verification of software product lines

FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Simulation-based abstractions for software product-line model checking

Proceedings of the 34th International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

FMSPLE 2012 is the third edition of the FMSPLE workshop series, traditionally affiliated with SPLC, which aims to connect researchers and practitioners interested in raising the efficiency and the effectiveness of SPLE through the application of innovative analysis approaches and formal methods.