Jon G. Hall

2008
30		Robert Logie, Jon G. Hall, Kevin G. Waugh: Towards Mining for Influence in a Multi Agent Environment. IADIS European Conf. Data Mining 2008: 97-101
29	EE	Thein Than Tun, Jon G. Hall, Lucia Rapanotti, Karl Cox, Zhi Jin: 3rd international workshop on advances and applications of problem frames. ICSE Companion 2008: 1029-1030
28	EE	Jon G. Hall, Lucia Rapanotti: Assurance-Driven Design. ICSEA 2008: 379-388
27	EE	Jon G. Hall: Requirements and architectures: two sides of the same coin. SHARK 2008: 29-30
26	EE	Jon G. Hall, Lucia Rapanotti, Michael Jackson: Problem Oriented Software Engineering: Solving the Package Router Control Problem. IEEE Trans. Software Eng. 34(2): 226-241 (2008)
2007
25	EE	Derek Mannering, Jon G. Hall, Lucia Rapanotti: Towards Normal Design for Safety-Critical Systems. FASE 2007: 398-411
24	EE	Jon G. Hall, Derek Mannering, Lucia Rapanotti: Arguing safety with Problem Oriented Software Engineering. HASE 2007: 23-32
23	EE	Derek Mannering, Jon G. Hall, Lucia Rapanotti: Safety Process Improvement with POSE and Alloy. SAFECOMP 2007: 252-257
22	EE	Jon G. Hall, Lucia Rapanotti, Michael Jackson: Problem Oriented Software Engineering: A design-theoretic framework for software engineering. SEFM 2007: 15-24
2006
21	EE	Jon G. Hall, Lucia Rapanotti, Karl Cox, Zhi Jin: 2nd international workshop on advances and applications of problem frames. ICSE 2006: 1030-1031
2005
20	EE	Robert Logie, Jon G. Hall, Kevin G. Waugh: Reactive Food Gathering. CLIMA VI 2005: 406-413
19	EE	Karl Cox, Jon G. Hall, Lucia Rapanotti: A roadmap of problem frames research. Information & Software Technology 47(14): 891-902 (2005)
18	EE	Jon G. Hall, Lucia Rapanotti, Michael Jackson: Problem frame semantics for software development. Software and System Modeling 4(2): 189-198 (2005)
2004
17	EE	Adrian J. Hilton, Jon G. Hall: High-Integrity Interfacing to Programmable Logic with Ada. Ada-Europe 2004: 249-260
16	EE	Karl Cox, Jon G. Hall, Lucia Rapanotti: 1st International Workshop on Advances and Applications of Problem Frames. ICSE 2004: 754-755
15	EE	Lucia Rapanotti, Jon G. Hall, Michael Jackson, Bashar Nuseibeh: Architecture-driven Problem Decomposition. RE 2004: 80-89
14	EE	Karl Cox, Jon G. Hall, Lucia Rapanotti: 1st international workshop on advances and applications of problem frames - summary. ACM SIGSOFT Software Engineering Notes 29(5): 1-3 (2004)
2003
13	EE	Adrian J. Hilton, Gemma Townson, Jon G. Hall: FPGAs in critical hardware/software systems. FPGA 2003: 244
12	EE	Jon G. Hall, Lucia Rapanotti: A Reference Model for Requirements Engineering. RE 2003: 181-187
2002
11	EE	Jon G. Hall, Michael Jackson, Robin C. Laney, Bashar Nuseibeh, Lucia Rapanotti: Relating Software Requirements and Architectures Using Problem Frames. RE 2002: 137-144
10	EE	Adrian J. Hilton, Jon G. Hall: Refining specifications to programmable logic. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
2001
9		Jon G. Hall, Lucia Rapanotti: Educational JavaBeans: a Requirements Driven Architecture. WebNet 2001: 474-479
1998
8	EE	Jon G. Hall, Clement A. Baker-Finch, Philip W. Trinder, David J. King: Towards an Operational Semantics for a Parallel Non-Strict Functional Language. IFL 1998: 54-71
7	EE	David J. King, Jon G. Hall, Philip W. Trinder: A Strategic Profiler for Glasgow Parallel Haskell. IFL 1998: 88-102
1997
6		Jon G. Hall, Andrew Martin: W Reconstructed. ZUM 1997: 115-134
1996
5		Jonathan D. Moffett, Jon G. Hall, Andrew Coombes, John A. McDermid: A Model for a Causal Logic for Requirements Engineering. Requir. Eng. 1(1): 27-46 (1996)
1995
4		Rogério de Lemos, Jon G. Hall: Extended RTL in the Specification and Verification of an Industrial Press. Hybrid Systems 1995: 114-125
1994
3		Jon G. Hall, John A. McDermid: Towards a Z Method: Axiomatic Specification in Z. Z User Workshop 1994: 213-229
1992
2		Richard P. Hopkins, Jon G. Hall, Oliver Botti: A basic-net algebra for program semantics and its application to OCCAM. Advances in Petri Nets: The DEMON Project 1992: 179-214
1		Eike Best, Raymond R. Devillers, Jon G. Hall: The box calculus: a new causal algebra with multi-label communication. Advances in Petri Nets: The DEMON Project 1992: 21-69

Coauthor Index

1	Clement A. Baker-Finch	[8]
2	Eike Best	[1]
3	Oliver Botti	[2]
4	Andrew Coombes	[5]
5	Karl Cox	[14] [16] [19] [21] [29]
6	Raymond R. Devillers	[1]
7	Adrian J. Hilton	[10] [13] [17]
8	Richard P. Hopkins	[2]
9	Michael Jackson	[11] [15] [18] [22] [26]
10	Zhi Jin	[21] [29]
11	David J. King	[7] [8]
12	Robin C. Laney	[11]
13	Rogério de Lemos	[4]
14	Robert Logie	[20] [30]
15	Derek Mannering	[23] [24] [25]
16	Andrew Martin	[6]
17	John A. McDermid	[3] [5]
18	Jonathan D. Moffett	[5]
19	Bashar Nuseibeh	[11] [15]
20	Lucia Rapanotti	[9] [11] [12] [14] [15] [16] [18] [19] [21] [22] [23] [24] [25] [26] [28] [29]
21	Gemma Townson	[13]
22	Philip W. Trinder	[7] [8]
23	Thein Than Tun	[29]
24	Kevin G. Waugh	[20] [30]

Colors in the list of coauthors