BibTeX records: Stefan Staber

• > Home > Persons > Stefan Staber

@article{DBLP:journals/jcss/JobstmannSGB12,
  author       = {Barbara Jobstmann and
                  Stefan Staber and
                  Andreas Griesmayer and
                  Roderick Bloem},
  title        = {Finding and fixing faults},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {78},
  number       = {2},
  pages        = {441--460},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.jcss.2011.05.005},
  doi          = {10.1016/J.JCSS.2011.05.005},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/JobstmannSGB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/GriesmayerSB10,
  author       = {Andreas Griesmayer and
                  Stefan Staber and
                  Roderick Bloem},
  title        = {Fault localization using a model checker},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {20},
  number       = {2},
  pages        = {149--173},
  year         = {2010},
  url          = {https://doi.org/10.1002/stvr.421},
  doi          = {10.1002/STVR.421},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stvr/GriesmayerSB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/FeySBD08,
  author       = {G{\"{o}}rschwin Fey and
                  Stefan Staber and
                  Roderick Bloem and
                  Rolf Drechsler},
  title        = {Automatic Fault Localization for Property Checking},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {27},
  number       = {6},
  pages        = {1138--1149},
  year         = {2008},
  url          = {https://doi.org/10.1109/TCAD.2008.923234},
  doi          = {10.1109/TCAD.2008.923234},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcad/FeySBD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/StaberB07,
  author       = {Stefan Staber and
                  Roderick Bloem},
  editor       = {Jo{\~{a}}o Marques{-}Silva and
                  Karem A. Sakallah},
  title        = {Fault Localization and Correction with {QBF}},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th
                  International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4501},
  pages        = {355--368},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72788-0\_34},
  doi          = {10.1007/978-3-540-72788-0\_34},
  timestamp    = {Mon, 24 Feb 2020 19:23:27 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/StaberB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/StaberFBD06,
  author       = {Stefan Staber and
                  G{\"{o}}rschwin Fey and
                  Roderick Bloem and
                  Rolf Drechsler},
  editor       = {Eyal Bin and
                  Avi Ziv and
                  Shmuel Ur},
  title        = {Automatic Fault Localization for Property Checking},
  booktitle    = {Hardware and Software, Verification and Testing, Second International
                  Haifa Verification Conference, {HVC} 2006, Haifa, Israel, October
                  23-26, 2006. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4383},
  pages        = {50--64},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-70889-6\_4},
  doi          = {10.1007/978-3-540-70889-6\_4},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/StaberFBD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GriesmayerSB07,
  author       = {Andreas Griesmayer and
                  Stefan Staber and
                  Roderick Bloem},
  editor       = {Roderick Bloem and
                  Marco Roveri and
                  Fabio Somenzi},
  title        = {Automated Fault Localization for {C} Programs},
  booktitle    = {Proceedings of the Workshop on Verification and Debugging, V{\&}D@FLoC
                  2006, Seattle, WA, USA, August 21, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {4},
  pages        = {95--111},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.12.032},
  doi          = {10.1016/J.ENTCS.2006.12.032},
  timestamp    = {Fri, 27 Jan 2023 12:15:31 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GriesmayerSB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/StaberJB05,
  author       = {Stefan Staber and
                  Barbara Jobstmann and
                  Roderick Bloem},
  editor       = {Dominique Borrione and
                  Wolfgang J. Paul},
  title        = {Finding and Fixing Faults},
  booktitle    = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
                  10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
                  Germany, October 3-6, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3725},
  pages        = {35--49},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560548\_6},
  doi          = {10.1007/11560548\_6},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/StaberJB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}