BibTeX records: Tobias Isenberg 0002

download as .bib file

@inproceedings{DBLP:conf/tap/0002JPW19,
  author    = {Tobias Isenberg and
               Marie{-}Christine Jakobs and
               Felix Pauck and
               Heike Wehrheim},
  editor    = {Dirk Beyer and
               Chantal Keller},
  title     = {When Are Software Verification Results Valid for Approximate Hardware?},
  booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
               Portugal, October 9-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11823},
  pages     = {3--20},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31157-5\_1},
  doi       = {10.1007/978-3-030-31157-5\_1},
  timestamp = {Tue, 23 Jun 2020 17:50:04 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/0002JPW19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/esl/IsenbergJPW18,
  author    = {Tobias Isenberg and
               Marie{-}Christine Jakobs and
               Felix Pauck and
               Heike Wehrheim},
  title     = {Validity of Software Verification Results on Approximate Hardware},
  journal   = {{IEEE} Embed. Syst. Lett.},
  volume    = {10},
  number    = {1},
  pages     = {22--25},
  year      = {2018},
  url       = {https://doi.org/10.1109/LES.2017.2758200},
  doi       = {10.1109/LES.2017.2758200},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/esl/IsenbergJPW18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/Isenberg17,
  author    = {Tobias Isenberg},
  title     = {Incremental Inductive Verification of Parameterized Timed Systems},
  journal   = {{ACM} Trans. Embed. Comput. Syst.},
  volume    = {16},
  number    = {2},
  pages     = {47:1--47:24},
  year      = {2017},
  url       = {https://doi.org/10.1145/2984640},
  doi       = {10.1145/2984640},
  timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tecs/Isenberg17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/IsenbergPWW17,
  author    = {Tobias Isenberg and
               Marco Platzner and
               Heike Wehrheim and
               Tobias Wiersema},
  title     = {Proof-Carrying Hardware via Inductive Invariants},
  journal   = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume    = {22},
  number    = {4},
  pages     = {61:1--61:23},
  year      = {2017},
  url       = {https://doi.org/10.1145/3054743},
  doi       = {10.1145/3054743},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/todaes/IsenbergPWW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Isenberg16,
  author    = {Tobias Isenberg},
  title     = {Induction-based Verification of Timed Systems},
  school    = {University of Paderborn, Germany},
  year      = {2016},
  url       = {https://nbn-resolving.org/urn:nbn:de:hbz:466:2-24641},
  urn       = {urn:nbn:de:hbz:466:2-24641},
  timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/phd/dnb/Isenberg16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0002JPW16,
  author    = {Tobias Isenberg and
               Marie{-}Christine Jakobs and
               Felix Pauck and
               Heike Wehrheim},
  title     = {Deriving approximation tolerance constraints from verification runs},
  journal   = {CoRR},
  volume    = {abs/1604.08784},
  year      = {2016},
  url       = {http://arxiv.org/abs/1604.08784},
  archivePrefix = {arXiv},
  eprint    = {1604.08784},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/0002JPW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Isenberg15,
  author    = {Tobias Isenberg},
  title     = {Incremental Inductive Verification of Parameterized Timed Systems},
  booktitle = {15th International Conference on Application of Concurrency to System
               Design, {ACSD} 2015, Brussels, Belgium, June 21-26, 2015},
  pages     = {1--9},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {https://doi.org/10.1109/ACSD.2015.13},
  doi       = {10.1109/ACSD.2015.13},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/Isenberg15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/0002W14,
  author    = {Tobias Isenberg and
               Heike Wehrheim},
  editor    = {Stephan Merz and
               Jun Pang},
  title     = {Timed Automata Verification via {IC3} with Zones},
  booktitle = {Formal Methods and Software Engineering - 16th International Conference
               on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
               November 3-5, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8829},
  pages     = {203--218},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-11737-9\_14},
  doi       = {10.1007/978-3-319-11737-9\_14},
  timestamp = {Sat, 31 Aug 2019 23:49:22 +0200},
  biburl    = {https://dblp.org/rec/conf/icfem/0002W14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0002W14a,
  author    = {Tobias Isenberg and
               Heike Wehrheim},
  title     = {Proof-Carrying Hardware via {IC3}},
  journal   = {CoRR},
  volume    = {abs/1410.4507},
  year      = {2014},
  url       = {http://arxiv.org/abs/1410.4507},
  archivePrefix = {arXiv},
  eprint    = {1410.4507},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/0002W14a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/IsenbergSW13,
  author    = {Tobias Isenberg and
               Dominik Steenken and
               Heike Wehrheim},
  editor    = {Dirk Beyer and
               Michele Boreale},
  title     = {Bounded Model Checking of Graph Transformation Systems via {SMT} Solving},
  booktitle = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
               International Conference, {FMOODS/FORTE} 2013, Held as Part of the
               8th International Federated Conference on Distributed Computing Techniques,
               DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7892},
  pages     = {178--192},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38592-6\_13},
  doi       = {10.1007/978-3-642-38592-6\_13},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/IsenbergSW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics