@inproceedings{VangheluweSB07,
  title = {Domain-Specific Modelling With Atom3},
  author = {Hans Vangheluwe and Ximeng Sun and Eric Bodden},
  year = {2007},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/VangheluweSB07},
  cites = {0},
  citedby = {0},
  pages = {298-304},
  booktitle = {ICSOFT 2007, Proceedings of the Second International Conference on Software and Data Technologies, Volume PL/DPS/KE/MUSE, Barcelona, Spain, July 22-25, 2007},
  editor = {Joaquim Filipe and Boris Shishkov and Markus Helfert},
  publisher = {INSTICC Press},
  isbn = {978-989-8111-05-0},
}

@article{StolzB06,
  title = {Temporal Assertions using AspectJ},
  author = {Volker Stolz and Eric Bodden},
  year = {2006},
  doi = {10.1016/j.entcs.2006.02.007},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.02.007},
  tags = {AspectJ},
  researchr = {https://researchr.org/publication/StolzB06},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {144},
  number = {4},
  pages = {109-124},
}

@inproceedings{BoddenV07,
  title = {Transforming Timeline Specifications into Automata for Runtime Monitoring},
  author = {Eric Bodden and Hans Vangheluwe},
  year = {2007},
  doi = {10.1007/978-3-540-89020-1_18},
  url = {http://dx.doi.org/10.1007/978-3-540-89020-1_18},
  researchr = {https://researchr.org/publication/BoddenV07},
  cites = {0},
  citedby = {0},
  pages = {249-264},
  booktitle = {Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers},
  editor = {Andy Schürr and Manfred Nagl and Albert Zündorf},
  volume = {5088},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89019-5},
}

@inproceedings{BoddenCR09,
  title = {Dependent advice: a general approach to optimizing history-based aspects},
  author = {Eric Bodden and Feng Chen and Grigore Rosu},
  year = {2009},
  doi = {10.1145/1509239.1509243},
  url = {http://doi.acm.org/10.1145/1509239.1509243},
  tags = {optimization, rule-based, history, systematic-approach},
  researchr = {https://researchr.org/publication/BoddenCR09},
  cites = {0},
  citedby = {0},
  pages = {3-14},
  booktitle = {Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009},
  editor = {Kevin J. Sullivan},
  publisher = {ACM},
  isbn = {978-1-60558-442-3},
}

@article{BoddenHLLN10,
  title = {Collaborative Runtime Verification with Tracematches},
  author = {Eric Bodden and Laurie J. Hendren and Patrick Lam and Ondrej Lhoták and Nomair A. Naeem},
  year = {2010},
  doi = {10.1093/logcom/exn077},
  url = {http://dx.doi.org/10.1093/logcom/exn077},
  researchr = {https://researchr.org/publication/BoddenHLLN10},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Computation},
  volume = {20},
  number = {3},
  pages = {707-723},
}

@inproceedings{BoddenL10,
  title = {Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement},
  author = {Eric Bodden and Patrick Lam},
  year = {2010},
  doi = {10.1007/978-3-642-16612-9_8},
  url = {http://dx.doi.org/10.1007/978-3-642-16612-9_8},
  tags = {compiler},
  researchr = {https://researchr.org/publication/BoddenL10},
  cites = {0},
  citedby = {0},
  pages = {74-88},
  booktitle = {Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings},
  editor = {Howard Barringer and Yliès Falcone and Bernd Finkbeiner and Klaus Havelund and Insup Lee and Gordon J. Pace and Grigore Rosu and Oleg Sokolsky and Nikolai Tillmann},
  volume = {6418},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-16611-2},
}

@inproceedings{Bodden03,
  title = {A high-level view of Java applications},
  author = {Eric Bodden},
  year = {2003},
  doi = {10.1145/949344.949447},
  url = {http://doi.acm.org/10.1145/949344.949447},
  tags = {Java},
  researchr = {https://researchr.org/publication/Bodden03},
  cites = {0},
  citedby = {0},
  pages = {384-385},
  booktitle = {Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA},
  editor = {Ron Crocker and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {1-58113-751-6},
}

@inproceedings{BoddenFS06,
  title = {Avoiding Infinite Recursion with Stratified Aspects},
  author = {Eric Bodden and Florian Forster and Friedrich Steimann},
  year = {2006},
  researchr = {https://researchr.org/publication/BoddenFS06},
  cites = {0},
  citedby = {0},
  pages = {49-64},
  booktitle = {Conference Proceedings NODe 2006, GSEM 2006, Erfurt, Germany, September 18-20, 2006},
  editor = {Robert Hirschfeld and Andreas Polze and Ryszard Kowalczyk},
  volume = {88},
  series = {LNI},
  publisher = {GI},
  isbn = {978-3-88579-182-9},
}

@inproceedings{Bodden04,
  title = {A lightweight LTL runtime verification tool for java},
  author = {Eric Bodden},
  year = {2004},
  doi = {10.1145/1028664.1028776},
  url = {http://doi.acm.org/10.1145/1028664.1028776},
  tags = {Java},
  researchr = {https://researchr.org/publication/Bodden04},
  cites = {0},
  citedby = {0},
  pages = {306-307},
  booktitle = {Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada},
  editor = {John M. Vlissides and Douglas C. Schmidt},
  publisher = {ACM},
  isbn = {1-58113-833-4},
}

@inproceedings{BoddenS06,
  title = {Tracechecks: Defining Semantic Interfaces with Temporal Logic},
  author = {Eric Bodden and Volker Stolz},
  year = {2006},
  doi = {10.1007/11821946_10},
  url = {http://dx.doi.org/10.1007/11821946_10},
  tags = {logic},
  researchr = {https://researchr.org/publication/BoddenS06},
  cites = {0},
  citedby = {0},
  pages = {147-162},
  booktitle = {Software Composition, 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers},
  editor = {Welf Löwe and Mario Südholt},
  volume = {4089},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37657-7},
}

@inproceedings{BoddenLH10,
  title = {Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time},
  author = {Eric Bodden and Patrick Lam and Laurie J. Hendren},
  year = {2010},
  doi = {10.1007/978-3-642-16612-9_15},
  url = {http://dx.doi.org/10.1007/978-3-642-16612-9_15},
  researchr = {https://researchr.org/publication/BoddenLH10},
  cites = {0},
  citedby = {0},
  pages = {183-197},
  booktitle = {Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings},
  editor = {Howard Barringer and Yliès Falcone and Bernd Finkbeiner and Klaus Havelund and Insup Lee and Gordon J. Pace and Grigore Rosu and Oleg Sokolsky and Nikolai Tillmann},
  volume = {6418},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-16611-2},
}

@inproceedings{BoddenHLLN07,
  title = {Collaborative Runtime Verification with Tracematches},
  author = {Eric Bodden and Laurie J. Hendren and Patrick Lam and Ondřej Lhoták and Nomair A. Naeem},
  year = {2007},
  doi = {10.1007/978-3-540-77395-5_3},
  url = {http://dx.doi.org/10.1007/978-3-540-77395-5_3},
  researchr = {https://researchr.org/publication/BoddenHLLN07},
  cites = {0},
  citedby = {0},
  pages = {22-37},
  booktitle = {Runtime Verification, 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers},
  editor = {Oleg Sokolsky and Serdar Tasiran},
  volume = {4839},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-77394-8},
}

@inproceedings{Bodden07,
  title = {The design and implementation of formal monitoring techniques},
  author = {Eric Bodden},
  year = {2007},
  doi = {10.1145/1297846.1297955},
  url = {http://doi.acm.org/10.1145/1297846.1297955},
  tags = {design},
  researchr = {https://researchr.org/publication/Bodden07},
  cites = {0},
  citedby = {0},
  pages = {939-940},
  booktitle = {Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada},
  editor = {Richard P. Gabriel and David F. Bacon and Cristina Videira  Lopes and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {978-1-59593-865-7},
}

@inproceedings{BoddenH08,
  title = {Racer: effective race detection using aspectj},
  author = {Eric Bodden and Klaus Havelund},
  year = {2008},
  doi = {10.1145/1390630.1390650},
  url = {http://doi.acm.org/10.1145/1390630.1390650},
  tags = {AspectJ},
  researchr = {https://researchr.org/publication/BoddenH08},
  cites = {0},
  citedby = {0},
  pages = {155-166},
  booktitle = {Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008},
  editor = {Barbara G. Ryder and Andreas Zeller},
  publisher = {ACM},
  isbn = {978-1-60558-050-0},
}

@article{BoddenH10,
  title = {Aspect-Oriented Race Detection in Java},
  author = {Eric Bodden and Klaus Havelund},
  year = {2010},
  doi = {10.1109/TSE.2010.25},
  url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2010.25},
  tags = {Java},
  researchr = {https://researchr.org/publication/BoddenH10},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Software Eng.},
  volume = {36},
  number = {4},
  pages = {509-527},
}

@inproceedings{BoddenSH08,
  title = {Relational aspects as tracematches},
  author = {Eric Bodden and Reehan Shaikh and Laurie J. Hendren},
  year = {2008},
  doi = {10.1145/1353482.1353493},
  url = {http://doi.acm.org/10.1145/1353482.1353493},
  researchr = {https://researchr.org/publication/BoddenSH08},
  cites = {0},
  citedby = {0},
  pages = {84-95},
  booktitle = {Proceedings of the 7th International Conference on Aspect-Oriented Software Development, AOSD 2008, Brussels, Belgium, March 31 - April 4, 2008},
  editor = {Theo D Hondt},
  publisher = {ACM},
  isbn = {978-1-60558-044-9},
}

@inproceedings{BoddenLH08-0,
  title = {Object representatives: a uniform abstraction for pointer information},
  author = {Eric Bodden and Patrick Lam and Laurie J. Hendren},
  year = {2008},
  url = {http://www.bcs.org/server.php?show=ConWebDoc.22982},
  tags = {meta-model, abstraction, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BoddenLH08-0},
  cites = {0},
  citedby = {0},
  pages = {391-405},
  booktitle = {Visions of Computer Science - BCS International Academic Conference, Imperial College, London, UK, 22-24 September 2008},
  editor = {Erol Gelenbe and Samson Abramsky and Vladimiro Sassone},
  publisher = {British Computer Society},
}

@inproceedings{BoddenLH08,
  title = {Finding programming errors earlier by evaluating runtime monitors ahead-of-time},
  author = {Eric Bodden and Patrick Lam and Laurie J. Hendren},
  year = {2008},
  doi = {10.1145/1453101.1453109},
  url = {http://doi.acm.org/10.1145/1453101.1453109},
  tags = {programming},
  researchr = {https://researchr.org/publication/BoddenLH08},
  cites = {0},
  citedby = {0},
  pages = {36-47},
  booktitle = {Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008},
  editor = {Mary Jean Harrold and Gail C. Murphy},
  publisher = {ACM},
  isbn = {978-1-59593-995-1},
}

@inproceedings{AvgustinovTBHLMOS06,
  title = {Efficient trace monitoring},
  author = {Pavel Avgustinov and Julian Tibble and Eric Bodden and Laurie J. Hendren and Ondřej Lhoták and Oege de Moor and Neil Ongkingco and Ganesh Sittampalam},
  year = {2006},
  doi = {10.1145/1176617.1176673},
  url = {http://doi.acm.org/10.1145/1176617.1176673},
  researchr = {https://researchr.org/publication/AvgustinovTBHLMOS06},
  cites = {0},
  citedby = {0},
  pages = {685-686},
  booktitle = {Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-491-X},
}

@inproceedings{AvgustinovBHMOSST06,
  title = {Aspects and Data Refinement},
  author = {Pavel Avgustinov and Eric Bodden and Elnar Hajiyev and Oege de Moor and Neil Ongkingco and Damien Sereni and Ganesh Sittampalam and Julian Tibble},
  year = {2006},
  doi = {10.1007/11783596_3},
  url = {http://dx.doi.org/10.1007/11783596_3},
  tags = {refinement, data-flow},
  researchr = {https://researchr.org/publication/AvgustinovBHMOSST06},
  cites = {0},
  citedby = {0},
  pages = {5-9},
  booktitle = {Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  editor = {Tarmo Uustalu},
  volume = {4014},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35631-2},
}

@inproceedings{AvgustinovBHHLMOSSTV06,
  title = {Aspects for Trace Monitoring},
  author = {Pavel Avgustinov and Eric Bodden and Elnar Hajiyev and Laurie J. Hendren and Ondřej Lhoták and Oege de Moor and Neil Ongkingco and Damien Sereni and Ganesh Sittampalam and Julian Tibble and Mathieu Verbaere},
  year = {2006},
  doi = {10.1007/11940197_2},
  url = {http://dx.doi.org/10.1007/11940197_2},
  researchr = {https://researchr.org/publication/AvgustinovBHHLMOSSTV06},
  cites = {0},
  citedby = {0},
  pages = {20-39},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers},
  editor = {Klaus Havelund and Manuel Núñez and Grigore Rosu and Burkhart Wolff},
  volume = {4262},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-49699-8},
}

@inproceedings{Bodden10,
  title = {Efficient hybrid typestate analysis by determining continuation-equivalent states},
  author = {Eric Bodden},
  year = {2010},
  doi = {10.1145/1806799.1806805},
  url = {http://doi.acm.org/10.1145/1806799.1806805},
  tags = {analysis},
  researchr = {https://researchr.org/publication/Bodden10},
  cites = {0},
  citedby = {0},
  pages = {5-14},
  booktitle = {Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010},
  editor = {Jeff Kramer and Judith Bishop and Premkumar T. Devanbu and Sebastián Uchitel},
  publisher = {ACM},
  isbn = {978-1-60558-719-6},
}

@inproceedings{BoddenHL07,
  title = {A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring},
  author = {Eric Bodden and Laurie J. Hendren and Ondřej Lhoták},
  year = {2007},
  doi = {10.1007/978-3-540-73589-2_25},
  url = {http://dx.doi.org/10.1007/978-3-540-73589-2_25},
  tags = {program analysis, analysis, static analysis},
  researchr = {https://researchr.org/publication/BoddenHL07},
  cites = {0},
  citedby = {0},
  pages = {525-549},
  booktitle = {ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings},
  editor = {Erik Ernst},
  volume = {4609},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73588-5},
}

@inproceedings{KimBBK10,
  title = {Reducing Configurations to Monitor in a Software Product Line},
  author = {Chang Hwan Peter Kim and Eric Bodden and Don S. Batory and Sarfraz Khurshid},
  year = {2010},
  doi = {10.1007/978-3-642-16612-9_22},
  url = {http://dx.doi.org/10.1007/978-3-642-16612-9_22},
  tags = {software product line, product line},
  researchr = {https://researchr.org/publication/KimBBK10},
  cites = {0},
  citedby = {0},
  pages = {285-299},
  booktitle = {Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings},
  editor = {Howard Barringer and Yliès Falcone and Bernd Finkbeiner and Klaus Havelund and Insup Lee and Gordon J. Pace and Grigore Rosu and Oleg Sokolsky and Nikolai Tillmann},
  volume = {6418},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-16611-2},
}