[{"text":"\n\n\nChristian Colombo , Adrian Francalanza , Ruth Mizzi , Gordon J. Pace, polyLARVA: runtime verification with configurable resource-aware monitoring boundaries, Proceedings of the 10th international conference on Software Engineering and Formal Methods, October 01-05, 2012, Thessaloniki, Greece\n\n\n","citation":"2404249"},{"text":"\n\n\nHenrique Rebêlo , Gary T. Leavens, Enforcing information hiding in interface specifications: a client-aware checking approach, Companion Proceedings of the 14th International Conference on Modularity, March 16-19, 2015, Fort Collins, CO, USA\n\n\n","citation":"2736750"},{"text":"\n\n\nHaihan Yin , Christoph Bockisch , Mehmet Aksit, A pointcut language for setting advanced breakpoints, Proceedings of the 12th annual international conference on Aspect-oriented software development, March 24-29, 2013, Fukuoka, Japan\n\n\n","citation":"2451454"},{"text":"\n\n\nEric Bodden, TS4J: a fluent interface for defining and computing typestate analyses, Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis, p.1-6, June 12-12, 2014, Edinburgh, United Kingdom\n\n\n","citation":"2614629"},{"text":"\n\n\nSylvain Hallé , Raphaël Tremblay-Lessard, A case for \"Piggyback\" Runtime Monitoring, Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change, October 15-18, 2012, Heraklion, Crete, Greece\n\n\n","citation":"2414062"},{"text":"\n\n\nSylvain Hallé , Jason Vallet , Raphaël Tremblay-Lessard, On piggyback runtime monitoring of object-oriented programs, International Journal on Software Tools for Technology Transfer (STTT), v.17 n.2, p.125-142, April 2015\n\n\n","citation":"2744512"},{"text":"\n\n\nChang Hwan Peter Kim , Eric Bodden , Don Batory , Sarfraz Khurshid, Reducing configurations to monitor in a software product line, Proceedings of the First international conference on Runtime verification, November 01-04, 2010, St. Julians, Malta\n\n\n","citation":"1939424"},{"text":"\n\n\nFeng Chen , Grigore Roşu, Parametric Trace Slicing and Monitoring, Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,, March 22-29, 2009, York, UK\n\n\n","citation":"1532921"},{"text":"\n\n\nEric Bodden, Efficient hybrid typestate analysis by determining continuation-equivalent states, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, May 01-08, 2010, Cape Town, South Africa\n\n\n","citation":"1806805"},{"text":"\n\n\nDanilo Ansaloni , Walter Binder , Alex Villazón , Philippe Moret, Parallel dynamic analysis on multicores with aspect-oriented programming, Proceedings of the 9th International Conference on Aspect-Oriented Software Development, March 15-19, 2010, Rennes and Saint-Malo, France\n\n\n","citation":"1739232"},{"text":"\n\n\nPatrick Meredith , Grigore Rosu, Efficient parametric runtime verification with deterministic string rewriting, Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering, November 11-15, 2013, Silicon Valley, CA, USA\n\n\n","citation":"3107669"},{"text":"\n\n\nEric Bodden , Laurie Hendren, The Clara framework for hybrid typestate analysis, International Journal on Software Tools for Technology Transfer (STTT), v.14 n.3, p.307-326, June 2012\n\n\n","citation":"3116163"},{"text":"\n\n\nEric Bodden , Patrick Lam, Clara: partially evaluating runtime monitors at compile time tutorial supplement, Proceedings of the First international conference on Runtime verification, November 01-04, 2010, St. Julians, Malta\n\n\n","citation":"1939409"},{"text":"\n\n\nEric Bodden , Patrick Lam , Laurie Hendren, Partially Evaluating Finite-State Runtime Monitors Ahead of Time, ACM Transactions on Programming Languages and Systems (TOPLAS), v.34 n.2, p.1-52, June 2012\n\n\n","citation":"2220366"},{"text":"\n\n\nEric Bodden , Patrick Lam , Laurie Hendren, Clara: a framework for partially evaluating finite-state runtime monitors ahead of time, Proceedings of the First international conference on Runtime verification, November 01-04, 2010, St. Julians, Malta\n\n\n","citation":"1939417"},{"text":"\n\n\nDongyun Jin , Patrick O'Neil Meredith , Dennis Griffith , Grigore Rosu, Garbage collection for monitoring parametric properties, ACM SIGPLAN Notices, v.46 n.6, June 2011\n\n\n","citation":"1993547"},{"text":"\n\n\nPatrick O'neil Meredith , Dongyun Jin , Dennis Griffith , Feng Chen , Grigore Roşu, An overview of the MOP runtime verification framework, International Journal on Software Tools for Technology Transfer (STTT), v.14 n.3, p.249-289, June 2012\n\n\n","citation":"3116164"},{"text":"\n\n\nSébastien Mosser , Mireille Blay-Fornarino , Robert France, Workflow design using fragment composition: crisis management system design through ADORE, Transactions on aspect-oriented software development VII: a common case study for aspect-oriented modeling, Springer-Verlag, Berlin, Heidelberg, 2010\n\n\n","citation":"1986554"},{"text":"\n\n\nSébastien Mosser , Mireille Blay-Fornarino , Robert France, Workflow design using fragment composition: crisis management system design through ADORE, Transactions on aspect-oriented software development VII: a common case study for aspect-oriented modeling, Springer-Verlag, Berlin, Heidelberg, 2010\n\n\n","citation":"1980568"},{"text":"\n\n\nPaul Leger , Éric Tanter , Hiroaki Fukuda, An expressive stateful aspect language, Science of Computer Programming, v.102 n.C, p.108-141, May 2015\n\n\n","citation":"2776439"}]