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)
Publications
Filter by:
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
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)
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)
Zhang, Z. ., Ernst, G. ., Sedwards, S. ., Arcani, P. ., & Hasuo, I. . (2018). Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE TCAD. Torino, Italy: IEEE. Retrieved from https://ieeexplore.ieee.org/document/8418450
Liang, J. H. (2018). Machine Learning for SAT Solvers. Waterloo, ON, Canada. Retrieved from http://hdl.handle.net/10012/14207 (Original work published 2018)
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
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)