Marcello M. Bersani, Francesco Marconi, Matteo Rossi. Trace Checking of Streaming Applications through DICE-TraCT. In Katinka Wolter, William J. Knottenbelt, André van Hoorn, Manoj Nambiar, editors, Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, ICPE 2018, Berlin, Germany, April 09-13, 2018. pages 159-160, ACM, 2018. [doi]
Abstract is missing.