Krzysztof Czarnecki
Orcid: 0000-0003-1642-1101Affiliations:
- University of Waterloo, Canada
According to our database1,
Krzysztof Czarnecki
authored at least 256 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Enhancing Safety in Mixed Traffic: Learning-Based Modeling and Efficient Control of Autonomous and Human-Driven Vehicles.
IEEE Trans. Intell. Transp. Syst., September, 2024
IEEE Trans. Intell. Transp. Syst., August, 2024
Auton. Agents Multi Agent Syst., June, 2024
Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance.
CoRR, 2024
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024
SOAP: Cross-sensor Domain Adaptation for 3D Object Detection Using Stationary Object Aggregation Pseudo-labelling.
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024
Dual-Process System: An Architectural Pattern for Assurable Autonomous Robots Inspired by Dual-Process Theory.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024
Proceedings of the IEEE Intelligent Vehicles Symposium, 2024
2023
STEAM & MoSAFE: SOTIF Error-and-Failure Model & Analysis for AI-Enabled Driving Automation.
CoRR, 2023
FJMP: Factorized Joint Multi-Agent Motion Prediction over Learned Directed Acyclic Interaction Graphs.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
2022
CoRR, 2022
A Closer Look at Robustness to L-infinity and Spatial Perturbations and their Composition.
CoRR, 2022
CoRR, 2022
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops, 2022
Proceedings of the Rules and Reasoning, 2022
Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022
A Hierarchical Pedestrian Behavior Model to Generate Realistic Human Behavior in Traffic Simulation.
Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022
What to Check: Systematic Selection of Transformations for Analyzing Reliability of Machine Vision Components.
Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
I Know You Can't See Me: Dynamic Occlusion-Aware Safety Validation of Strategic Planners for Autonomous Vehicles Using Hypergames.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022
Proceedings of the Conference on Robot Learning, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
ACM Trans. Model. Comput. Simul., 2021
The missing link: Developing a safety case for perception components in automated driving.
CoRR, 2021
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty.
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021
Proceedings of the International Joint Conference on Neural Networks, 2021
Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021
Solution Concepts in Hierarchical Games Under Bounded Rationality With Applications to Autonomous Driving.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
CoRR, 2020
CoRR, 2020
The Effect of Optimization Methods on the Robustness of Out-of-Distribution Detection Approaches.
CoRR, 2020
Proceedings of the ICPE '20: ACM/SPEC International Conference on Performance Engineering, 2020
Requirements for Monitoring Inattention of the Responsible Human in an Autonomous Vehicle: The Recall and Precision Tradeoff.
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020
TruPercept: Trust Modelling for Autonomous Vehicle Cooperative Perception from Synthetic Data.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020
Autonomous Vehicle Visual Signals for Pedestrians: Experiments and Design Recommendations.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020
Accelerating the Training of Convolutional Neural Networks for Image Segmentation with Deep Active Learning.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
Proceedings of the 2020 International Joint Conference on Neural Networks, 2020
Keep Calm and Ride Along: Passenger Comfort and Anxiety as Physiological Responses to Autonomous Driving Styles.
Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020
Towards Requirements Specification for Machine-learned Perception Based on Human Performance.
Proceedings of the 7th IEEE International Workshop on Artificial Intelligence for Requirements Engineering, 2020
Proceedings of the Workshop on Artificial Intelligence Safety, 2020
Proceedings of the Workshop on Artificial Intelligence Safety, 2020
2019
Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them.
Softw. Syst. Model., 2019
Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems.
Softw. Syst. Model., 2019
SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines.
Softw. Syst. Model., 2019
Art Sci. Eng. Program., 2019
Detecting Out-of-Distribution Inputs in Deep Neural Networks Using an Early-Layer Output.
CoRR, 2019
Rethinking Expected Cumulative Reward Formalism of Reinforcement Learning: A Micro-Objective Perspective.
CoRR, 2019
CoRR, 2019
Proceedings of the Computer Safety, Reliability, and Security, 2019
Proceedings of the Computer Safety, Reliability, and Security, 2019
WiseMove: A Framework to Investigate Safe Deep Reinforcement Learning for Autonomous Driving.
Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019
Precise Synthetic Image and LiDAR (PreSIL) Dataset for Autonomous Vehicle Perception.
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019
A behavior driven approach for sampling rare event situations for autonomous vehicles.
Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 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
ProcSy: Procedural Synthetic Dataset Generation Towards Influence Factor Studies Of Semantic Segmentation Networks.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
2018
Empir. Softw. Eng., 2018
Improving Reconstruction Autoencoder Out-of-distribution Detection with Mahalanobis Distance.
CoRR, 2018
Using Machine Learning Safely in Automotive Software: An Assessment and Adaption of Software Process Requirements in ISO 26262.
CoRR, 2018
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
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Principles and Practice of Constraint Programming, 2018
Proceedings of the Principles and Practice of Constraint Programming, 2018
2017
Softw. Syst. Model., 2017
Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures.
J. Autom. Reason., 2017
CoRR, 2017
Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017
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
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
Softw. Syst. Model., 2016
J. Syst. Softw., 2016
Coevolution of variability models and related software artifacts - A fresh look at evolution patterns in the Linux kernel.
Empir. Softw. Eng., 2016
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016
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
Proceedings of the 2016 IEEE International Conference on Software Science, 2016
Proceedings of the 20th International Systems and Software Product Line Conference, 2016
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016
Proceedings of the 7th International Workshop on Feature-Oriented Software Development, 2016
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
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
IEEE Trans. Software Eng., 2015
Where Do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study.
IEEE Trans. Software Eng., 2015
Int. J. Softw. Tools Technol. Transf., 2015
A recommendation system for repairing violations detected by static architecture conformance checking.
Softw. Pract. Exp., 2015
Model synchronization based on triple graph grammars: correctness, completeness and invertibility.
Softw. Syst. Model., 2015
Empir. Softw. Eng., 2015
Empirical comparison of regression methods for variability-aware performance prediction.
Proceedings of the 19th International Conference on Software Product Line, 2015
Proceedings of the 19th International Conference on Software Product Line, 2015
Proceedings of the 19th International Conference on Software Product Line, 2015
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
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
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
Feature scattering in the large: a longitudinal study of Linux kernel device drivers.
Proceedings of the 14th International Conference on Modularity, 2015
2014
Softw. Syst. Model., 2014
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
Proceedings of the 11th Working Conference on Mining Software Repositories, 2014
Proceedings of the Model-Driven Engineering Languages and Systems, 2014
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
Proceedings of the 36th International Conference on Software Engineering, 2014
Proceedings of the 36th International Conference on Software Engineering, 2014
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
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014
2013
IEEE Trans. Software Eng., 2013
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013
Proceedings of the 17th International Software Product Line Conference, 2013
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
Proceedings of the 17th International Software Product Line Conference, 2013
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013
Proceedings of the Software Language Engineering - 6th International Conference, 2013
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
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
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
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013
2012
IEEE Trans. Software Eng., 2012
Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012
Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012
Proceedings of the 16th International Software Product Line Conference, 2012
Proceedings of the 16th International Software Product Line Conference, 2012
Proceedings of the 9th IEEE Working Conference of Mining Software Repositories, 2012
Proceedings of the VARiability for You Workshop, 2012
Modelling and multi-objective optimization of quality attributes in variability-rich software.
Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, 2012
Proceedings of the VARiability for You Workshop, 2012
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Proceedings of the 34th International Conference on Software Engineering, 2012
Proceedings of the 4th International Workshop on Feature-Oriented Software Development, 2012
Proceedings of the Fundamental Approaches to Software Engineering, 2012
Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012
Proceedings of the Workshop on Configuration at ECAI 2012, 2012
2011
J. Object Technol., 2011
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
Proceedings of the Software Language Engineering - 4th International Conference, 2011
Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011
Proceedings of the Model Driven Engineering Languages and Systems, 2011
Proceedings of the Model Driven Engineering Languages and Systems, 2011
Proceedings of the Top Productivity through Software Reuse, 2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
2010
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010
Proceedings of the Software Language Engineering - Third International Conference, 2010
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010
Proceedings of the Models in Software Engineering, 2010
Proceedings of the ASE 2010, 2010
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010
Proceedings of the Theory and Practice of Model Transformations, 2010
Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010
2009
IEEE Trans. Software Eng., 2009
Autom. Softw. Eng., 2009
Proceedings of the Software Product Lines, 13th International Conference, 2009
Proceedings of the Software Language Engineering, Second International Conference, 2009
Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models, 2009
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
Proceedings of the 2009 conference of the Centre for Advanced Studies on Collaborative Research, 2009
2008
Proceedings of the Software Product Lines, 12th International Conference, 2008
Proceedings of the Generative Programming and Component Engineering, 2008
Proceedings of the SPLAT@AOSD 2008: Proceedings of the 2008 AOSD workshop on Software engineering properties of languages and aspect technologies, Brussels, Belgium, 31 March, 2008
2007
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
Proceedings of the Model Driven Engineering Languages and Systems, 2007
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
Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007
2006
Proceedings of the Software Product Lines, 10th International Conference, 2006
Proceedings of the Software Product Lines, 10th International Conference, 2006
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006
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
Proceedings of the Model Driven Engineering Languages and Systems, 2006
Proceedings of the Generative Programming and Component Engineering, 2006
2005
Staged configuration through specialization and multilevel configuration of feature models.
Softw. Process. Improv. Pract., 2005
Softw. Process. Improv. Pract., 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
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005
Proceedings of the Generative Programming and Component Engineering, 2005
Proceedings of the Model Driven Architecture, 2005
2004
Proceedings of the Unconventional Programming Paradigms, 2004
Proceedings of the Software Product Lines, Third International Conference, 2004
Proceedings of the Software Product Lines, Third International Conference, 2004
Proceedings of the Object-Oriented Technology: ECOOP 2004 Workshop Reader, 2004
Proceedings of the 2004 OOPSLA workshop on Eclipse Technology eXchange, 2004
Proceedings of the Language Engineering for Model-Driven Software Development, 29. February, 2004
2003
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003
2002
Proceedings of the Software Reuse: Methods, 2002
Proceedings of the Generative Programming and Component Engineering, 2002
Proceedings of the Reliable Software Technologies, 2002
2001
Proceedings of the Semantics, 2001
Proceedings of the 23rd International Conference on Software Engineering, 2001
Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001
2000
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
Challenges to Object-Oriented Reuse.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
1998
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