default search action

combined dblp search
author search
venue search
publication search

ask others

6th FMSPLE@ETAPS 2015: London, UK

> Home > Conferences and Workshops > ETAPS

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/AtleeG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AtleeG15
Joanne M. Atlee, Stefania Gnesi:
Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015. EPTCS 182, 2015
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LuthmannML15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LuthmannML15
Lars Luthmann, Stephan Mennicke, Malte Lochau:
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata. 1-13
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BelderBV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BelderBV15
Tessa Belder, Maurice H. ter Beek, Erik P. de Vink:
Coherent branching feature bisimulation. 14-30
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LestaSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LestaSW15
Uwe Lesta, Ina Schaefer, Tim Winkelmann:
Detecting and Explaining Conflicts in Attributed Feature Models. 31-43
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PhamDL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PhamDL15
Thi-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. 44-55
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BeekLLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BeekLLV15
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. 56-70
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PeakeBFSRK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PeakeBFSRK15
Ian 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. 71-82

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.