References

Zulkoski, E., Bright, C., Heinle, A., Kotsireas, I., Czarnecki, K., & Ganesh, V. (2017). Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures Journal of Automated Reasoning, 58, 339. https://doi.org/10.1007/s10817-016-9396-y (Original work published 2011)

Zulkoski, E., Martins, R., Wintersteiger, C., Robere, R., Liang, J. H., Czarnecki, K., & Ganesh, V. (2017). Empirically Relating Complexity-theoretic Parameters with SAT Solver Performance Presented at the Empirically Relating Complexity-Theoretic Parameters With SAT Solver Performance conference. EPIC. (Original work published 2017)

Colwell, I., Phan, B. T., Saleem, S., Salay, R., & Czarnecki, K. (2018). An Automated Vehicle Safety Concept Based on Runtime Restriction of the Operational Design Domain Presented at the An Automated Vehicle Safety Concept Based on Runtime Restriction of the Operational Design Domain conference.

Phan, B. T., Salay, R., Czarnecki, K., Abdelzad, V., Denouden, T., & Vernekar, S. (2018). Calibrating Uncertainties in Object Localization Task Presented at the Calibrating Uncertainties in Object Localization Task conference. (Original work published 2018)

Juodisius, P., Sarkar, A., Mukkamala, R. R., Antkiewicz, M., Czarnecki, K., & Wąsowski, A. (2018). Clafer: Lightweight Modeling of Structure and Behaviour The Art, Science, and Engineering of Programming Journal, 3. https://doi.org/10.22152/programming-journal.org/2019/3/2 (Original work published 2018)

Czarnecki, K., & Salay, R. (2018). Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving Presented at the Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving conference. Väster\r as, Sweden: Springer. (Original work published 2018)

Passos, L., Queiroz, R., Mukelabai, M., Berger, T., Apel, S., Czarnecki, K., & Padilla, J. A. (2018). A Study of Feature Scattering in the Linux Kernel IEEE Transactions on Software Engineering.

Angus, M., ElBalkini, M., Khan, S., Harakeh, A., Andrienko, O., Reading, C., … Waslander, S. (2018). Unlimited Road-scene Synthetic Annotation (URSA) Dataset Presented at the Unlimited Road-Scene Synthetic Annotation (URSA) Dataset conference. Maui, Hawaii, USA: IEEE. Retrieved from https://arxiv.org/abs/1807.06056 (Original work published 2018)

Zayan, D., Sarkar, A., Antkiewicz, M., Maciel, R. S. P., & Czarnecki, K. (2018). Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them https://doi.org/10.1007/s10270-017-0652-3 (Original work published 2018)