Cited By
View all- 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
- Preoteasa VDragomir ITripakis S(2021)The refinement calculus of reactive systemsInformation and Computation10.1016/j.ic.2021.104819(104819)Online publication date: Nov-2021
- Dragomir IPreoteasa VTripakis S(2020)The Refinement Calculus of Reactive Systems ToolsetInternational Journal on Software Tools for Technology Transfer10.1007/s10009-020-00561-4Online publication date: 7-Apr-2020
- Show More Cited By