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)
Reference author: Krzysztof Czarnecki
First name
Krzysztof
Last name
Czarnecki
Colwell, I., Phan, B. T., Saleem, S., Salay, R., & Czarnecki, K. (2018). An Automated Vehicle Safety Concept Based on Runtime Restriction of the Operational Design Domain Presented at the An Automated Vehicle Safety Concept Based on Runtime Restriction of the Operational Design Domain conference.
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)
Phan, B. T., Salay, R., Czarnecki, K., Abdelzad, V., Denouden, T., & Vernekar, S. (2018). Calibrating Uncertainties in Object Localization Task Presented at the Calibrating Uncertainties in Object Localization Task conference. (Original work published 2018)
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)
Juodisius, P., Sarkar, A., Mukkamala, R. R., Antkiewicz, M., Czarnecki, K., & Wąsowski, A. (2018). Clafer: Lightweight Modeling of Structure and Behaviour The Art, Science, and Engineering of Programming Journal, 3. https://doi.org/10.22152/programming-journal.org/2019/3/2 (Original work published 2018)
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
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)
Passos, L., Queiroz, R., Mukelabai, M., Berger, T., Apel, S., Czarnecki, K., & Padilla, J. A. (2018). A Study of Feature Scattering in the Linux Kernel IEEE Transactions on Software Engineering.
Czarnecki, K., & Salay, R. (2018). Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving Presented at the Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving conference. Väster\r as, Sweden: Springer. (Original work published 2018)
- Previous page
- Currently on page 3 3
- Next page