Jonathan P. Bowen

	2012
98		Peter T. Breuer, Jonathan P. Bowen: Typed Assembler for a RISC Crypto-Processor. ESSoS 2012: 22-29
97		Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin: Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. J. Log. Algebr. Program. 81(1): 2-25 (2012)
	2011
96		Jonathan P. Bowen, Steve Reeves: From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community. FM 2011: 308-322
95		Alison Hsiang-Yi Liu, Jonathan P. Bowen: Creating online collaborative environments for museums: a case study of a museum wiki. IJWBC 7(4): 407-428 (2011)
94		Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen: Algebraic approach to linking the semantics of web services. ISSE 7(3): 209-224 (2011)
	2010
93		Mike Hinchey, Jonathan P. Bowen, Emil Vassev: Formal Methods. Encyclopedia of Software Engineering 2010: 308-320
92		Jonathan P. Bowen, Mike Hinchey, Emil Vassev: Formal Requirements Specification. Encyclopedia of Software Engineering 2010: 321-332
91		Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen: Linking denotational semantics with operational semantics for web services. ISSE 6(4): 283-298 (2010)
	2009
90		Jonathan P. Bowen, Michael G. Hinchey: Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net. Rigorous Methods for Software Construction and Analysis 2009: 219-233
89		Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders: Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. SEW 2009: 104-114
88		Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan: Using formal specifications to support testing. ACM Comput. Surv. 41(2): (2009)
87		Sue Black, Paul Boca, Jonathan P. Bowen, Jason Gorman, Mike Hinchey: Formal Versus Agile: Survival of the Fittest. IEEE Computer 42(9): 37-45 (2009)
86		Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen: PTSC: probability, time and shared-variable concurrency. ISSE 5(4): 271-284 (2009)
	2008
85		Robert M. Hierons, Jonathan P. Bowen, Mark Harman: Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers Springer 2008
84		Egon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings Springer 2008
83		Sergiy A. Vilkomir, Jonathan P. Bowen: From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria. Formal Methods and Testing 2008: 240-270
82		Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria: Software engineering and formal methods. Commun. ACM 51(9): 54-59 (2008)
81		Huibiao Zhu, Jifeng He, Jonathan P. Bowen: From algebraic semantics to denotational semantics for Verilog. ISSE 4(4): 341-360 (2008)
80		Phan C. Vinh, Jonathan P. Bowen: Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis. Transactions on Computational Science 1: 1-36 (2008)
	2007
79		Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen: Algebraic Approach to Linking the Semantics of Web Services. SEFM 2007: 315-328
78		Huibiao Zhu, Jifeng He, Jonathan P. Bowen: Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. SEW 2007: 131-143
77		Phan C. Vinh, Jonathan P. Bowen: A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. TASE 2007: 369-378
76		Kalpesh Kapoor, Jonathan P. Bowen: Test conditions for fault classes in Boolean specifications. ACM Trans. Softw. Eng. Methodol. 16(3): (2007)
	2006
75		Huibiao Zhu, Jifeng He, Jonathan P. Bowen: From Algebraic Semantics to Denotational Semantics for Verilog. ICECCS 2006: 139-151
74		Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen: Integrating Probability with Time and Shared-Variable Concurrency. SEW 2006: 179-189
73		Sergiy A. Vilkomir, Jonathan P. Bowen: From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria. Formal Asp. Comput. 18(1): 42-62 (2006)
72		Jonathan P. Bowen, Tim Bergin, Christopher H. Sterling: Reviews. IEEE Annals of the History of Computing 28(2): 77-80 (2006)
71		Jonathan P. Bowen, Michael G. Hinchey: Ten Commandments of Formal Methods ...Ten Years Later. IEEE Computer 39(1): 40-48 (2006)
70		Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose: Formalization and assessment of regulatory requirements for safety-critical software. ISSE 2(3-4): 165-178 (2006)
	2005
69		Phan C. Vinh, Jonathan P. Bowen: Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems. ECBS 2005: 247-254
68		Phan C. Vinh, Jonathan P. Bowen: A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. SEW 2005: 245-252
67		Silvia Filippini-Fantoni, Jonathan P. Bowen: Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara CoRR abs/cs/0508066: (2005)
66		Teresa Numerico, Jonathan P. Bowen: Copyright and Promotion: Oxymoron or Opportunity? CoRR abs/cs/0508067: (2005)
65		Phan C. Vinh, Jonathan P. Bowen: Continuity aspects of embedded reconfigurable computing. ISSE 1(1): 41-53 (2005)
64		Kalpesh Kapoor, Jonathan P. Bowen: A formal analysis of MCDC and RCDC test criteria. Softw. Test., Verif. Reliab. 15(1): 21-40 (2005)
	2004
