Howard Barringer

	2011
59		Manuela L. Bujorianu, Marius C. Bujorianu, Howard Barringer: Systems theory in an analytic setting. CDC-ECE 2011: 2901-2906
58		Howard Barringer, Klaus Havelund: TraceContract: A Scala DSL for Trace Analysis. FM 2011: 57-72
57		Howard Barringer, Klaus Havelund: Internal versus External DSLs for Trace Analysis - (Extended Abstract). RV 2011: 1-3
	2010
56		Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings Springer 2010
55		Howard Barringer, Dov M. Gabbay: Modal and Temporal Argumentation Networks. Essays in Memory of Amir Pnueli 2010: 1-25
54		Djihed Afifi, David E. Rydeheard, Howard Barringer: ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems. RV 2010: 469-474
53		Howard Barringer, David E. Rydeheard, Klaus Havelund: Rule Systems for Run-time Monitoring: from Eagle to RuleR. J. Log. Comput. 20(3): 675-706 (2010)
	2009
52		Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith: An Entry Point for Formal Methods: Specification and Analysis of Event Logs FMA 2009: 16-21
51		Marius C. Bujorianu, Howard Barringer: An Integrated Specification Logic for Cyber-Physical Systems. ICECCS 2009: 291-300
50		Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce: Rule Systems for Runtime Verification: A Short Tutorial. RV 2009: 1-24
49		Howard Barringer, Dov M. Gabbay, David E. Rydeheard: Modelling evolvable component systems: Part I: A logical framework. Logic Journal of the IGPL 17(6): 631-696 (2009)
	2008
48		Marius C. Bujorianu, Manuela L. Bujorianu, Howard Barringer: A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. CLIMA 2008: 97-116
47		Joachim Baran, Howard Barringer: Forays into Sequential Composition and Concatenation in Eagle. RV 2008: 69-85
46		Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer: Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. Formal Methods in System Design 32(3): 175-205 (2008)
	2007
45		Naikuo Yang, Howard Barringer, Ning Zhang: A Purpose-Based Access Control Model. IAS 2007: 143-148
44		Howard Barringer, David E. Rydeheard, Klaus Havelund: Rule Systems for Run-Time Monitoring: From Eagleto RuleR. RV 2007: 111-125
43		Howard Barringer, Dov M. Gabbay, David E. Rydeheard: From Runtime Verification to Evolvable Systems. RV 2007: 97-110
42		Howard Barringer, David E. Rydeheard, Dov M. Gabbay: A Logical Framework for Monitoring and Evolving Software Components. TASE 2007: 273-282
41		Joachim Baran, Howard Barringer: A Grammatical Representation of Visibly Pushdown Languages. WoLLIC 2007: 1-11
	2006
40		Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma: Preface. Electr. Notes Theor. Comput. Sci. 144(4): 1 (2006)
39		Cornelia P. Inggs, Howard Barringer: CTL* model checking on a shared-memory architecture. Formal Methods in System Design 29(2): 135-155 (2006)
	2005
38		Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods: We Will Show Them! Essays in Honour of Dov Gabbay, Volume One College Publications 2005
37		Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods: We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two College Publications 2005
36		Howard Barringer, Dov M. Gabbay, John Woods: Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. Mechanizing Mathematical Reasoning 2005: 59-98
35		Howard Barringer, David E. Rydeheard: Modelling Evolvable Systems: A Temporal Logic View. We Will Show Them! (1) 2005: 195-228
34		Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer: Component Verification with Automatically Generated Assumptions. Autom. Softw. Eng. 12(3): 297-320 (2005)
33		Cornelia P. Inggs, Howard Barringer: CTL ast Model Checking on a Shared-Memory Architecture. Electr. Notes Theor. Comput. Sci. 128(3): 107-123 (2005)
32		Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington: Combining test case generation and runtime verification. Theor. Comput. Sci. 336(2-3): 209-234 (2005)
	2004
31		Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Program Monitoring with LTL in EAGLE. IPDPS 2004
30		Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Rule-Based Runtime Verification. VMCAI 2004: 44-57
	2002
29		Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer: Assumption Generation for Software Component Verification. ASE 2002: 3-12
28		Howard Barringer, Donal Fellows, Graham Gough, Alan Williams: Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design. Comput. J. 45(1): 2-11 (2002)
27		Cornelia P. Inggs, Howard Barringer: Effective State Exploration for Model Checking on a Shared Memory Architecture. Electr. Notes Theor. Comput. Sci. 68(4): 605-620 (2002)
	2000
26		Willem Visser, Howard Barringer: Practical CTL* Model Checking: Should SPIN be Extended? STTT 2(4): 350-365 (2000)
	1997
25		Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan Williams: Efficient CTL* model checking for analysis of rainbow designs. CHARME 1997: 128-145
	1996
24		Howard Barringer, Graham Gough, Brian Monahan, Alan Williams: A Process Algebra Foundation for Reasoning about Core ELLA. Comput. J. 39(4): 303-324 (1996)
23		Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher: Languages, Meta-languages and METATEM, A Discussion Paper. Logic Journal of the IGPL 4(2): 255-272 (1996)
	1995
22		Ana Cristina Vieira de Melo, Howard Barringer: A foundation for formal reuse of hardware. CHARME 1995: 124-145
21		Howard Barringer, Graham Gough, Brian Monahan, Alan Williams: Formal support for the ELLA hardwar description language. CHARME 1995: 225-245
20		Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens: METATEM: An Introduction. Formal Asp. Comput. 7(5): 533-549 (1995)
	1994
19		Clare Dixon, Michael Fisher, Howard Barringer: A Graph-Based Approach to Resolution in Temporal Logic. ICTL 1994: 415-429
	1991
