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)
References
Filter by:
Hartmanns, A., Sedwards, S., & D’Argenio, 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
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)
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)
Larson, K., Peled, D., & Sedwards, S. (2017). Memory-Efficient Tactics for Randomized LTL Model Checking Heidelberg, Germany: Springer. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-72308-2_10
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)
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
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)
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)