Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs102.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1211-6185,
  author       = {Sidney Amani and
                  Peter Chubb and
                  Alastair F. Donaldson and
                  Alexander Legg and
                  Leonid Ryzhyk and
                  Yanjin Zhu},
  editor       = {Franck Cassez and
                  Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Automatic Verification of Message-Based Device Drivers},
  booktitle    = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
                  2012, Sydney, Australia, 28-30 November 2012},
  series       = {{EPTCS}},
  volume       = {102},
  pages        = {4--17},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.102.3},
  doi          = {10.4204/EPTCS.102.3},
  timestamp    = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-6185.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1211-6186,
  author       = {Christoph Baumann and
                  Bernhard Beckert and
                  Holger Blasum and
                  Thorsten Bormer},
  editor       = {Franck Cassez and
                  Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Lessons Learned From Microkernel Verification -- Specification is
                  the New Bottleneck},
  booktitle    = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
                  2012, Sydney, Australia, 28-30 November 2012},
  series       = {{EPTCS}},
  volume       = {102},
  pages        = {18--32},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.102.4},
  doi          = {10.4204/EPTCS.102.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-6186.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1211-6187,
  author       = {Gidon Ernst and
                  Gerhard Schellhorn and
                  Dominik Haneberg and
                  J{\"{o}}rg Pf{\"{a}}hler and
                  Wolfgang Reif},
  editor       = {Franck Cassez and
                  Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {A Formal Model of a Virtual Filesystem Switch},
  booktitle    = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
                  2012, Sydney, Australia, 28-30 November 2012},
  series       = {{EPTCS}},
  volume       = {102},
  pages        = {33--45},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.102.5},
  doi          = {10.4204/EPTCS.102.5},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-6187.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1211-6188,
  author       = {Daniel Matichuk},
  editor       = {Franck Cassez and
                  Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Automatic Function Annotations for Hoare Logic},
  booktitle    = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
                  2012, Sydney, Australia, 28-30 November 2012},
  series       = {{EPTCS}},
  volume       = {102},
  pages        = {46--56},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.102.6},
  doi          = {10.4204/EPTCS.102.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-6188.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1211-6189,
  author       = {Chih{-}Hong Cheng and
                  Rongjie Yan and
                  Saddek Bensalem and
                  Harald Ruess},
  editor       = {Franck Cassez and
                  Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Distributed Priority Synthesis},
  booktitle    = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
                  2012, Sydney, Australia, 28-30 November 2012},
  series       = {{EPTCS}},
  volume       = {102},
  pages        = {57--72},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.102.7},
  doi          = {10.4204/EPTCS.102.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-6189.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1211-6190,
  author       = {Hendrik Tews and
                  Marcus V{\"{o}}lp and
                  Tjark Weber},
  editor       = {Franck Cassez and
                  Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {On the Use of Underspecified Data-Type Semantics for Type Safety in
                  Low-Level Code},
  booktitle    = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
                  2012, Sydney, Australia, 28-30 November 2012},
  series       = {{EPTCS}},
  volume       = {102},
  pages        = {73--87},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.102.8},
  doi          = {10.4204/EPTCS.102.8},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-6190.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1211-6191,
  author       = {Tatiana Mangels and
                  Jan Peleska},
  editor       = {Franck Cassez and
                  Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {{CTGEN} - a Unit Test Generator for {C}},
  booktitle    = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
                  2012, Sydney, Australia, 28-30 November 2012},
  series       = {{EPTCS}},
  volume       = {102},
  pages        = {88--102},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.102.9},
  doi          = {10.4204/EPTCS.102.9},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-6191.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1211-6192,
  author       = {Eva Beckschulze and
                  Sebastian Biallas and
                  Stefan Kowalewski},
  editor       = {Franck Cassez and
                  Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Static Analysis of Lockless Microcontroller {C} Programs},
  booktitle    = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
                  2012, Sydney, Australia, 28-30 November 2012},
  series       = {{EPTCS}},
  volume       = {102},
  pages        = {103--114},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.102.10},
  doi          = {10.4204/EPTCS.102.10},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-6192.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1211-6193,
  author       = {Chris Hathhorn and
                  Michela Becchi and
                  William L. Harrison and
                  Adam M. Procter},
  editor       = {Franck Cassez and
                  Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Formal Semantics of Heterogeneous {CUDA-C:} {A} Modular Approach with
                  Applications},
  booktitle    = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
                  2012, Sydney, Australia, 28-30 November 2012},
  series       = {{EPTCS}},
  volume       = {102},
  pages        = {115--124},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.102.11},
  doi          = {10.4204/EPTCS.102.11},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-6193.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1211-6194,
  author       = {Alexandre David and
                  Lasse Jacobsen and
                  Morten Jacobsen and
                  Jir{\'{\i}} Srba},
  editor       = {Franck Cassez and
                  Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets},
  booktitle    = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
                  2012, Sydney, Australia, 28-30 November 2012},
  series       = {{EPTCS}},
  volume       = {102},
  pages        = {125--140},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.102.12},
  doi          = {10.4204/EPTCS.102.12},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-6194.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1211-6195,
  author       = {Kenneth Yrke J{\o}rgensen and
                  Kim G. Larsen and
                  Jir{\'{\i}} Srba},
  editor       = {Franck Cassez and
                  Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Time-Darts: {A} Data Structure for Verification of Closed Timed Automata},
  booktitle    = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
                  2012, Sydney, Australia, 28-30 November 2012},
  series       = {{EPTCS}},
  volume       = {102},
  pages        = {141--155},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.102.13},
  doi          = {10.4204/EPTCS.102.13},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-6195.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1211-6196,
  author       = {Christel Baier and
                  Marcus Daum and
                  Benjamin Engel and
                  Hermann H{\"{a}}rtig and
                  Joachim Klein and
                  Sascha Kl{\"{u}}ppelholz and
                  Steffen M{\"{a}}rcker and
                  Hendrik Tews and
                  Marcus V{\"{o}}lp},
  editor       = {Franck Cassez and
                  Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Chiefly Symmetric: Results on the Scalability of Probabilistic Model
                  Checking for Operating-System Code},
  booktitle    = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
                  2012, Sydney, Australia, 28-30 November 2012},
  series       = {{EPTCS}},
  volume       = {102},
  pages        = {156--166},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.102.14},
  doi          = {10.4204/EPTCS.102.14},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-6196.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1211-6197,
  author       = {David A. Cock},
  editor       = {Franck Cassez and
                  Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Verifying Probabilistic Correctness in Isabelle with pGCL},
  booktitle    = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
                  2012, Sydney, Australia, 28-30 November 2012},
  series       = {{EPTCS}},
  volume       = {102},
  pages        = {167--178},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.102.15},
  doi          = {10.4204/EPTCS.102.15},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-6197.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1211-5873,
  editor       = {Franck Cassez and
                  Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
                  2012, Sydney, Australia, 28-30 November 2012},
  series       = {{EPTCS}},
  volume       = {102},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.102},
  doi          = {10.4204/EPTCS.102},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-5873.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.