Andrzej Wąsowski

ORCID: 0000-0003-0532-2685
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Advanced Software Engineering Methodologies
  • Model-Driven Software Engineering Techniques
  • Formal Methods in Verification
  • Software Engineering Research
  • Service-Oriented Architecture and Web Services
  • Software Testing and Debugging Techniques
  • Logic, programming, and type systems
  • Software System Performance and Reliability
  • Software Reliability and Analysis Research
  • Business Process Modeling and Analysis
  • Software Engineering Techniques and Practices
  • Open Source Software Innovations
  • Real-Time Systems Scheduling
  • Advanced Malware Detection Techniques
  • Privacy-Preserving Technologies in Data
  • Security and Verification in Computing
  • Simulation Techniques and Applications
  • Petri Nets in System Modeling
  • Internet Traffic Analysis and Secure E-voting
  • Fault Detection and Control Systems
  • Logic, Reasoning, and Knowledge
  • Modular Robots and Swarm Intelligence
  • Distributed systems and fault tolerance
  • Adversarial Robustness in Machine Learning
  • Scientific Computing and Data Management

IT University of Copenhagen
2015-2024

Quality Research
2021

Unitec Institute of Technology
2020

Universidad de Tecnología y Comercio
2020

Center Technological University
2020

Corporación Universitaria Unitec
2020

Central American Technological University
2020

Technological University of Mexico
2020

Université Côte d'Azur
2013

Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis
2013

Over more than two decades, numerous variability modeling techniques have been introduced in academia and industry. However, little is known about the actual use of these techniques. While dozens experience reports on software product line engineering exist, only very few focus modeling. This lack empirical data threatens validity existing techniques, hinders their improvement. As part our effort to improve understanding modeling, we present results a survey questionnaire distributed...

10.1145/2430502.2430513 article EN 2013-01-23

Variability modeling is essential for defining and managing the commonalities variabilities in software product lines. Numerous variability approaches exist today to support domain application engineering activities. Most are based on feature (FM) or decision (DM), but so far no systematic comparison exists between these two classes of approaches. Over last decades many new features have been added both FM DM it tough decide which approach use what purpose. This paper clarifies relation DM....

10.1145/2110147.2110167 article EN 2012-01-25

Feature models describe the common and variable characteristics of a product line. Their advantages are well recognized in line methods. Unfortunately, creating feature model for an existing project is time-consuming requires substantial effort from modeler.

10.1145/1985793.1985856 article EN 2011-05-21

Feature modeling is a notation and an approach for commonality variability in product families. In their basic form, feature models contain mandatory/optional features, groups, implies excludes relationships. It known that such can be translated into propositional formulas, which enables the analysis configuration using existing logic- based tools. this paper, we consider opposite translation problem, is, extraction of from formulas. We give automatic efficient procedure computing model...

10.1109/splc.2007.19 article EN Software Product Lines 2007-09-10

Feature models are a popular variability modeling notation used in product line engineering. Automated analyses of feature models, such as consistency checking and interactive or offline selection, often rely on translating to propositional logic using satisfiability (SAT) solvers.Efficiency individual satisfiability-based has been reported previously. We generalize quantify these studies with series independent experiments. show that previously efficiency is not incidental. Unlike the...

10.5555/1753235.1753267 article EN Software Product Lines 2009-08-24

Configurable software systems allow stakeholders to derive program variants by selecting features. Understanding the correlation between feature selections and performance is important for be able a variant that meets their requirements. A major challenge in practice accurately predict based on small sample of measured variants, especially when features interact. We propose variability-aware approach prediction via statistical learning. The works progressively with random samples, without...

10.1109/ase.2013.6693089 article EN 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) 2013-11-01

Variability models represent the common and variable features of products in a product line. Since introduction FODA 1990, several variability modeling languages have been proposed academia industry, followed by hundreds research papers on modeling. However, little is known about practical use such languages. We study constructs, semantics, usage, associated tools two languages, Kconfig CDL, which are independently developed outside used large significant software projects. analyze 128 found...

10.1109/tse.2013.34 article EN IEEE Transactions on Software Engineering 2013-07-31

A specification theory combines notions of specifications and implementations with a satisfaction relation, refinement relation set operators supporting stepwise design.We develop complete framework for real-time systems using Timed I/O Automata as the formalism, semantics expressed in terms Transition Systems.We provide constructs refinement, consistency checking, logical structural composition, quotient -all indispensable ingredients compositional design methodology.The is implemented on...

10.1145/1755952.1755967 article EN 2010-04-12

Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed academia industry; however, little is known about practical use such languages. We study compare constructs, semantics, usage tools two languages, Kconfig CDL. provide empirical evidence for real-world concepts from research. Since basis automated (feature dependency checkers configurators), we believe that our findings will be interest to...

10.1145/1858996.1859010 article EN 2010-09-20

Feature-sensitive verification pursues effective analysis of the exponentially many variants a program family. However, researchers lack examples concrete bugs induced by variability, occurring in real large-scale systems. Such collection is requirement for goal-oriented research, serving to evaluate tool implementations feature-sensitive analyses testing them on bugs. We present qualitative study 42 variability collected from bug-fixing commits Linux kernel repository. analyze each bugs,...

10.1145/2642937.2642990 article EN 2014-09-15

Autonomous robots combine skills to form increasingly complex behaviors, called missions. While are often programmed at a relatively low abstraction level, their coordination is architecturally separated and expressed in higher-level languages or frameworks. State machines have been the go-to language model behavior for decades, but recently, trees gained attention among roboticists. Originally designed autonomous actors computer games, offer an extensible tree-based representation of...

10.1109/tse.2023.3269081 article EN IEEE Transactions on Software Engineering 2023-04-21

Feature modeling is a notation and an approach for commonality variability in product families. In their basic form, feature models contain mandatory/optional features, groups, implies excludes relationships. It known that such can be translated into propositional formulas, which enables the analysis configuration using existing logic- based tools. this paper, we consider opposite translation problem, is, extraction of from formulas. We give automatic efficient procedure computing model...

10.1109/spline.2007.24 article EN 2007-09-01

Feature modeling is used in generative programming and software product-line engineering to capture the common variable properties of programs within an application domain. The translation feature models propositional logics enabled use reasoning systems, such as BDD engines, for analysis transformation interactive configurations. Unfortunately, size a structure highly sensitive ordering its construction inappropriately chosen may prevent model into representation tractable size. Finding...

10.1145/1449913.1449918 article EN 2008-10-19

We present probabilistic feature models (PFMs) and illustrate their use by discussing modeling, mining interactive configuration. PFMs are formalized as a set of formulas in certain logic. Such can express both hard soft constraints have well defined semantics denoting joint probability distributions over features. show how be mined from given configurations using data techniques. Finally, we demonstrate used configuration order to provide automated support for choice propagation based on...

10.1109/splc.2008.49 article EN 2008-09-01

Cloning is widely used for creating new product variants. While it has low adoption costs, often leads to maintenance problems. Long term reliance on cloning discouraged in favor of systematic reuse offered by line engineering (PLE) with a central platform integrating all reusable assets. Unfortunately, adopting an integrated requires risky and costly migration. However, industrial experience shows that some benefits can be achieved properly managing set cloned

10.1145/2591062.2591126 article EN 2014-05-20

The tutorial will present the outcome of work done by Joint Submission Team against Request For Proposals for a Common Variability Language issued OMG (Object Management Group). language and experiments some consortium members on tools supporting preliminary CVL.

10.1145/2364412.2364462 article EN 2012-09-02
Coming Soon ...