Michael Lienhardt

Maurice H. ter Beek

J. Syst. Softw., April, 2024

Type-Based Verification of Delegated Control in Hybrid Systems.

[BibT_eX]

[DOI]

Eduard Kamburjan

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

Variability modules.

[BibT_eX]

[DOI]

J. Syst. Softw., 2023

Type-Based Verification of Delegated Control in Hybrid~Systems (Full Version).

[BibT_eX]

[DOI]

Eduard Kamburjan

CoRR, 2023

PYDOP: A Generic Python Library for Delta-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Deltas for Functional Programs with Algebraic Data Types.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

2022

On logical and extensional characterizations of attributed feature models.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2022

FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

Efficient static analysis and verification of featured transition systems.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

Towards a Modular and Variability-Aware Aerodynamic Simulator.

[BibT_eX]

[DOI]

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Variability modules for Java-like languages.

[BibT_eX]

[DOI]

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Static analysis and family-based model checking of featured transition systems with VMC.

[BibT_eX]

[DOI]

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Static analysis and family-based model checking with VMC.

[BibT_eX]

[DOI]

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

2020

On Slicing Software Product Line Signatures.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

On Two Characterizations of Feature Models.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

Lazy product discovery in huge configuration spaces.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form.

[BibT_eX]

[DOI]

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

A formal model for Multi Software Product Lines.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

Time analysis of actor programs.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

Static analysis of featured transition systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

On checking delta-oriented product lines of statecharts.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Multi Software Product Lines in the Wild.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

Interoperability of software product line variants.

[BibT_eX]

[DOI]

Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Same Same But Different: Interoperability of Software Product Line Variants.

[BibT_eX]

[DOI]

Proceedings of the Principled Software Development, 2018

2017

Static analysis of cloud elasticity.

[BibT_eX]

[DOI]

Abel Garcia

Cosimo Laneve

Sci. Comput. Program., 2017

Dynamic Rebinding for Concurrent Object Groups: Theory and practice.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

Abstraction Refinement for the Analysis of Software Product Lines.

[BibT_eX]

[DOI]

Reiner Hähnle

Proceedings of the Tests and Proofs - 11th International Conference, 2017

An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

A Formal Model for Multi SPLs.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

A Unified and Formal Programming Model for Deltas and Traits.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016

A framework for deadlock detection in core ABS.

[BibT_eX]

[DOI]

Elena Giachino

Cosimo Laneve

Softw. Syst. Model., 2016

Refactoring Delta-Oriented Product Lines to achieve Monotonicity.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 2016

Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

On Type Checking Delta-Oriented Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015

On the Integration of Automatic Deployment into the ABS Modeling Language.

[BibT_eX]

[DOI]

Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Automated synthesis and deployment of cloud applications.

[BibT_eX]

[DOI]

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

Fault Model Design Space for Cooperative Concurrency.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013

A Type System for Components.

[BibT_eX]

[DOI]

Ornela Dardha

Elena Giachino

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Deadlock Analysis of Concurrent Objects: Theory and Practice.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Concurrent Flexible Reversibility.

[BibT_eX]

[DOI]

Ivan Lanese

Claudio Antares Mezzina

Proceedings of the Programming Languages and Systems, 2013

Aeolus: Mastering the Complexity of Cloud Application Deployment.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing - Second European Conference, 2013

2012

Row types for delta-oriented programming.

[BibT_eX]

[DOI]

Dave Clarke

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

Conflict Detection in Delta-Oriented Programming.

[BibT_eX]

[DOI]

Dave Clarke

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

An Object Group-Based Component Model.

[BibT_eX]

[DOI]

Mario Bravetti

Davide Sangiorgi

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

A Reversible Abstract Machine and Its Space Overhead.

[BibT_eX]

[DOI]

Ivan Lanese

Claudio Antares Mezzina

Proceedings of the Formal Techniques for Distributed Systems, 2012

2011

HATS Abstract Behavioral Specification: The Architectural View.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

2010

Composants et Typage. (Components and Types).

[BibT_eX]

[DOI]

PhD thesis, 2010

A Component Model for the ABS Language.

[BibT_eX]

[DOI]

Arnd Poetzsch-Heffter

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

Typing Component-Based Communication Systems.

[BibT_eX]

[DOI]

Claudio Antares Mezzina

Proceedings of the Formal Techniques for Distributed Systems, 2009

2008

Typing communicating component assemblages.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2008

2007

Oz/K: a kernel language for component-based open programming.

[BibT_eX]

[DOI]