Zulkoski, E. . (2018). Understanding and Enhancing CDCL-based SAT Solvers. Waterloo. Retrieved from https://uwspace.uwaterloo.ca/handle/10012/13525 (Original work published 2018)
Publications
Filter by:
D’Argenio, P. ., Hartmanns, A. ., & Sedwards, S. . (2018). Lightweight Statistical Model Checking in Nondeterministic Continuous Time. Limassol, Cyprus: Springer. Retrieved from https://link.springer.com/chapter/10.1007/978-3-030-03421-4_22
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. An Automated Vehicle Safety Concept Based on Runtime Restriction of the Operational Design Domain. Presented at the.
Chandail, R. . (2018). Vision Augmented State Estimation with Fault Tolerance. Waterloo. Retrieved from https://uwspace.uwaterloo.ca/handle/10012/13291 (Original work published 2018)
Budde, C. ., D’Argenio, P. ., Hartmanns, A. ., & Sedwards, S. . (2018). A Statistical Model Checker for Nondeterminism and Rare Events. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-89963-3_20
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)
Phan, B. T., Salay, R. ., Czarnecki, K. ., Abdelzad, V. ., Denouden, T. ., & Vernekar, S. . (2018). Calibrating Uncertainties in Object Localization Task. Calibrating Uncertainties in Object Localization Task. Presented at the. (Original work published 2018)
Sarkar, A. ., Czarnecki, K. ., Angus, M. ., Li, C. ., & Waslander, S. . (2017). Trajectory prediction of traffic agents at urban intersections through learned interactions.. Trajectory Prediction of Traffic Agents at Urban Intersections through Learned Interactions. Presented at the. Retrieved from https://ieeexplore.ieee.org/document/8317731
Valov, P. ., Petkovich, J.-C. ., Guo, J. ., Fischmeister, S. ., & Czarnecki, K. . (2017). Transferring Performance Prediction Models Across Different Hardware Platforms. Transferring Performance Prediction Models Across Different Hardware Platforms. Presented at the. https://doi.org/10.1145/3030207.3030216 (Original work published 2017)
Larson, K. ., Peled, D. ., & Sedwards, S. . (2017). Memory-Efficient Tactics for Randomized LTL Model Checking. Heidelberg, Germany: Springer. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-72308-2_10