Krzysztof Czarnecki

According to our database1, Krzysztof Czarnecki authored at least 183 papers between 1996 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them.
Software and System Modeling, 2019

Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems.
Software and System Modeling, 2019

SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines.
Software and System Modeling, 2019

Clafer: Lightweight Modeling of Structure, Behaviour, and Variability.
Programming Journal, 2019

Software engineering for automated vehicles: addressing the needs of cars that run on software and data.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Urban Driving with Multi-Objective Deep Reinforcement Learning.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018
A fast time-frequency multi-window analysis using a tuning directional kernel.
Signal Processing, 2018

Data-efficient performance learning for configurable systems.
Empirical Software Engineering, 2018

Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving.
Proceedings of the Computer Safety, Reliability, and Security, 2018

Requirements Engineering in the Age of Societal-Scale Cyber-Physical Systems: The Case of Automated Driving.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

An Automated Vehicle Safety Concept Based on Runtime Restriction of the Operational Design Domain.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Unlimited Road-scene Synthetic Annotation (URSA) Dataset.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Learning-Sensitive Backdoors with Restarts.
Proceedings of the Principles and Practice of Constraint Programming, 2018

The Effect of Structural Measures and Merges on SAT Solver Performance.
Proceedings of the Principles and Practice of Constraint Programming, 2018

2017
Chirp Rate and Instantaneous Frequency Estimation: Application to Recursive Vertical Synchrosqueezing.
IEEE Signal Process. Lett., 2017

The shape of feature code: an analysis of twenty C-preprocessor-based systems.
Software and System Modeling, 2017

Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures.
J. Autom. Reasoning, 2017

Transferring Performance Prediction Models Across Different Hardware Platforms.
Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Synthesis and Exploration of Multi-level, Multi-perspective Architectures of Automotive Embedded Systems (SoSYM Abstract).
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Trajectory prediction of traffic agents at urban intersections through learned interactions.
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability.
Proceedings of the 54th Annual Design Automation Conference, 2017

A Worst-Case Analysis of Constraint-Based Algorithms for Exact Multi-objective Combinatorial Optimization.
Proceedings of the Advances in Artificial Intelligence, 2017

2016
Clafer: unifying class and feature modeling.
Software and System Modeling, 2016

A three-dimensional taxonomy for bidirectional model synchronization.
Journal of Systems and Software, 2016

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

Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures.
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016

The Problem of the Lack of Benefit of a Document to Its Producer (PotLoBoaDtiP).
Proceedings of the 2016 IEEE International Conference on Software Science, 2016

A mathematical model of performance-relevant feature interactions.
Proceedings of the 20th International Systems and Software Product Line Conference, 2016

Learning Rate Based Branching Heuristic for SAT Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Towards predicting feature defects in software product lines.
Proceedings of the 7th International Workshop on Feature-Oriented Software Development, 2016

Modeling and Reasoning with Multirelations, and their encoding in Alloy.
Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization.
Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016

MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures.
Proceedings of the Computer Algebra in Scientific Computing - 18th International Workshop, 2016

Exponential Recency Weighted Average Branching Heuristic for SAT Solvers.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Range Fixes: Interactive Error Resolution for Software Configuration.
IEEE Trans. Software Eng., 2015

Where Do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study.
IEEE Trans. Software Eng., 2015

Cloned product variants: from ad-hoc to managed software product lines.
STTT, 2015

A recommendation system for repairing violations detected by static architecture conformance checking.
Softw., Pract. Exper., 2015

Model synchronization based on triple graph grammars: correctness, completeness and invertibility.
Software and System Modeling, 2015

Empirical comparison of regression methods for variability-aware performance prediction.
Proceedings of the 19th International Conference on Software Product Line, 2015

SAT-based analysis of large real-world feature models is easy.
Proceedings of the 19th International Conference on Software Product Line, 2015

Maintaining feature traceability with embedded annotations.
Proceedings of the 19th International Conference on Software Product Line, 2015

Modeling aerospace systems product lines in SysML.
Proceedings of the 19th International Conference on Software Product Line, 2015

