AFM17: BibTeX Entries

Volume

@proceedings{AFM17,
  title     = {Automated Formal Methods},
  editor    = {Natarajan Shankar and Bruno Dutertre},
  series    = {Kalpa Publications in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  year      = {2018}}

Papers

@inproceedings{AFM17:SMT_state_based_formal,
  author    = {Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene},
  title     = {SMT for state-based formal methods: the ASM case study},
  booktitle = {Automated Formal Methods},
  editor    = {Natarajan Shankar and Bruno Dutertre},
  series    = {Kalpa Publications in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/b6HD},
  doi       = {10.29007/djdz},
  pages     = {1-18},
  year      = {2018}}


@inproceedings{AFM17:Moving_Needle_Rigorous_Floating,
  author    = {Marek Baranowski and Ian Briggs and Wei-Fan Chiang and Ganesh Gopalakrishnan and Zvonimir Rakamaric and Alexey Solovyev},
  title     = {Moving the Needle on Rigorous Floating-Point Precision Tuning},
  booktitle = {Automated Formal Methods},
  editor    = {Natarajan Shankar and Bruno Dutertre},
  series    = {Kalpa Publications in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/8RHt},
  doi       = {10.29007/f4f3},
  pages     = {19-30},
  year      = {2018}}


@inproceedings{AFM17:Conflict_Driven_Reasoning,
  author    = {Maria Paola Bonacina},
  title     = {On Conflict-Driven Reasoning},
  booktitle = {Automated Formal Methods},
  editor    = {Natarajan Shankar and Bruno Dutertre},
  series    = {Kalpa Publications in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/dl43},
  doi       = {10.29007/spwm},
  pages     = {31-49},
  year      = {2018}}


@inproceedings{AFM17:More_Automated_Formal_Methods?!,
  author    = {Arun Chakrapani Rao},
  title     = {More Automated Formal Methods?! If so, why, where & how?},
  booktitle = {Automated Formal Methods},
  editor    = {Natarajan Shankar and Bruno Dutertre},
  series    = {Kalpa Publications in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/px3h},
  doi       = {10.29007/k317},
  pages     = {50-62},
  year      = {2018}}


@inproceedings{AFM17:Salsa_Automatic_Tool_Improve,
  author    = {Nasrine Damouche and Matthieu Martel},
  title     = {Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs},
  booktitle = {Automated Formal Methods},
  editor    = {Natarajan Shankar and Bruno Dutertre},
  series    = {Kalpa Publications in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/x58n},
  doi       = {10.29007/j2fd},
  pages     = {63-76},
  year      = {2018}}


@inproceedings{AFM17:Measurement_Library_Representing_Physical,
  author    = {Ashlie B. Hocking and M. Anthony Aiello},
  title     = {The Measurement Library: Representing Physical Types in PVS},
  booktitle = {Automated Formal Methods},
  editor    = {Natarajan Shankar and Bruno Dutertre},
  series    = {Kalpa Publications in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/DXzD},
  doi       = {10.29007/jt21},
  pages     = {77-92},
  year      = {2018}}


@inproceedings{AFM17:MINERVA_Software_Development_Process,
  author    = {Anthony Narkawicz and Cesar Munoz and Aaron Dutle},
  title     = {The MINERVA Software Development Process},
  booktitle = {Automated Formal Methods},
  editor    = {Natarajan Shankar and Bruno Dutertre},
  series    = {Kalpa Publications in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/g1Rs},
  doi       = {10.29007/5jlw},
  pages     = {93-108},
  year      = {2018}}


@inproceedings{AFM17:Brief_Introduction_PVS2C_Code,
  author    = {Natarajan Shankar},
  title     = {A Brief Introduction to the PVS2C Code Generator},
  booktitle = {Automated Formal Methods},
  editor    = {Natarajan Shankar and Bruno Dutertre},
  series    = {Kalpa Publications in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/Rzxm},
  doi       = {10.29007/v7k2},
  pages     = {109-116},
  year      = {2018}}