You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Royal Holloway, University of London » Outputs » Detail

Output details

11 - Computer Science and Informatics

Royal Holloway, University of London

Return to search Previous output Next output

Output 42 of 90 in the submission

Article title

Featured transition systems : Foundations for verifying variability- intensive systems and their application to LTL model checking

Type

D - Journal article

DOI

10.1109/TSE.2012.86

Title of journal

Software Engineering, IEEE Transactions on

Article number

Volume number

Issue number

First page of article

1069

ISSN of journal

0098-5589

Year of publication

2013

URL

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6389685

Number of additional authors

Additional information

<07>This is an extended version of a paper published in ICSE2010, followed by a keynote at SPLC2012 and a tutorial at ICSE 2013. This is the first paper to propose efficient data structures and algorithms for reasoning about software product lines. The results have been implemented in tools (such as ProVeLines) that are currently used for real-world applications including DANFOSS. The model introduced in this paper is used by Martin Leucker (Germany), Stefania Gnesi (Italy), Sven Apple (Germany), Andrzej Wasowski (Denmark) and Kim Larsen (Denmark), and is also being exploited by Klaus Pohl (Duisburg-Essen), Krzysztof Czarnecki and Marsha Chechik (Canada).

Interdisciplinary

Cross-referral requested

Research group

D - Distributed and Global Computing

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract