@inproceedings{conf/rv/BaranB08,
	title = {Forays into Sequential Composition and Concatenation in Eagle.},
	author = {Joachim Baran and Howard Barringer},
	booktitle = {RV},
	crossref = {conf/rv/2008},
	editor = {Martin Leucker},
	pages = {69-85},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/rv/rv2008.html#BaranB08},
	volume = {5289},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2402595880390a1d46db45fa2e35d9a3e/dblp},
	description = {dblp},
	date = {2008-10-23}, ee = {http://dx.doi.org/10.1007/978-3-540-89247-2_5}, isbn = {978-3-540-89246-5},
	keywords = {dblp }
}

@article{journals/fmsd/PasareanuGBCB08,
	title = {Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning.},
	author = {Corina S. Pasareanu and Dimitra Giannakopoulou and Mihaela Gheorghiu Bobaru and Jamieson M. Cobleigh and Howard Barringer},
	journal = {Formal Methods in System Design},
	number = {3},
	pages = {175-205},
	url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd32.html#PasareanuGBCB08},
	volume = {32},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/209830a38e55d27e37f9bf4864fed07a6/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/s10703-008-0049-6}, date = {2008-05-28},
	keywords = {dblp }
}

@article{journals/igpl/BarringerGBGHHOMRF96,
	title = {Languages, Meta-languages and METATEM, A Discussion Paper.},
	author = {Howard Barringer and Graham Gough and Derek Brough and Dov M. Gabbay and Ian M. Hodkinson and Anthony Hunter and Richard Owens and Peter McBrien and Mark Reynolds and Michael Fisher},
	journal = {Logic Journal of the IGPL},
	number = {2},
	pages = {255-272},
	url = {http://dblp.uni-trier.de/db/journals/igpl/igpl4.html#BarringerGBGHHOMRF96},
	volume = {4},
	year = {1996},
	biburl = {http://www.bibsonomy.org/bibtex/27111948aab6de64d5bae0ca8ddad8efd/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1093/jigpal/4.2.255}, date = {2008-04-04},
	keywords = {dblp }
}

@inproceedings{bader:showthem2005,
	title = {Dimensions of neural-symbolic integration --- a structured survey},
	author = {Sebastian Bader and Pascal Hitzler},
	booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay},
	editor = {Sergei N. Art{\"e}mov and Howard Barringer and  Artur and Lu\'{\i}s C. Lamb and John Woods},
	pages = {167--194},
	publisher = {College Publications},
	volume = {1},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/21bf3334a69e0c9c54f1d9ac617f9855f/idsia},
	priority = {2}, citeulike-article-id = {2507970},
	keywords = {imported }
}

@inproceedings{bader:showthem2005,
	title = {Dimensions of neural-symbolic integration --- a structured survey},
	author = {Sebastian Bader and Pascal Hitzler},
	booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay},
	editor = {Sergei N. Art{\"e}mov and Howard Barringer and Artur S. d'Avila Garcez and Lu\'{\i}s C. Lamb and John Woods},
	pages = {167--194},
	publisher = {College Publications},
	volume = {1},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2bdd7ff8d28c0ad68d75252e91b9b61b9/idsia},
	keywords = {imported }
}

@inproceedings{conf/rv/BarringerRH07,
	title = {Rule Systems for Run-Time Monitoring: From Eagleto RuleR.},
	author = {Howard Barringer and David E. Rydeheard and Klaus Havelund},
	booktitle = {RV},
	crossref = {conf/rv/2007},
	editor = {Oleg Sokolsky and Serdar Tasiran},
	pages = {111-125},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/rv/rv2007.html#BarringerRH07},
	volume = {4839},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/243408c9ff00383c0191f10de2eaff59e/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-77395-5_10}, isbn = {978-3-540-77394-8}, date = {2008-01-08},
	keywords = {dblp }
}

@inproceedings{conf/rv/BarringerGR07,
	title = {From Runtime Verification to Evolvable Systems.},
	author = {Howard Barringer and Dov M. Gabbay and David E. Rydeheard},
	booktitle = {RV},
	crossref = {conf/rv/2007},
	editor = {Oleg Sokolsky and Serdar Tasiran},
	pages = {97-110},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/rv/rv2007.html#BarringerGR07},
	volume = {4839},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/223f432f3d474b2ec6c40e106af09a911/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-77395-5_9}, isbn = {978-3-540-77394-8}, date = {2008-01-08},
	keywords = {dblp }
}