63		Kalpesh Kapoor, Jonathan P. Bowen: Ordering Mutants to Minimise Test Effort in Mutation Testing. FATES 2004: 195-209
62		Phan C. Vinh, Jonathan P. Bowen: An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs. FPGA 2004: 254
61		Alpay Beler, Ann Borda, Jonathan P. Bowen, Silvia Filippini-Fantoni: The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector CoRR cs.CY/0409055: (2004)
60		Phan C. Vinh, Jonathan P. Bowen: On the Visual Representation of Configuration in Reconfigurable Computing. Electr. Notes Theor. Comput. Sci. 109: 3-15 (2004)
59		Kalpesh Kapoor, Jonathan P. Bowen: Experimental evaluation of the tolerance for control-flow test criteria. Softw. Test., Verif. Reliab. 14(3): 167-187 (2004)
	2003
58		Didier Bert, Jonathan P. Bowen, Steve King, Marina A. Waldén: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings Springer 2003
57		Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen: Tolerance of Control-Flow Testing Criteria. COMPSAC 2003: 182-187
56		Kalpesh Kapoor, Jonathan P. Bowen: Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria. ISESE 2003: 185-194
55		Jonathan P. Bowen: Disabled Access for Museum Websites. WWW (Posters) 2003
54		Jonathan P. Bowen: Web Access to Cultural Heritage for the Disabled CoRR cs.CY/0307068: (2003)
53		Jonathan P. Bowen: Disabled Access for Museum Websites CoRR cs.CY/0308005: (2003)
52		Martin C. Henson, Steve Reeves, Jonathan P. Bowen: Z Logic and its Consequences. Computers and Artificial Intelligence 22(3-4): 381-415 (2003)
	2002
51		Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson: ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings Springer 2002
50		Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause: FORTEST: Formal Methods and Testing. COMPSAC 2002: 91-104
49		Huibiao Zhu, Jonathan P. Bowen, Jifeng He: Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. ICFEM 2002: 600-612
48		Sergiy A. Vilkomir, Jonathan P. Bowen: Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. ZB 2002: 291-308
	2001
47		Huibiao Zhu, Jonathan P. Bowen, Jifeng He: Deriving Operational Semantics from Denotational Semantics for Verilog. APSEC 2001: 177-
46		Huibiao Zhu, Jonathan P. Bowen, Jifeng He: From Operational Semantics to Denotational Semantics for Verilog. CHARME 2001: 449-466
45		Sergiy A. Vilkomir, Jonathan P. Bowen: Formalization of Software Testing Criteria using the Z Notation. COMPSAC 2001: 351-356
44		Jonathan P. Bowen, Jifeng He: An Approach to the Specification and Verification of a Hardware Compilation Scheme. The Journal of Supercomputing 19(1): 23-39 (2001)
	2000
43		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
42		Jonathan P. Bowen, Jifeng He, Qiwen Xu: An Animatable Operational Semantics of the Verilog Hardware Description Language. ICFEM 2000: 199-208
41		Jonathan P. Bowen: Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language. IFM 2000: 277-296
40		Jonathan P. Bowen: The Ethics of Safety-Critical Systems. Commun. ACM 43(4): 91-97 (2000)
	1999
39		Peter T. Breuer, Natividad Martínez Madrid, Jonathan P. Bowen, Robert B. France, Maria M. Larrondo-Petrie, Carlos Delgado Kloos: Reasoning about VHDL and VHDL-AMS using Denotational Semantics. DATE 1999: 346-352
	1998
38		Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings Springer 1998
37		Jonathan P. Bowen: Select Z Bibliography. ZUM 1998: 367-406
36		Jonathan P. Bowen: Comp.specification.z and Z FORUM Frequently Asked Questions. ZUM 1998: 407-415
35		Jonathan P. Bowen, David Chippington: Z on the Web Using Java. ZUM 1998: 66-80
	1997
