Volume
@proceedings{HOWARD-60,
title = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{HOWARD-60:Howard_Barringer_Man_who,
author = {Klaus Havelund},
title = {Howard Barringer: the Man who Invented the Past},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
pages = {1--12},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/VJ},
doi = {10.29007/65lt}}
@inproceedings{HOWARD-60:Model_checking_Timed_CSP,
author = {Philip Armstrong and Gavin Lowe and Jo\textbackslash{}"el Ouaknine and Bill Roscoe},
title = {Model checking Timed CSP},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
pages = {13--33},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Lw5t},
doi = {10.29007/6fqk}}
@inproceedings{HOWARD-60:Design_Space_and_its,
author = {Graham Birtwistle and Kenneth S. Stevens},
title = {A Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
pages = {34--65},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/M3},
doi = {10.29007/8p8h}}
@inproceedings{HOWARD-60:Cognition_Concurrency_Theory_and,
author = {Howard Bowman and Li Su},
title = {Cognition, Concurrency Theory and Reverberations in the Brain: in Search of a Calculus of Communicating (Recurrent) Neural Systems},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
pages = {66--84},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Cx},
doi = {10.29007/94w5}}
@inproceedings{HOWARD-60:On_and_On_Temporal,
author = {Clare Dixon and Michael Fisher},
title = {On and On the Temporal Way},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
pages = {85--111},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/JGz},
doi = {10.29007/sz8j}}
@inproceedings{HOWARD-60:On_Expressiveness_of_some,
author = {Yli\textbackslash{}`es Falcone and Jean-Claude Fernandez and Mounier Laurent},
title = {On the Expressiveness of some Runtime Validation Techniques},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
pages = {112--123},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/mCk},
doi = {10.29007/j7qv}}
@inproceedings{HOWARD-60:Can_system_learn_from,
author = {Leo Freitas and Cliff B. Jones and Andrius Velykis},
title = {Can a system learn from interactive proofs?},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
pages = {124--139},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/ClcM},
doi = {10.29007/s478}}
@inproceedings{HOWARD-60:Handling_of_Loops_in,
author = {Michael Abraham and Dov Gabbay and Uri J. Schild},
title = {The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
pages = {140--164},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/v},
doi = {10.29007/gkg6}}
@inproceedings{HOWARD-60:simple_and_complete_model,
author = {Michael Gabbay},
title = {A simple and complete model theory for intensional and extensional untyped \textbackslash{}ensuremath\{\textbackslash{}lambda \} -equality},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
pages = {165--177},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/MdN2},
doi = {10.29007/2vzl}}
@inproceedings{HOWARD-60:Stone_duality_for_first_order,
author = {Murdoch J. Gabbay},
title = {Stone duality for first-order logic: a nominal approach to logic and topology},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
pages = {178--209},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/7z5},
doi = {10.29007/tp3z}}
@inproceedings{HOWARD-60:Closing_Gap_Between_Specification,
author = {Klaus Havelund},
title = {Closing the Gap Between Specification and Programming: VDM++ and Scala},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
pages = {210--233},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/nzg},
doi = {10.29007/2w2f}}
@inproceedings{HOWARD-60:Model_Check_What_You,
author = {Timothy L. Hinrichs and A. Prasad Sistla and Lenore D. Zuck},
title = {Model Check What You Can, Runtime Verify the Rest},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
pages = {234--244},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/tq7},
doi = {10.29007/slnn}}
@inproceedings{HOWARD-60:On_Incremental_Quantitative_Verification,
author = {Marta Kwiatkowska and David Parker and Hongyang Qu and Mateusz Ujma},
title = {On Incremental Quantitative Verification for Probabilistic Systems},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
pages = {245--257},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/B3Nw},
doi = {10.29007/bmcf}}
@inproceedings{HOWARD-60:Pandoras_Box,
author = {Ronald Middelkoop and Cornelis Huizing and Ruurd Kuiper and Erik J. Luit},
title = {Pandora's Box},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
pages = {258--270},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/RGv},
doi = {10.29007/l7kx}}
@inproceedings{HOWARD-60:Distributed_Control_Synthesis,
author = {Doron Peled and Sven Schewe},
title = {Distributed Control Synthesis},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
pages = {271--288},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/KWT},
doi = {10.29007/4wwx}}
@inproceedings{HOWARD-60:note_on_first_order_reasoning,
author = {David Rydeheard and Jes\textbackslash{}'us H\textbackslash{}'ector Dom\textbackslash{}'inguez S\textbackslash{}'anchez},
title = {A note on first-order reasoning for minimum models},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
pages = {289--305},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/LDCX},
doi = {10.29007/5bvp}}
@inproceedings{HOWARD-60:Tableau_Proof_System_with,
author = {Colin Stirling},
title = {A Tableau Proof System with Names for Modal Mu-calculus},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
pages = {306--318},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/5gD},
doi = {10.29007/lwqm}}
@inproceedings{HOWARD-60:Extended_Abstract_Getting_Engaged,
author = {Simon Thompson},
title = {Extended Abstract: Getting Engaged},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
pages = {319},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/9Zv3},
doi = {10.29007/8h8t}}