Andrzej Wasowski

Marisa Leavitt Cohn

Proceedings of the EASE '20: Evaluation and Assessment in Software Engineering, 2020

Galois Connections for Recursive Types.

[BibT_eX]

[DOI]

Thomas P. Jensen

Rasmus Ejlers Møgelberg

Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020

2019

Guest editorial to the special section on ECMFA and ICMT at STAF 2016 - Modeling and model transformations research in 2016.

[BibT_eX]

[DOI]

Pieter Van Gorp

Softw. Syst. Model., 2019

Clafer: Lightweight Modeling of Structure, Behaviour, and Variability.

[BibT_eX]

[DOI]

Paulius Juodisius

Atrisha Sarkar

Raghava Rao Mukkamala

Michal Antkiewicz

Art Sci. Eng. Program., 2019

Affiliated participation in open source communities.

[BibT_eX]

[DOI]

PeerJ Prepr., 2019

Finding suitable variability abstractions for lifted analysis.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2019

Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2019

Identifying Redundancies in Fork-based Development.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Software Management, 2019

Why does code review work for open source software communities?

[BibT_eX]

[DOI]

Marisa Leavitt Cohn

Proceedings of the 41st International Conference on Software Engineering, 2019

Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Variability Bugs in Highly Configurable Systems: A Qualitative Analysis.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2018

Variability abstractions for lifted analyses.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Going Beyond Obscurity: Organizational Approaches to Data Anonymization.

[BibT_eX]

[DOI]

Viktor Hargitai

Irina Shklovski

Proc. ACM Hum. Comput. Interact., 2018

Editorial.

[BibT_eX]

[DOI]

Ewen Denney

Perdita Stevens

Formal Aspects Comput., 2018

Data-efficient performance learning for configurable systems.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2018

Identifying features in forks.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

Influencers of quality assurance in an open source community.

[BibT_eX]

[DOI]

Yvonne Dittrich

Proceedings of the 11th International Workshop on Cooperative and Human Aspects of Software Engineering, 2018

Verification of high-level transformations with inductive refinement types.

[BibT_eX]

[DOI]

Thomas P. Jensen

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

2017

Efficient family-based model checking via variability abstractions.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2017

Erratum to: Introduction to the theme issue on variability modeling of software-intensive systems.

[BibT_eX]

[DOI]

Thorsten Weyer

Softw. Syst. Model., 2017

Introduction to the theme issue on variability modeling of software-intensive systems.

[BibT_eX]

[DOI]

Alexandru Florin Iosif-Lazar

Thorsten Weyer

Softw. Syst. Model., 2017

Effective Analysis of C Programs by Rewriting Variability.

[BibT_eX]

[DOI]

Jean Melo

Art Sci. Eng. Program., 2017

Controller synthesis for dynamic hierarchical real-time plants using timed automata.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2017

Effective Bug Finding in C Programs with Shape and Effect Abstractions.

[BibT_eX]

[DOI]

Iago Abal

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Variability through the eyes of the programmer.

[BibT_eX]

[DOI]

Jean Melo

Fabricio Batista Narcizo

Dan Witzner Hansen

Proceedings of the 25th International Conference on Program Comprehension, 2017

Variability-Specific Abstraction Refinement for Family-Based Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2017

From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Clafer: unifying class and feature modeling.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2016

Trustworthy variant derivation with translation validation for safety critical product lines.

[BibT_eX]

[DOI]

Alexandru F. Iosif-Lazar

J. Log. Algebraic Methods Program., 2016

Coevolution of variability models and related software artifacts - A fresh look at evolution patterns in the Linux kernel.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2016

A Quantitative Analysis of Variability Warnings in Linux.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

Symbolic execution of high-level transformations.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

Concepts, Operations, and Feasibility of a Projection-Based Variation Control System.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

How does the degree of variability affect bug finding?

[BibT_eX]

[DOI]

Jean Melo

Proceedings of the 38th International Conference on Software Engineering, 2016

Finding Suitable Variability Abstractions for Family-Based Analysis.

[BibT_eX]

[DOI]

Proceedings of the FM 2016: Formal Methods, 2016

2015

Quantifying information leakage of randomized protocols.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Real-time specifications.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2015

The design space of multi-language development environments.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Systematic derivation of correct variability-aware program analyses.

[BibT_eX]

[DOI]

Jan Midtgaard

Sci. Comput. Program., 2015

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2015

