publications:
- title: "Domain-Specific Modelling With Atom3"
  author:
  - name: "Hans Vangheluwe"
    link: "http://msdl.cs.mcgill.ca/people/hv"
  - name: "Ximeng Sun"
    link: "https://researchr.org/alias/ximeng-sun"
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  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:
  - name: "Joaquim Filipe"
    link: "https://researchr.org/alias/joaquim-filipe"
  - name: "Boris Shishkov"
    link: "https://researchr.org/alias/boris-shishkov"
  - name: "Markus Helfert"
    link: "https://researchr.org/alias/markus-helfert"
  publisher: "INSTICC Press"
  isbn: "978-989-8111-05-0"
  kind: "inproceedings"
  key: "VangheluweSB07"
- title: "Temporal Assertions using AspectJ"
  author:
  - name: "Volker Stolz"
    link: "https://researchr.org/alias/volker-stolz"
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.02.007"
  links:
    doi: "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"
  kind: "article"
  key: "StolzB06"
- title: "Transforming Timeline Specifications into Automata for Runtime Monitoring"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Hans Vangheluwe"
    link: "http://msdl.cs.mcgill.ca/people/hv"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-89020-1_18"
  links:
    doi: "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:
  - name: "Andy Schürr"
    link: "http://www.es.tu-darmstadt.de/index.php?id=66"
  - name: "Manfred Nagl"
    link: "https://researchr.org/alias/manfred-nagl"
  - name: "Albert Zündorf"
    link: "https://researchr.org/alias/albert-z%C3%BCndorf"
  volume: "5088"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-89019-5"
  kind: "inproceedings"
  key: "BoddenV07"
- title: "Dependent advice: a general approach to optimizing history-based aspects"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Feng Chen"
    link: "https://researchr.org/alias/feng-chen"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1509239.1509243"
  links:
    doi: "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:
  - name: "Kevin J. Sullivan"
    link: "https://researchr.org/alias/kevin-j.-sullivan"
  publisher: "ACM"
  isbn: "978-1-60558-442-3"
  kind: "inproceedings"
  key: "BoddenCR09"
- title: "Collaborative Runtime Verification with Tracematches"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Laurie J. Hendren"
    link: "https://researchr.org/alias/laurie-j.-hendren"
  - name: "Patrick Lam"
    link: "https://researchr.org/alias/patrick-lam"
  - name: "Ondrej Lhoták"
    link: "https://researchr.org/alias/ondrej-lhot%C3%A1k"
  - name: "Nomair A. Naeem"
    link: "https://researchr.org/alias/nomair-a.-naeem"
  year: "2010"
  doi: "http://dx.doi.org/10.1093/logcom/exn077"
  links:
    doi: "http://dx.doi.org/10.1093/logcom/exn077"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/logcom/BoddenHLLN10"
  researchr: "https://researchr.org/publication/BoddenHLLN10"
  cites: 0
  citedby: 0
  journal: "Journal of Logic and Computation"
  volume: "20"
  number: "3"
  pages: "707-723"
  kind: "article"
  key: "BoddenHLLN10"
- title: "Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Patrick Lam"
    link: "https://researchr.org/alias/patrick-lam"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16612-9_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16612-9_8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rv/BoddenL10"
  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:
  - name: "Howard Barringer"
    link: "https://researchr.org/alias/howard-barringer"
  - name: "Yliès Falcone"
    link: "https://researchr.org/alias/yli%C3%A8s-falcone"
  - name: "Bernd Finkbeiner"
    link: "https://researchr.org/alias/bernd-finkbeiner"
  - name: "Klaus Havelund"
    link: "https://researchr.org/alias/klaus-havelund"
  - name: "Insup Lee"
    link: "https://researchr.org/alias/insup-lee"
  - name: "Gordon J. Pace"
    link: "https://researchr.org/alias/gordon-j.-pace"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  - name: "Oleg Sokolsky"
    link: "https://researchr.org/alias/oleg-sokolsky"
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  volume: "6418"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-16611-2"
  kind: "inproceedings"
  key: "BoddenL10"
