Chauchan, M., Pellizzoni, R., & Czarnecki, K. (2017). Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability Presented at the Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability conference. Retrieved from https://dac.com/2017/accepted-papers (Original work published 2017)
References
Filter by:
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)
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)
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)
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)
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)
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.
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.
Vernekar, S., Gaurav, A., Abdelzad, V., Denouden, T., Salay, R., & Czarnecki, K. (2019). Out-of-distribution Detection in Classifiers via Generation Presented at the Out-of-Distribution Detection in Classifiers via Generation conference. https://sites.google.com/view/neurips19-safe-robust-workshop. Retrieved from https://drive.google.com/file/d/0B3mY6u_lryzdel9WOW1XTVA0aDIwazJDcG9ORlZrZWFOd0xJ/view (Original work published 2019)