BibTeX records: Matthew Hoosier

• > Home > Persons > Matthew Hoosier

@article{DBLP:journals/computer/ChildsGJHH06,
  author       = {Adam Childs and
                  Jesse Greenwald and
                  Georg Jung and
                  Matthew Hoosier and
                  John Hatcliff},
  title        = {{CALM} and Cadena: Metamodeling for Component-Based Product-Line Development},
  journal      = {Computer},
  volume       = {39},
  number       = {2},
  pages        = {42--50},
  year         = {2006},
  url          = {https://doi.org/10.1109/MC.2006.51},
  doi          = {10.1109/MC.2006.51},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/ChildsGJHH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/DwyerHHRRW06,
  author       = {Matthew B. Dwyer and
                  John Hatcliff and
                  Matthew Hoosier and
                  Venkatesh Prasad Ranganath and
                  Robby and
                  Todd Wallentine},
  editor       = {Holger Hermanns and
                  Jens Palsberg},
  title        = {Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent
                  Object-Oriented Programs},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  12th International Conference, {TACAS} 2006 Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2006,
                  Vienna, Austria, March 25 - April 2, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3920},
  pages        = {73--89},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11691372\_5},
  doi          = {10.1007/11691372\_5},
  timestamp    = {Sat, 30 Sep 2023 09:57:43 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/DwyerHHRRW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/DwyerHHR05,
  author       = {Matthew B. Dwyer and
                  John Hatcliff and
                  Matthew Hoosier and
                  Robby},
  editor       = {Kousha Etessami and
                  Sriram K. Rajamani},
  title        = {Building Your Own Software Model Checker Using the Bogor Extensible
                  Model Checking Framework},
  booktitle    = {Computer Aided Verification, 17th International Conference, {CAV}
                  2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3576},
  pages        = {148--152},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11513988\_15},
  doi          = {10.1007/11513988\_15},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/DwyerHHR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eclipse/DwyerHH04,
  author       = {Matthew B. Dwyer and
                  John Hatcliff and
                  Matthew Hoosier},
  editor       = {Michael G. Burke},
  title        = {Supporting model checking education using BOGOR/Eclipse},
  booktitle    = {Proceedings of the 2004 {OOPSLA} workshop on Eclipse Technology eXchange,
                  {ETX} 2004, Vancouver, British Columbia, Canada, October 24, 2004},
  pages        = {88--92},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1066129.1066147},
  doi          = {10.1145/1066129.1066147},
  timestamp    = {Mon, 14 Feb 2022 14:38:20 +0100},
  biburl       = {https://dblp.org/rec/conf/eclipse/DwyerHH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/HoosierDRH04,
  author       = {Matthew Hoosier and
                  Matthew B. Dwyer and
                  Robby and
                  John Hatcliff},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {A Case Study in Domain-Customized Model Checking for Real-Time Component
                  Software},
  booktitle    = {Leveraging Applications of Formal Methods, First International Symposium,
                  ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4313},
  pages        = {161--180},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11925040\_11},
  doi          = {10.1007/11925040\_11},
  timestamp    = {Sun, 02 Jun 2019 21:11:27 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/HoosierDRH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/HoosierHRD04,
  author       = {Matthew Hoosier and
                  John Hatcliff and
                  Robby and
                  Matthew B. Dwyer},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen and
                  Anna Philippou and
                  Manfred Reitenspie{\ss}},
  title        = {A Case Study in Domain-customized Model Checking for Real-time Component
                  Software},
  booktitle    = {International Symposium on Leveraging Applications of Formal Methods,
                  ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
                  proceedings},
  series       = {Technical Report},
  volume       = {{TR-2004-6}},
  pages        = {261--267},
  publisher    = {Department of Computer Science, University of Cyprus},
  year         = {2004},
  timestamp    = {Thu, 11 Sep 2008 12:07:39 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/HoosierHRD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}