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
Publications
Filter by:
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)
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)
Zhang, Z. ., Ernst, G. ., Hasuo, I. ., & Sedwards, S. . (2018). Time-Staging Enhancement of Hybrid System Falsification. Porto, Portugal: IEEE. Retrieved from https://ieeexplore.ieee.org/abstract/document/8429475
Given-Wilson, T. ., Legay, A. ., Sedwards, S. ., & Zendra, O. . (2018). Group abstraction for assisted navigation of social activities in intelligent environments. Springer Journal of Reliable Intelligent Environments, 4, 107\textendash120. Retrieved from https://link.springer.com/article/10.1007/s40860-018-0058-1
Czarnecki, K. ., & Salay, R. . (2018). Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving. Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving. Presented at the. Väster\r as, Sweden: Springer. (Original work published 2018)