Krzysztof Czarnecki

ORCID: 0000-0003-1642-1101
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Advanced Software Engineering Methodologies
  • Model-Driven Software Engineering Techniques
  • Software Engineering Research
  • Service-Oriented Architecture and Web Services
  • Autonomous Vehicle Technology and Safety
  • Software System Performance and Reliability
  • Adversarial Robustness in Machine Learning
  • Advanced Neural Network Applications
  • Formal Methods in Verification
  • Business Process Modeling and Analysis
  • Anomaly Detection Techniques and Applications
  • Software Engineering Techniques and Practices
  • Software Reliability and Analysis Research
  • Safety Systems Engineering in Autonomy
  • Logic, programming, and type systems
  • Robotics and Sensor-Based Localization
  • Semantic Web and Ontologies
  • Software Testing and Debugging Techniques
  • Traffic control and management
  • Human-Automation Interaction and Safety
  • Constraint Satisfaction and Optimization
  • Video Surveillance and Tracking Methods
  • Traffic and Road Safety
  • Reinforcement Learning in Robotics
  • Simulation Techniques and Applications

University of Waterloo
2016-2025

University of Toronto
2025

Warsaw University of Technology
1985-2016

University of L'Aquila
2016

Korporacja Wschód (Poland)
2014

IT University of Copenhagen
2014

Daimler (Germany)
1997-2005

Association for Computing Machinery
2003

Daimler (United States)
2002

Model transformations are touted to play a key role in Driven Development™. Although well-established standards for creating metamodels such as the Meta-Object Facility exist, there is currently no mature foundation specifying among models. We propose framework classification of several existing and proposed model transformation approaches. The given feature that makes explicit different design choices transformations. Based on our analysis approaches, we few major categories which most...

10.1147/sj.453.0621 article EN IBM Systems Journal 2006-01-01

Abstract Feature modeling is an important approach to capture the commonalities and variabilities in system families product lines. Cardinality‐based feature integrates a number of existing extensions original feature‐modeling notation from Feature‐Oriented Domain Analysis. Staged configuration process that allows incremental cardinality‐based models. It can be achieved by performing step‐wise specialization model. In this article, we argue models interpreted as special class context‐free...

10.1002/spip.213 article EN Software Process Improvement and Practice 2005-01-01

Abstract Feature modeling is a key technique for capturing commonalities and variabilities in system families product lines. In this article, we propose cardinality‐based notation feature modeling, which integrates number of existing extensions previous approaches. We then introduce motivate the novel concept staged configuration. Staged configuration can be achieved by stepwise specialization models or multilevel configuration, where choices available each stage are defined separate models....

10.1002/spip.225 article EN Software Process Improvement and Practice 2005-04-01

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

Many companies develop software product lines-collections of similar products-by cloning and adapting artifacts existing variants. Transforming such cloned variants into a "single-copy" line representation is considered an important re-engineering activity, as reflected in numerous tools methodologies available. However, development practices that use to implement lines have not been systematically studied. This lack empirical knowledge threatens the validity applicability approaches...

10.1109/csmr.2013.13 article EN 2013-03-01

The Canadian Adverse Driving Conditions (CADC) dataset was collected with the Autonomoose autonomous vehicle platform, based on a modified Lincoln MKZ. dataset, during winter within Region of Waterloo, Canada, is first driving that focuses adverse conditions specifically. It contains 7,000 frames annotated data from 8 cameras (Ximea MQ013CG-E2), lidar (VLP-32C), and GNSS+INS system (Novatel OEM638), through variety weather conditions. sensors are time synchronized calibrated intrinsic...

10.1177/0278364920979368 article EN The International Journal of Robotics Research 2020-12-27

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-based model templates have been recently proposed as a approach for modeling software product lines. Unfortunately, are notoriously prone to errors that may go unnoticed long time. This is because such an error usually exhibited some configurations only, and testing all typically not feasible in practice. In this paper, we present automated verification procedure ensuring no ill-structured template instance will be generated from correct configuration. We the formal underpinnings of...

10.1145/1173706.1173738 article EN 2006-10-22

Feature modeling is a key technique used in product-line development to model commonalities and variabilities of members. In this paper, we present FeaturePlugin, feature plug-in for Eclipse. The tool supports cardinality-based modeling, specialization diagrams, configuration based on diagrams.

10.1145/1066129.1066143 article EN 2004-01-01

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

Feature modeling has been proposed as an approach for describing variable requirements software product lines. In this paper, we explore the relationship between feature models and ontologies. First, examine how previous extensions to basic move it closer richer formalisms specifying ontologies such MOF OWL. Then, idea of views on Based that idea, propose two approaches combined use ontologies: view derivation integration. Finally, give some ideas about tool support these approaches.

10.1109/spline.2006.1691576 article EN 2006-09-22

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
Coming Soon ...