[{"text":"\n\n\nMehmet Aksit , Arend Rensink , Tom Staijen, A graph-transformation-based simulation approach for analysing aspect interference on shared join points, Proceedings of the 8th ACM international conference on Aspect-oriented software development, March 02-06, 2009, Charlottesville, Virginia, USA   [doi>10.1145/1509239.1509247]\n\n","citation":"1509247","doi":"http://doi.acm.org/10.1145/1509239.1509247"},{"text":"\n\nJ. Aldrich. Open modules: A proposal for modular reasoning in aspect-oriented programming. In In Workshop on foundations of aspect-oriented languages, pages 7--18, 2004.\n\n"},{"text":"\n\n\nYevgenia Alperin-Tsimerman , Shmuel Katz, Dataflow analysis for properties of aspect systems, Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing, October 19-22, 2009, Haifa, Israel \n\n","citation":"1965987"},{"text":"\n\nC. Clifton and G. T. Leavens. Observers and assistants: A proposal for modular aspect-oriented reasoning. In In FOAL Workshop, 2002.\n\n"},{"text":"\n\n\nJames C. Corbett , Matthew B. Dwyer , John Hatcliff , Shawn Laubach , Corina S. Păsăreanu , Robby , Hongjun Zheng, Bandera: extracting finite-state models from Java source code, Proceedings of the 22nd international conference on Software engineering, p.439-448, June 04-11, 2000, Limerick, Ireland   [doi>10.1145/337180.337234]\n\n","citation":"337234","doi":"http://doi.acm.org/10.1145/337180.337234"},{"text":"\n\n\nRémi Douence , Pascal Fradet , Mario Südholt, A Framework for the Detection and Resolution of Aspect Interactions, Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering, p.173-188, October 06-08, 2002 \n\n","citation":"652651"},{"text":"\n\nP. E. A. Durr, T. Staijen, L. M. J. Bergmans, and M. Akşit. Reasoning about semantic conflicts between aspects. Technical Report TR-CTIT-05--73, Centre for Telematics and Information Technology University of Twente, Enschede, September 2005.\n\n"},{"text":"\n\n\nMax Goldman , Emilia Katz , Shmuel Katz, MAVEN: modular aspect verification and interference analysis, Formal Methods in System Design, v.37 n.1, p.61-92, November 2010   [doi>10.1007/s10703-010-0101-1]\n\n","citation":"1891379"},{"text":"\n\n\nEmilia Katz , Shmuel Katz, Incremental analysis of interference among aspects, Proceedings of the 7th workshop on Foundations of aspect-oriented languages, p.29-38, April 01-01, 2008, Brussels, Belgium   [doi>10.1145/1394496.1394500]\n\n","citation":"1394500","doi":"http://doi.acm.org/10.1145/1394496.1394500"},{"text":"\n\n\nEmilia Katz , Shmuel Katz, Modular verification of strongly invasive aspects: summary, Proceedings of the 2009 workshop on Foundations of aspect-oriented languages, March 02-02, 2009, Charlottesville, Virginia, USA   [doi>10.1145/1509837.1509840]\n\n","citation":"1509840","doi":"http://doi.acm.org/10.1145/1509837.1509840"},{"text":"\n\n\nEmilia Katz , Shmuel Katz, User Queries for Specification Refinement Treating Shared Aspect Join Points, Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods, p.73-82, September 13-18, 2010   [doi>10.1109/SEFM.2010.16]\n\n","citation":"1915893"},{"text":"\n\n\nShmuel Katz, Aspect categories and classes of temporal properties, Transactions on Aspect-Oriented Software Development I, Springer-Verlag, Berlin, Heidelberg, 2006 \n\n","citation":"2168346"},{"text":"\n\n\nRaffi Khatchadourian , Johan Dovland , Neelam Soundarajan, Enforcing behavioral constraints in evolving aspect-oriented programs, Proceedings of the 7th workshop on Foundations of aspect-oriented languages, p.19-28, April 01-01, 2008, Brussels, Belgium   [doi>10.1145/1394496.1394499]\n\n","citation":"1394499","doi":"http://doi.acm.org/10.1145/1394496.1394499"},{"text":"\n\n\nGregor Kiczales , Mira Mezini, Aspect-oriented programming and modular reasoning, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA   [doi>10.1145/1062455.1062482]\n\n","citation":"1062482","doi":"http://doi.acm.org/10.1145/1062455.1062482"},{"text":"\n\n \nShriram Krishnamurthi , Kathi Fisler, Foundations of incremental aspect model-checking, ACM Transactions on Software Engineering and Methodology (TOSEM), v.16 n.2, p.7-es, April 2007   [doi>10.1145/1217295.1217296]\n\n","citation":"1217296","doi":"http://doi.acm.org/10.1145/1217295.1217296"},{"text":"\n\n\nFlemming Nielson , Hanne R. Nielson , Chris Hankin, Principles of Program Analysis, Springer-Verlag New York, Inc., Secaucus, NJ, 1999 \n\n","citation":"555142"},{"text":"\n\nN. Weston, F. Taiani, and A. Rashid. Interaction analysis for fault-tolerance in aspect-oriented programming. In In Proc. Workshop on Methods, Models, and Tools for Fault Tolerance, pages 95--102, 2007.\n\n"}]