BibTeX records: Oliver Markgraf

• > Home > Persons > Oliver Markgraf

@inproceedings{DBLP:conf/cav/JezLMR23,
  author       = {Artur Jez and
                  Anthony W. Lin and
                  Oliver Markgraf and
                  Philipp R{\"{u}}mmer},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Decision Procedures for Sequence Theories},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {18--40},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_2},
  doi          = {10.1007/978-3-031-37703-7\_2},
  timestamp    = {Tue, 12 Sep 2023 07:57:21 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/JezLMR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2308-00175,
  author       = {Artur Jez and
                  Anthony W. Lin and
                  Oliver Markgraf and
                  Philipp R{\"{u}}mmer},
  title        = {Decision Procedures for Sequence Theories (Technical Report)},
  journal      = {CoRR},
  volume       = {abs/2308.00175},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2308.00175},
  doi          = {10.48550/ARXIV.2308.00175},
  eprinttype    = {arXiv},
  eprint       = {2308.00175},
  timestamp    = {Mon, 21 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-00175.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/MarkgrafSL20,
  author       = {Oliver Markgraf and
                  Daniel Stan and
                  Anthony W. Lin},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Learning Union of Integer Hypercubes with Queries - (with Applications
                  to Monadic Decomposition)},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {243--265},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_12},
  doi          = {10.1007/978-3-030-81688-9\_12},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/MarkgrafSL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2105-13071,
  author       = {Oliver Markgraf and
                  Daniel Stan and
                  Anthony W. Lin},
  title        = {Learning Union of Integer Hypercubes with Queries (Technical Report)},
  journal      = {CoRR},
  volume       = {abs/2105.13071},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.13071},
  eprinttype    = {arXiv},
  eprint       = {2105.13071},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-13071.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/MarkgrafHLNN20,
  author       = {Oliver Markgraf and
                  Chih{-}Duo Hong and
                  Anthony W. Lin and
                  Muhammad Najib and
                  Daniel Neider},
  editor       = {Bruno C. d. S. Oliveira},
  title        = {Parameterized Synthesis with Safety Properties},
  booktitle    = {Programming Languages and Systems - 18th Asian Symposium, {APLAS}
                  2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12470},
  pages        = {273--292},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-64437-6\_14},
  doi          = {10.1007/978-3-030-64437-6\_14},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/MarkgrafHLNN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2009-13459,
  author       = {Oliver Markgraf and
                  Chih{-}Duo Hong and
                  Anthony W. Lin and
                  Muhammad Najib and
                  Daniel Neider},
  title        = {Parameterized Synthesis with Safety Properties},
  journal      = {CoRR},
  volume       = {abs/2009.13459},
  year         = {2020},
  url          = {https://arxiv.org/abs/2009.13459},
  eprinttype    = {arXiv},
  eprint       = {2009.13459},
  timestamp    = {Wed, 30 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-13459.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/NeiderM19,
  author       = {Daniel Neider and
                  Oliver Markgraf},
  editor       = {Clark W. Barrett and
                  Jin Yang},
  title        = {Learning-Based Synthesis of Safety Controllers},
  booktitle    = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose,
                  CA, USA, October 22-25, 2019},
  pages        = {120--128},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.23919/FMCAD.2019.8894254},
  doi          = {10.23919/FMCAD.2019.8894254},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/NeiderM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1901-06801,
  author       = {Daniel Neider and
                  Oliver Markgraf},
  title        = {Learning-Based Synthesis of Safety Controllers},
  journal      = {CoRR},
  volume       = {abs/1901.06801},
  year         = {2019},
  url          = {http://arxiv.org/abs/1901.06801},
  eprinttype    = {arXiv},
  eprint       = {1901.06801},
  timestamp    = {Fri, 01 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-06801.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}