A Model for Industrial Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Family-based model checking using off-the-shelf model checkers: extended abstract.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Product Line, 2015

Family-Based Model Checking Without a Family-Based Model Checker.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Experiences from Designing and Validating a Software Modernization Transformation (E).

[BibT_eX]

[DOI]

Alexandru F. Iosif-Lazar

Juha Erik Savolainen

Krzysztof Sierszecki

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Forked and integrated variants in an open-source firmware project.

[BibT_eX]

[DOI]

Stefan Stanciulescu

Sandro Schulze

Proceedings of the 2015 IEEE International Conference on Software Maintenance and Evolution, 2015

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses.

[BibT_eX]

[DOI]

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Robust synthesis for real-time systems.

[BibT_eX]

[DOI]

Kim G. Larsen

Theor. Comput. Sci., 2014

A modal specification theory for components with data.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Maximizing entropy over Markov processes.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2014

Efficient synthesis of feature models.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2014

Variability mechanisms in software ecosystems.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2014

To connect or not to connect: experiences from modeling topological variability.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Line Conference, 2014

Three Cases of Feature-Based Variability Modeling in Industry.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

42 variability bugs in the linux kernel: a qualitative analysis.

[BibT_eX]

[DOI]

Iago Abal

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

A Core Language for Separate Variability Modeling.

[BibT_eX]

[DOI]

Alexandru F. Iosif-Lazar

Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Flexible product line engineering with a virtual platform.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Information Leakage of Non-Terminating Processes.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Sound Merging and Differencing for Class Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Language-Independent Traceability with Lässig.

[BibT_eX]

[DOI]

Jan Reimann

Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014

Systematic derivation of static analyses for software product lines.

[BibT_eX]

[DOI]

Jan Midtgaard

Proceedings of the 13th International Conference on Modularity, 2014

2013

A Study of Variability Models and Languages in the Systems Software Domain.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Abstract Probabilistic Automata.

[BibT_eX]

[DOI]

Inf. Comput., 2013

Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2013

Feature-oriented software evolution.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

A survey of variability modeling in industrial practice.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

Coevolution of variability models and related artifacts: a case study from the Linux kernel.

[BibT_eX]

[DOI]

Proceedings of the 17th International Software Product Line Conference, 2013

Partial Instances via Subclassing.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - 6th International Conference, 2013

Example-Driven Modeling using Clafer.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Model-driven Engineering By Example co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Variability-aware performance prediction: A statistical learning approach.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Example-driven modeling: model = abstractions + examples.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

QUAIL: A Quantitative Security Analyzer for Imperative Code.

[BibT_eX]

[DOI]

Fabrizio Biondi

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Compositional verification of real-time systems using Ecdar.

[BibT_eX]

[DOI]

Alexandre David

Int. J. Softw. Tools Technol. Transf., 2012

New results for Constraint Markov Chains.

[BibT_eX]

[DOI]

Perform. Evaluation, 2012

Consistency and refinement for Interval Markov Chains.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

Refinement for Transition Systems with Responses

[BibT_eX]

[DOI]

Marco Carbone

Thomas T. Hildebrandt

Gian Perrone

Proceedings of the Proceedings Fourth Workshop on Foundations of Interface Technologies, 2012

Cool features and tough decisions: a comparison of variability modeling approaches.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

CVL: common variability language.

[BibT_eX]

[DOI]

Øystein Haugen

Proceedings of the 16th International Software Product Line Conference, 2012

Efficient synthesis of feature models.

[BibT_eX]

[DOI]

Proceedings of the 16th International Software Product Line Conference, 2012

Usage scenarios for feature model synthesis.

[BibT_eX]

[DOI]

Steven She

Proceedings of the VARiability for You Workshop, 2012

Cross-Language Support Mechanisms Significantly Aid Software Development.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

VARY 2012: VARiability for You.

[BibT_eX]

[DOI]

Øystein Haugen

Jean-Marc Jézéquel

Birger Møller-Pedersen

Proceedings of the VARiability for You Workshop, 2012

Towards a catalog of variability evolution patterns: the Linux kernel case.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Feature-Oriented Software Development, 2012

Moving from Specifications to Contracts in Component-Based Design.

[BibT_eX]

[DOI]

Sebastian S. Bauer

Alexandre David

Rolf Hennicker

Proceedings of the Fundamental Approaches to Software Engineering, 2012

TexMo: A Multi-language Development Environment.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

