Search dblp for Publications

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

export results for "Rothenberg Batchen"

> Home > Search

download as .bib file

@inproceedings{DBLP:conf/fm/PeledRI23,
  author       = {Matan Peled and
                  Bat{-}Chen Rothenberg and
                  Shachar Itzhaky},
  editor       = {Marsha Chechik and
                  Joost{-}Pieter Katoen and
                  Martin Leucker},
  title        = {{SMT} Sampling via Model-Guided Approximation},
  booktitle    = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
                  Germany, March 6-10, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14000},
  pages        = {74--91},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-27481-7\_6},
  doi          = {10.1007/978-3-031-27481-7\_6},
  timestamp    = {Sat, 11 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/PeledRI23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/RothenbergGVS23,
  author       = {Bat{-}Chen Rothenberg and
                  Orna Grumberg and
                  Yakir Vizel and
                  Eytan Singher},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Condition Synthesis Realizability via Constrained Horn Clauses},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {380--396},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_23},
  doi          = {10.1007/978-3-031-33170-1\_23},
  timestamp    = {Mon, 26 Jun 2023 16:06:04 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/RothenbergGVS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/FrenkelGRS22,
  author       = {Hadar Frenkel and
                  Orna Grumberg and
                  Bat{-}Chen Rothenberg and
                  Sarai Sheinvald},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Krishnendu Chatterjee and
                  Laurent Doyen and
                  Rupak Majumdar},
  title        = {Automated Program Repair Using Formal Verification Techniques},
  booktitle    = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger
                  on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {13660},
  pages        = {511--534},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-22337-2\_25},
  doi          = {10.1007/978-3-031-22337-2\_25},
  timestamp    = {Fri, 06 Jan 2023 08:06:45 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/FrenkelGRS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2212-06472,
  author       = {Matan Peled and
                  Bat{-}Chen Rothenberg and
                  Shachar Itzhaky},
  title        = {{SMT} Sampling via Model-Guided Approximation},
  journal      = {CoRR},
  volume       = {abs/2212.06472},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2212.06472},
  doi          = {10.48550/ARXIV.2212.06472},
  eprinttype    = {arXiv},
  eprint       = {2212.06472},
  timestamp    = {Mon, 02 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2212-06472.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse-apr/Rothenberg21,
  author       = {Bat{-}Chen Rothenberg},
  title        = {Challenging the Stigma of Formal Program Repair},
  booktitle    = {2nd {IEEE/ACM} International Workshop on Automated Program Repair,
                  APR@ICSE 2021, Madrid, Spain, June 1, 2021},
  pages        = {33--34},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/APR52552.2021.00015},
  doi          = {10.1109/APR52552.2021.00015},
  timestamp    = {Wed, 11 Aug 2021 15:47:26 +0200},
  biburl       = {https://dblp.org/rec/conf/icse-apr/Rothenberg21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/il/Rothenberg20,
  author       = {Bat{-}Chen Rothenberg},
  title        = {Formal Automated Program Repair},
  school       = {Technion - Israel Institute of Technology, Israel},
  year         = {2020},
  url          = {https://www.cs.technion.ac.il/users/wwwb/cgi-bin/tr-info.cgi/2020/PHD/PHD-2020-10},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/il/Rothenberg20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/RothenbergG20,
  author       = {Bat{-}Chen Rothenberg and
                  Orna Grumberg},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Must Fault Localization for Program Repair},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {658--680},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_33},
  doi          = {10.1007/978-3-030-53291-8\_33},
  timestamp    = {Wed, 12 Aug 2020 15:15:44 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/RothenbergG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/RothenbergG18,
  author       = {Bat{-}Chen Rothenberg and
                  Orna Grumberg},
  editor       = {Michel Chaudron and
                  Ivica Crnkovic and
                  Marsha Chechik and
                  Mark Harman},
  title        = {Program repair that learns from mistakes},
  booktitle    = {Proceedings of the 40th International Conference on Software Engineering:
                  Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
                  June 03, 2018},
  pages        = {218--219},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3183440.3195104},
  doi          = {10.1145/3183440.3195104},
  timestamp    = {Tue, 10 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/RothenbergG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/RothenbergDH18,
  author       = {Bat{-}Chen Rothenberg and
                  Daniel Dietsch and
                  Matthias Heizmann},
  editor       = {Andreas Podelski},
  title        = {Incremental Verification Using Trace Abstraction},
  booktitle    = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
                  Germany, August 29-31, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11002},
  pages        = {364--382},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99725-4\_22},
  doi          = {10.1007/978-3-319-99725-4\_22},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/RothenbergDH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/RothenbergG16,
  author       = {Bat{-}Chen Rothenberg and
                  Orna Grumberg},
  editor       = {John S. Fitzgerald and
                  Constance L. Heitmeyer and
                  Stefania Gnesi and
                  Anna Philippou},
  title        = {Sound and Complete Mutation-Based Program Repair},
  booktitle    = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
                  Cyprus, November 9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9995},
  pages        = {593--611},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48989-6\_36},
  doi          = {10.1007/978-3-319-48989-6\_36},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/RothenbergG16.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.