@inproceedings{conf/wollic/BaranB07,
	title = {A Grammatical Representation of Visibly Pushdown Languages.},
	author = {Joachim Baran and Howard Barringer},
	booktitle = {WoLLIC},
	crossref = {conf/wollic/2007},
	editor = {Daniel Leivant and Ruy J. G. B. de Queiroz},
	pages = {1-11},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2007.html#BaranB07},
	volume = {4576},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/24cb23f1ace75b54ae1093a5112d19be5/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-73445-1_1}, isbn = {978-3-540-73443-7}, date = {2007-07-09},
	keywords = {dblp }
}

@inproceedings{conf/tase/BarringerRG07,
	title = {A Logical Framework for Monitoring and Evolving Software Components.},
	author = {Howard Barringer and David E. Rydeheard and Dov M. Gabbay},
	booktitle = {TASE},
	crossref = {conf/tase/2007},
	pages = {273-282},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/tase/tase2007.html#BarringerRG07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/28a15516742946eef133f8f830b6d34a1/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/TASE.2007.4}, date = {2007-06-18},
	keywords = {dblp }
}

@article{journals/acta/BarringerCJ84,
	title = {A Logic Covering Undefinedness in Program Proofs.},
	author = {Howard Barringer and J. H. Cheng and Cliff B. Jones},
	journal = {Acta Inf.},
	pages = {251-269},
	url = {http://dblp.uni-trier.de/db/journals/acta/acta21.html#BarringerCJ84},
	volume = {21},
	year = {1984},
	biburl = {http://www.bibsonomy.org/bibtex/248b91be41c36d01a319f7ab61f0b915e/dblp},
	description = {dblp},
	date = {2007-05-11},
	keywords = {dblp }
}

@article{journals/fmsd/InggsB06,
	title = {CTL* model checking on a shared-memory architecture.},
	author = {Cornelia P. Inggs and Howard Barringer},
	journal = {Formal Methods in System Design},
	number = {2},
	pages = {135-155},
	url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd29.html#InggsB06},
	volume = {29},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/21609183fafa695fe577f0754274cb4fb/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/s10703-006-0008-z}, date = {2007-02-08},
	keywords = {dblp }
}

@proceedings{conf/tls/1987,
	title = {Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings},
	booktitle = {Temporal Logic in Specification},
	editor = {Behnam Banieqbal and Howard Barringer and Amir Pnueli},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/tls/tls1987.html},
	volume = {398},
	year = {1989},
	biburl = {http://www.bibsonomy.org/bibtex/2f6014171edcedc7bf3b52d710a55190f/dblp},
	description = {dblp},
	isbn = {3-540-51803-7}, date = {2006-09-18},
	keywords = {dblp }
}

@article{journals/entcs/BarringerFGS06,
	title = {Preface.},
	author = {Howard Barringer and Bernd Finkbeiner and Yuri Gurevich and Henny B. Sipma},
	journal = {Electr. Notes Theor. Comput. Sci.},
	number = {4},
	pages = {1},
	url = {http://dblp.uni-trier.de/db/journals/entcs/entcs144.html#BarringerFGS06},
	volume = {144},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/211db5ec84668065518ea8166444005ab/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.entcs.2006.02.001}, date = {2006-07-25},
	keywords = {dblp }
}

@inproceedings{conf/birthday/Ohlbach05,
	title = {Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library.},
	author = {Hans Jürgen Ohlbach},
	booktitle = {We Will Show Them! (2)},
	crossref = {conf/birthday/2005gabbay2},
	editor = {Sergei N. Artëmov and Howard Barringer and Artur S. d'Avila Garcez and Luís C. Lamb and John Woods},
	pages = {453-498},
	publisher = {College Publications},
	url = {http://dblp.uni-trier.de/db/conf/birthday/Gabbay2.html#Ohlbach05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2a9e81aa98bb8d835568df6be74a42099/dblp},
	description = {dblp},
	isbn = {1-904987-26-5}, date = {2006-05-10},
	keywords = {dblp }
}

@inproceedings{conf/stoc/BarringerKP84,
	title = {Now You May Compose Temporal Logic Specifications},
	author = {Howard Barringer and Ruurd Kuiper and Amir Pnueli},
	booktitle = {STOC},
	crossref = {conf/stoc/STOC16},
	pages = {51-63},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/stoc/stoc84.html#BarringerKP84},
	year = {1984},
	biburl = {http://www.bibsonomy.org/bibtex/2416283899fa88feca12984b0707c3742/dblp},
	description = {dblp},
	date = {2006-04-25},
	keywords = {dblp }
}

@inproceedings{conf/dac/StavridouBE88,
	title = {Formal Specification and Verification of Hardware: A Comparative Case Study.},
	author = {Victoria Stavridou and Howard Barringer and David A. Edwards},
	booktitle = {DAC},
	pages = {197-204},
	url = {http://dblp.uni-trier.de/db/conf/dac/dac88.html#StavridouBE88},
	year = {1988},
	biburl = {http://www.bibsonomy.org/bibtex/266eae1eb7e331a98819c06c85b866b9c/dblp},
	description = {dblp},
	ee = {http://portal.acm.org/citation.cfm?id=285730.285763}, date = {2006-03-14},
	keywords = {dblp }
}

@inbook{atteveldt05dov,
	title = {A Modal view on Polder Politics},
	address = {Berlin},
	author = {Wouter {van Atteveldt} and Stefan Schlobach},
	booktitle = {We Will Show Them: Essays in Honour of Dov Gabbay, Vol 1},
	editor = {S. Artemov and H. Barringer and A. S. d'Avila Garcez and L.C. Lamb and J. Woods},
	month = {December},
	pages = {89-105},
	url = {http://www.cs.vu.nl/~wva/pub/HL.pdf},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/29a44e800dc673dc23856c3a25ce85a7e/vanatteveldt},
	vucategory = {wp},
	keywords = {imported }
}

@inproceedings{conf/birthday/ArecesB05,
	title = {Reichenbach, Prior and Montague: A Semantic Get-together.},
	author = {Carlos Areces and Patrick Blackburn},
	booktitle = {We Will Show Them! (1)},
	crossref = {conf/birthday/2005gabbay1},
	editor = {Sergei N. Artëmov and Howard Barringer and Artur S. d'Avila Garcez and Luís C. Lamb and John Woods},
	pages = {77-88},
	publisher = {College Publications},
	url = {http://dblp.uni-trier.de/db/conf/birthday/Gabbay1.html#ArecesB05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/29efb0763f568659c79679c43cc8810e2/dblp},
	description = {dblp},
	isbn = {1-904987-25-7}, date = {2006-01-25},
	keywords = {dblp }
}

@article{journals/ase/GiannakopoulouPB05,
	title = {Component Verification with Automatically Generated Assumptions.},
	author = {Dimitra Giannakopoulou and Corina S. Pasareanu and Howard Barringer},
	journal = {Autom. Softw. Eng.},
	number = {3},
	pages = {297-320},
	url = {http://dblp.uni-trier.de/db/journals/ase/ase12.html#GiannakopoulouPB05},
	volume = {12},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2e53efd596db3f139c479c11dfed9b480/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/s10515-005-2641-y}, date = {2006-01-23},
	keywords = {dblp }
}

@inproceedings{conf/birthday/Pnueli05,
	title = {Verification of Procedural Programs.},
	author = {Amir Pnueli},
	booktitle = {We Will Show Them! (2)},
	crossref = {conf/birthday/2005gabbay2},
	editor = {Sergei N. Artëmov and Howard Barringer and Artur S. d'Avila Garcez and Luís C. Lamb and John Woods},
	pages = {543-590},
	publisher = {College Publications},
	url = {http://dblp.uni-trier.de/db/conf/birthday/Gabbay2.html#Pnueli05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/209e45239153294485e898931ac8c723f/dblp},
	description = {dblp},
	isbn = {1-904987-26-5}, date = {2005-11-23},
	keywords = {dblp }
}