Reference keyword: best paper award

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

Zulkoski, E. ., Ganesh, V. ., & Czarnecki, K. . (2016). MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. Presented at the. AAAI Press. (Original work published 2016)