What is a feature?: a qualitative study of features in industrial software product lines.
Proceedings of the 19th International Conference on Software Product Line, 2015

SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Performance prediction upon toolchain migration in model-based software.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Performance Prediction of Configurable Software Systems by Fourier Learning (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Cost-Efficient Sampling for Performance Prediction of Configurable Systems (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.
Proceedings of the Hardware and Software: Verification and Testing, 2015

A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical.
Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers.
Proceedings of the Automated Deduction - CADE-25, 2015

Feature scattering in the large: a longitudinal study of Linux kernel device drivers.
Proceedings of the 14th International Conference on Modularity, 2015

2014
A case study on consistency management of business and IT process models in banking.
Software and System Modeling, 2014

Software language engineering (SLE '12).
Sci. Comput. Program., 2014

Efficient synthesis of feature models.
Information & Software Technology, 2014

Variability mechanisms in software ecosystems.
Information & Software Technology, 2014

Unifying Product and Software Configuration (Dagstuhl Seminar 14172).
Dagstuhl Reports, 2014

Comparison of exact and approximate multi-objective optimization for software product lines.
Proceedings of the 18th International Software Product Line Conference, 2014

A dataset of feature additions and feature removals from the Linux kernel.
Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

Three Cases of Feature-Based Variability Modeling in Industry.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Scaling exact multi-objective combinatorial optimization by parallelization.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Effects of using examples on structural model comprehension: a controlled experiment.
Proceedings of the 36th International Conference on Software Engineering, 2014

Mining configuration constraints: static analyses and empirical results.
Proceedings of the 36th International Conference on Software Engineering, 2014

Flexible product line engineering with a virtual platform.
Proceedings of the 36th International Conference on Software Engineering, 2014

Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization.
Proceedings of the Theory and Practice of Model Transformations, 2014

Does feature scattering follow power-law distributions?: an investigation of five pre-processor-based systems.
Proceedings of the Sixth International Workshop on Feature-Oriented Software Development, 2014

Optimizing Alloy for Multi-objective Software Product Line Configuration.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013
A Study of Variability Models and Languages in the Systems Software Domain.
IEEE Trans. Software Eng., 2013

Feature-oriented software evolution.
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

A survey of variability modeling in industrial practice.
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

A novel method of local chirp-rate estimation of LFM chirp signals in the time-frequency domain.
Proceedings of the 36th International Conference on Telecommunications and Signal Processing, 2013

SmartFixer: fixing software configurations based on dynamic priorities.
Proceedings of the 17th International Software Product Line Conference, 2013

Managing cloned variants: a framework and experience.
Proceedings of the 17th International Software Product Line Conference, 2013

Coevolution of variability models and related artifacts: a case study from the Linux kernel.
Proceedings of the 17th International Software Product Line Conference, 2013

Visualization and exploration of optimal variants in product line engineering.
Proceedings of the 17th International Software Product Line Conference, 2013

CVL: common variability language.
Proceedings of the 17th International Software Product Line Conference, 2013

Clafer tools for product line engineering.
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Partial Instances via Subclassing.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

Example-Driven Modeling using Clafer.
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.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Example-driven modeling: model = abstractions + examples.
Proceedings of the 35th International Conference on Software Engineering, 2013

Variability in Software: State of the Art and Future Directions - (Extended Abstract).
Proceedings of the Fundamental Approaches to Software Engineering, 2013

Supporting Different Process Views through a Shared Process Model.
Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013

An Exploratory Study of Cloning in Industrial Software Product Lines.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012
Two Studies of Framework-Usage Templates Extracted from Dynamic Traces.
IEEE Trans. Software Eng., 2012

Guest editorial to the special issue on MODELS 2008.
Software and System Modeling, 2012

A user survey of configuration challenges in Linux and eCos.
Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Cool features and tough decisions: a comparison of variability modeling approaches.
Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

CVL: common variability language.
Proceedings of the 16th International Software Product Line Conference, 2012

Efficient synthesis of feature models.
Proceedings of the 16th International Software Product Line Conference, 2012

Towards improving bug tracking systems with game mechanisms.
Proceedings of the 9th IEEE Working Conference of Mining Software Repositories, 2012

Usage scenarios for feature model synthesis.
Proceedings of the VARiability for You Workshop, 2012

VARY 2012: VARiability for You.
Proceedings of the VARiability for You Workshop, 2012

Matching Business Process Workflows across Abstraction Levels.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

Modelling the 'Hurried' bug report reading process to summarize bug reports.
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Generating range fixes for software configuration.
Proceedings of the 34th International Conference on Software Engineering, 2012

Towards a catalog of variability evolution patterns: the Linux kernel case.
Proceedings of the 4th International Workshop on Feature-Oriented Software Development, 2012

Intermodeling, Queries, and Kleisli Categories.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

Recommending Refactorings to Reverse Software Architecture Erosion.
Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012

Unifying Software, Product Configuration: A Research Roadmap.
Proceedings of the Workshop on Configuration at ECAI 2012, 2012

2011
From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case.
Journal of Object Technology, 2011

Feature-Oriented Software Development (FOSD) (Dagstuhl Seminar 11021).
Dagstuhl Reports, 2011

A study of non-Boolean constraints in variability models of an embedded operating system.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Designing Variability Modeling Languages.
Proceedings of the Software Language Engineering - 4th International Conference, 2011

Logical structure extraction from software requirements documents.
Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

Correctness of Model Synchronization Based on Triple Graph Grammars.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Understanding Variability Abstraction and Realization.
Proceedings of the Top Productivity through Software Reuse, 2011

Reverse engineering feature models.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
The Variability Model of The Linux Kernel.
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Variability Modeling: State of the Art and Future Directions.
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Evolution of the Linux Kernel Variability Model.
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Feature-to-Code Mapping in Two Large Product Lines.
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled.
Proceedings of the Software Language Engineering - Third International Conference, 2010

Requirements Determination is Unstoppable: An Experience Report.
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Specifying overlaps of heterogeneous models for global consistency checking.
Proceedings of the First International Workshop on Model-Driven Interoperability, 2010

Specifying Overlaps of Heterogeneous Models for Global Consistency Checking.
Proceedings of the Models in Software Engineering, 2010

Variability modeling in the real: a perspective from the operating systems domain.
Proceedings of the ASE 2010, 2010

Swing to SWT and back: Patterns for API migration by wrapping.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

From State- to Delta-Based Bidirectional Model Transformations.
Proceedings of the Theory and Practice of Model Transformations, 2010

Effective collaboration and consistency management in business process modeling.
Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

2009
Engineering of Framework-Specific Modeling Languages.
IEEE Trans. Software Eng., 2009

Fast extraction of high-quality framework-specific models from application code.
Autom. Softw. Eng., 2009

SAT-based analysis of feature models is easy.
Proceedings of the Software Product Lines, 13th International Conference, 2009

Study of an API Migration for Two XML APIs.
Proceedings of the Software Language Engineering, Second International Conference, 2009

Bidirectional Transformations: A Cross-Discipline Perspective.
Proceedings of the Theory and Practice of Model Transformations, 2009

Supporting Framework Use via Automatically Extracted Concept-Implementation Templates.
Proceedings of the ECOOP 2009, 2009

Bridging the business-IT divide using BPM: challenges and opportunities.
Proceedings of the 2009 conference of the Centre for Advanced Studies on Collaborative Research, 2009

2008
Sample Spaces and Feature Models: There and Back Again.
Proceedings of the Software Product Lines, 12th International Conference, 2008

Efficient compilation techniques for large scale feature models.
Proceedings of the Generative Programming and Component Engineering, 2008

2007
Feature Diagrams and Logics: There and Back Again.
Proceedings of the Software Product Lines, 11th International Conference, 2007

Mining implementation recipes of framework-provided concepts in dynamic framework API interaction traces.
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Comprehending implementation recipes of framework-provided concepts through dynamic analysis.
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Guided Development with Multiple Domain-Specific Languages.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

Software reuse and evolution with generative techniques.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Automatic extraction of framework-specific models from framework-based application code.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Design Space of Heterogeneous Synchronization.
Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007

Automated Model-Based Configuration of Enterprise Java Applications.
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

2006
Feature-based survey of model transformation approaches.
IBM Systems Journal, 2006

Multi-level customization in application engineering.
Commun. ACM, 2006

Feature Models are Views on Ontologies.
Proceedings of the Software Product Lines, 10th International Conference, 2006

Tutorial on Generative Software Development.
Proceedings of the Software Product Lines, 10th International Conference, 2006

Towards a framework for collaborative and coordinated product configuration.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Towards a framework for collaborative and coordinated product configuration.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Round-trip engineering of eclipse plug-ins using eclipse workbench part interaction FSML.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Framework-Specific Modeling Languages with Round-Trip Engineering.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

Verifying feature-based model templates against well-formedness OCL constraints.
Proceedings of the Generative Programming and Component Engineering, 2006

2005
Staged configuration through specialization and multilevel configuration of feature models.
Software Process: Improvement and Practice, 2005

Formalizing cardinality-based feature models and their specialization.
Software Process: Improvement and Practice, 2005

Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME'2005).
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

fmp and fmp2rsm: eclipse plug-ins for modeling features using model templates.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Model-driven software product lines.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Mapping Features to Models: A Template Approach Based on Superimposed Variants.
Proceedings of the Generative Programming and Component Engineering, 2005

Synchronizing Cardinality-Based Feature Models and Their Specializations.
Proceedings of the Model Driven Architecture, 2005

2004
Overview of Generative Software Development.
Proceedings of the Unconventional Programming Paradigms, 2004

Staged Configuration Using Feature Models.
Proceedings of the Software Product Lines, Third International Conference, 2004

Generative Software Development.
Proceedings of the Software Product Lines, Third International Conference, 2004

Evolution and Reuse of Language Specifications for DSLs (ERLS).
Proceedings of the Object-Oriented Technology: ECOOP 2004 Workshop Reader, 2004

FeaturePlugin: feature modeling plug-in for Eclipse.
Proceedings of the 2004 OOPSLA workshop on Eclipse Technology eXchange, 2004

04101 Discussion - A Taxonomy of Model Transformations.
Proceedings of the Language Engineering for Model-Driven Software Development, 29. February, 2004

2003
DSL Implementation in MetaOCaml, Template Haskell, and C++.
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

2002
Generative Programming: Methods, Techniques, and Applications.
Proceedings of the Software Reuse: Methods, 2002

Generative Programming for Embedded Software: An Industrial Experience Report.
Proceedings of the Generative Programming and Component Engineering, 2002

Generative Programming.
Proceedings of the Object-Oriented Technology, 2002

DataFAN: A Practical Approach to Data Flow Analysis for Ada 95.
Proceedings of the Reliable Software Technologies, 2002

2001
Generative Programming and Software System Families.
Proceedings of the Semantics, 2001

Generative Techniques for Product Lines.
Proceedings of the 23rd International Conference on Software Engineering, 2001

Generative Programming.
Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001

2000
Generative programming - methods, tools and applications.
Addison-Wesley, ISBN: 978-0-201-30977-5, 2000

1999
Generative programming - principles and techniques of software engineering based on automated configuration and fragment-based component models.
PhD thesis, 1999

Components and Generative Programming.
Proceedings of the Software Engineering, 1999

Challenges to Object-Oriented Reuse.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Synthesizing Objects.
Proceedings of the ECOOP'99, 1999

1998
Generative Programming and Active Libraries.
Proceedings of the Generic Programming, 1998

1997
A Model for Structuring User Documentation of Object-Oriented Frameworks Using Patterns and Hypertext.
Proceedings of the ECOOP'97, 1997

1996
ClassExpert: a knowledge-based assistant to support reuse by specialization and modification in Smalltalk.
Proceedings of Fourth IEEE International Conference on Software Reuse, 1996


  Loading...