dblp.uni-trier.dewww.uni-trier.de

Andy Galloway

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
14EEAndy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu: Model-Checking the Linux Virtual File System. VMCAI 2009: 74-88
2007
13EEIan Toyn, Andy Galloway: Formal Validation of Hierarchical State Machines against Expectations. ASWEC 2007: 181-190
12EESteve Dunne, Andy Galloway: Lifting General Correctness into Partial Correctness is ok. IFM 2007: 215-232
2006
11EEJohn A. McDermid, Andy Galloway: Three Perspectives in Formal Engineering. ICFEM 2006: 35-54
2005
10EEAndy Galloway, Frantz Iwu, John McDermid, Ian Toyn: On the Formal Development of Safety-Critical Software. VSTTE 2005: 362-373
9EEIan Toyn, Andy Galloway: Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. ZB 2005: 104-123
2002
8EEJames Blow, Andy Galloway: Generalised Substitution Language and Differentials. ZB 2002: 396-415
2000
7 Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings Springer 2000
1999
6 Keijiro Araki, Andy Galloway, Kenji Taguchi: Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999 Springer 1999
5 Bill Stoddart, Steve Dunne, Andy Galloway: Undefined Expressions and Logic in Z and B. Formal Methods in System Design 15(3): 201-215 (1999)
1998
4EEBill Stoddart, Steve Dunne, Andy Galloway, Richard Shore: Abstract State Machines: Designing Distributed Systems with State Machines and B. B 1998: 226-242
3EEJohn A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel Tracey, Samuel H. Valentine: Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ICFEM 1998: 76-
1997
2 Andy Galloway, Bill Stoddart: An Operational Semantics for ZCCS. ICFEM 1997: 272-
1 Andy Galloway, Bill Stoddart: Integrated formal methods. INFORSID 1997: 549-576

Coauthor Index

1Keijiro Araki [6]
2James Blow [8]
3Jonathan P. Bowen [7]
4Simon Burton [3]
5John A. Clark (John Andrew Clark) [3]
6Steve Dunne [4] [5] [7] [12]
7Frantz Iwu [10]
8Steve King [7]
9Gerald Lüttgen [14]
10John McDermid [10]
11John A. McDermid [3] [11]
12Jan Tobias Mühlberg [14]
13Richard Shore [4]
14Radu Siminiceanu [14]
15Bill Stoddart [1] [2] [4] [5]
16Kenji Taguchi [6]
17Ian Toyn [3] [9] [10] [13]
18Nigel Tracey [3]
19Samuel H. Valentine [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)