| 2009 |
|---|
| 85 | EE | 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) |
| 2008 |
|---|
| 84 | | Robert M. Hierons,
Jonathan P. Bowen,
Mark Harman:
Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers
Springer 2008 |
| 83 | | 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 |
| 82 | EE | 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 |
| 81 | EE | 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) |
| 80 | EE | 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 | EE | Huibiao Zhu,
Jifeng He,
Jing Li,
Jonathan P. Bowen:
Algebraic Approach to Linking the Semantics of Web Services.
SEFM 2007: 315-328 |
| 78 | EE | 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 | EE | Phan C. Vinh,
Jonathan P. Bowen:
A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing.
TASE 2007: 369-378 |
| 76 | EE | Kalpesh Kapoor,
Jonathan P. Bowen:
Test conditions for fault classes in Boolean specifications.
ACM Trans. Softw. Eng. Methodol. 16(3): (2007) |
| 2006 |
|---|
| 75 | EE | Huibiao Zhu,
Jifeng He,
Jonathan P. Bowen:
From Algebraic Semantics to Denotational Semantics for Verilog.
ICECCS 2006: 139-151 |
| 74 | EE | Huibiao Zhu,
Shengchao Qin,
Jifeng He,
Jonathan P. Bowen:
Integrating Probability with Time and Shared-Variable Concurrency.
SEW 2006: 179-189 |
| 73 | EE | 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 | EE | Jonathan P. Bowen,
Tim Bergin,
Christopher H. Sterling:
Reviews.
IEEE Annals of the History of Computing 28(2): 77-80 (2006) |
| 71 | EE | Jonathan P. Bowen,
Michael G. Hinchey:
Ten Commandments of Formal Methods ...Ten Years Later.
IEEE Computer 39(1): 40-48 (2006) |
| 70 | EE | 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 | EE | 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 | EE | Phan C. Vinh,
Jonathan P. Bowen:
A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing.
SEW 2005: 245-252 |
| 67 | EE | 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 | EE | Teresa Numerico,
Jonathan P. Bowen:
Copyright and Promotion: Oxymoron or Opportunity?
CoRR abs/cs/0508067: (2005) |
| 65 | EE | Phan C. Vinh,
Jonathan P. Bowen:
Continuity aspects of embedded reconfigurable computing.
ISSE 1(1): 41-53 (2005) |
| 64 | EE | 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 | EE | Kalpesh Kapoor,
Jonathan P. Bowen:
Ordering Mutants to Minimise Test Effort in Mutation Testing.
FATES 2004: 195-209 |
| 62 | EE | Phan C. Vinh,
Jonathan P. Bowen:
An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs.
FPGA 2004: 254 |
| 61 | EE | 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 | EE | 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 | EE | 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 | EE | Sergiy A. Vilkomir,
Kalpesh Kapoor,
Jonathan P. Bowen:
Tolerance of Control-Flow Testing Criteria.
COMPSAC 2003: 182-187 |
| 56 | EE | 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 | EE | Jonathan P. Bowen:
Disabled Access for Museum Websites.
WWW (Posters) 2003 |
| 54 | EE | Jonathan P. Bowen:
Web Access to Cultural Heritage for the Disabled
CoRR cs.CY/0307068: (2003) |
| 53 | EE | 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(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 |
| 50 | EE | 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 | EE | 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 | EE | Sergiy A. Vilkomir,
Jonathan P. Bowen:
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing.
ZB 2002: 291-308 |
| 2001 |
|---|
| 47 | EE | Huibiao Zhu,
Jonathan P. Bowen,
Jifeng He:
Deriving Operational Semantics from Denotational Semantics for Verilog.
APSEC 2001: 177- |
| 46 | EE | Huibiao Zhu,
Jonathan P. Bowen,
Jifeng He:
From Operational Semantics to Denotational Semantics for Verilog.
CHARME 2001: 449-466 |
| 45 | EE | 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 | EE | Jonathan P. Bowen,
Jifeng He,
Qiwen Xu:
An Animatable Operational Semantics of the Verilog Hardware Description Language.
ICFEM 2000: 199-208 |
| 41 | EE | 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 | EE | Jonathan P. Bowen:
The Ethics of Safety-Critical Systems.
Commun. ACM 43(4): 91-97 (2000) |
| 1999 |
|---|
| 39 | EE | 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 | EE | 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 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) |
| 24 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |
