Howard Bowman

2008
48	EE	Li Su, Howard Bowman, Philip Barnard: Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. Electr. Notes Theor. Comput. Sci. 208: 95-111 (2008)
2007
47	EE	Rodolfo Gómez, Howard Bowman: Efficient Detection of Zeno Runs in Timed Automata. FORMATS 2007: 195-210
46	EE	Kiran Kalidindi, Howard Bowman: Using epsiloon-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the Iowa Gambling Task. Neural Networks 20(6): 676-689 (2007)
2006
45	EE	Howard Bowman, Rodolfo Gómez: How to stop time stopping. Formal Asp. Comput. 18(4): 459-493 (2006)
2005
44	EE	Howard Bowman, Rodolfo Gómez, Li Su: A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata. Electr. Notes Theor. Comput. Sci. 139(1): 25-47 (2005)
2004
43	EE	Bradley P. Wyble, Howard Bowman: The Attentional Blink at 20 items/sec, Model Prediction and Empirical Validation of Lag-2 Sparing. ICCM 2004: 400-401
42		Rodolfo Gómez, Howard Bowman: PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. Journal of Applied Non-Classical Logics 14(1-2): 105-148 (2004)
2003
41	EE	Rodolfo Gómez, Howard Bowman: Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. FORTE 2003: 177-192
40	EE	Jeremy Bryans, Howard Bowman, John Derrick: Model checking stochastic automata. ACM Trans. Comput. Log. 4(4): 452-492 (2003)
39		Howard Bowman, Helen Cameron, Peter R. King, Simon J. Thompson: Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods in System Design 22(1): 5-38 (2003)
38	EE	Howard Bowman, Simon J. Thompson: A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. J. Log. Comput. 13(2): 195-239 (2003)
2002
37		Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick: A Formal Framework for Viewpoint Consistency. Formal Methods in System Design 21(2): 111-166 (2002)
2001
36		Howard Bowman: Time and Action Lock Freedom Properties for Timed Automata. FORTE 2001: 119-134
35	EE	Howard Bowman, Jeremy Bryans, John Derrick: Analysis of a Multimedia Stream using Stochastic Process Algebra. Comput. J. 44(4): 230-245 (2001)
34	EE	Howard Bowman: Formal Methods Elsewhere - A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering. Electr. Notes Theor. Comput. Sci. 43: (2001)
33	EE	Howard Bowman, Giorgio P. Faconti, Mieke Massink: Towards Integrated Cognitive and Interface Analysis. Electr. Notes Theor. Comput. Sci. 43: (2001)
2000
32	EE	Jeremy Bryans, Lynne Blair, Howard Bowman, John Derrick: Specification and Analysis of Automata-Based Designs. IFM 2000: 176-193
31	EE	Jeremy Bryans, Howard Bowman, John Derrick: Stochastic Model Checking for Multimedia CoRR cs.MM/0002004: (2000)
30	EE	Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen: Viewpoint consistency in ODP. Computer Networks 34(3): 503-537 (2000)
29	EE	Howard Bowman, John Derrick, Ed Brinksma: Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems. IEEE Trans. Software Eng. 26(7): 577-578 (2000)
1999
28	EE	Howard Bowman: Modelling Timeouts without Timelocks. ARTS 1999: 334-353
27		Howard Bowman, John Derrick: A Junction between State Based and Behavioural Specification (Invited Talk). FMOODS 1999: 213-239
26	EE	Howard Bowman, Giorgio P. Faconti: Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Asp. Comput. 11(2): 132-159 (1999)
25		Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen: Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. 33(3): 261-298 (1999)
24		Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen: Constructive Consistency Checking for Partial Specification in Z. Sci. Comput. Program. 35(1): 29-75 (1999)
1998
23	EE	Howard Bowman, Joost-Pieter Katoen: A True Concurrency Semantics for ET-LOTOS. ACSD 1998: 228-238
22	EE	Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman: Consistency of Partial Process Specifications. AMAST 1998: 248-262
21		Howard Bowman, Giorgio P. Faconti, Mieke Massink: Specification and Verification of Media Constraints using UPAAL. DSV-IS 1998: 261-277
20	EE	Peter R. King, Helen Cameron, Howard Bowman, Simon J. Thompson: Synchronization in Multimedia Documents. EP 1998: 355-369
19	EE	Howard Bowman, Simon J. Thompson: A Tableau Method for Interval Temporal Logic with Projection. TABLEAUX 1998: 108-123
18		John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Specifying and Refining Internal Operations in Z. Formal Asp. Comput. 10(2): 125-159 (1998)
17	EE	Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink: Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. Formal Asp. Comput. 10(5-6): 550-575 (1998)
16		Howard Bowman: A LOTOS Based Tutorial on Formal Methods for Object-Oriented Distributed Systems. New Generation Comput. 16(4): 343-372 (1998)
1997
15		Howard Bowman, John Derrick: Extending LOTOS with Time: A True Concurrency Perspective. ARTS 1997: 383-399
14		Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen: Viewpoint Consistency in Z and LOTOS: A Case Study. FME 1997: 644-664
13		Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten: Disjunction of LOTOS Specifications. FORTE 1997: 177-192
12		John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Weak Refinement in Z. ZUM 1997: 369-388
1996
11		Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen: Consistency and Refinement for Partial Specification in Z. FME 1996: 287-306
10		John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen: Comparing LOTOS and Z Refinement Relations. FORTE 1996: 501-516
1995
9		Howard Bowman, John Derrick: A True Concurrency Semantics for Quality of Service Specification and Validation. MMNET 1995: 173-182
8		Maarten Steen, Howard Bowman, John Derrick: Composition of LOTOS specifications. PSTV 1995: 87-102
7	EE	Howard Bowman, John Derrick: Modelling distributed systems using Z. SAC 1995: 147-151
6		Howard Bowman, John Derrick, Maarten Steen: Viewpoints and Objects. ZUM 1995: 449-468
5	EE	Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd: Formal description of distributed multimedia systems: an assessment of potential techniques. Computer Communications 18(12): 964-977 (1995)
1994
4		Howard Bowman, Lynne Blair, Gordon S. Blair, Amanda G. Chetwynd: A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation. COST 237 Workshop 1994: 145-167
3		Howard Bowman, John Derrick: Consistency and Conformance in ODP (Abstract). PODC 1994: 388
2		Howard Bowman, John Derrick, Richard E. Jones: Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract). PODC 1994: 394
1993
1		Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd: Time Versus Abstraction in Formal Description. FORTE 1993: 467-482

