BibTeX records: Michael Mehlich

download as .bib file

@inproceedings{DBLP:conf/scam/Mehlich11,
  author       = {Michael Mehlich},
  title        = {CheckPointer - {A} {C} Memory Access Validator},
  booktitle    = {11th {IEEE} Working Conference on Source Code Analysis and Manipulation,
                  {SCAM} 2011, Williamsburg, VA, USA, September 25-26, 2011},
  pages        = {165--172},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/SCAM.2011.8},
  doi          = {10.1109/SCAM.2011.8},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scam/Mehlich11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/infsof/AkersBMEL07,
  author       = {Robert L. Akers and
                  Ira D. Baxter and
                  Michael Mehlich and
                  Brian J. Ellis and
                  Kenn R. Luecke},
  title        = {Case study: Re-engineering {C++} component models via automatic program
                  transformation},
  journal      = {Inf. Softw. Technol.},
  volume       = {49},
  number       = {3},
  pages        = {275--291},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.infsof.2006.10.012},
  doi          = {10.1016/J.INFSOF.2006.10.012},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/infsof/AkersBMEL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wcre/AkersBMEL05,
  author       = {Robert L. Akers and
                  Ira D. Baxter and
                  Michael Mehlich and
                  Brian J. Ellis and
                  Kenn R. Luecke},
  title        = {Reengineering {C++} Component Models via Automatic Program Transformation},
  booktitle    = {12th Working Conference on Reverse Engineering, {WCRE} 2005, Pittsburgh,
                  PA, USA, November 7-11, 2005},
  pages        = {13--22},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/WCRE.2005.25},
  doi          = {10.1109/WCRE.2005.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/AkersBMEL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/BaxterPM04,
  author       = {Ira D. Baxter and
                  Christopher W. Pidgeon and
                  Michael Mehlich},
  editor       = {Anthony Finkelstein and
                  Jacky Estublier and
                  David S. Rosenblum},
  title        = {DMS{\textregistered}: Program Transformations for Practical Scalable
                  Software Evolution},
  booktitle    = {26th International Conference on Software Engineering {(ICSE} 2004),
                  23-28 May 2004, Edinburgh, United Kingdom},
  pages        = {625--634},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICSE.2004.1317484},
  doi          = {10.1109/ICSE.2004.1317484},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/BaxterPM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/AkersBM04,
  author       = {Robert L. Akers and
                  Ira D. Baxter and
                  Michael Mehlich},
  editor       = {John M. Vlissides and
                  Douglas C. Schmidt},
  title        = {Program transformations for re-engineering {C++} components {[OOPSLA/GPCE]}},
  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},
  pages        = {25--26},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1028664.1028679},
  doi          = {10.1145/1028664.1028679},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/AkersBM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/AkersBM04,
  author       = {Robert L. Akers and
                  Ira D. Baxter and
                  Michael Mehlich},
  editor       = {Nevin Heintze and
                  Peter Sestoft},
  title        = {Invited application paper: re-engineering {C++} components via automatic
                  program transformation},
  booktitle    = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-based Program Manipulation, 2004, Verona, Italy, August
                  24-25, 2004},
  pages        = {51--55},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1014007.1014013},
  doi          = {10.1145/1014007.1014013},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/AkersBM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wcre/BaxterM01,
  author       = {Ira D. Baxter and
                  Michael Mehlich},
  editor       = {Elizabeth Burd and
                  Peter Aiken and
                  Rainer Koschke},
  title        = {Preprocessor Conditional Removal by Simple Partial Evaluation},
  booktitle    = {Proceedings of the Eighth Working Conference on Reverse Engineering,
                  WCRE'01, Stuttgart, Germany, October 2-5, 2001},
  pages        = {281--290},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/WCRE.2001.957833},
  doi          = {10.1109/WCRE.2001.957833},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/BaxterM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BaxterM00,
  author       = {Ira D. Baxter and
                  Michael Mehlich},
  title        = {Reverse engineering is reverse forward engineering},
  journal      = {Sci. Comput. Program.},
  volume       = {36},
  number       = {2-3},
  pages        = {131--147},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0167-6423(99)00034-9},
  doi          = {10.1016/S0167-6423(99)00034-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BaxterM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wcre/BaxterM97,
  author       = {Ira D. Baxter and
                  Michael Mehlich},
  editor       = {Ira D. Baxter and
                  Alex Quilici and
                  Chris Verhoef},
  title        = {Reverse Engineering is Reverse Forward Engineering},
  booktitle    = {4th Working Conference on Reverse Engineering, {WCRE} '97, Amsterdam,
                  The Netherlands, October 6-8, 1997},
  pages        = {104--113},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/WCRE.1997.624581},
  doi          = {10.1109/WCRE.1997.624581},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/BaxterM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/dnb/Mehlich96,
  author       = {Michael Mehlich},
  title        = {Implementation of combinator specifications: notions and proving techniques},
  school       = {Ludwig Maximilian University of Munich, Germany},
  year         = {1996},
  url          = {https://d-nb.info/946947791},
  isbn         = {978-3-8265-1253-7},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Mehlich96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.