VERIFY-2010: BibTeX Entries

Volume

@proceedings{VERIFY-2010,
  title     = {VERIFY-2010. 6th International Verification Workshop},
  editor    = {Markus Aderhold and Serge Autexier and Heiko Mantel},
  series    = {EPiC Series in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2012}}

Papers

@inproceedings{VERIFY-2010:Verification_Security_Protocols,
  author    = {Vèronique Cortier},
  title     = {Verification of Security Protocols},
  booktitle = {VERIFY-2010. 6th International Verification Workshop},
  editor    = {Markus Aderhold and Serge Autexier and Heiko Mantel},
  series    = {EPiC Series in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/14T},
  doi       = {10.29007/2dc6},
  pages     = {1},
  year      = {2012}}


@inproceedings{VERIFY-2010:Abstractions_Before_Proofs,
  author    = {Cliff Jones},
  title     = {Abstractions Before Proofs},
  booktitle = {VERIFY-2010. 6th International Verification Workshop},
  editor    = {Markus Aderhold and Serge Autexier and Heiko Mantel},
  series    = {EPiC Series in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/kN3},
  doi       = {10.29007/v7vx},
  pages     = {2},
  year      = {2012}}


@inproceedings{VERIFY-2010:Real_Analysis_Complex_Systems,
  author    = {Andrè Platzer},
  title     = {Real Analysis for Complex Systems},
  booktitle = {VERIFY-2010. 6th International Verification Workshop},
  editor    = {Markus Aderhold and Serge Autexier and Heiko Mantel},
  series    = {EPiC Series in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/r4},
  doi       = {10.29007/ksvj},
  pages     = {3},
  year      = {2012}}


@inproceedings{VERIFY-2010:Mind_Gap_Formal_Verification,
  author    = {Bernhard Beckert and Daniel Bruns and Sarah Grebing},
  title     = {Mind the Gap: Formal Verification and the Common Criteria (Discussion  Paper)},
  booktitle = {VERIFY-2010. 6th International Verification Workshop},
  editor    = {Markus Aderhold and Serge Autexier and Heiko Mantel},
  series    = {EPiC Series in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/PM},
  doi       = {10.29007/w9b3},
  pages     = {4-12},
  year      = {2012}}


@inproceedings{VERIFY-2010:Automated_Proof_Authentication_Protocols,
  author    = {Mark Bickford},
  title     = {Automated Proof of Authentication Protocols in a Logic of Events},
  booktitle = {VERIFY-2010. 6th International Verification Workshop},
  editor    = {Markus Aderhold and Serge Autexier and Heiko Mantel},
  series    = {EPiC Series in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/sCGD},
  doi       = {10.29007/r7n1},
  pages     = {13-30},
  year      = {2012}}


@inproceedings{VERIFY-2010:Program_Verification_via_Craig,
  author    = {Angelo Brillout and Daniel Kroening and Philipp Rümmer and Thomas Wahl},
  title     = {Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays},
  booktitle = {VERIFY-2010. 6th International Verification Workshop},
  editor    = {Markus Aderhold and Serge Autexier and Heiko Mantel},
  series    = {EPiC Series in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/x7wp},
  doi       = {10.29007/zfkw},
  pages     = {31-46},
  year      = {2012}}


@inproceedings{VERIFY-2010:MCMT_Land_Parametrized_Timed,
  author    = {Alessandro Carioni and Silvio Ghilardi and Silvio Ranise},
  title     = {MCMT in the Land of  Parametrized Timed  Automata},
  booktitle = {VERIFY-2010. 6th International Verification Workshop},
  editor    = {Markus Aderhold and Serge Autexier and Heiko Mantel},
  series    = {EPiC Series in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/q9s},
  doi       = {10.29007/sc2w},
  pages     = {47-64},
  year      = {2012}}


@inproceedings{VERIFY-2010:Automatic_generation_high_quality,
  author    = {Emanuele Di Rosa and Enrico Giunchiglia and Massimo Narizzano and Gabriele Palma and Alessandra Puddu},
  title     = {Automatic generation of high quality test sets via CBMC},
  booktitle = {VERIFY-2010. 6th International Verification Workshop},
  editor    = {Markus Aderhold and Serge Autexier and Heiko Mantel},
  series    = {EPiC Series in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/bb9},
  doi       = {10.29007/zbb8},
  pages     = {65-78},
  year      = {2012}}


@inproceedings{VERIFY-2010:Composable_Packages_Higher_Order,
  author    = {Joe Hurd},
  title     = {Composable Packages for Higher Order Logic Theories},
  booktitle = {VERIFY-2010. 6th International Verification Workshop},
  editor    = {Markus Aderhold and Serge Autexier and Heiko Mantel},
  series    = {EPiC Series in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/zZV},
  doi       = {10.29007/7gg3},
  pages     = {79-93},
  year      = {2012}}


@inproceedings{VERIFY-2010:User_friendly_Support_Common,
  author    = {Andrei Lapets},
  title     = {User-friendly Support for Common Mathematical Concepts in a Lightweight Verifier},
  booktitle = {VERIFY-2010. 6th International Verification Workshop},
  editor    = {Markus Aderhold and Serge Autexier and Heiko Mantel},
  series    = {EPiC Series in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/6shl},
  doi       = {10.29007/p79n},
  pages     = {94-109},
  year      = {2012}}


@inproceedings{VERIFY-2010:Towards_High_Assurance_Multiprocessor,
  author    = {Michael von Tessin},
  title     = {Towards High-Assurance Multiprocessor Virtualisation},
  booktitle = {VERIFY-2010. 6th International Verification Workshop},
  editor    = {Markus Aderhold and Serge Autexier and Heiko Mantel},
  series    = {EPiC Series in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/pNzz},
  doi       = {10.29007/rhn3},
  pages     = {110-125},
  year      = {2012}}


@inproceedings{VERIFY-2010:Proving_Simpsons_Four_Slot,
  author    = {Shuling Wang and Xu Wang},
  title     = {Proving Simpson's Four-Slot Algorithm Using Ownership Transfer},
  booktitle = {VERIFY-2010. 6th International Verification Workshop},
  editor    = {Markus Aderhold and Serge Autexier and Heiko Mantel},
  series    = {EPiC Series in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/dJzK},
  doi       = {10.29007/l2sp},
  pages     = {126-140},
  year      = {2012}}


@inproceedings{VERIFY-2010:Proving_Information_Flow_Noninterference,
  author    = {Daniel Wasserrab and Denis Lohner},
  title     = {Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing},
  booktitle = {VERIFY-2010. 6th International Verification Workshop},
  editor    = {Markus Aderhold and Serge Autexier and Heiko Mantel},
  series    = {EPiC Series in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/FSk},
  doi       = {10.29007/nnzj},
  pages     = {141-155},
  year      = {2012}}