# TRACE References

1. T. Basten et al. Model-driven design-space exploration for embedded systems: The Octopus toolset. In Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I, volume 6415 of Lecture Notes in Computer Science. Springer, 2010. doi:10.1007/978-3-642-16558-0_10
2. M. Hendriks, F.W. Vaandrager. Reconstructing Critical Paths from Execution Traces. CSE '12 Proceedings of the 2012 IEEE 15th International Conference on Computational Science and Engineering. IEEE Computer Society Washington, 2012. doi:10.1109/ICCSE.2012.78
3. M. Hendriks, M. Geilen, A. R. B. Behrouzian, T. Basten, H. Alizadeh, and D. Goswami. Checking metric temporal logic with trace. In 2016 16th International Conference on Application of Concurrency to System Design (ACSD), June 2016. doi:10.1109/ACSD.2016.13 (Technical report Report ESR-2016-01).
4. M. Hendriks, J. Verriet, T. Basten, B. Theelen, M. Brasse, L. Somers. Analyzing Execution Traces - Critical-Path Analysis and Distance Analysis. International Journal on Software Tools for Technology Transfer. 19(4):487-510, August 2017. doi:10.1007/s10009-016-0436-z
5. M. Hendriks, J. Verriet, and T. Basten, Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool. International Journal on Software Tools for Technology Transfer 26, 101-126, 2024. doi:10.1007/s10009-024-00736-3