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

Jonathan P. Bowen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
86EERobert 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)
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
83EESergiy 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
82EEMike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria: Software engineering and formal methods. Commun. ACM 51(9): 54-59 (2008)
81EEHuibiao Zhu, Jifeng He, Jonathan P. Bowen: From algebraic semantics to denotational semantics for Verilog. ISSE 4(4): 341-360 (2008)
80EEPhan 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
79EEHuibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen: Algebraic Approach to Linking the Semantics of Web Services. SEFM 2007: 315-328
78EEHuibiao 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
77EEPhan C. Vinh, Jonathan P. Bowen: A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. TASE 2007: 369-378
76EEKalpesh Kapoor, Jonathan P. Bowen: Test conditions for fault classes in Boolean specifications. ACM Trans. Softw. Eng. Methodol. 16(3): (2007)
2006
75EEHuibiao Zhu, Jifeng He, Jonathan P. Bowen: From Algebraic Semantics to Denotational Semantics for Verilog. ICECCS 2006: 139-151
74EEHuibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen: Integrating Probability with Time and Shared-Variable Concurrency. SEW 2006: 179-189
73EESergiy 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)
72EEJonathan P. Bowen, Tim Bergin, Christopher H. Sterling: Reviews. IEEE Annals of the History of Computing 28(2): 77-80 (2006)
71EEJonathan P. Bowen, Michael G. Hinchey: Ten Commandments of Formal Methods ...Ten Years Later. IEEE Computer 39(1): 40-48 (2006)
70EESergiy 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
69EEPhan 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
68EEPhan C. Vinh, Jonathan P. Bowen: A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. SEW 2005: 245-252
67EESilvia 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)
66EETeresa Numerico, Jonathan P. Bowen: Copyright and Promotion: Oxymoron or Opportunity? CoRR abs/cs/0508067: (2005)
65EEPhan C. Vinh, Jonathan P. Bowen: Continuity aspects of embedded reconfigurable computing. ISSE 1(1): 41-53 (2005)
64EEKalpesh Kapoor, Jonathan P. Bowen: A formal analysis of MCDC and RCDC test criteria. Softw. Test., Verif. Reliab. 15(1): 21-40 (2005)
2004
63EEKalpesh Kapoor, Jonathan P. Bowen: Ordering Mutants to Minimise Test Effort in Mutation Testing. FATES 2004: 195-209
62EEPhan C. Vinh, Jonathan P. Bowen: An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs. FPGA 2004: 254
61EEAlpay 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)
60EEPhan C. Vinh, Jonathan P. Bowen: On the Visual Representation of Configuration in Reconfigurable Computing. Electr. Notes Theor. Comput. Sci. 109: 3-15 (2004)
59EEKalpesh 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
57EESergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen: Tolerance of Control-Flow Testing Criteria. COMPSAC 2003: 182-187
56EEKalpesh Kapoor, Jonathan P. Bowen: Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria. ISESE 2003: 185-194
55EEJonathan P. Bowen: Disabled Access for Museum Websites. WWW (Posters) 2003
54EEJonathan P. Bowen: Web Access to Cultural Heritage for the Disabled CoRR cs.CY/0307068: (2003)
53EEJonathan 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(4): (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
50EEJonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause: FORTEST: Formal Methods and Testing. COMPSAC 2002: 91-104
49EEHuibiao Zhu, Jonathan P. Bowen, Jifeng He: Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. ICFEM 2002: 600-612
48EESergiy A. Vilkomir, Jonathan P. Bowen: Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. ZB 2002: 291-308
2001
47EEHuibiao Zhu, Jonathan P. Bowen, Jifeng He: Deriving Operational Semantics from Denotational Semantics for Verilog. APSEC 2001: 177-
46EEHuibiao Zhu, Jonathan P. Bowen, Jifeng He: From Operational Semantics to Denotational Semantics for Verilog. CHARME 2001: 449-466
45EESergiy 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
42EEJonathan P. Bowen, Jifeng He, Qiwen Xu: An Animatable Operational Semantics of the Verilog Hardware Description Language. ICFEM 2000: 199-208
41EEJonathan 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
40EEJonathan P. Bowen: The Ethics of Safety-Critical Systems. Commun. ACM 43(4): 91-97 (2000)
1999
39EEPeter 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
33EEJonathan 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 Usres, 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)
24EEJonathan 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
22EEJonathan 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
17EEPeter 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
14EEJonathan 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
9EEJonathan 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
6EEJonathan 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
2EERoger 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)