| 2026 | WACV | Mitigating the Modality Gap: Few-Shot Out-of-Distribution Detection with Multi-modal Prototypes and Image Bias Estimation. | Yimu Wang, Evelien Riddell, Adrian Chow, Sean Sedwards, Krzysztof Czarnecki |
| 2025 | EMNLP | LEO-MINI: An Efficient Multimodal Large Language Model using Conditional Token Reduction and Mixture of Multi-Modal Experts. | Yimu Wang, Mozhgan Nasr Azadani, Sean Sedwards, Krzysztof Czarnecki |
| 2025 | ICCV | OV-SCAN: Semantically Consistent Alignment for Novel Object Discovery in Open-Vocabulary 3D Object Detection. | Adrian Chow, Evelien Riddell, Yimu Wang, Sean Sedwards, Krzysztof Czarnecki |
| 2025 | ICRA | MFSeg: Efficient Multi-Frame 3D Semantic Segmentation. | Chengjie Huang, Krzysztof Czarnecki |
| 2025 | WACV | VADet: Multi-Frame LiDAR 3D Object Detection Using Variable Aggregation. | Chengjie Huang, Vahdat Abdelzad, Sean Sedwards, Krzysztof Czarnecki |
| 2025 | WACV | Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance. | Huakun Shen, Boyue Caroline Hu, Krzysztof Czarnecki, Lina Marsso, Marsha Chechik |
| 2025 | WACV | AiDe: Improving 3D Open-Vocabulary Semantic Segmentation by Aligned Vision-Language Learning. | Yimu Wang, Krzysztof Czarnecki |
| 2024 | WACV | SOAP: Cross-sensor Domain Adaptation for 3D Object Detection Using Stationary Object Aggregation Pseudo-labelling. | Chengjie Huang, Vahdat Abdelzad, Sean Sedwards, Krzysztof Czarnecki |
| 2024 | WACV | Object Re-Identification from Point Clouds. | Benjamin Thrien, Chengjie Huang, Adrian Chow, Krzysztof Czarnecki |
| 2024 | SAFECOMP | Dual-Process System: An Architectural Pattern for Assurable Autonomous Robots Inspired by Dual-Process Theory. | Krzysztof Czarnecki |
| 2023 | CVPR | FJMP: Factorized Joint Multi-Agent Motion Prediction over Learned Directed Acyclic Interaction Graphs. | Luke Rowe, Martin Ethier, Eli-Henry Dykhne, Krzysztof Czarnecki |
| 2022 | AAAI | Generalized Dynamic Cognitive Hierarchy Models for Strategic Driving Behavior. | Atrisha Sarkar, Kate Larson, Krzysztof Czarnecki |
| 2022 | CoRL | SSL-Lanes: Self-Supervised Learning for Motion Forecasting in Autonomous Driving. | Prarthana Bhattacharyya, Chengjie Huang, Krzysztof Czarnecki |
| 2022 | ICRA | I Know You Can't See Me: Dynamic Occlusion-Aware Safety Validation of Strategic Planners for Autonomous Vehicles Using Hypergames. | Maximilian Kahn, Atrisha Sarkar, Krzysztof Czarnecki |
| 2022 | ICSE | If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components. | Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Rick Salay, Huakun Shen, Marsha Chechik |
| 2022 | ISSRE | What to Check: Systematic Selection of Transformations for Analyzing Reliability of Machine Vision Components. | Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Marsha Chechik |
| 2022 | SAFECOMP | A Safety Assurable Human-Inspired Perception Architecture. | Rick Salay, Krzysztof Czarnecki |
| 2021 | AAAI | Solution Concepts in Hierarchical Games Under Bounded Rationality With Applications to Autonomous Driving. | Atrisha Sarkar, Krzysztof Czarnecki |
| 2021 | IJCNN | Non-divergent Imitation for Verification of Complex Learned Controllers. | Vahdat Abdelzad, Jaeyoung Lee, Sean Sedwards, Soheil Soltani, Krzysztof Czarnecki |
| 2020 | AAAI | Simple Continual Learning Strategies for Safer Classifers. | Ashish Gaurav, Sachin Vernekar, Jaeyoung Lee, Vahdat Abdelzad, Krzysztof Czarnecki, Sean Sedwards |
| 2020 | AAAI | PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML. | Rick Salay, Krzysztof Czarnecki, Maria Soledad Elli, Ignacio J. Alvarez, Sean Sedwards, Jack Weast |
| 2020 | CHI | Keep Calm and Ride Along: Passenger Comfort and Anxiety as Physiological Responses to Autonomous Driving Styles. | Nicole Dillen, Marko Ilievski, Edith Law, Lennart E. Nacke, Krzysztof Czarnecki, Oliver Schneider |
| 2020 | IJCNN | Improved Policy Extraction via Online Q-Value Distillation. | Aman Jhunjhunwala, Jaeyoung Lee, Sean Sedwards, Vahdat Abdelzad, Krzysztof Czarnecki |
| 2020 | REFSQ | Requirements for Monitoring Inattention of the Responsible Human in an Autonomous Vehicle: The Recall and Precision Tradeoff. | Johnathan DiMatteo, Daniel M. Berry, Krzysztof Czarnecki |
| 2019 | CVPR | ProcSy: Procedural Synthetic Dataset Generation Towards Influence Factor Studies Of Semantic Segmentation Networks. | Samin Khan, Buu Phan, Rick Salay, Krzysztof Czarnecki |
| 2019 | IROS | A behavior driven approach for sampling rare event situations for autonomous vehicles. | Atrisha Sarkar, Krzysztof Czarnecki |
| 2019 | ICSE | Software engineering for automated vehicles: addressing the needs of cars that run on software and data. | Krzysztof Czarnecki |
| 2019 | ISSRE | A Safety Analysis Method for Perceptual Components in Automated Driving. | Rick Salay, Matt Angus, Krzysztof Czarnecki |
| 2019 | SAFECOMP | Bayesian Uncertainty Quantification with Synthetic Data. | Buu Phan, Samin Khan, Rick Salay, Krzysztof Czarnecki |
| 2019 | SAFECOMP | Improving ML Safety with Partial Specifications. | Rick Salay, Krzysztof Czarnecki |
| 2018 | CP | The Effect of Structural Measures and Merges on SAT Solver Performance. | Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh |
| 2018 | CP | Learning-Sensitive Backdoors with Restarts. | Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh |
| 2018 | IJCAI | An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate. | Jia Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh |
| 2018 | RE | Requirements Engineering in the Age of Societal-Scale Cyber-Physical Systems: The Case of Automated Driving. | Krzysztof Czarnecki |
| 2018 | SAFECOMP | Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving. | Krzysztof Czarnecki, Rick Salay |
| 2017 | AI | A Worst-Case Analysis of Constraint-Based Algorithms for Exact Multi-objective Combinatorial Optimization. | Jianmei Guo, Eric Blais, Krzysztof Czarnecki, Peter van Beek |
| 2017 | DAC | Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability. | Manish Chauhan, Rodolfo Pellizzoni, Krzysztof Czarnecki |
| 2017 | MODELS | Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty. | Michalis Famelis, Julia Rubin, Krzysztof Czarnecki, Rick Salay, Marsha Chechik |
| 2017 | MODELS | Synthesis and Exploration of Multi-level, Multi-perspective Architectures of Automotive Embedded Systems (SoSYM Abstract). | Jordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Michal Antkiewicz, Krzysztof Czarnecki |
| 2017 | SAT | An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate. | Jia Hui Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh |
| 2016 | AAAI | Exponential Recency Weighted Average Branching Heuristic for SAT Solvers. | Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki |
| 2016 | CASC | MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. | Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki |
| 2016 | IJCAI | MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. | Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki |
| 2016 | ISoLA | Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners. | Eldar Khalilov, Jordan A. Ross, Michal Antkiewicz, Markus Vlter, Krzysztof Czarnecki |
| 2016 | MODELS | Modeling and Reasoning with Multirelations, and their encoding in Alloy. | Peiyuan Sun, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki |
| 2016 | OOPSLA | Towards predicting feature defects in software product lines. | Rodrigo Queiroz, Thorsten Berger, Krzysztof Czarnecki |
| 2016 | SAT | Learning Rate Based Branching Heuristic for SAT Solvers. | Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki |
| 2016 | SPLC | A mathematical model of performance-relevant feature interactions. | Yi Zhang, Jianmei Guo, Eric Blais, Krzysztof Czarnecki, Huiqun Yu |
| 2016 | SYNASC | MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. | Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki |
| 2015 | CADE | MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. | Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki |
| 2015 | MODELS | Performance prediction upon toolchain migration in model-based software. | Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Hui Liang, Krzysztof Czarnecki |
| 2015 | SAT | SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. | Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki |
| 2015 | SPLC | What is a feature?: a qualitative study of features in industrial software product lines. | Thorsten Berger, Daniela Lettner, Julia Rubin, Paul Grnbacher, Adeline Silva, Martin Becker, Marsha Chechik, Krzysztof Czarnecki |
| 2015 | SPLC | Modeling aerospace systems product lines in SysML. | Jess Padilla Gaeta, Krzysztof Czarnecki |
| 2015 | SPLC | Maintaining feature traceability with embedded annotations. | Wenbin Ji, Thorsten Berger, Michal Antkiewicz, Krzysztof Czarnecki |
| 2015 | SPLC | SAT-based analysis of large real-world feature models is easy. | Jia Hui (Jimmy) Liang, Vijay Ganesh, Krzysztof Czarnecki, Venkatesh Raman |
| 2015 | SPLC | Empirical comparison of regression methods for variability-aware performance prediction. | Pavel Valov, Jianmei Guo, Krzysztof Czarnecki |
| 2014 | GPCE | Does feature scattering follow power-law distributions?: an investigation of five pre-processor-based systems. | Rodrigo Queiroz, Leonardo Teixeira Passos, Marco Tlio Valente, Sven Apel, Krzysztof Czarnecki |
| 2014 | ICSE | Flexible product line engineering with a virtual platform. | Michal Antkiewicz, Wenbin Ji, Thorsten Berger, Krzysztof Czarnecki, Thomas Schmorleiz, Ralf Lmmel, Stefan Stanciulescu, Andrzej Wasowski, Ina Schaefer |
| 2014 | ICSE | Mining configuration constraints: static analyses and empirical results. | Sarah Nadi, Thorsten Berger, Christian Kstner, Krzysztof Czarnecki |
| 2014 | ICSE | Effects of using examples on structural model comprehension: a controlled experiment. | Dina Zayan, Michal Antkiewicz, Krzysztof Czarnecki |
| 2014 | MODELS | Three Cases of Feature-Based Variability Modeling in Industry. | Thorsten Berger, Divya Nair, Ralf Rublack, Joanne M. Atlee, Krzysztof Czarnecki, Andrzej Wasowski |
| 2014 | MSR | A dataset of feature additions and feature removals from the Linux kernel. | Leonardo Teixeira Passos, Krzysztof Czarnecki |
| 2014 | SPLC | Comparison of exact and approximate multi-objective optimization for software product lines. | Rafael Olaechea, Derek Rayside, Jianmei Guo, Krzysztof Czarnecki |
| 2013 | FASE | Variability in Software: State of the Art and Future Directions - (Extended Abstract). | Krzysztof Czarnecki |
| 2013 | ICSE | Example-driven modeling: model = abstractions + examples. | Kacper Bak, Dina Zayan, Krzysztof Czarnecki, Michal Antkiewicz, Zinovy Diskin, Andrzej Wasowski, Derek Rayside |
| 2013 | MODELS | Example-Driven Modeling using Clafer. | Michal Antkiewicz, Kacper Bak, Krzysztof Czarnecki, Zinovy Diskin, Dina Zayan, Andrzej Wasowski |
| 2013 | SLE | Partial Instances via Subclassing. | Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski |
| 2013 | SPLC | Clafer tools for product line engineering. | Michal Antkiewicz, Kacper Bak, Alexandr Murashkin, Rafael Olaechea, Jia Hui (Jimmy) Liang, Krzysztof Czarnecki |
| 2013 | SPLC | CVL: common variability language. | ystein Haugen, Andrzej Wasowski, Krzysztof Czarnecki |
| 2013 | SPLC | Visualization and exploration of optimal variants in product line engineering. | Alexandr Murashkin, Michal Antkiewicz, Derek Rayside, Krzysztof Czarnecki |
| 2013 | SPLC | Coevolution of variability models and related artifacts: a case study from the Linux kernel. | Leonardo Teixeira Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wasowski, Paulo Borba |
| 2013 | SPLC | Managing cloned variants: a framework and experience. | Julia Rubin, Krzysztof Czarnecki, Marsha Chechik |
| 2013 | SPLC | SmartFixer: fixing software configurations based on dynamic priorities. | Bo Wang, Leonardo Teixeira Passos, Yingfei Xiong, Krzysztof Czarnecki, Haiyan Zhao, Wei Zhang |
| 2012 | FASE | Intermodeling, Queries, and Kleisli Categories. | Zinovy Diskin, T. S. E. Maibaum, Krzysztof Czarnecki |
| 2012 | GPCE | Towards a catalog of variability evolution patterns: the Linux kernel case. | Leonardo Teixeira Passos, Krzysztof Czarnecki, Andrzej Wasowski |
| 2012 | ICSE | Generating range fixes for software configuration. | Yingfei Xiong, Arnaud Hubaux, Steven She, Krzysztof Czarnecki |
| 2012 | MODELS | Matching Business Process Workflows across Abstraction Levels. | Moiss Castelo Branco, Javier Troya, Krzysztof Czarnecki, Jochen Malte Kster, Hagen Vlzer |
| 2012 | MODELS | VARY 2012: VARiability for You. | ystein Haugen, Jean-Marc Jzquel, Andrzej Wasowski, Birger Mller-Pedersen, Krzysztof Czarnecki |
| 2012 | MODELS | Modelling and multi-objective optimization of quality attributes in variability-rich software. | Rafael Olaechea, Steven T. Stewart, Krzysztof Czarnecki, Derek Rayside |
| 2012 | MODELS | Usage scenarios for feature model synthesis. | Steven She, Krzysztof Czarnecki, Andrzej Wasowski |
| 2012 | MSR | Towards improving bug tracking systems with game mechanisms. | Rafael Lotufo, Leonardo Teixeira Passos, Krzysztof Czarnecki |
| 2012 | SPLC | Efficient synthesis of feature models. | Nele Andersen, Krzysztof Czarnecki, Steven She, Andrzej Wasowski |
| 2012 | SPLC | CVL: common variability language. | ystein Haugen, Andrzej Wasowski, Krzysztof Czarnecki |
| 2011 | ICSE | Reverse engineering feature models. | Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, Krzysztof Czarnecki |
| 2011 | ICSR | Understanding Variability Abstraction and Realization. | Krzysztof Czarnecki |
| 2011 | MODELS | From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. | Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas |
| 2011 | MODELS | Correctness of Model Synchronization Based on Triple Graph Grammars. | Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong |
| 2011 | RE | Logical structure extraction from software requirements documents. | Rehan Rauf, Michal Antkiewicz, Krzysztof Czarnecki |
| 2011 | SLE | Designing Variability Modeling Languages. | Krzysztof Czarnecki |
| 2011 | SPLC | A study of non-Boolean constraints in variability models of an embedded operating system. | Leonardo Teixeira Passos, Thorsten Berger, Marko Novakovic, Krzysztof Czarnecki, Yingfei Xiong, Andrzej Wasowski |
| 2010 | MODELS | Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. | Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki |
| 2010 | MODELS | Specifying overlaps of heterogeneous models for global consistency checking. | Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki |
| 2010 | RE | Requirements Determination is Unstoppable: An Experience Report. | Daniel M. Berry, Krzysztof Czarnecki, Michal Antkiewicz, Mohamed AbdelRazik |
| 2010 | SLE | Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled. | Kacper Bak, Krzysztof Czarnecki, Andrzej Wasowski |
| 2010 | SPLC | Feature-to-Code Mapping in Two Large Product Lines. | Thorsten Berger, Steven She, Rafael Lotufo, Krzysztof Czarnecki, Andrzej Wasowski |
| 2010 | SPLC | Evolution of the Linux Kernel Variability Model. | Rafael Lotufo, Steven She, Thorsten Berger, Krzysztof Czarnecki, Andrzej Wasowski |
| 2009 | ECOOP | Supporting Framework Use via Automatically Extracted Concept-Implementation Templates. | Abbas Heydarnoori, Krzysztof Czarnecki, Thiago T. Bartolomei |
| 2009 | ICSE | Model-versioning-in-the-large: Algebraic foundations and the tile notation. | Zinovy Diskin, Krzysztof Czarnecki, Michal Antkiewicz |
| 2009 | SLE | Study of an API Migration for Two XML APIs. | Thiago Tonelli Bartolomei, Krzysztof Czarnecki, Ralf Lmmel, Tijs van der Storm |
| 2009 | SPLC | SAT-based analysis of feature models is easy. | Marclio Mendona, Andrzej Wasowski, Krzysztof Czarnecki |
| 2008 | GPCE | Efficient compilation techniques for large scale feature models. | Marclio Mendona, Andrzej Wasowski, Krzysztof Czarnecki, Donald D. Cowan |
| 2008 | SPLC | Sample Spaces and Feature Models: There and Back Again. | Krzysztof Czarnecki, Steven She, Andrzej Wasowski |
| 2007 | EDOC | Automated Model-Based Configuration of Enterprise Java Applications. | Jules White, Douglas C. Schmidt, Krzysztof Czarnecki, Christoph Wienands, Gunther Lenz, Egon Wuchner, Ludger Fiege |
| 2007 | MODELS | Guided Development with Multiple Domain-Specific Languages. | Anders Hessellund, Krzysztof Czarnecki, Andrzej Wasowski |
| 2007 | OOPSLA | Comprehending implementation recipes of framework-provided concepts through dynamic analysis. | Abbas Heydarnoori, Krzysztof Czarnecki |
| 2007 | OOPSLA | Mining implementation recipes of framework-provided concepts in dynamic framework API interaction traces. | Abbas Heydarnoori, Krzysztof Czarnecki |
| 2007 | SPLC | Feature Diagrams and Logics: There and Back Again. | Krzysztof Czarnecki, Andrzej Wasowski |
| 2006 | GPCE | Verifying feature-based model templates against well-formedness OCL constraints. | Krzysztof Czarnecki, Krzysztof Pietroszek |
| 2006 | MODELS | Framework-Specific Modeling Languages with Round-Trip Engineering. | Michal Antkiewicz, Krzysztof Czarnecki |
| 2006 | OOPSLA | Round-trip engineering of eclipse plug-ins using eclipse workbench part interaction FSML. | Michal Antkiewicz, Krzysztof Czarnecki |
| 2006 | OOPSLA | Towards a framework for collaborative and coordinated product configuration. | Marclio Mendona, Krzysztof Czarnecki, Donald D. Cowan |
| 2006 | OOPSLA | Towards a framework for collaborative and coordinated product configuration. | Marclio Mendona, Krzysztof Czarnecki, Toacy Cavalcante de Oliveira, Donald D. Cowan |
| 2006 | SPLC | Tutorial on Generative Software Development. | Krzysztof Czarnecki |
| 2006 | SPLC | Feature Models are Views on Ontologies. | Krzysztof Czarnecki, Chang Hwan Peter Kim, Karl Trygve Kalleberg |
| 2005 | GPCE | Mapping Features to Models: A Template Approach Based on Superimposed Variants. | Krzysztof Czarnecki, Michal Antkiewicz |
| 2005 | OOPSLA | Model-driven software product lines. | Krzysztof Czarnecki, Michal Antkiewicz, Chang Hwan Peter Kim, Sean Lau, Krzysztof Pietroszek |
| 2005 | OOPSLA | fmp and fmp2rsm: eclipse plug-ins for modeling features using model templates. | Krzysztof Czarnecki, Michal Antkiewicz, Chang Hwan Peter Kim, Sean Lau, Krzysztof Pietroszek |
| 2004 | SPLC | Generative Software Development. | Krzysztof Czarnecki |
| 2004 | SPLC | Staged Configuration Using Feature Models. | Krzysztof Czarnecki, Simon Helsen, Ulrich W. Eisenecker |
| 2002 | GPCE | Generative Programming for Embedded Software: An Industrial Experience Report. | Krzysztof Czarnecki, Thomas Bednasch, Peter Unger, Ulrich W. Eisenecker |
| 2002 | ICSR | Generative Programming: Methods, Techniques, and Applications. | Krzysztof Czarnecki |
| 2001 | ICSE | Generative Techniques for Product Lines. | Gregory Butler, Don S. Batory, Krzysztof Czarnecki, Ulrich W. Eisenecker |
| 1999 | ECOOP | Synthesizing Objects. | Krzysztof Czarnecki, Ulrich W. Eisenecker |
| 1997 | ECOOP | A Model for Structuring User Documentation of Object-Oriented Frameworks Using Patterns and Hypertext. | Matthias Meusel, Krzysztof Czarnecki, Wolfgang Kpf |
| 1996 | ICSR | ClassExpert: a knowledge-based assistant to support reuse by specialization and modification in Smalltalk. | Krzysztof Czarnecki, Reinhard Hanselmann, Ulrich W. Eisenecker, Wolfgang Kpf |