Sort by: Author Type Year


Phan, B., S. Khan, R. Salay, and K. Czarnecki, "Bayesian Uncertainty Quantification with Synthetic Data", WAISE 2019 : Second International Workshop on Artificial Intelligence Safety Engineering, Turku, Finland, SAFECOMP, 09/2019. PDF icon waise.pdf (5.37 MB)
Queiroz, R., T. Berger, and K. Czarnecki, "GeoScenario: An Open DSL for Autonomous Driving Scenario Representation", IEEE Intelligent Vehicles Symposium (IV), Paris, IEEE, 2019. PDF icon iv2019_0501_fi.pdf (3.77 MB)
Khan, S., B. Phan, R. Salay, and K. Czarnecki, "ProcSy: Procedural Synthetic Dataset Generation Towards Influence Factor Studies Of Semantic Segmentation Networks", Vision for All Seasons: Bad Weather and Nighttime (CVPR'19 Workshop), Long Beach, California, USA, IEEE, 06/2019. PDF icon procsy_cvpr (986.4 KB)
Li, C., and K. Czarnecki, "Rethinking Expected Cumulative Reward Formalism of Reinforcement Learning: A Micro-Objective Perspective", Multidisciplinary Conference on Reinforcement Learning and Decision Making (RLDM), Montreal, 2019.
Li, C., and K. Czarnecki, "Urban Driving with Multi-Objective Deep Reinforcement Learning", International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Montreal, IFAAMAS, 2019.
Babaee, R., V. Ganesh, and S. Sedwards, "Accelerated Learning of Predictive Runtime Monitors for Rare Failure", 19th International Conference on Runtime Verification (RV 2019), Porto, Portugal, Springer, 2019.
Ernst, G., S. Sedwards, Z. Zhang, and I. Hasuo, "Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input", 16th International Conference on Quantitative Evaluation of Systems (QEST 2019), Glasgow, Scotland, Springer, 2019.
Jaeger, M., P. G. Jensen, K. G. Larsen, A. Legay, S. Sedwards, and J. H. Taankvist, "Teaching Stratego to Play Ball: Optimizing Continuous Space MDPs", 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), Taipei, Taiwan, Springer, 2019.
Lee, J., A. Balakrishnan, A. Gaurav, K. Czarnecki, and S. Sedwards, "WiseMove: A Framework to Investigate Safe Reinforcement Learning for Autonomous Driving", 16th International Conference on Quantitative Evaluation of Systems (QEST 2019), Glasgow, Scotland, Springer, 2019.


