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)
Publications
Filter by:
Zulkoski, E. . (2018). Understanding and Enhancing CDCL-based SAT Solvers. Waterloo. Retrieved from https://uwspace.uwaterloo.ca/handle/10012/13525 (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
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
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)
Chauchan, M. ., Pellizzoni, R. ., & Czarnecki, K. . (2017). Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability. Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability. Presented at the. Retrieved from https://dac.com/2017/accepted-papers (Original work published 2017)
Guo, J. ., Blais, E. ., Czarnecki, K. ., & van Beek, P. . (2017). A Worst-Case Analysis of Constraint-Based Algorithms for Exact Multi-objective Combinatorial Optimization. A Worst-Case Analysis of Constraint-Based Algorithms for Exact Multi-Objective Combinatorial Optimization. Presented at the. https://doi.org/10.1007/978-3-319-57351-9_16 (Original work published 2017)
Queiroz, R. ., Passos, L. ., Valente, M. T., Hunsen, C. ., Apel, S. ., & Czarnecki, K. . (2017). The shape of feature code: an analysis of twenty C-preprocessor-based systems. Software \& Systems Modeling, 16, 96. https://doi.org/10.1007/s10270-015-0483-z (Original work published 2017)
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)
Kido, K. ., Sedwards, S. ., & Hasuo, I. . (2017). Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems. Seoul, South Korea: Springer. Retrieved from https://link.springer.com/chapter/10.1007/978-3-030-17910-6_9