Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jonathan P. Bowen
2010 – today
- 2013
[j38]Jonathan P. Bowen, Michael Butler, Steve Reeves, Mike Hinchey: Editorial. Formal Asp. Comput. 25(3): 343 (2013)- [c52]Peter T. Breuer, Jonathan P. Bowen: A Fully Homomorphic Crypto-Processor Design. ESSoS 2013: 123-138
- [i8]Peter T. Breuer, Jonathan P. Bowen: Towards Proving RISC Machine Code not Risky with respect to Memory Aliasing. CoRR abs/1305.6431 (2013)
- 2012
- [j37]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)
- [c51]
- [e10]Jonathan P. Bowen, Huibiao Zhu, Mike Hinchey (Eds.): 35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-5574-2
- [i7]Jonathan P. Bowen, Robin J. Wilson: Visualising Virtual Communities: From Erdős to the Arts. CoRR abs/1207.3420 (2012)
- [i6]Stefania Boiano, Jonathan P. Bowen, Giuliano Gaia: Usability, Design and Content Issues of Mobile Apps for Cultural Heritage Promotion: The Malta Culture Guide Experience. CoRR abs/1207.3422 (2012)
- 2011
- [j36]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)
- [j35]Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen: Algebraic approach to linking the semantics of web services. ISSE 7(3): 209-224 (2011)
- [c50]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
- 2010
- [j34]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)
- [r2]Mike Hinchey, Jonathan P. Bowen, Emil Vassev: Formal Methods. Encyclopedia of Software Engineering 2010: 308-320
- [r1]Jonathan P. Bowen, Mike Hinchey, Emil Vassev: Formal Requirements Specification. Encyclopedia of Software Engineering 2010: 321-332
2000 – 2009
- 2009
- [j33]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)
- [j32]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)
- [j31]
- [j30]Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen: PTSC: probability, time and shared-variable concurrency. ISSE 5(4): 271-284 (2009)
- [c49]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
- [c48]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
- 2008
- [j29]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)
- [j28]Huibiao Zhu, Jifeng He, Jonathan P. Bowen: From algebraic semantics to denotational semantics for Verilog. ISSE 4(4): 341-360 (2008)
- [j27]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)
- [c47]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
- [e9]Egon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca (Eds.): Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. Lecture Notes in Computer Science 5238, Springer 2008, ISBN 978-3-540-87602-1
- [e8]Robert M. Hierons, Jonathan P. Bowen, Mark Harman (Eds.): Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers. Lecture Notes in Computer Science 4949, Springer 2008, ISBN 978-3-540-78916-1
- 2007
- [j26]Kalpesh Kapoor, Jonathan P. Bowen: Test conditions for fault classes in Boolean specifications. ACM Trans. Softw. Eng. Methodol. 16(3) (2007)
- [c46]Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen: Algebraic Approach to Linking the Semantics of Web Services. SEFM 2007: 315-328
- [c45]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
- [c44]Phan C. Vinh, Jonathan P. Bowen: A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. TASE 2007: 369-378
- 2006
- [j25]Jonathan P. Bowen, Tim Bergin, Christopher H. Sterling: Reviews. IEEE Annals of the History of Computing 28(2): 77-80 (2006)
- [j24]Jonathan P. Bowen, Michael G. Hinchey: Ten Commandments of Formal Methods ...Ten Years Later. IEEE Computer 39(1): 40-48 (2006)
- [j23]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)
- [j22]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)
- [c43]Huibiao Zhu, Jifeng He, Jonathan P. Bowen: From Algebraic Semantics to Denotational Semantics for Verilog. ICECCS 2006: 139-151
- [c42]Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen: Integrating Probability with Time and Shared-Variable Concurrency. SEW 2006: 179-189
- 2005
- [j21]Phan C. Vinh, Jonathan P. Bowen: Continuity aspects of embedded reconfigurable computing. ISSE 1(1): 41-53 (2005)
- [j20]Kalpesh Kapoor, Jonathan P. Bowen: A formal analysis of MCDC and RCDC test criteria. Softw. Test., Verif. Reliab. 15(1): 21-40 (2005)
- [c41]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
- [c40]Phan C. Vinh, Jonathan P. Bowen: A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. SEW 2005: 245-252
- [i5]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)
- [i4]Teresa Numerico, Jonathan P. Bowen: Copyright and Promotion: Oxymoron or Opportunity? CoRR abs/cs/0508067 (2005)
- 2004
- [j19]Phan C. Vinh, Jonathan P. Bowen: On the Visual Representation of Configuration in Reconfigurable Computing. Electr. Notes Theor. Comput. Sci. 109: 3-15 (2004)
- [j18]Kalpesh Kapoor, Jonathan P. Bowen: Experimental evaluation of the tolerance for control-flow test criteria. Softw. Test., Verif. Reliab. 14(3): 167-187 (2004)
- [c39]Kalpesh Kapoor, Jonathan P. Bowen: Ordering Mutants to Minimise Test Effort in Mutation Testing. FATES 2004: 195-209
- [c38]Phan C. Vinh, Jonathan P. Bowen: An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs. FPGA 2004: 254
- [i3]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)
- 2003
- [j17]Martin C. Henson, Steve Reeves, Jonathan P. Bowen: Z Logic and its Consequences. Computers and Artificial Intelligence 22(3-4): 381-415 (2003)
- [c37]Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen: Tolerance of Control-Flow Testing Criteria. COMPSAC 2003: 182-187
- [c36]Kalpesh Kapoor, Jonathan P. Bowen: Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria. ISESE 2003: 185-194
- [c35]
- [e7]Didier Bert, Jonathan P. Bowen, Steve King, Marina A. Waldén (Eds.): 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. Lecture Notes in Computer Science 2651, Springer 2003, ISBN 3-540-40253-5
- [i2]
- [i1]
- 2002
- [c34]Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause: FORTEST: Formal Methods and Testing. COMPSAC 2002: 91-104
- [c33]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
- [c32]Sergiy A. Vilkomir, Jonathan P. Bowen: Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. ZB 2002: 291-308
- [e6]Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (Eds.): 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. Lecture Notes in Computer Science 2272, Springer 2002, ISBN 3-540-43166-7
- 2001
- [j16]Jonathan P. Bowen: Experience teaching Z with tool and web support. ACM SIGSOFT Software Engineering Notes 26(2): 69-75 (2001)
- [j15]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)
- [c31]Huibiao Zhu, Jonathan P. Bowen, Jifeng He: Deriving Operational Semantics from Denotational Semantics for Verilog. APSEC 2001: 177-
- [c30]Huibiao Zhu, Jonathan P. Bowen, Jifeng He: From Operational Semantics to Denotational Semantics for Verilog. CHARME 2001: 449-466
- [c29]Sergiy A. Vilkomir, Jonathan P. Bowen: Formalization of Software Testing Criteria using the Z Notation. COMPSAC 2001: 351-356
- 2000
- [j14]
- [c28]Jonathan P. Bowen, Jifeng He, Qiwen Xu: An Animatable Operational Semantics of the Verilog Hardware Description Language. ICFEM 2000: 199-208
- [c27]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
- [e5]Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King (Eds.): 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. Lecture Notes in Computer Science 1878, Springer 2000, ISBN 3-540-67944-8
1990 – 1999
- 1999
- [c26]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
- [c25]
- [c24]
- [c23]
- [e4]Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (Eds.): ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings. Lecture Notes in Computer Science 1493, Springer 1998, ISBN 3-540-65070-9
- 1997
- [c22]Jonathan P. Bowen, Michael G. Hinchey: The use of industrial-strength formal methods. COMPSAC 1997: 332-337
- [c21]
- [c20]
- [p1]Jonathan P. Bowen, Michael G. Hinchey: Formal Models and the Specification Process. The Computer Science and Engineering Handbook 1997: 2302-2322
- [e3]Jonathan P. Bowen, Michael G. Hinchey, David Till (Eds.): ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings. Lecture Notes in Computer Science 1212, Springer 1997, ISBN 3-540-62717-0
- 1996
- [j13]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
- [j12]Jonathan P. Bowen, Michael G. Hinchey: Ten Commandments of Formal Methods. IEEE Computer 28(4): 56-63 (1995)
- [j11]Jonathan P. Bowen, Mike Hinchey: Editorial. Information & Software Technology 37(5-6): 258-259 (1995)
- [j10]Jonathan P. Bowen, Mike Gordon: A shallow embedding of Z in HOL. Information & Software Technology 37(5-6): 269-276 (1995)
- [j9]Jonathan P. Bowen, Susan Stepney, Rosalind Barden: Annotated Z bibliography. Information & Software Technology 37(5-6): 317-332 (1995)
- [j8]Jonathan P. Bowen: Glossary of Z notation. Information & Software Technology 37(5-6): 333-334 (1995)
- [j7]Jonathan P. Bowen, Mike Hinchey: Report on Z user meeting (ZUM '94). Information & Software Technology 37(5-6): 335-336 (1995)
- [j6]Jonathan P. Bowen, Michael G. Hinchey: Seven More Myths of Formal Methods. IEEE Software 12(4): 34-41 (1995)
- [j5]Peter T. Breuer, Jonathan P. Bowen: A PREttier Compiler-Compiler: Generating Higher-order Parsers in C. Softw., Pract. Exper. 25(11): 1263-1297 (1995)
- [c19]
- [c18]
- [e2]Jonathan P. Bowen, Michael G. Hinchey (Eds.): ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings. Lecture Notes in Computer Science 967, Springer 1995, ISBN 3-540-60271-2
- 1994
- [j4]Jifeng He, Jonathan P. Bowen: Specification, Verification and Prototyping of an Optimized Compiler. Formal Asp. Comput. 6(6): 643-658 (1994)
- [j3]Peter T. Breuer, Jonathan P. Bowen: Decompilation: The Enumeration of Types and Grammars. ACM Trans. Program. Lang. Syst. 16(5): 1613-1647 (1994)
- [c17]
- [c16]
- [c15]Peter T. Breuer, Jonathan P. Bowen: Towards Correct Executable Semantics for Z. Z User Workshop 1994: 185-209
- [c14]
- [c13]Jonathan P. Bowen: Comp.specification.z and Z FORUM Frequently Asked Questions. Z User Workshop 1994: 397-403
- 1993
- [c12]Jifeng He, Ian Page, Jonathan P. Bowen: Towards a Provably Correct Hardware Implementation of Occam. CHARME 1993: 214-225
- [c11]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
- [j2]
- [c10]Peter T. Breuer, Jonathan P. Bowen: Decompilation is the Efficient Enumeration of Types. WSA 1992: 255-273
- [c9]
- [c8]Jonathan P. Bowen: Comp.specification.z and Z FORUM Frequently Asked Questions. Z User Workshop 1992: 342-347
- [e1]Jonathan P. Bowen, J. E. Nicholls (Eds.): Z User Workshop, London, UK, 14-15 December 1992, Proceedings. Workshops in Computing, Springer 1992, ISBN 3-540-19818-0
- 1991
- [c7]Jonathan P. Bowen: From Programs to Object Code using Logic and Logic Programming. Code Generation 1991: 173-192
- [c6]Jonathan P. Bowen: Select Z Bibliography and Frequently Asked Questions. Z User Workshop 1991: 367-401
- 1990
- [c5]Jonathan P. Bowen, Jifeng He, Paritosh K. Pandya: An Approach to Verifiable Compiling Specification and Prototyping. PLILP 1990: 45-59
- [c4]
- [c3]
- [c2]
1980 – 1989
- 1986
- [j1]Jonathan P. Bowen: Design of a Simple Cambridge Ring Interface Adapter. Comput. Syst. Sci. Eng. 1(2): 93-98 (1986)
- [c1]Roger B. Gimson, Jonathan P. Bowen, Tim Gleeson: Distributed computing software project. ACM SIGOPS European Workshop 1986
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 10:01 CEST by the dblp team