Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FMSPLE"( http://dblp.L3S.de/Venues/FMSPLE )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2015 (6) 2016 (5)
Publication types (Num. hits)
inproceedings(11)
Venues (Conferences, Journals, ...)
FMSPLE(11)
Authors
Maurice H. ter Beek(3) Erik P. de Vink(2) Ina Schaefer(2) Malte Lochau(2) Alberto Lluch-Lafuente(1) Andrea Vandin(1) Andy Schürr(1) Anjali Sree-Kumar(1) Axel Legay(1) Catherine Dubois(1) Divyasheel Sharma(1) Elena Planas(1) Ferruccio Damiani(1) Frederik Deckwerth(1) Gergely Varró(1) Géza Kulcsár(1) More (+10 of total 32)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse Towards a Feature mu-Calculus Targeting SPL Verification. Search on Bibsonomy FMSPLE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ferruccio Damiani, Michael Lienhardt Refactoring Delta-Oriented Product Lines to achieve Monotonicity. Search on Bibsonomy FMSPLE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Frederik Deckwerth, Géza Kulcsár, Malte Lochau, Gergely Varró, Andy Schürr Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation. Search on Bibsonomy FMSPLE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matthias Kowal, Ina Schaefer Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems. Search on Bibsonomy FMSPLE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anjali Sree-Kumar, Elena Planas, Robert Clarisó Analysis of Feature Models Using Alloy: A Survey. Search on Bibsonomy FMSPLE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Uwe Lesta, Ina Schaefer, Tim Winkelmann Detecting and Explaining Conflicts in Attributed Feature Models. Search on Bibsonomy FMSPLE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thi-Kim-Zung Pham, Catherine Dubois, Nicole Lévy Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules. Search on Bibsonomy FMSPLE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. Search on Bibsonomy FMSPLE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tessa Belder, Maurice H. ter Beek, Erik P. de Vink Coherent branching feature bisimulation. Search on Bibsonomy FMSPLE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lars Luthmann, Stephan Mennicke, Malte Lochau Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata. Search on Bibsonomy FMSPLE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ian D. Peake, Jan Olaf Blech, Lasith Fernando, Divyasheel Sharma, Srini Ramaswamy, Mallikarjun Kande Analysis of Software Binaries for Reengineering-Driven Product Line Architecture - An Industrial Case Study. Search on Bibsonomy FMSPLE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license