18		Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter: Meta-Reasoning in Executable Temporal Logic. KR 1991: 40-49
17		Howard Barringer: Editorial. J. Log. Comput. 1(5): 573-574 (1991)
	1989
16		Behnam Banieqbal, Howard Barringer, Amir Pnueli: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings Springer 1989
15		Howard Barringer, Michael Fisher, Graham Gough: Fair SMG and Linear Time Model Checking. Automatic Verification Methods for Finite State Systems 1989: 133-150
14		Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens: METATEM: A Framework for Programming in Temporal Logic. REX Workshop 1989: 94-129
	1988
13		Howard Barringer, Dov M. Gabbay: Executing Temporal Logic: Review and Prospects (Abstract). Concurrency 1988: 104-105
12		Victoria Stavridou, Howard Barringer, David A. Edwards: Formal Specification and Verification of Hardware: A Comparative Case Study. DAC 1988: 197-204
11		Graham Gough, Howard Barringer: A Semantics Driven Temporal Verification System. ESOP 1988: 21-33
	1987
10		Behnam Banieqbal, Howard Barringer: Temporal Logic with Fixed Points. Temporal Logic in Specification 1987: 62-74
9		Howard Barringer: Up and Down The Temporal Wey. Comput. J. 30(2): 134-148 (1987)
	1986
8		Howard Barringer, Ruurd Kuiper, Amir Pnueli: A Really Abstract Concurrent Model and its Temporal Logic. POPL 1986: 173-183
7		Howard Barringer, I. Mearns: A Proof System for Ada Tasks. Comput. J. 29(5): 404-415 (1986)
	1985
6		Howard Barringer: A Survey of Verification Techniques for Parallel Programs Springer 1985
	1984
5		Howard Barringer, Ruurd Kuiper, Amir Pnueli: Now You May Compose Temporal Logic Specifications STOC 1984: 51-63
4		Howard Barringer, Ruurd Kuiper: Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. Seminar on Concurrency 1984: 35-61
3		Howard Barringer, J. H. Cheng, Cliff B. Jones: A Logic Covering Undefinedness in Program Proofs. Acta Inf. 21: 251-269 (1984)
	1983
2		Howard Barringer, Ruurd Kuiper: Towards the Hierarchical, Temporal Logic, Specification. The Analysis of Concurrent Systems 1983: 157-183
	1979
1		Howard Barringer, P. C. Capon, R. Philips: The Portable Compiling Systems of MUSS. Softw., Pract. Exper. 9(8): 645-655 (1979)

Coauthor Index

1	Djihed Afifi	[54]
2	Sergei N. Artëmov	[37] [38]
3	Cyrille Artho (Cyrille Valentin Artho)	[32]
4	Behnam Banieqbal	[10] [16]
5	Joachim Baran	[41] [47]
6	Mihaela Gheorghiu Bobaru (Mihaela Gheorghiu)	[46]
7	Derek Brough	[23]
8	Manuela L. Bujorianu	[48] [59]
9	Marius C. Bujorianu	[48] [51] [59]
10	P. C. Capon	[1]
11	J. H. Cheng	[3]
12	Jamieson M. Cobleigh	[46]
13	Clare Dixon	[19]
14	David A. Edwards	[12]
15	Yliès Falcone	[56]
16	Donal Fellows	[25] [28]
17	Bernd Finkbeiner	[40] [56]
18	Michael Fisher	[14] [15] [18] [19] [20] [23]
19	Dov M. Gabbay	[13] [14] [18] [20] [23] [36] [42] [43] [49] [55]
20	Artur S. d'Avila Garcez	[37] [38]
21	Dimitra Giannakopoulou	[29] [34] [46]
22	Allen Goldberg	[30] [31] [32]
23	Graham Gough	[11] [14] [15] [20] [21] [23] [24] [25] [28]
24	Alex Groce	[50] [52]
25	Yuri Gurevich	[40]
26	Klaus Havelund	[30] [31] [32] [44] [50] [52] [53] [56] [57] [58]
27	Ian M. Hodkinson	[23]
28	Anthony Hunter	[18] [23]
29	Cornelia P. Inggs	[27] [33] [39]
30	Cliff B. Jones (Clifford B. Jones)	[3]
31	Sarfraz Khurshid	[32]
32	Ruurd Kuiper	[2] [4] [5] [8]
33	Luís C. Lamb (Luís da Cunha Lamb)	[37] [38]
34	Insup Lee	[56]
35	Michael R. Lowry	[32]
36	Peter McBrien	[23]
37	I. Mearns	[7]
38	Ana Cristina Vieira de Melo	[22]
39	Brian Monahan	[21] [24]
40	Richard Owens	[14] [20] [23]
41	Gordon J. Pace	[56]
42	Corina S. Pasareanu	[29] [32] [34] [46]
43	R. Philips	[1]
44	Amir Pnueli	[5] [8] [16]
45	Mark Reynolds	[23]
46	Grigore Rosu	[32] [56]
47	David E. Rydeheard	[35] [42] [43] [44] [49] [50] [53] [54]
48	Koushik Sen	[30] [31] [32]
49	Henny B. Sipma (Henny Sipma)	[40]
50	Margaret H. Smith	[52]
51	Oleg Sokolsky	[56]
52	Victoria Stavridou	[12]
53	Nikolai Tillmann	[56]
54	Willem Visser	[25] [26] [32]
55	Richard Washington	[32]
56	Alan Williams	[21] [24] [25] [28]
57	John Woods	[36] [37] [38]
58	Naikuo Yang	[45]
59	Ning Zhang	[45]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page