Search dblp for Publications

export results for "toc:db/conf/ssv/ssv2010.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ssv/AndronickGE10,
  author       = {June Andronick and
                  David Greenaway and
                  Kevin Elphinstone},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Towards Proving Security in the Presence of Large Untrusted Components},
  booktitle    = {5th International Workshop on Systems Software Verification, SSV'10,
                  Vancouver, BC, Canada, October 6-7, 2010},
  publisher    = {{USENIX} Association},
  year         = {2010},
  url          = {https://www.usenix.org/conference/ssv10/towards-proving-security-presence-large-untrusted-components},
  timestamp    = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl       = {https://dblp.org/rec/conf/ssv/AndronickGE10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ssv/BiallasBK10,
  author       = {Sebastian Biallas and
                  J{\"{o}}rg Brauer and
                  Stefan Kowalewski},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Counterexample-Guided Abstraction Refinement for PLCs},
  booktitle    = {5th International Workshop on Systems Software Verification, SSV'10,
                  Vancouver, BC, Canada, October 6-7, 2010},
  publisher    = {{USENIX} Association},
  year         = {2010},
  url          = {https://www.usenix.org/conference/ssv10/counterexample-guided-abstraction-refinement-plcs},
  timestamp    = {Wed, 04 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssv/BiallasBK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ssv/CapposJ10,
  author       = {Justin Cappos and
                  Jonathan Jacky},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Model-based Testing Without a Model: Assessing Portability in the
                  Seattle Testbed},
  booktitle    = {5th International Workshop on Systems Software Verification, SSV'10,
                  Vancouver, BC, Canada, October 6-7, 2010},
  publisher    = {{USENIX} Association},
  year         = {2010},
  url          = {https://www.usenix.org/conference/ssv10/model-based-testing-without-model-assessing-portability-seattle-testbed},
  timestamp    = {Wed, 04 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssv/CapposJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ssv/Cock10,
  author       = {David A. Cock},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Lyrebird - Assigning Meanings to Machines},
  booktitle    = {5th International Workshop on Systems Software Verification, SSV'10,
                  Vancouver, BC, Canada, October 6-7, 2010},
  publisher    = {{USENIX} Association},
  year         = {2010},
  url          = {https://www.usenix.org/conference/ssv10/lyrebird\%E2\%80\%94assigning-meanings-machines},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssv/Cock10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ssv/DuanR10,
  author       = {Jianjun Duan and
                  John Regehr},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Correctness Proofs for Device Drivers in Embedded Systems},
  booktitle    = {5th International Workshop on Systems Software Verification, SSV'10,
                  Vancouver, BC, Canada, October 6-7, 2010},
  publisher    = {{USENIX} Association},
  year         = {2010},
  url          = {https://www.usenix.org/conference/ssv10/correctness-proofs-device-drivers-embedded-systems},
  timestamp    = {Wed, 04 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssv/DuanR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ssv/KaminN10,
  author       = {Volker Kamin and
                  Thomas Noll},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Loop Refinement Using Octagons and Satisfiability},
  booktitle    = {5th International Workshop on Systems Software Verification, SSV'10,
                  Vancouver, BC, Canada, October 6-7, 2010},
  publisher    = {{USENIX} Association},
  year         = {2010},
  url          = {https://www.usenix.org/conference/ssv10/loop-refinement-using-octagons-and-satisfiability},
  timestamp    = {Wed, 08 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssv/KaminN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ssv/MaedaY10,
  author       = {Toshiyuki Maeda and
                  Akinori Yonezawa},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Typed Assembly Language for Implementing {OS} Kernels in SMP/Multi-Core
                  Environments with Interrupts},
  booktitle    = {5th International Workshop on Systems Software Verification, SSV'10,
                  Vancouver, BC, Canada, October 6-7, 2010},
  publisher    = {{USENIX} Association},
  year         = {2010},
  url          = {https://www.usenix.org/conference/ssv10/typed-assembly-language-implementing-os-kernels-smpmulti-core-environments},
  timestamp    = {Wed, 04 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssv/MaedaY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ssv/Pendergrass10,
  author       = {J. Aaron Pendergrass},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Verification of Stack Manipulation in the {SCIP} Processor},
  booktitle    = {5th International Workshop on Systems Software Verification, SSV'10,
                  Vancouver, BC, Canada, October 6-7, 2010},
  publisher    = {{USENIX} Association},
  year         = {2010},
  url          = {https://www.usenix.org/conference/ssv10/verification-stack-manipulation-scip-processor},
  timestamp    = {Wed, 04 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssv/Pendergrass10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ssv/SimsaBG10,
  author       = {Jir{\'{\i}} Simsa and
                  Randy Bryant and
                  Garth A. Gibson},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {dBug: Systematic Evaluation of Distributed Systems},
  booktitle    = {5th International Workshop on Systems Software Verification, SSV'10,
                  Vancouver, BC, Canada, October 6-7, 2010},
  publisher    = {{USENIX} Association},
  year         = {2010},
  url          = {https://www.usenix.org/conference/ssv10/dbug-systematic-evaluation-distributed-systems},
  timestamp    = {Wed, 04 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssv/SimsaBG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ssv/SinzFM10,
  author       = {Carsten Sinz and
                  Stephan Falke and
                  Florian Merz},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {A Precise Memory Model for Low-Level Bounded Model Checking},
  booktitle    = {5th International Workshop on Systems Software Verification, SSV'10,
                  Vancouver, BC, Canada, October 6-7, 2010},
  publisher    = {{USENIX} Association},
  year         = {2010},
  url          = {https://www.usenix.org/conference/ssv10/precise-memory-model-low-level-bounded-model-checking},
  timestamp    = {Thu, 14 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssv/SinzFM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ssv/2010,
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {5th International Workshop on Systems Software Verification, SSV'10,
                  Vancouver, BC, Canada, October 6-7, 2010},
  publisher    = {{USENIX} Association},
  year         = {2010},
  url          = {https://www.usenix.org/conference/ssv10},
  timestamp    = {Wed, 04 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssv/2010.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.