Teng Zhang, Ramneet Kaur, Insup Lee, Oleg Sokolsky. Runtime Verification of Parametric Properties Using SMEDL. In Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky, editors, From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday. Volume 11500 of Lecture Notes in Computer Science, pages 276-293, Springer, 2019. [doi]
Abstract is missing.