@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},
}

@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 = {ENTCS},
  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 = {agtive},
}

@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 = {AOSD},
}

@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 = {logcom},
  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 = {RV},
}

@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 = {OOPSLA},
}

@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 = {gsem},
}

@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 = {OOPSLA},
}

@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 = {SC},
}

@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 = {RV},
}

@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 = {rv},
}

@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 = {OOPSLA},
}

@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 = {ISSTA},
}

@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 = {TSE},
  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 = {AOSD},
}

@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 = {bcs},
}

@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 = {sigsoft},
}

@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 = {OOPSLA},
}

@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 = {mpc},
}

@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 = {fates},
}

@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 = {ICSE},
}

@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},
}

@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 = {RV},
}