34		Jonathan P. Bowen, Michael G. Hinchey, David Till: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings Springer 1997
33		Jonathan P. Bowen, Michael G. Hinchey: The use of industrial-strength formal methods. COMPSAC 1997: 332-337
32		Jonathan P. Bowen: Select Z Bibliography. ZUM 1997: 391-424
31		Jonathan P. Bowen: Comp.specification.z and Z FORUM Frequently Asked Questions. ZUM 1997: 425-433
30		Jonathan P. Bowen, Michael G. Hinchey: Formal Models and the Specification Process. The Computer Science and Engineering Handbook 1997: 2302-2322
	1996
29		Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave: An Invitation to Formal Methods. IEEE Computer 29(4): 16-30 (1996)
	1995
28		Jonathan P. Bowen, Michael G. Hinchey: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings Springer 1995
27		Jonathan P. Bowen: Select Z Bibliography. ZUM 1995: 527-560
26		Jonathan P. Bowen: Comp.specification.z and Z FORUM Frequently Asked Questions. ZUM 1995: 561-569
25		Jonathan P. Bowen, Michael G. Hinchey: Ten Commandments of Formal Methods. IEEE Computer 28(4): 56-63 (1995)
24		Jonathan P. Bowen, Michael G. Hinchey: Seven More Myths of Formal Methods. IEEE Software 12(4): 34-41 (1995)
23		Peter T. Breuer, Jonathan P. Bowen: A PREttier Compiler-Compiler: Generating Higher-order Parsers in C. Softw., Pract. Exper. 25(11): 1263-1297 (1995)
	1994
22		Jonathan P. Bowen, Michael G. Hinchey: Seven More Myths of Formal Methods. FME 1994: 105-117
21		Jonathan P. Bowen, Michael J. C. Gordon: Z and HOL. Z User Workshop 1994: 141-167
20		Peter T. Breuer, Jonathan P. Bowen: Towards Correct Executable Semantics for Z. Z User Workshop 1994: 185-209
19		Jonathan P. Bowen: Select Z Bibliography. Z User Workshop 1994: 359-396
18		Jonathan P. Bowen: Comp.specification.z and Z FORUM Frequently Asked Questions. Z User Workshop 1994: 397-403
17		Peter T. Breuer, Jonathan P. Bowen: Decompilation: The Enumeration of Types and Grammars. ACM Trans. Program. Lang. Syst. 16(5): 1613-1647 (1994)
16		Jifeng He, Jonathan P. Bowen: Specification, Verification and Prototyping of an Optimized Compiler. Formal Asp. Comput. 6(6): 643-658 (1994)
	1993
15		Jifeng He, Ian Page, Jonathan P. Bowen: Towards a Provably Correct Hardware Implementation of Occam. CHARME 1993: 214-225
14		Jonathan P. Bowen, Victoria Stavridou: The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. FME 1993: 183-195
	1992
13		Jonathan P. Bowen, J. E. Nicholls: Z User Workshop, London, UK, 14-15 December 1992, Proceedings Springer 1992
12		Peter T. Breuer, Jonathan P. Bowen: Decompilation is the Efficient Enumeration of Types. WSA 1992: 255-273
11		Jonathan P. Bowen: Select Z Bibliography. Z User Workshop 1992: 309-341
10		Jonathan P. Bowen: Comp.specification.z and Z FORUM Frequently Asked Questions. Z User Workshop 1992: 342-347
9		Jonathan P. Bowen: X: Why Z? Comput. Graph. Forum 11(4): 221-234 (1992)
	1991
8		Jonathan P. Bowen: From Programs to Object Code using Logic and Logic Programming. Code Generation 1991: 173-192
7		Jonathan P. Bowen: Select Z Bibliography and Frequently Asked Questions. Z User Workshop 1991: 367-401
	1990
6		Jonathan P. Bowen, Jifeng He, Paritosh K. Pandya: An Approach to Verifiable Compiling Specification and Prototyping. PLILP 1990: 45-59
5		Jonathan P. Bowen: Selected Z Bibliography. Z User Workshop 1990: 353-373
4		Jonathan P. Bowen: Z FORUM Electronic Mailing List. Z User Workshop 1990: 378-378
3		Jonathan P. Bowen: PRG Archive Server. Z User Workshop 1990: 379-379
	1986
