default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Howard Barringer
@article{DBLP:journals/sigsoft/RegerBR15,
author = {Giles Reger and
Howard Barringer and
David E. Rydeheard},
title = {Automata-based Pattern Mining from Imperfect Traces},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {40},
number = {1},
pages = {1--8},
year = {2015},
url = {https://doi.org/10.1145/2693208.2693220},
doi = {10.1145/2693208.2693220},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/RegerBR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BarringerRG14,
author = {Howard Barringer and
David E. Rydeheard and
Dov M. Gabbay},
editor = {Nachum Dershowitz and
Ephraim Nissan},
title = {Reactivity and Grammars: An Exploration},
booktitle = {Language, Culture, Computation. Computing - Theory and Technology
- Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8001},
pages = {103--155},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-45321-2\_6},
doi = {10.1007/978-3-642-45321-2\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BarringerRG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RegerBR13,
author = {Giles Reger and
Howard Barringer and
David E. Rydeheard},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {A pattern-based approach to parametric specification mining},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {658--663},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693129},
doi = {10.1109/ASE.2013.6693129},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/kbse/RegerBR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/argcom/BarringerGW12,
author = {Howard Barringer and
Dov M. Gabbay and
John Woods},
title = {Temporal, numerical and meta-level dynamics in argumentation networks},
journal = {Argument Comput.},
volume = {3},
number = {2-3},
pages = {143--202},
year = {2012},
url = {https://doi.org/10.1080/19462166.2012.704397},
doi = {10.1080/19462166.2012.704397},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/argcom/BarringerGW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/argcom/BarringerGW12a,
author = {Howard Barringer and
Dov M. Gabbay and
John Woods},
title = {Modal and temporal argumentation networks},
journal = {Argument Comput.},
volume = {3},
number = {2-3},
pages = {203--227},
year = {2012},
url = {https://doi.org/10.1080/19462166.2012.704399},
doi = {10.1080/19462166.2012.704399},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/argcom/BarringerGW12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BarringerFHRR12,
author = {Howard Barringer and
Yli{\`{e}}s Falcone and
Klaus Havelund and
Giles Reger and
David E. Rydeheard},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {Quantified Event Automata: Towards Expressive and Efficient Runtime
Monitors},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {68--84},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_9},
doi = {10.1007/978-3-642-32759-9\_9},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/BarringerFHRR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BujorianuBB11,
author = {Manuela{-}Luminita Bujorianu and
Marius C. Bujorianu and
Howard Barringer},
title = {Systems theory in an analytic setting},
booktitle = {50th {IEEE} Conference on Decision and Control and European Control
Conference, 11th European Control Conference, {CDC/ECC} 2011, Orlando,
FL, USA, December 12-15, 2011},
pages = {2901--2906},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CDC.2011.6161354},
doi = {10.1109/CDC.2011.6161354},
timestamp = {Tue, 21 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/BujorianuBB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BarringerH11,
author = {Howard Barringer and
Klaus Havelund},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {TraceContract: {A} Scala {DSL} for Trace Analysis},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {57--72},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_7},
doi = {10.1007/978-3-642-21437-0\_7},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/BarringerH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BarringerH11,
author = {Howard Barringer and
Klaus Havelund},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Internal versus External DSLs for Trace Analysis - (Extended Abstract)},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {1--3},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_1},
doi = {10.1007/978-3-642-29860-8\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/BarringerH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/BarringerGHS10,
author = {Howard Barringer and
Alex Groce and
Klaus Havelund and
Margaret H. Smith},
title = {Formal Analysis of Log Files},
journal = {J. Aerosp. Comput. Inf. Commun.},
volume = {7},
number = {11},
pages = {365--390},
year = {2010},
url = {https://doi.org/10.2514/1.49356},
doi = {10.2514/1.49356},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacic/BarringerGHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BarringerRH10,
author = {Howard Barringer and
David E. Rydeheard and
Klaus Havelund},
title = {Rule Systems for Run-time Monitoring: from Eagle to RuleR},
journal = {J. Log. Comput.},
volume = {20},
number = {3},
pages = {675--706},
year = {2010},
url = {https://doi.org/10.1093/logcom/exn076},
doi = {10.1093/LOGCOM/EXN076},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BarringerRH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BarringerG10,
author = {Howard Barringer and
Dov M. Gabbay},
editor = {Zohar Manna and
Doron A. Peled},
title = {Modal and Temporal Argumentation Networks},
booktitle = {Time for Verification, Essays in Memory of Amir Pnueli},
series = {Lecture Notes in Computer Science},
volume = {6200},
pages = {1--25},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13754-9\_1},
doi = {10.1007/978-3-642-13754-9\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BarringerG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AfifiRB10,
author = {Djihed Afifi and
David E. Rydeheard and
Howard Barringer},
editor = {Renate A. Schmidt and
Stephan Schulz and
Boris Konev},
title = {Automated Reasoning in the Simulation of Evolvable Systems},
booktitle = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
series = {EPiC Series in Computing},
volume = {9},
pages = {11--21},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/jj86},
doi = {10.29007/JJ86},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/AfifiRB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AfifiRB10,
author = {Djihed Afifi and
David E. Rydeheard and
Howard Barringer},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {{ESAT:} {A} Tool for Animating Logic-Based Specifications of Evolvable
Component Systems},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {469--474},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_36},
doi = {10.1007/978-3-642-16612-9\_36},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/conf/rv/AfifiRB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2010,
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9},
doi = {10.1007/978-3-642-16612-9},
isbn = {978-3-642-16611-2},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BarringerGR09,
author = {Howard Barringer and
Dov M. Gabbay and
David E. Rydeheard},
title = {Modelling evolvable component systems: Part {I:} {A} logical framework},
journal = {Log. J. {IGPL}},
volume = {17},
number = {6},
pages = {631--696},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp026},
doi = {10.1093/JIGPAL/JZP026},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BarringerGR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BujorianuB09,
author = {Marius C. Bujorianu and
Howard Barringer},
title = {An Integrated Specification Logic for Cyber-Physical Systems},
booktitle = {14th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2009, Potsdam, Germany, 2-4 June 2009},
pages = {291--300},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICECCS.2009.36},
doi = {10.1109/ICECCS.2009.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BujorianuB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BarringerHRG09,
author = {Howard Barringer and
Klaus Havelund and
David E. Rydeheard and
Alex Groce},
editor = {Saddek Bensalem and
Doron A. Peled},
title = {Rule Systems for Runtime Verification: {A} Short Tutorial},
booktitle = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
France, June 26-28, 2009. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5779},
pages = {1--24},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04694-0\_1},
doi = {10.1007/978-3-642-04694-0\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/BarringerHRG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1003-1682,
author = {Howard Barringer and
Alex Groce and
Klaus Havelund and
Margaret H. Smith},
editor = {Manuela{-}Luminita Bujorianu and
Michael Fisher},
title = {An Entry Point for Formal Methods: Specification and Analysis of Event
Logs},
booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA}
2009, Eindhoven, The Netherlands, 3rd November 2009},
series = {{EPTCS}},
volume = {20},
pages = {16--21},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.20.2},
doi = {10.4204/EPTCS.20.2},
timestamp = {Tue, 21 Sep 2021 18:08:28 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-1682.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/PasareanuGBCB08,
author = {Corina S. Pasareanu and
Dimitra Giannakopoulou and
Mihaela Gheorghiu Bobaru and
Jamieson M. Cobleigh and
Howard Barringer},
title = {Learning to divide and conquer: applying the L* algorithm to automate
assume-guarantee reasoning},
journal = {Formal Methods Syst. Des.},
volume = {32},
number = {3},
pages = {175--205},
year = {2008},
url = {https://doi.org/10.1007/s10703-008-0049-6},
doi = {10.1007/S10703-008-0049-6},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/PasareanuGBCB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/BujorianuBB08,
author = {Marius C. Bujorianu and
Manuela{-}Luminita Bujorianu and
Howard Barringer},
editor = {Michael Fisher and
Fariba Sadri and
Michael Thielscher},
title = {A Formal Framework for User Centric Control of Probabilistic Multi-agent
Cyber-Physical Systems},
booktitle = {Computational Logic in Multi-Agent Systems, 9th International Workshop,
{CLIMA} IX, Dresden, Germany, September 29-30, 2008. Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5405},
pages = {97--116},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-02734-5\_7},
doi = {10.1007/978-3-642-02734-5\_7},
timestamp = {Tue, 21 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/BujorianuBB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BaranB08,
author = {Joachim Baran and
Howard Barringer},
editor = {Martin Leucker},
title = {Forays into Sequential Composition and Concatenation in Eagle},
booktitle = {Runtime Verification, 8th International Workshop, {RV} 2008, Budapest,
Hungary, March 30, 2008. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5289},
pages = {69--85},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89247-2\_5},
doi = {10.1007/978-3-540-89247-2\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/BaranB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEias/YangBZ07,
author = {Naikuo Yang and
Howard Barringer and
Ning Zhang},
editor = {Ning Zhang and
Ajith Abraham},
title = {A Purpose-Based Access Control Model},
booktitle = {Proceedings of the Third International Symposium on Information Assurance
and Security, {IAS} 2007, August 29-31, 2007, Manchester, United Kingdom},
pages = {143--148},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/IAS.2007.29},
doi = {10.1109/IAS.2007.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEias/YangBZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BarringerGR07,
author = {Howard Barringer and
Dov M. Gabbay and
David E. Rydeheard},
editor = {Oleg Sokolsky and
Serdar Tasiran},
title = {From Runtime Verification to Evolvable Systems},
booktitle = {Runtime Verification, 7th International Workshop, {RV} 2007, Vancouver,
Canada, March 13, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4839},
pages = {97--110},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77395-5\_9},
doi = {10.1007/978-3-540-77395-5\_9},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/BarringerGR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BarringerRH07,
author = {Howard Barringer and
David E. Rydeheard and
Klaus Havelund},
editor = {Oleg Sokolsky and
Serdar Tasiran},
title = {Rule Systems for Run-Time Monitoring: From Eagleto RuleR},
booktitle = {Runtime Verification, 7th International Workshop, {RV} 2007, Vancouver,
Canada, March 13, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4839},
pages = {111--125},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77395-5\_10},
doi = {10.1007/978-3-540-77395-5\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/BarringerRH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/BarringerRG07,
author = {Howard Barringer and
David E. Rydeheard and
Dov M. Gabbay},
title = {A Logical Framework for Monitoring and Evolving Software Components},
booktitle = {First Joint {IEEE/IFIP} Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2007, June 5-8, 2007, Shanghai, China},
pages = {273--282},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/TASE.2007.4},
doi = {10.1109/TASE.2007.4},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/BarringerRG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BaranB07,
author = {Joachim Baran and
Howard Barringer},
editor = {Daniel Leivant and
Ruy J. G. B. de Queiroz},
title = {A Grammatical Representation of Visibly Pushdown Languages},
booktitle = {Logic, Language, Information and Computation, 14th International Workshop,
WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4576},
pages = {1--11},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73445-1\_1},
doi = {10.1007/978-3-540-73445-1\_1},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/BaranB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/InggsB06,
author = {Cornelia P. Inggs and
Howard Barringer},
title = {CTL\({}^{\mbox{*}}\) model checking on a shared-memory architecture},
journal = {Formal Methods Syst. Des.},
volume = {29},
number = {2},
pages = {135--155},
year = {2006},
url = {https://doi.org/10.1007/s10703-006-0008-z},
doi = {10.1007/S10703-006-0008-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/InggsB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2005,
editor = {Howard Barringer and
Bernd Finkbeiner and
Yuri Gurevich and
Henny Sipma},
title = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV
2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {4},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/144/issue/4},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/GiannakopoulouPB05,
author = {Dimitra Giannakopoulou and
Corina S. Pasareanu and
Howard Barringer},
title = {Component Verification with Automatically Generated Assumptions},
journal = {Autom. Softw. Eng.},
volume = {12},
number = {3},
pages = {297--320},
year = {2005},
url = {https://doi.org/10.1007/s10515-005-2641-y},
doi = {10.1007/S10515-005-2641-Y},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/GiannakopoulouPB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ArthoBGHKLPRSVW05,
author = {Cyrille Artho and
Howard Barringer and
Allen Goldberg and
Klaus Havelund and
Sarfraz Khurshid and
Michael R. Lowry and
Corina S. Pasareanu and
Grigore Rosu and
Koushik Sen and
Willem Visser and
Richard Washington},
title = {Combining test case generation and runtime verification},
journal = {Theor. Comput. Sci.},
volume = {336},
number = {2-3},
pages = {209--234},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.11.007},
doi = {10.1016/J.TCS.2004.11.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ArthoBGHKLPRSVW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BarringerGW05,
author = {Howard Barringer and
Dov M. Gabbay and
John Woods},
editor = {Dieter Hutter and
Werner Stephan},
title = {Temporal Dynamics of Support and Attack Networks: From Argumentation
to Zoology},
booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
H. Siekmann on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2605},
pages = {59--98},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32254-2\_5},
doi = {10.1007/978-3-540-32254-2\_5},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BarringerGW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BarringerR05,
author = {Howard Barringer and
David E. Rydeheard},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Modelling Evolvable Systems: {A} Temporal Logic View},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {195--228},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BarringerR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarringerFGS06,
author = {Howard Barringer and
Bernd Finkbeiner and
Yuri Gurevich and
Henny B. Sipma},
editor = {Howard Barringer and
Bernd Finkbeiner and
Yuri Gurevich and
Henny Sipma},
title = {Preface},
booktitle = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV
2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {4},
pages = {1},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.02.001},
doi = {10.1016/J.ENTCS.2006.02.001},
timestamp = {Fri, 16 Dec 2022 11:10:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarringerFGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2005gabbay1,
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
publisher = {College Publications},
year = {2005},
isbn = {1-904987-25-7},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2005gabbay1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2005gabbay2,
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
publisher = {College Publications},
year = {2005},
isbn = {1-904987-26-5},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2005gabbay2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/BarringerG05,
author = {Howard Barringer and
Dov M. Gabbay},
editor = {Michael Fisher and
Dov M. Gabbay and
Llu{\'{\i}}s Vila},
title = {Modal Varieties of Temporal Logic},
booktitle = {Handbook of Temporal Reasoning in Artificial Intelligence},
series = {Foundations of Artificial Intelligence},
volume = {1},
pages = {119--165},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/S1574-6526(05)80006-9},
doi = {10.1016/S1574-6526(05)80006-9},
timestamp = {Mon, 06 Nov 2023 17:08:49 +0100},
biburl = {https://dblp.org/rec/reference/fai/BarringerG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/BarringerGHS04,
author = {Howard Barringer and
Allen Goldberg and
Klaus Havelund and
Koushik Sen},
title = {Program Monitoring with {LTL} in {EAGLE}},
booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
New Mexico, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IPDPS.2004.1303336},
doi = {10.1109/IPDPS.2004.1303336},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/BarringerGHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BarringerGHS04,
author = {Howard Barringer and
Allen Goldberg and
Klaus Havelund and
Koushik Sen},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {Rule-Based Runtime Verification},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {44--57},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_5},
doi = {10.1007/978-3-540-24622-0\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BarringerGHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/InggsB05,
author = {Cornelia P. Inggs and
Howard Barringer},
editor = {Lubos Brim and
Martin Leucker},
title = {CTL\({}^{\mbox{*}}\) Model Checking on a Shared-Memory Architecture},
booktitle = {Proceedings of the 3rd International Workshop on Parallel and Distributed
Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {3},
pages = {107--123},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.022},
doi = {10.1016/J.ENTCS.2004.10.022},
timestamp = {Mon, 12 Dec 2022 15:21:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/InggsB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BarringerFGW02,
author = {Howard Barringer and
Donal Fellows and
Graham Gough and
Alan R. Williams},
title = {Rainbow: Development, Simulation and Analysis Tools for Asynchronous
Micropipeline Hardware Design},
journal = {Comput. J.},
volume = {45},
number = {1},
pages = {2--11},
year = {2002},
url = {https://doi.org/10.1093/comjnl/45.1.2},
doi = {10.1093/COMJNL/45.1.2},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/BarringerFGW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GiannakopoulouPB02,
author = {Dimitra Giannakopoulou and
Corina S. Pasareanu and
Howard Barringer},
title = {Assumption Generation for Software Component Verification},
booktitle = {17th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2002), 23-27 September 2002, Edinburgh, Scotland, {UK}},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ASE.2002.1114984},
doi = {10.1109/ASE.2002.1114984},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GiannakopoulouPB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/InggsB02,
author = {Cornelia P. Inggs and
Howard Barringer},
editor = {Lubos Brim and
Orna Grumberg},
title = {Effective State Exploration for Model Checking on a Shared Memory
Architecture},
booktitle = {Parallel and Distributed Model Checking, {PDMC} 2002, Satellite Workshop
of {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {4},
pages = {605--620},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80395-0},
doi = {10.1016/S1571-0661(05)80395-0},
timestamp = {Tue, 06 Dec 2022 11:23:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/InggsB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/VisserB00,
author = {Willem Visser and
Howard Barringer},
title = {Practical CTL\({}^{\mbox{*}}\) Model Checking: Should {SPIN} be Extended?},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {2},
number = {4},
pages = {350--365},
year = {2000},
url = {https://doi.org/10.1007/s100090050042},
doi = {10.1007/S100090050042},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/VisserB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/VisserBFGW97,
author = {Willem Visser and
Howard Barringer and
Donal Fellows and
Graham Gough and
Alan R. Williams},
editor = {Hon Fung Li and
David K. Probst},
title = {Efficient CTL* model checking for analysis of rainbow designs},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {128--145},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Tue, 28 Jan 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/VisserBFGW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BarringerGMW96,
author = {Howard Barringer and
Graham Gough and
Brian Monahan and
Alan R. Williams},
title = {A Process Algebra Foundation for Reasoning about Core {ELLA}},
journal = {Comput. J.},
volume = {39},
number = {4},
pages = {303--324},
year = {1996},
url = {https://doi.org/10.1093/comjnl/39.4.303},
doi = {10.1093/COMJNL/39.4.303},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BarringerGMW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BarringerGBGHHOMRF96,
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},
title = {Languages, Meta-languages and METATEM, {A} Discussion Paper},
journal = {Log. J. {IGPL}},
volume = {4},
number = {2},
pages = {255--272},
year = {1996},
url = {https://doi.org/10.1093/jigpal/4.2.255},
doi = {10.1093/JIGPAL/4.2.255},
timestamp = {Thu, 15 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BarringerGBGHHOMRF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/VisserB96,
author = {Willem Visser and
Howard Barringer},
editor = {Jean{-}Charles Gr{\'{e}}goire and
Gerard J. Holzmann and
Doron A. Peled},
title = {Memory efficient state storage in Spin},
booktitle = {The Spin Verification System, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, August, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {32},
pages = {185--203},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/032/13},
doi = {10.1090/DIMACS/032/13},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/VisserB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BarringerFGGO95,
author = {Howard Barringer and
Michael Fisher and
Dov M. Gabbay and
Graham Gough and
Richard Owens},
title = {{METATEM:} An Introduction},
journal = {Formal Aspects Comput.},
volume = {7},
number = {5},
pages = {533--549},
year = {1995},
url = {https://doi.org/10.1007/BF01211631},
doi = {10.1007/BF01211631},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BarringerFGGO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/MeloB95,
author = {Ana Cristina Vieira de Melo and
Howard Barringer},
editor = {Paolo Camurati and
Hans Eveking},
title = {A foundation for formal reuse of hardware},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {124--145},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_8},
doi = {10.1007/3-540-60385-9\_8},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/MeloB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BarringerGMW95,
author = {Howard Barringer and
Graham Gough and
Brian Monahan and
Alan R. Williams},
editor = {Paolo Camurati and
Hans Eveking},
title = {Formal support for the {ELLA} hardwar description language},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {225--245},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_14},
doi = {10.1007/3-540-60385-9\_14},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/BarringerGMW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/DixonFB94,
author = {Clare Dixon and
Michael Fisher and
Howard Barringer},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {A Graph-Based Approach to Resolution in Temporal Logic},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {415--429},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014002},
doi = {10.1007/BFB0014002},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ictl/DixonFB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Barringer91,
author = {Howard Barringer},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {1},
number = {5},
pages = {573--574},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.5.573},
doi = {10.1093/LOGCOM/1.5.573},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Barringer91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BarringerFGH91,
author = {Howard Barringer and
Michael Fisher and
Dov M. Gabbay and
Anthony Hunter},
editor = {James F. Allen and
Richard Fikes and
Erik Sandewall},
title = {Meta-Reasoning in Executable Temporal Logic},
booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge
Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25,
1991},
pages = {40--49},
publisher = {Morgan Kaufmann},
year = {1991},
timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BarringerFGH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/BarringerFG89,
author = {Howard Barringer and
Michael Fisher and
Graham Gough},
editor = {Joseph Sifakis},
title = {Fair {SMG} and Linear Time Model Checking},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {133--150},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_12},
doi = {10.1007/3-540-52148-8\_12},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/BarringerFG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/BarringerFGGO89,
author = {Howard Barringer and
Michael Fisher and
Dov M. Gabbay and
Graham Gough and
Richard Owens},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {{METATEM:} {A} Framework for Programming in Temporal Logic},
booktitle = {Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness,
{REX} Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {430},
pages = {94--129},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52559-9\_62},
doi = {10.1007/3-540-52559-9\_62},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/rex/BarringerFGGO89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tls/1987,
editor = {Behnam Banieqbal and
Howard Barringer and
Amir Pnueli},
title = {Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {398},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51803-7},
doi = {10.1007/3-540-51803-7},
isbn = {3-540-51803-7},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tls/1987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BarringerG88,
author = {Howard Barringer and
Dov M. Gabbay},
editor = {Friedrich H. Vogt},
title = {Executing Temporal Logic: Review and Prospects (Abstract)},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {104--105},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_35},
doi = {10.1007/3-540-50403-6\_35},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/concur/BarringerG88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/StavridouBE88,
author = {Victoria Stavridou and
Howard Barringer and
David A. Edwards},
editor = {Dennis W. Shaklee and
A. Richard Newton},
title = {Formal Specification and Verification of Hardware: {A} Comparative
Case Study},
booktitle = {Proceedings of the 25th {ACM/IEEE} Conference on Design Automation,
{DAC} '88, Anaheim, CA, USA, June 12-15, 1988},
pages = {197--204},
publisher = {{ACM}},
year = {1988},
url = {http://portal.acm.org/citation.cfm?id=285730.285763},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/dac/StavridouBE88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GoughB88,
author = {Graham Gough and
Howard Barringer},
editor = {Harald Ganzinger},
title = {A Semantics Driven Temporal Verification System},
booktitle = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
March 21-24, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {300},
pages = {21--33},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-19027-9\_2},
doi = {10.1007/3-540-19027-9\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/GoughB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Barringer87,
author = {Howard Barringer},
title = {Up and Down The Temporal Way},
journal = {Comput. J.},
volume = {30},
number = {2},
pages = {134--148},
year = {1987},
url = {https://doi.org/10.1093/comjnl/30.2.134},
doi = {10.1093/COMJNL/30.2.134},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/Barringer87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tls/BanieqbalB87,
author = {Behnam Banieqbal and
Howard Barringer},
editor = {Behnam Banieqbal and
Howard Barringer and
Amir Pnueli},
title = {Temporal Logic with Fixed Points},
booktitle = {Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {398},
pages = {62--74},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51803-7\_22},
doi = {10.1007/3-540-51803-7\_22},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/tls/BanieqbalB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BarringerM86,
author = {Howard Barringer and
Ian Mearns},
title = {A Proof System for Ada Tasks},
journal = {Comput. J.},
volume = {29},
number = {5},
pages = {404--415},
year = {1986},
url = {https://doi.org/10.1093/comjnl/29.5.404},
doi = {10.1093/COMJNL/29.5.404},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BarringerM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BarringerKP86,
author = {Howard Barringer and
Ruurd Kuiper and
Amir Pnueli},
title = {A Really Abstract Concurrent Model and its Temporal Logic},
booktitle = {Conference Record of the Thirteenth Annual {ACM} Symposium on Principles
of Programming Languages, St. Petersburg Beach, Florida, USA, January
1986},
pages = {173--183},
publisher = {{ACM} Press},
year = {1986},
url = {https://doi.org/10.1145/512644.512660},
doi = {10.1145/512644.512660},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BarringerKP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Barringer85,
author = {Howard Barringer},
title = {A Survey of Verification Techniques for Parallel Programs},
series = {Lecture Notes in Computer Science},
volume = {191},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15239-3},
doi = {10.1007/3-540-15239-3},
isbn = {3-540-15239-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Barringer85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BarringerCJ84,
author = {Howard Barringer and
J. H. Cheng and
Cliff B. Jones},
title = {A Logic Covering Undefinedness in Program Proofs},
journal = {Acta Informatica},
volume = {21},
pages = {251--269},
year = {1984},
url = {https://doi.org/10.1007/BF00264250},
doi = {10.1007/BF00264250},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BarringerCJ84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BarringerK84,
author = {Howard Barringer and
Ruurd Kuiper},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Hierarchical Development of Cncurrent Systems in a Temporal Logic
Framework},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {35--61},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_2},
doi = {10.1007/3-540-15670-4\_2},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/BarringerK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BarringerKP84,
author = {Howard Barringer and
Ruurd Kuiper and
Amir Pnueli},
editor = {Richard A. DeMillo},
title = {Now You May Compose Temporal Logic Specifications},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {51--63},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808665},
doi = {10.1145/800057.808665},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BarringerKP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/BarringerK83,
author = {Howard Barringer and
Ruurd Kuiper},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Towards the Hierarchical, Temporal Logic, Specification},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {157--183},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_45},
doi = {10.1007/3-540-16047-7\_45},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acs/BarringerK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BarringerCP79,
author = {Howard Barringer and
P. C. Capon and
R. Philips},
title = {The Portable Compiling Systems of {MUSS}},
journal = {Softw. Pract. Exp.},
volume = {9},
number = {8},
pages = {645--655},
year = {1979},
url = {https://doi.org/10.1002/spe.4380090805},
doi = {10.1002/SPE.4380090805},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/BarringerCP79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
