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},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{VERIFY-2010:Verification_of_Security_Protocols,
  author    = {V\textbackslash{}`eronique 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},
  pages     = {1},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/14T},
  doi       = {10.29007/2dc6}}

@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},
  pages     = {2},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/kN3},
  doi       = {10.29007/v7vx}}

@inproceedings{VERIFY-2010:Real_Analysis_for_Complex,
  author    = {Andr\textbackslash{}`e 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},
  pages     = {3},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/r4},
  doi       = {10.29007/ksvj}}

@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},
  pages     = {4--12},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/PM},
  doi       = {10.29007/w9b3}}

@inproceedings{VERIFY-2010:Automated_Proof_of_Authentication,
  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},
  pages     = {13--30},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/sCGD},
  doi       = {10.29007/r7n1}}

@inproceedings{VERIFY-2010:Program_Verification_via_Craig,
  author    = {Angelo Brillout and Daniel Kroening and Philipp R\textbackslash{}"ummer 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},
  pages     = {31--46},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/x7wp},
  doi       = {10.29007/zfkw}}

@inproceedings{VERIFY-2010:MCMT_in_Land_of,
  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},
  pages     = {47--64},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/q9s},
  doi       = {10.29007/sc2w}}

@inproceedings{VERIFY-2010:Automatic_generation_of_high,
  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},
  pages     = {65--78},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/bb9},
  doi       = {10.29007/zbb8}}

@inproceedings{VERIFY-2010:Composable_Packages_for_Higher,
  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},
  pages     = {79--93},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/zZV},
  doi       = {10.29007/7gg3}}

@inproceedings{VERIFY-2010:User_friendly_Support_for_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},
  pages     = {94--109},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/6shl},
  doi       = {10.29007/p79n}}

@inproceedings{VERIFY-2010:Towards_High_Assurance_Multiprocessor_Virtualisation,
  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},
  pages     = {110--125},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/pNzz},
  doi       = {10.29007/rhn3}}

@inproceedings{VERIFY-2010:Proving_Simpsons_Four_Slot_Algorithm,
  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},
  pages     = {126--140},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/dJzK},
  doi       = {10.29007/l2sp}}

@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},
  pages     = {141--155},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/FSk},
  doi       = {10.29007/nnzj}}