- title: "A high-level view of Java applications"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/949344.949447"
  links:
    doi: "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:
  - name: "Ron Crocker"
    link: "https://researchr.org/alias/ron-crocker"
  - name: "Guy L. Steele Jr."
    link: "http://research.sun.com/people/mybio.php?uid=25706"
  publisher: "ACM"
  isbn: "1-58113-751-6"
  kind: "inproceedings"
  key: "Bodden03"
- title: "Avoiding Infinite Recursion with Stratified Aspects"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Florian Forster"
    link: "https://researchr.org/alias/florian-forster"
  - name: "Friedrich Steimann"
    link: "http://www.fernuni-hagen.de/ps/team/friedrich.steimann.shtml"
  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:
  - name: "Robert Hirschfeld"
    link: "http://www.hpi.uni-potsdam.de/personen/professoren/hirschfeld.html"
  - name: "Andreas Polze"
    link: "https://researchr.org/alias/andreas-polze"
  - name: "Ryszard Kowalczyk"
    link: "https://researchr.org/alias/ryszard-kowalczyk"
  volume: "88"
  series: "LNI"
  publisher: "GI"
  isbn: "978-3-88579-182-9"
  kind: "inproceedings"
  key: "BoddenFS06"
- title: "A lightweight LTL runtime verification tool for java"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1028664.1028776"
  links:
    doi: "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:
  - name: "John M. Vlissides"
    link: "https://researchr.org/alias/john-m.-vlissides"
  - name: "Douglas C. Schmidt"
    link: "https://researchr.org/alias/douglas-c.-schmidt"
  publisher: "ACM"
  isbn: "1-58113-833-4"
  kind: "inproceedings"
  key: "Bodden04"
- title: "Tracechecks: Defining Semantic Interfaces with Temporal Logic"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Volker Stolz"
    link: "https://researchr.org/alias/volker-stolz"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11821946_10"
  links:
    doi: "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:
  - name: "Welf Löwe"
    link: "https://researchr.org/alias/welf-l%C3%B6we"
  - name: "Mario Südholt"
    link: "https://researchr.org/alias/mario-s%C3%BCdholt"
  volume: "4089"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-37657-7"
  kind: "inproceedings"
  key: "BoddenS06"
- title: "Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Patrick Lam"
    link: "https://researchr.org/alias/patrick-lam"
  - name: "Laurie J. Hendren"
    link: "https://researchr.org/alias/laurie-j.-hendren"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16612-9_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16612-9_15"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rv/BoddenLH10"
  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:
  - name: "Howard Barringer"
    link: "https://researchr.org/alias/howard-barringer"
  - name: "Yliès Falcone"
    link: "https://researchr.org/alias/yli%C3%A8s-falcone"
  - name: "Bernd Finkbeiner"
    link: "https://researchr.org/alias/bernd-finkbeiner"
  - name: "Klaus Havelund"
    link: "https://researchr.org/alias/klaus-havelund"
  - name: "Insup Lee"
    link: "https://researchr.org/alias/insup-lee"
  - name: "Gordon J. Pace"
    link: "https://researchr.org/alias/gordon-j.-pace"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  - name: "Oleg Sokolsky"
    link: "https://researchr.org/alias/oleg-sokolsky"
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  volume: "6418"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-16611-2"
  kind: "inproceedings"
  key: "BoddenLH10"
- title: "Collaborative Runtime Verification with Tracematches"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  - name: "Patrick Lam"
    link: "https://researchr.org/alias/patrick-lam"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Nomair A. Naeem"
    link: "https://researchr.org/alias/nomair-a.-naeem"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-77395-5_3"
  links:
    doi: "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:
  - name: "Oleg Sokolsky"
    link: "https://researchr.org/alias/oleg-sokolsky"
  - name: "Serdar Tasiran"
    link: "https://researchr.org/alias/serdar-tasiran"
  volume: "4839"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-77394-8"
  kind: "inproceedings"
  key: "BoddenHLLN07"
