Krzysztof Czarnecki

Professor of Electrical and Computer Engineering

Krzysztof works on many aspects of autonomous driving, including requirements, architecture, and planning.



Guo, J., E. Blais, K. Czarnecki, and P. van Beek, "A Worst-Case Analysis of Constraint-Based Algorithms for Exact Multi-objective Combinatorial Optimization", Canadian Conference on Artificial Intelligence, 05.2017. BibTex

Chauchan, M., R. Pellizzoni, and K. Czarnecki, "Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability", Design Automation Conference, 06/2017. BibTex

Valov, P., J-C. Petkovich, J. Guo, S. Fischmeister, and K. Czarnecki, "Transferring Performance Prediction Models Across Different Hardware Platforms", International Conference on Performance Engineering, 04/2017. BibTex

Zulkoski, E., C. Bright, A. Heinle, I. Kotsireas, K. Czarnecki, and V. Ganesh, "Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures", Journal of Automated Reasoning, vol. 58, issue 3, pp. 339, 03/2011, 2017. BibTex

Ross, J., A. Murashkin, J. Hui Liang, M. Antkiewicz, and K. Czarnecki, "Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems", Software and Systems Modeling, 2017. BibTex

Queiroz, R., L. Passos, M. Tulio Valente, C. Hunsen, S. Apel, and K. Czarnecki, "The shape of feature code: an analysis of twenty C-preprocessor-based systems", Software & Systems Modeling, vol. 16, issue 1, pp. 96, 02/2017. BibTex


Liang, J. Hui, V. Ganesh, P. Poupart, and K. Czarnecki, "Exponential Recency Weighted Average Branching Heuristic for SAT Solvers",AAAI Conference on Artificial Intelligence, 02/2016. BibTex

Khalilov, E., J. Ross, M. Antkiewicz, M. Völter, and K. Czarnecki, "Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners", ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 10/2016. BibTex

University of Waterloo
Contact information: 

WISE Lab logo

Profiles by type


We are looking for postdocs and graduate students interested in working on all aspects of autonomous driving.

For more information, visit Open positions.