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"
  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: "ENTCS"
  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: "agtive"
  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: "AOSD"
  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: "logcom"
  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: "RV"
  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: "OOPSLA"
  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: "gsem"
  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: "OOPSLA"
  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: "SC"
  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: "RV"
  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: "rv"
  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: "OOPSLA"
  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: "ISSTA"
  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: "TSE"
  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: "AOSD"
  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: "bcs"
  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: "sigsoft"
  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: "OOPSLA"
  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: "mpc"
  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: "fates"
  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: "ICSE"
  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"
  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: "RV"
  kind: "inproceedings"
  key: "KimBBK10"