- title: "The design and implementation of formal monitoring techniques"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1297846.1297955"
  links:
    doi: "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:
  - name: "Richard P. Gabriel"
    link: "http://www.dreamsongs.com/RPG.html"
  - name: "David F. Bacon"
    link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html"
  - name: "Cristina Videira  Lopes"
    link: "http://www.ics.uci.edu/~lopes/"
  - name: "Guy L. Steele Jr."
    link: "http://research.sun.com/people/mybio.php?uid=25706"
  publisher: "ACM"
  isbn: "978-1-59593-865-7"
  kind: "inproceedings"
  key: "Bodden07"
- title: "Racer: effective race detection using aspectj"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Klaus Havelund"
    link: "https://researchr.org/alias/klaus-havelund"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1390630.1390650"
  links:
    doi: "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:
  - name: "Barbara G. Ryder"
    link: "https://researchr.org/alias/barbara-g.-ryder"
  - name: "Andreas Zeller"
    link: "https://researchr.org/alias/andreas-zeller"
  publisher: "ACM"
  isbn: "978-1-60558-050-0"
  kind: "inproceedings"
  key: "BoddenH08"
- title: "Aspect-Oriented Race Detection in Java"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Klaus Havelund"
    link: "https://researchr.org/alias/klaus-havelund"
  year: "2010"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2010.25"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2010.25"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tse/BoddenH10"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/BoddenH10"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "36"
  number: "4"
  pages: "509-527"
  kind: "article"
  key: "BoddenH10"
- title: "Relational aspects as tracematches"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Reehan Shaikh"
    link: "https://researchr.org/alias/reehan-shaikh"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1353482.1353493"
  links:
    doi: "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:
  - name: "Theo D Hondt"
    link: "https://researchr.org/alias/theo-d-hondt"
  publisher: "ACM"
  isbn: "978-1-60558-044-9"
  kind: "inproceedings"
  key: "BoddenSH08"
- title: "Object representatives: a uniform abstraction for pointer information"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Patrick Lam"
    link: "https://researchr.org/alias/patrick-lam"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  year: "2008"
  doi: "http://www.bcs.org/server.php?show=ConWebDoc.22982"
  links:
    doi: "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:
  - name: "Erol Gelenbe"
    link: "https://researchr.org/alias/erol-gelenbe"
  - name: "Samson Abramsky"
    link: "https://researchr.org/alias/samson-abramsky"
  - name: "Vladimiro Sassone"
    link: "https://researchr.org/alias/vladimiro-sassone"
  publisher: "British Computer Society"
  kind: "inproceedings"
  key: "BoddenLH08-0"
- title: "Finding programming errors earlier by evaluating runtime monitors ahead-of-time"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Patrick Lam"
    link: "https://researchr.org/alias/patrick-lam"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1453101.1453109"
  links:
    doi: "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:
  - name: "Mary Jean Harrold"
    link: "https://researchr.org/alias/mary-jean-harrold"
  - name: "Gail C. Murphy"
    link: "https://researchr.org/alias/gail-c.-murphy"
  publisher: "ACM"
  isbn: "978-1-59593-995-1"
  kind: "inproceedings"
  key: "BoddenLH08"
- title: "Efficient trace monitoring"
  author:
  - name: "Pavel Avgustinov"
    link: "http://www.comlab.ox.ac.uk/people/pavel.avgustinov/"
  - name: "Julian Tibble"
    link: "https://researchr.org/alias/julian-tibble"
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Neil Ongkingco"
    link: "https://researchr.org/alias/neil-ongkingco"
  - name: "Ganesh Sittampalam"
    link: "http://www.earth.li/~ganesh/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1176617.1176673"
  links:
    doi: "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:
  - name: "Peri L. Tarr"
    link: "https://researchr.org/alias/peri-l.-tarr"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  publisher: "ACM"
  isbn: "1-59593-491-X"
  kind: "inproceedings"
  key: "AvgustinovTBHLMOS06"
