Sarkar, A. ., Guo, J. ., Siegmund, N. ., Apel, S. ., & Czarnecki, K. . (2015). Cost-efficient sampling for performance prediction of configurable systems. Cost-Efficient Sampling for Performance Prediction of Configurable Systems. Presented at the. Retrieved from https://ieeexplore.ieee.org/document/7372023
Publications
Filter by:
Liang, J. H., Ganesh, V. ., Poupart, P. ., & Czarnecki, K. . (2016). Exponential Recency Weighted Average Branching Heuristic for SAT Solvers. Exponential Recency Weighted Average Branching Heuristic for SAT Solvers. Presented at the. 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. MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. Presented at the. AAAI Press. (Original work published 2016)
Sarkar, A. . (2016). Meta-learning Performance Prediction of Highly Configurable Systems: A Cost-oriented Approach. Waterloo. Retrieved from http://hdl.handle.net/10012/10406 (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. Modeling and Optimizing Automotive Electric Electronic (E E) Architectures: Towards Making Clafer Accessible to Practitioners. Presented at the. https://doi.org/10.1007/978-3-319-47169-3_37 (Original work published 2016)
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
Hartmanns, A. ., Sedwards, S. ., & D\textquoterightArgenio, P. . (2017). Efficient Simulation-based Verification of Probabilistic Timed Automata. Efficient Simulation-Based Verification of Probabilistic Timed Automata, 1419\textendash1430. Las Vegas, USA: IEEE. https://doi.org/10.1109/WSC.2017.8247885
- Currently on page 1 1
- Next page