Serial Compositional Runtime Enforcement of Safety Timed Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Saumya Shankar, Srinivas Pinisetty. Serial Compositional Runtime Enforcement of Safety Timed Properties. In Sonali Agarwal, Abhik Roychoudhury, Rahul Purandare, Saurabh Tiwari 0001, Lov Kumar, editors, 16th Innovations in Software Engineering Conference, ISEC2023, Allahabad, India, February 23-25, 2023. ACM, 2023. [doi]

This author has not been identified. Look up 'Saumya Shankar' in GoogleThis author has not been identified. Look up 'Srinivas Pinisetty' in Google

runs on WebDSL