Cited By
View all- Shankar SPradhan APinisetty SRollet AFalcone Y(2024)Bounded-memory runtime enforcement with probabilistic and performance analysisFormal Methods in System Design10.1007/s10703-024-00446-162:1-3(141-180)Online publication date: 1-Jun-2024
- Shankar SPinisetty S(2023)Serial Compositional Runtime Enforcement of Safety Timed PropertiesProceedings of the 16th Innovations in Software Engineering Conference10.1145/3578527.3578529(1-11)Online publication date: 23-Feb-2023
- Bonfanti SRiccobene EScandurra P(2023)A component framework for the runtime enforcement of safety propertiesJournal of Systems and Software10.1016/j.jss.2022.111605198:COnline publication date: 1-Apr-2023
- Show More Cited By