Cited By
View all- Disenfeld CKatz S(2016)Developing and Verifying Response Specifications in Hierarchical Event-Based SystemsTransactions on Modularity and Composition I10.1007/978-3-319-46969-0_2(41-79)Online publication date: 30-Sep-2016
- Disenfeld CMasuhara HChiba SUbayashi N(2013)User-friendly event and aspect verificationProceedings of the 12th annual international conference companion on Aspect-oriented software development10.1145/2457392.2457407(33-34)Online publication date: 24-Mar-2013
- Disenfeld CKatz SMasuhara HKienzle JBaniassad ELorenz D(2013)Specification and verification of event detectors and responsesProceedings of the 12th annual international conference on Aspect-oriented software development10.1145/2451436.2451452(121-132)Online publication date: 24-Mar-2013
- Show More Cited By