Colwell, I., B. Phan, S. Saleem, R. Salay, and K. Czarnecki, "An Automated Vehicle Safety Concept Based on Runtime Restriction of the Operational Design Domain", The 2018 IEEE Intelligent Vehicles Symposium, 2018. PDF icon restricted_operational_domain.pdf (402.55 KB)
Phan, B., R. Salay, K. Czarnecki, V. Abdelzad, T. Denouden, and S. Vernekar, "Calibrating Uncertainties in Object Localization Task", Third workshop on Bayesian Deep Learning (NeurIPS 2018), Montréal, Canada., 12/2018. PDF icon bdl_workshop_82.pdf (357.72 KB)
Czarnecki, K., and R. Salay, "Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving", International Workshop on Artificial Intelligence Safety Engineering (WAISE), Västerås, Sweden, Springer, 09/2018. PDF icon paper.pdf (323.45 KB)
Angus, M., M. ElBalkini, S. Khan, A. Harakeh, O. Andrienko, C. Reading, K. Czarnecki, and S. Waslander, "Unlimited Road-scene Synthetic Annotation (URSA) Dataset", The 21st IEEE International Conference on Intelligent Transportation Systems (ITSC), Maui, Hawaii, USA, IEEE, 11/2018. PDF icon 1807.06056.pdf (3.28 MB)
D'Argenio, P., M. Gerhold, A. Hartmanns, and S. Sedwards, "A Hierarchy of Scheduler Classes for Stochastic Automata", 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018), vol. 10803, Thessaloniki, Greece, Springer, pp. 384–402, 2018.
Budde, C., P. D'Argenio, A. Hartmanns, and S. Sedwards, "A Statistical Model Checker for Nondeterminism and Rare Events", 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), vol. 10806, pp. 340–358, 2018.
Kido, K., S. Sedwards, and I. Hasuo, "Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems", 6th Conference on Analysis and Design of Hybrid Systems (ADHS 2018), 16, vol. 51, Oxford, United Kingdom, Elsevier, pp. 247–252, 2018.
D'Argenio, P., A. Hartmanns, and S. Sedwards, "Lightweight Statistical Model Checking in Nondeterministic Continuous Time", 9th International Symposium on Leveraging Applications (ISoLA 2018), vol. 11245, Limassol, Cyprus, Springer, pp. 336–353, 2018.
Zhang, Z., G. Ernst, I. Hasuo, and S. Sedwards, "Time-Staging Enhancement of Hybrid System Falsification", IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS 2018), Porto, Portugal, IEEE, pp. 3–4, 2018.
Zhang, Z., G. Ernst, S. Sedwards, P. Arcani, and I. Hasuo, "Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE TCAD", ACM International Conference on Embedded Software (EMSOFT 2018), 11, vol. 37, Torino, Italy, IEEE, pp. 2894–2905, 2018.
Passos, L., R. Queiroz, M. Mukelabai, T. Berger, S. Apel, K. Czarnecki, and J. Alejandro Padilla, "A Study of Feature Scattering in the Linux Kernel", IEEE Transactions on Software Engineering, 2018.
Juodisius, P., A. Sarkar, R. Rao Mukkamala, M. Antkiewicz, K. Czarnecki, and A. Wąsowski, "Clafer: Lightweight Modeling of Structure and Behaviour", The Art, Science, and Engineering of Programming Journal, vol. 3, issue 1, 07/2018. Package icon PowerWindow example in Clafer (3.45 KB)Package icon PowerWindow example in AADL (12.36 KB)Package icon PowerWindow example in Live Sequence Charts (51.75 KB)Package icon PowerWindow example in SysML (413.76 KB)Package icon PowerWindow example in Temporal OCL (9.27 KB)
Zayan, D., A. Sarkar, M. Antkiewicz, R. Suzana Pit Maciel, and K. Czarnecki, "Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them", Software & Systems Modeling, 01/2018.
Given-Wilson, T., A. Legay, S. Sedwards, and O. Zendra, "Group abstraction for assisted navigation of social activities in intelligent environments", Springer Journal of Reliable Intelligent Environments, vol. 4, issue 2, pp. 107–120, 2018.
Liang, J., "Machine Learning for SAT Solvers", Electrical and Computer Engineering, vol. Doctor of Philosophy, Waterloo, ON, Canada, University of Waterloo, 12/2018.


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.
Zulkoski, E., R. Martins, C. Wintersteiger, R. Robere, J. Liang, K. Czarnecki, and V. Ganesh, "Empirically Relating Complexity-theoretic Parameters with SAT Solver Performance", Pragmatics of Constraint Reasoning: EPIC, 08/2017.
Chauchan, M., R. Pellizzoni, and K. Czarnecki, "Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability", Design Automation Conference, 06/2017.
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.
Hartmanns, A., S. Sedwards, and P. D'Argenio, "Efficient Simulation-based Verification of Probabilistic Timed Automata", Winter Simulation Conference (WSC 2017), Las Vegas, USA, IEEE, pp. 1419–1430, 2017.
Larsen, K. G., D. Peled, and S. Sedwards, "Memory-Efficient Tactics for Randomized LTL Model Checking", 9th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2017), vol. 10712, Heidelberg, Germany, Springer, pp. 152-169, 2017.
Kido, K., S. Sedwards, and I. Hasuo, "Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems", 7th Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2017), vol. 11267, Seoul, South Korea, Springer, pp. 109–126, 2017.
Guo, J., D. Yang, N. Siegmund, S. Apel, A. Sarkar, P. Valov, K. Czarnecki, A. Wasowski, and H. Yu, Data-efficient performance learning for configurable systems, 2017.
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.
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. Office presentation icon Jordan Ross seminar slides (long) (2.85 MB)Office presentation icon Jordan Ross MODELS'17 invited presentation slides (short) (1.59 MB)
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.


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.
Zulkoski, E., V. Ganesh, and K. Czarnecki, "MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers", International Joint Conference on Artificial Intelligence - Sister Conference Best Paper Track: AAAI Press, 07/2016.
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.
Sarkar, A., "Meta-learning Performance Prediction of Highly Configurable Systems: A Cost-oriented Approach", David R. Cheriton School of Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 71, 04/2016.

WISE Lab logo

Publications search


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

For more information, visit Open positions.