Travelled to:1 × Australia
1 × Belgium
1 × Brazil
1 × Canada
1 × Finland
1 × Hungary
1 × Ireland
1 × New Zealand
1 × Romania
1 × South Korea
1 × Sweden
1 × United Kingdom
17 × USA
2 × Austria
2 × Estonia
2 × France
2 × India
2 × Japan
2 × Spain
2 × The Netherlands
3 × Germany
3 × Portugal
3 × Switzerland
9 × Italy
Collaborated with:A.Wasowski M.Antkiewicz ∅ Z.Diskin U.W.Eisenecker T.Berger S.She J.Guo Y.Xiong R.Lotufo L.T.Passos C.H.P.Kim J.Rubin D.Rayside V.Ganesh R.Lämmel K.Bak T.S.E.Maibaum T.T.Bartolomei M.Chechik T.T.Bartolomei M.Mendonça S.Apel J.P.Gaeta K.Pietroszek E.Zulkoski D.Zayan H.Ehrig F.Hermann F.Orejas N.Siegmund J.M.Küster H.Völzer M.C.Branco R.Olaechea S.Fischmeister J.H.Liang P.Valov Ø.Haugen Z.Malik R.Rauf A.Heydarnoori A.Hessellund K.T.Kalleberg S.Helsen M.Meusel W.Köpf J.M.Atlee M.Becker W.Ji J.H.(.Liang V.Raman A.Wider H.Gholizadeh S.Nadi C.Kästner A.Murashkin R.Terra M.T.Valente R.d.S.Bigonha A.Hubaux N.Andersen D.M.Berry M.AbdelRazik T.v.d.Storm D.D.Cowan T.Bednasch P.Unger G.Butler D.S.Batory Y.Zhang E.Blais R.Eramo A.Pierantonio A.Ketata C.Moreno C.Favre J.Troya M.Himsolt E.Richter F.Vieweg A.Rosskopf A.Sarkar M.Famelis R.Salay Z.Newsham W.Lindsay D.Nair R.Rublack Y.Dubinsky S.Duszynski L.Teixeira P.Borba B.Wang H.Zhao W.Zhang J.N.Foster Z.Hu A.Schürr J.F.Terwilliger J.White D.C.Schmidt C.Wienands G.Lenz E.Wuchner L.Fiege D.Lettner P.Grünbacher A.Silva S.Gottmann T.Engel
Talks about:model (37) featur (20) softwar (16) base (15) variabl (10) product (8) generat (8) line (8) configur (7) system (7)
♂ Person: Krzysztof Czarnecki
DBLP: Czarnecki:Krzysztof
Facilitated 29 volumes:
PrCo
PrCo
SCoPrCoSCo
EdPrCoPrBoardSCo
ExpertReviewPaPrBoardPrCoSCoEdPrChPrBoardPrCoPrCoPrCo
EdPrCoEdEd
SciCo
EdEdPrCoContributed to:
2015
20152015
2015201520142014
2014
2014201420142013
20132013
2013201320132013201220122012
20122012201220122011201120112015
201120112010201020112010201020102010
2009200920092009200820082007
2007200720072007200620062006200520052004
20022002200120011999
19991997201520172016Wrote 81 papers:
- CADE-2015-ZulkoskiGC #algebra #named #satisfiability
- MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers (EZ, VG, KC), pp. 607–622.
- ECMFA-2015-DiskinMC #category theory #imperative #model management #visual notation
- A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical (ZD, TSEM, KC), pp. 154–170.
- MoDELS-2015-KetataMFLC #migration #modelling #performance #predict
- Performance prediction upon toolchain migration in model-based software (AK, CM, SF, JHL, KC), pp. 302–311.
- SAT-2015-NewshamLGLFC #evolution #named #satisfiability #visualisation
- SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers (ZN, WL, VG, JHL, SF, KC), pp. 62–70.
- SPLC-2015-BergerLRGS0CC #industrial #product line #what
- What is a feature?: a qualitative study of features in industrial software product lines (TB, DL, JR, PG, AS, MB, MC, KC), pp. 16–25.
- SPLC-2015-GaetaC #modelling #product line
- Modeling aerospace systems product lines in SysML (JPG, KC), pp. 293–302.
- SPLC-2015-JiBAC #embedded #maintenance #traceability
- Maintaining feature traceability with embedded annotations (WJ, TB, MA, KC), pp. 61–70.
- SPLC-2015-LiangGCR #analysis #feature model #modelling #satisfiability #scalability
- SAT-based analysis of large real-world feature models is easy (JH(L, VG, KC, VR), pp. 91–100.
- SPLC-2015-ValovGC #comparison #empirical #performance #predict #variability
- Empirical comparison of regression methods for variability-aware performance prediction (PV, JG, KC), pp. 186–190.
- ASE-2014-GuoZORCAA #combinator #optimisation #parallel #scalability
- Scaling exact multi-objective combinatorial optimization by parallelization (JG, EZ, RO, DR, KC, SA, JMA), pp. 409–420.
- ICMT-2014-DiskinWGC #symmetry #taxonomy #towards
- Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization (ZD, AW, HG, KC), pp. 57–73.
- ICSE-2014-NadiBKC #analysis #constraints #empirical #mining
- Mining configuration constraints: static analyses and empirical results (SN, TB, CK, KC), pp. 140–151.
- ICSE-2014-ZayanAC #comprehension #empirical #using
- Effects of using examples on structural model comprehension: a controlled experiment (DZ, MA, KC), pp. 955–966.
- MSR-2014-PassosC #dataset #feature model #kernel #linux
- A dataset of feature additions and feature removals from the Linux kernel (LTP, KC), pp. 376–379.
- MoDELS-2014-BergerNRACW #industrial #modelling #variability
- Three Cases of Feature-Based Variability Modeling in Industry (TB, DN, RR, JMA, KC, AW), pp. 302–319.
- SPLC-2014-OlaecheaRGC #approximate #comparison #multi #optimisation #product line
- Comparison of exact and approximate multi-objective optimization for software product lines (RO, DR, JG, KC), pp. 92–101.
- ASE-2013-GuoCASW #approach #learning #performance #predict #statistics #variability
- Variability-aware performance prediction: A statistical learning approach (JG, KC, SA, NS, AW), pp. 301–311.
- CSMR-2013-DubinskyRBDBC #case study #industrial #product line
- An Exploratory Study of Cloning in Industrial Software Product Lines (YD, JR, TB, SD, MB, KC), pp. 25–34.
- ECMFA-2013-KusterVFBC #process
- Supporting Different Process Views through a Shared Process Model (JMK, HV, CF, MCB, KC), pp. 20–36.
- FASE-2013-Czarnecki #state of the art #variability
- Variability in Software: State of the Art and Future Directions — (KC), pp. 1–5.
- ICSE-2013-BakZCADWR #abstraction #modelling
- Example-driven modeling: model = abstractions + examples (KB, DZ, KC, MA, ZD, AW, DR), pp. 1273–1276.
- SLE-2013-BakDACW #subclass
- Partial Instances via Subclassing (KB, ZD, MA, KC, AW), pp. 344–364.
- SPLC-2013-HaugenWC #named #variability
- CVL: common variability language (ØH, AW, KC), p. 277.
- SPLC-2013-MurashkinARC #product line #visualisation
- Visualization and exploration of optimal variants in product line engineering (AM, MA, DR, KC), pp. 111–115.
- SPLC-2013-PassosGTCWB #case study #kernel #linux #modelling #variability
- Coevolution of variability models and related artifacts: a case study from the Linux kernel (LTP, JG, LT, KC, AW, PB), pp. 91–100.
- SPLC-2013-RubinCC #experience #framework
- Managing cloned variants: a framework and experience (JR, KC, MC), pp. 101–110.
- SPLC-2013-WangPXCZ0 #named
- SmartFixer: fixing software configurations based on dynamic priorities (BW, LTP, YX, KC, HZ, WZ), pp. 82–90.
- CSMR-2012-TerraVCB #architecture #recommendation #refactoring
- Recommending Refactorings to Reverse Software Architecture Erosion (RT, MTV, KC, RdSB), pp. 335–340.
- FASE-2012-DiskinMC #category theory #query
- Intermodeling, Queries, and Kleisli Categories (ZD, TSEM, KC), pp. 163–177.
- ICSE-2012-XiongHSC #generative
- Generating range fixes for software configuration (YX, AH, SS, KC), pp. 58–68.
- ICSM-2012-LotufoMC #debugging #modelling #process
- Modelling the “Hurried” bug report reading process to summarize bug reports (RL, ZM, KC), pp. 430–439.
- MSR-2012-LotufoPC #debugging #game studies #towards
- Towards improving bug tracking systems with game mechanisms (RL, LTP, KC), pp. 2–11.
- MoDELS-2012-BrancoTCKV #abstraction #process #workflow
- Matching Business Process Workflows across Abstraction Levels (MCB, JT, KC, JMK, HV), pp. 626–641.
- SPLC-2012-AndersenCSW #feature model #modelling #performance #synthesis
- Efficient synthesis of feature models (NA, KC, SS, AW), pp. 106–115.
- BX-2011-Czarnecki #theory and practice
- Model Synchronization: Theory and Practice (KC), p. 52.
- ICSE-2011-SheLBWC #feature model #modelling #reverse engineering
- Reverse engineering feature models (SS, RL, TB, AW, KC), pp. 461–470.
- MoDELS-2011-DiskinXCEHO #bidirectional #model transformation #symmetry
- From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case (ZD, YX, KC, HE, FH, FO), pp. 304–318.
- MoDELS-2011-HermannEOCDX #correctness #graph grammar
- Correctness of Model Synchronization Based on Triple Graph Grammars (FH, HE, FO, KC, ZD, YX), pp. 668–682.
- MoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar
- Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.
- RE-2011-RaufAC #documentation #logic #requirements
- Logical structure extraction from software requirements documents (RR, MA, KC), pp. 101–110.
- SLE-2011-Czarnecki #design #modelling #variability
- Designing Variability Modeling Languages (KC), p. 222.
- ASE-2010-BergerSLWC #modelling #operating system #variability
- Variability modeling in the real: a perspective from the operating systems domain (TB, SS, RL, AW, KC), pp. 73–82.
- ICMT-2010-DiskinXC #bidirectional #model transformation
- From State- to Delta-Based Bidirectional Model Transformations (ZD, YX, KC), pp. 61–76.
- ICMT-J-2010-DiskinXC11 #bidirectional #model transformation #symmetry
- From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case (ZD, YX, KC), pp. 137–161.
- ICSM-2010-TonelliKR #api #migration
- Swing to SWT and back: Patterns for API migration by wrapping (TTB, KC, RL), pp. 1–10.
- RE-2010-BerryCAA #case study #experience #requirements
- Requirements Determination is Unstoppable: An Experience Report (DMB, KC, MA, MA), pp. 311–316.
- SLE-2010-BakCW #metamodelling
- Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled (KB, KC, AW), pp. 102–122.
- SPLC-2010-BergerSLCW #product line #scalability
- Feature-to-Code Mapping in Two Large Product Lines (TB, SS, RL, KC, AW), pp. 498–499.
- SPLC-2010-LotufoSBCW #evolution #kernel #linux #variability
- Evolution of the Linux Kernel Variability Model (RL, SS, TB, KC, AW), pp. 136–150.
- ECOOP-2009-HeydarnooriCB #automation #concept #framework
- Supporting Framework Use via Automatically Extracted Concept-Implementation Templates (AH, KC, TTB), pp. 344–368.
- ICMT-2009-CzarneckiFHLST #bidirectional #perspective
- Bidirectional Transformations: A Cross-Discipline Perspective (KC, JNF, ZH, RL, AS, JFT), pp. 260–283.
- SLE-2009-BartolomeiCLS #api #migration #xml
- Study of an API Migration for Two XML APIs (TTB, KC, RL, TvdS), pp. 42–61.
- SPLC-2009-MendoncaWC #analysis #feature model #modelling #satisfiability
- SAT-based analysis of feature models is easy (MM, AW, KC), pp. 231–240.
- GPCE-2008-MendoncaWCC #compilation #feature model #modelling #performance #scalability
- Efficient compilation techniques for large scale feature models (MM, AW, KC, DDC), pp. 13–22.
- SPLC-2008-CzarneckiSW #feature model #modelling
- Sample Spaces and Feature Models: There and Back Again (KC, SS, AW), pp. 22–31.
- ASE-2007-AntkiewiczBC #automation #modelling
- Automatic extraction of framework-specific models from framework-based application code (MA, TTB, KC), pp. 214–223.
- ASE-2007-Czarnecki #evolution #generative #reuse
- Software reuse and evolution with generative techniques (KC), p. 575.
- EDOC-2007-WhiteSCWLWF #automation #enterprise #java #modelling
- Automated Model-Based Configuration of Enterprise Java Applications (JW, DCS, KC, CW, GL, EW, LF), pp. 301–312.
- GTTSE-2007-AntkiewiczC #design
- Design Space of Heterogeneous Synchronization (MA, KC), pp. 3–46.
- MoDELS-2007-HessellundCW #development #domain-specific language #multi
- Guided Development with Multiple Domain-Specific Languages (AH, KC, AW), pp. 46–60.
- SPLC-2007-CzarneckiW #diagrams #feature model #logic
- Feature Diagrams and Logics: There and Back Again (KC, AW), pp. 23–34.
- GPCE-2006-CzarneckiP #constraints #ocl #verification
- Verifying feature-based model templates against well-formedness OCL constraints (KC, KP), pp. 211–220.
- MoDELS-2006-AntkiewiczC #modelling
- Framework-Specific Modeling Languages with Round-Trip Engineering (MA, KC), pp. 692–706.
- SPLC-2006-Czarnecki #development #generative #tutorial
- Tutorial on Generative Software Development (KC), p. 227.
- SPLC-2006-CzarneckiKK #feature model #modelling #ontology
- Feature Models are Views on Ontologies (KC, CHPK, KTK), pp. 41–51.
- ECMDA-FA-2005-HwanKC #feature model #modelling
- Synchronizing Cardinality-Based Feature Models and Their Specializations (CHPK, KC), pp. 331–348.
- GPCE-2005-CzarneckiA #approach #modelling
- Mapping Features to Models: A Template Approach Based on Superimposed Variants (KC, MA), pp. 422–437.
- SPLC-2004-Czarnecki #development #generative
- Generative Software Development (KC), p. 321.
- SPLC-2004-CzarneckiHE #feature model #modelling #staged #using
- Staged Configuration Using Feature Models (KC, SH, UWE), pp. 266–283.
- AdaEurope-2002-CzarneckiHRVR #ada #analysis #approach #data flow #named
- DataFAN: A Practical Approach to Data Flow Analysis for Ada 95 (KC, MH, ER, FV, AR), pp. 231–244.
- GPCE-2002-CzarneckiBUE #case study #embedded #experience #generative #industrial #programming
- Generative Programming for Embedded Software: An Industrial Experience Report (KC, TB, PU, UWE), pp. 156–172.
- ICSE-2001-ButlerBCE #generative #product line
- Generative Techniques for Product Lines (GB, DSB, KC, UWE), pp. 760–761.
- SAIG-2001-Czarnecki #generative #product line #programming
- Generative Programming and Software System Families (KC), p. 1.
- ECOOP-1999-CzarneckiE
- Synthesizing Objects (KC, UWE), pp. 18–42.
- ESEC-FSE-1999-CzarneckiE #component #generative #programming
- Components and Generative Programming (KC, UWE), pp. 2–19.
- ECOOP-1997-MeuselCK #documentation #framework #hypermedia #object-oriented #using
- A Model for Structuring User Documentation of Object-Oriented Frameworks Using Patterns and Hypertext (MM, KC, WK), pp. 496–510.
- ASE-2015-SarkarGSAC #configuration management #low cost #performance #predict
- Cost-Efficient Sampling for Performance Prediction of Configurable Systems (T) (AS, JG, NS, SA, KC), pp. 342–352.
- ASE-2015-ZhangGBC #configuration management #fourier #learning #performance #predict
- Performance Prediction of Configurable Software Systems by Fourier Learning (T) (YZ, JG, EB, KC), pp. 365–373.
- MoDELS-2017-FamelisRCSC #design #nondeterminism #product line #reasoning #variability
- Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty (MF, JR, KC, RS, MC), pp. 93–100.
- BX-2016-DiskinEPC #bidirectional #formal method #model transformation #nondeterminism
- Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization (ZD, RE, AP, KC), pp. 15–31.