- title: "Aspects and Data Refinement"
  author:
  - name: "Pavel Avgustinov"
    link: "http://www.comlab.ox.ac.uk/people/pavel.avgustinov/"
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Elnar Hajiyev"
    link: "https://researchr.org/alias/elnar-hajiyev"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Neil Ongkingco"
    link: "https://researchr.org/alias/neil-ongkingco"
  - name: "Damien Sereni"
    link: "http://metacomp.comlab.ox.ac.uk/Members/damien"
  - name: "Ganesh Sittampalam"
    link: "http://www.earth.li/~ganesh/"
  - name: "Julian Tibble"
    link: "https://researchr.org/alias/julian-tibble"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11783596_3"
  links:
    doi: "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:
  - name: "Tarmo Uustalu"
    link: "https://researchr.org/alias/tarmo-uustalu"
  volume: "4014"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35631-2"
  kind: "inproceedings"
  key: "AvgustinovBHMOSST06"
- title: "Aspects for Trace Monitoring"
  author:
  - name: "Pavel Avgustinov"
    link: "http://www.comlab.ox.ac.uk/people/pavel.avgustinov/"
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Elnar Hajiyev"
    link: "https://researchr.org/alias/elnar-hajiyev"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Neil Ongkingco"
    link: "https://researchr.org/alias/neil-ongkingco"
  - name: "Damien Sereni"
    link: "http://metacomp.comlab.ox.ac.uk/Members/damien"
  - name: "Ganesh Sittampalam"
    link: "http://www.earth.li/~ganesh/"
  - name: "Julian Tibble"
    link: "https://researchr.org/alias/julian-tibble"
  - name: "Mathieu Verbaere"
    link: "https://researchr.org/alias/mathieu-verbaere"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11940197_2"
  links:
    doi: "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:
  - name: "Klaus Havelund"
    link: "https://researchr.org/alias/klaus-havelund"
  - name: "Manuel Núñez"
    link: "https://researchr.org/alias/manuel-n%C3%BA%C3%B1ez"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  - name: "Burkhart Wolff"
    link: "https://researchr.org/alias/burkhart-wolff"
  volume: "4262"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-49699-8"
  kind: "inproceedings"
  key: "AvgustinovBHHLMOSSTV06"
- title: "Efficient hybrid typestate analysis by determining continuation-equivalent states"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1806799.1806805"
  links:
    doi: "http://doi.acm.org/10.1145/1806799.1806805"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/Bodden10"
  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:
  - name: "Jeff Kramer"
    link: "https://researchr.org/alias/jeff-kramer"
  - name: "Judith Bishop"
    link: "https://researchr.org/alias/judith-bishop"
  - name: "Premkumar T. Devanbu"
    link: "https://researchr.org/alias/premkumar-t.-devanbu"
  - name: "Sebastián Uchitel"
    link: "https://researchr.org/alias/sebasti%C3%A1n-uchitel"
  publisher: "ACM"
  isbn: "978-1-60558-719-6"
  kind: "inproceedings"
  key: "Bodden10"
- title: "A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73589-2_25"
  links:
    doi: "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:
  - name: "Erik Ernst"
    link: "http://person.au.dk/eernst@cs"
  volume: "4609"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73588-5"
  kind: "inproceedings"
  key: "BoddenHL07"
- title: "Reducing Configurations to Monitor in a Software Product Line"
  author:
  - name: "Chang Hwan Peter Kim"
    link: "https://researchr.org/alias/chang-hwan-peter-kim"
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Don S. Batory"
    link: "https://researchr.org/alias/don-s.-batory"
  - name: "Sarfraz Khurshid"
    link: "https://researchr.org/alias/sarfraz-khurshid"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16612-9_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16612-9_22"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rv/KimBBK10"
  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:
  - name: "Howard Barringer"
    link: "https://researchr.org/alias/howard-barringer"
  - name: "Yliès Falcone"
    link: "https://researchr.org/alias/yli%C3%A8s-falcone"
  - name: "Bernd Finkbeiner"
    link: "https://researchr.org/alias/bernd-finkbeiner"
  - name: "Klaus Havelund"
    link: "https://researchr.org/alias/klaus-havelund"
  - name: "Insup Lee"
    link: "https://researchr.org/alias/insup-lee"
  - name: "Gordon J. Pace"
    link: "https://researchr.org/alias/gordon-j.-pace"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  - name: "Oleg Sokolsky"
    link: "https://researchr.org/alias/oleg-sokolsky"
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  volume: "6418"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-16611-2"
  kind: "inproceedings"
  key: "KimBBK10"