References

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)

Zulkoski, E., Martins, R., Wintersteiger, C., Robere, R., Liang, J. H., Czarnecki, K., & Ganesh, V. (2017). Empirically Relating Complexity-theoretic Parameters with SAT Solver Performance Presented at the Empirically Relating Complexity-Theoretic Parameters With SAT Solver Performance conference. EPIC. (Original work published 2017)

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

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)

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)

Ross, J., Murashkin, A., Liang, J. H., Antkiewicz, M., & Czarnecki, K. (2017). Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems Software and Systems Modeling. https://doi.org/10.1007/s10270-017-0592-y

Sarkar, A., Czarnecki, K., Angus, M., Li, C., & Waslander, S. (2017). Trajectory prediction of traffic agents at urban intersections through learned interactions. Presented at the Trajectory Prediction of Traffic Agents at Urban Intersections through Learned Interactions. conference. Retrieved from https://ieeexplore.ieee.org/document/8317731

Valov, P., Petkovich, J.-C., Guo, J., Fischmeister, S., & Czarnecki, K. (2017). Transferring Performance Prediction Models Across Different Hardware Platforms Presented at the Transferring Performance Prediction Models Across Different Hardware Platforms conference. https://doi.org/10.1145/3030207.3030216 (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 Presented at the A Worst-Case Analysis of Constraint-Based Algorithms for Exact Multi-Objective Combinatorial Optimization conference. https://doi.org/10.1007/978-3-319-57351-9_16 (Original work published 2017)