Coauthor Index

1	Philip Barnard	[48]
2	Gordon S. Blair	[1] [4] [5]
3	Lynne Blair	[1] [4] [5] [32]
4	Eerke A. Boiten	[10] [11] [12] [13] [14] [18] [22] [24] [25] [30] [37]
5	Ed Brinksma	[29]
6	Jeremy Bryans	[31] [32] [35] [40]
7	Helen Cameron	[20] [39]
8	Amanda G. Chetwynd	[1] [4] [5]
9	John Derrick	[2] [3] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [18] [22] [24] [25] [27] [29] [30] [31] [32] [35] [37] [40]
10	Giorgio P. Faconti (Giorgio Faconti)	[17] [21] [26] [33]
11	Rodolfo Gómez (Rodolfo Sabás Gómez)	[41] [42] [44] [45] [47]
12	Richard E. Jones	[2]
13	Kiran Kalidindi	[46]
14	Joost-Pieter Katoen	[17] [23]
15	Peter R. King	[20] [39]
16	Diego Latella	[17]
17	Peter F. Linington	[30]
18	Mieke Massink	[17] [21] [33]
19	Maarten Steen	[6] [8] [10] [11] [12] [13] [14] [18] [22] [24] [25] [30] [37]
20	Li Su	[44] [48]
21	Simon J. Thompson	[19] [20] [38] [39]
22	Bradley P. Wyble	[43]

Colors in the list of coauthors