Babaee, R., Ganesh, V., & Sedwards, S. (2019). Accelerated Learning of Predictive Runtime Monitors for Rare Failure Porto, Portugal: Springer.
References
Filter by:
2019
2018
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.
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
Zulkoski, E. (2018). Understanding and Enhancing CDCL-based SAT Solvers Waterloo. Retrieved from https://uwspace.uwaterloo.ca/handle/10012/13525 (Original work published 2018)
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)
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
Chandail, R. (2018). Vision Augmented State Estimation with Fault Tolerance Waterloo. Retrieved from https://uwspace.uwaterloo.ca/handle/10012/13291 (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)
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)