[{"text":"\n\n\nCynthia Disenfeld, Compositional verification of events and aspects, Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion, March 25-30, 2012, Potsdam, Germany\n\n\n","citation":"2162121"},{"text":"\n\n\nIsmael Figueroa , Nicolas Tabareau , Éric Tanter, Taming aspects with monads and membranes, Proceedings of the 12th workshop on Foundations of aspect-oriented languages, March 26-26, 2013, Fukuoka, Japan\n\n\n","citation":"2451600"},{"text":"\n\n\nIsmael Figueroa, Towards control of aspect interference using membranes and monads, Proceedings of the 12th annual international conference companion on Aspect-oriented software development, March 24-29, 2013, Fukuoka, Japan\n\n\n","citation":"2457404"},{"text":"\n\n\nHaihan Yin, A graphical tool for observing state and behavioral changes at join points, Proceedings of the 12th annual international conference companion on Aspect-oriented software development, March 24-29, 2013, Fukuoka, Japan\n\n\n","citation":"2457405"},{"text":"\n\n\nGhita Kouadri Mostefaoui , Zakaria Maamar , Nanjangud C. Narendra, SC-WS: A Context-based, Aspect-oriented Approach for Handling Security Concerns in Web Services, International Journal of Organizational and Collective Intelligence, v.4 n.2, p.31-44, April 2014\n\n\n","citation":"2670521"},{"text":"\n\n\nCynthia Disenfeld, User-friendly event and aspect verification, Proceedings of the 12th annual international conference companion on Aspect-oriented software development, March 24-29, 2013, Fukuoka, Japan\n\n\n","citation":"2457407"},{"text":"\n\n\nDavid Harel , Amir Kantor , Guy Katz , Assaf Marron , Lior Mizrahi , Gera Weiss, On composing and proving the correctness of reactive behavior, Proceedings of the Eleventh ACM International Conference on Embedded Software, p.1-10, September 29-October 04, 2013, Montreal, Quebec, Canada\n\n\n","citation":"2555767"},{"text":"\n\n\nThomas F. J.-M. Pasquier , Jean Bacon , Brian Shand, FlowR: aspect oriented programming for information flow control in ruby, Proceedings of the 13th international conference on Modularity, April 22-26, 2014, Lugano, Switzerland\n\n\n","citation":"2577090"},{"text":"\n\n\nCynthia Disenfeld , Shmuel Katz, Specification and verification of event detectors and responses, Proceedings of the 12th annual international conference on Aspect-oriented software development, March 24-29, 2013, Fukuoka, Japan\n\n\n","citation":"2451452"},{"text":"\n\n\nSheng Chen , Martin Erwig , Eric Walkingshaw, Extending Type Inference to Variational Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.36 n.1, p.1-54, March 2014\n\n\n","citation":"2518190"},{"text":"\n\n\nYasuyuki Tahara , Akihiko Ohsuga , Shinichi Honiden, Formal verification of dynamic evolution processes of UML models using aspects, Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 20-28, 2017, Buenos Aires, Argentina\n\n\n","citation":"3105531"}]