2		Roger B. Gimson, Jonathan P. Bowen, Tim Gleeson: Distributed computing software project. ACM SIGOPS European Workshop 1986
1		Jonathan P. Bowen: Design of a Simple Cambridge Ring Interface Adapter. Comput. Syst. Sci. Eng. 1(2): 93-98 (1986)

Coauthor Index

1	Alpay Beler	[61]
2	Tim Bergin (Thomas J. Bergin)	[72]
3	Didier Bert	[51] [58]
4	Sue Black	[87]
5	Paul Boca	[84] [87]
6	Kirill Bogdanov	[50] [88]
7	Ann Borda	[61]
8	Egon Börger	[84]
9	Peter T. Breuer	[12] [17] [20] [23] [39] [98]
10	Michael J. Butler	[84]
11	Ricky W. Butler	[29]
12	David Chippington	[35]
13	John A. Clark (John Andrew Clark)	[50]
14	Rance Cleaveland	[88]
15	Byron Cook	[82]
16	Patrick Cousot	[82]
17	John Derrick	[88]
18	Jeremy Dick	[88]
19	David L. Dill	[29]
20	Steve Dunne	[43]
21	Andreas Fett	[38]
22	Silvia Filippini-Fantoni	[61] [67]
23	Robert B. France	[39]
24	Andy Galloway	[43]
25	Marian Gheorghe	[88]
26	Aditya K. Ghose (Aditya Ghose)	[70]
27	Roger B. Gimson	[2]
28	Robert L. Glass	[29]
29	Tim Gleeson	[2]
30	Michael J. C. Gordon	[21]
31	Jason Gorman	[87]
32	David Gries	[29]
33	Anthony Hall	[29]
34	Mark Harman	[50] [85] [88]
35	Jifeng He	[6] [15] [16] [42] [44] [46] [47] [49] [74] [75] [78] [79] [81] [86] [89] [91] [94] [97]
36	Martin C. Henson	[51] [52]
37	Robert M. Hierons	[50] [85] [88]
38	Michael G. Hinchey (Mike Hinchey)	[22] [24] [25] [28] [29] [30] [33] [34] [38] [71] [82] [87] [90] [92] [93]
39	C. Michael Holloway	[29]
40	Daniel Jackson	[29]
41	Michael Jackson	[82]
42	Cliff B. Jones (Clifford B. Jones)	[29]
43	Kalpesh Kapoor	[56] [57] [59] [63] [64] [76] [88]
44	Steve King	[43] [58]
45	Carlos Delgado Kloos	[39]
46	Paul Krause	[50] [88]
47	María M. Larrondo-Petrie (Maria M. Larrondo-Petrie)	[39]
48	Jing Li	[79] [91] [94]
49	Alison Hsiang-Yi Liu	[95]
50	Gerald Lüttgen	[88]
51	Michael J. Lutz	[29]
52	Natividad Martínez Madrid	[39]
53	Tiziana Margaria (Tiziana Margaria-Steffen)	[82]
54	J. E. Nicholls	[13]
55	Teresa Numerico	[66]
56	Ian Page	[15]
57	Paritosh K. Pandya	[6]
58	David Lorge Parnas	[29]
59	Geguang Pu	[91]
60	Shengchao Qin	[74] [86] [97]
61	Steve Reeves	[52] [96]
62	Ken Robinson (Kenneth Arthur Robinson)	[51]
63	John M. Rushby	[29]
64	Jeff W. Sanders (Jeffrey W. Sanders)	[89] [97]
65	Anthony J. H. Simons	[88]
66	Victoria Stavridou	[14]
67	Christopher H. Sterling	[72]
68	David Till	[34]
69	Emil Vassev	[92] [93]
70	Sergiy A. Vilkomir	[45] [48] [57] [70] [73] [83] [88]
71	Phan C. Vinh	[60] [62] [65] [68] [69] [77] [80]
72	Marina A. Waldén	[58]
73	Jeannette M. Wing	[29]
74	Martin R. Woodward	[88]
75	Qiwen Xu	[42]
76	Fan Yang	[89] [97]
77	Pamela Zave	[29]
78	Hussein Zedan (Hussein S. M. Zedan)	[88]
79	Huibiao Zhu	[46] [47] [49] [74] [75] [78] [79] [81] [86] [89] [91] [94] [97]

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