2011

Constraint Markov Chains.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

A study of non-Boolean constraints in variability models of an embedded operating system.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines - 15th International Conference, 2011

APAC: A Tool for Reasoning about Abstract Probabilistic Automata.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Vision Paper: Make a Difference! (Semantically).

[BibT_eX]

[DOI]

Uli Fahrenberg

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Decision Problems for Interval Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2011

Reverse engineering feature models.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

Tengi Interfaces for Tracing between Heterogeneous Components.

[BibT_eX]

[DOI]

Proceedings of the Generative and Transformational Techniques in Software Engineering IV, 2011

Robust Specification of Real Time Components.

[BibT_eX]

[DOI]

Kim G. Larsen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Taming the Confusion of Languages.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

New Results on Abstract Probabilistic Automata.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

Modal and mixed specifications: key decision problems and their complexities.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2010

A Few Considerations on Structural and Logical Composition in Specification Theories

[BibT_eX]

[DOI]

Proceedings of the Proceedings Foundations for Interface Technologies, 2010

New Results on Timed Specifications.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

The Variability Model of The Linux Kernel.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Evolution of the Linux Kernel Variability Model.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Feature-to-Code Mapping in Two Large Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled.

[BibT_eX]

[DOI]

Kacper Bak

Proceedings of the Software Language Engineering - Third International Conference, 2010

Compositional Design Methodology with Constraint Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

Variability modeling in the real: a perspective from the operating systems domain.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Timed I/O automata: a complete specification theory for real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

8th Nordic Workshop on Model-Driven Software Engineering (NW-MODE 2010).

[BibT_eX]

[DOI]

Dragos Truscan

Ludwik Kuzniarz

Proceedings of the Software Architecture, 4th European Conference, 2010

An aspect-based traceability mechanism for domain specific languages.

[BibT_eX]

[DOI]

Proceedings of the 6th ECMFA Traceability Workshop, 2010

ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems.

[BibT_eX]

[DOI]

Alexandre David

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

SAT-based analysis of feature models is easy.

[BibT_eX]

[DOI]

Marcílio Mendonça

Proceedings of the Software Product Lines, 13th International Conference, 2009

Methodologies for Specification of Real-Time Systems Using Timed I/O Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008

EXPTIME-complete Decision Problems for Modal and Mixed Specifications.

[BibT_eX]

[DOI]

Adam Antonik

Michael Huth

Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008

20 Years of Modal and Mixed Specifications.

[BibT_eX]

Bull. EATCS, 2008

Sample Spaces and Feature Models: There and Back Again.

[BibT_eX]

[DOI]

Steven She

Proceedings of the Software Product Lines, 12th International Conference, 2008

Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax.

[BibT_eX]

[DOI]

Mikolás Janota

Victoria Kuzina

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Interfaces and Metainterfaces for Models and Metamodels.

[BibT_eX]

[DOI]

Anders Hessellund

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Efficient compilation techniques for large scale feature models.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2008

Complexity of Decision Problems for Mixed and Modal Specifications.

[BibT_eX]

[DOI]

Adam Antonik

Michael Huth

Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007

Modeling software product lines using color-blind transition systems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2007

Feature Diagrams and Logics: There and Back Again.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, 11th International Conference, 2007

Guided Development with Multiple Domain-Specific Languages.

[BibT_eX]

[DOI]

Anders Hessellund

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Techniques for Efficient Interactive Configuration of Distribution Networks.

[BibT_eX]

[DOI]

Tarik Hadzic

Henrik Reif Andersen

Proceedings of the IJCAI 2007, 2007

Modal I/O Automata for Interface and Product Line Theories.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2007

On Modal Refinement and Consistency.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

Efficient interactive configuration of unbounded modular systems.

[BibT_eX]

[DOI]

Erik Roland van der Meer

Henrik Reif Andersen

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Interface Input/Output Automata.

[BibT_eX]

[DOI]

Proceedings of the FM 2006: Formal Methods, 2006

2005

Color-Blind Specifications for Transformations of Reactive Synchronous Programs.

[BibT_eX]

[DOI]

Ulrik Larsen

Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004

On Succinctness of Hierarchical State Diagrams in Absence of Message Passing.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

Automatic Generation of Program Families by Model Restrictions.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, Third International Conference, 2004

Flattening statecharts without explosions.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, 2004

2003

On efficient program synthesis from statecharts.

[BibT_eX]

[DOI]