Sarkar, A., Guo, J., Siegmund, N., Apel, S., & Czarnecki, K. (2015). Cost-efficient sampling for performance prediction of configurable systems Presented at the Cost-Efficient Sampling for Performance Prediction of Configurable Systems conference. Retrieved from https://ieeexplore.ieee.org/document/7372023
References
Filter by:
Liang, J. H., Ganesh, V., Poupart, P., & Czarnecki, K. (2016). Exponential Recency Weighted Average Branching Heuristic for SAT Solvers Presented at the Exponential Recency Weighted Average Branching Heuristic for SAT Solvers conference. Retrieved from http://dl.acm.org/citation.cfm?id=3016100.3016385 (Original work published 2016)
Zulkoski, E., Ganesh, V., & Czarnecki, K. (2016). MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers Presented at the MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers conference. AAAI Press. (Original work published 2016)
Khalilov, E., Ross, J., Antkiewicz, M., Völter, M., & Czarnecki, K. (2016). Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners Presented at the Modeling and Optimizing Automotive Electric Electronic (E E) Architectures: Towards Making Clafer Accessible to Practitioners conference. https://doi.org/10.1007/978-3-319-47169-3_37 (Original work published 2016)
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
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)
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)
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
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)
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)