[{"text":"\n\nIEEE standard for property specification language (PSL). IEEE Std 1850--2005.\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\n\nThomas Ball , Rupak Majumdar , Todd Millstein , Sriram K. Rajamani, Automatic predicate abstraction of C programs, Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, p.203-213, June 2001, Snowbird, Utah, USA   [doi>10.1145/378795.378846]\n\n","citation":"378846","doi":"http://doi.acm.org/10.1145/378795.378846"},{"text":"\n\n\nChristoph Bockisch , Somayeh Malakuti , Mehmet Akşit , Shmuel Katz, Making aspects natural: events and composition, Proceedings of the tenth international conference on Aspect-oriented software development, March 21-25, 2011, Porto de Galinhas, Brazil   [doi>10.1145/1960275.1960312]\n\n","citation":"1960312","doi":"http://doi.acm.org/10.1145/1960275.1960312"},{"text":"\n\nCurtis Clifton and Gary T. Leavens. Observers and assistants: A proposal for modular aspect-oriented reasoning. In FOAL, 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\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   [doi>10.1145/2451436.2451452]\n\n","citation":"2451452","doi":"http://doi.acm.org/10.1145/2451436.2451452"},{"text":"\n\n\nCynthia Disenfeld , Shmuel Katz, Compositional verification of events and observers: (summary), Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, March 21-21, 2011, Porto de Galinhas, Brazil   [doi>10.1145/1960510.1960512]\n\n","citation":"1960512","doi":"http://doi.acm.org/10.1145/1960510.1960512"},{"text":"\n\n\nCynthia Disenfeld , Shmuel Katz, A closer look at aspect interference and cooperation, Proceedings of the 11th annual international conference on Aspect-oriented Software Development, March 25-30, 2012, Potsdam, Germany   [doi>10.1145/2162049.2162063]\n\n","citation":"2162063","doi":"http://doi.acm.org/10.1145/2162049.2162063"},{"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\nGerard J. Holzmann, The Model Checker SPIN, IEEE Transactions on Software Engineering, v.23 n.5, p.279-295, May 1997   [doi>10.1109/32.588521]\n\n","citation":"260902"},{"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\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\nGregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Videira Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-oriented programming. In ECOOP, 1997.\n\n"},{"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\nZohar Manna , Amir Pnueli, The temporal logic of reactive and concurrent systems, Springer-Verlag New York, Inc., New York, NY, 1992 \n\n","citation":"128869"},{"text":"\n\n\nMartin Rinard , Alexandru Salcianu , Suhabe Bugrara, A classification system and analysis for aspect-oriented programs, Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, October 31-November 06, 2004, Newport Beach, CA, USA   [doi>10.1145/1029894.1029917]\n\n","citation":"1029917","doi":"http://doi.acm.org/10.1145/1029894.1029917"}]