The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jonathan P. Bowen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jonathan P. Bowen, Michael G. Hinchey
    Ten Commandments of Formal Methods. [Citation Graph (1, 0)][DBLP]
    IEEE Computer, 1995, v:28, n:4, pp:56-63 [Journal]
  2. Huibiao Zhu, Jonathan P. Bowen, Jifeng He
    Deriving Operational Semantics from Denotational Semantics for Verilog. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:177-0 [Conf]
  3. Huibiao Zhu, Jonathan P. Bowen, Jifeng He
    From Operational Semantics to Denotational Semantics for Verilog. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:449-466 [Conf]
  4. Jifeng He, Ian Page, Jonathan P. Bowen
    Towards a Provably Correct Hardware Implementation of Occam. [Citation Graph (0, 0)][DBLP]
    CHARME, 1993, pp:214-225 [Conf]
  5. Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause
    FORTEST: Formal Methods and Testing. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:91-104 [Conf]
  6. Jonathan P. Bowen, Michael G. Hinchey
    The use of industrial-strength formal methods. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1997, pp:332-337 [Conf]
  7. Sergiy A. Vilkomir, Jonathan P. Bowen
    Formalization of Software Testing Criteria using the Z Notation. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:351-356 [Conf]
  8. Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen
    Tolerance of Control-Flow Testing Criteria. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2003, pp:182-187 [Conf]
  9. Jonathan P. Bowen
    From Programs to Object Code using Logic and Logic Programming. [Citation Graph (0, 0)][DBLP]
    Code Generation, 1991, pp:173-192 [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    DATE, 1999, pp:346-352 [Conf]
  11. Phan C. Vinh, Jonathan P. Bowen
    Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2005, pp:247-254 [Conf]
  12. Kalpesh Kapoor, Jonathan P. Bowen
    Ordering Mutants to Minimise Test Effort in Mutation Testing. [Citation Graph (0, 0)][DBLP]
    FATES, 2004, pp:195-209 [Conf]
  13. Jonathan P. Bowen, Michael G. Hinchey
    Seven More Myths of Formal Methods. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:105-117 [Conf]
  14. Jonathan P. Bowen, Victoria Stavridou
    The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:183-195 [Conf]
  15. Phan C. Vinh, Jonathan P. Bowen
    An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs. [Citation Graph (0, 0)][DBLP]
    FPGA, 2004, pp:254- [Conf]
  16. Jonathan P. Bowen, Jifeng He, Qiwen Xu
    An Animatable Operational Semantics of the Verilog Hardware Description Language. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:199-208 [Conf]
  17. Huibiao Zhu, Jonathan P. Bowen, Jifeng He
    Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:600-612 [Conf]
  18. Jonathan P. Bowen
    Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language. [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:277-296 [Conf]
  19. Kalpesh Kapoor, Jonathan P. Bowen
    Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria. [Citation Graph (0, 0)][DBLP]
    ISESE, 2003, pp:185-194 [Conf]
  20. Jonathan P. Bowen, Jifeng He, Paritosh K. Pandya
    An Approach to Verifiable Compiling Specification and Prototyping. [Citation Graph (0, 0)][DBLP]
    PLILP, 1990, pp:45-59 [Conf]
  21. Peter T. Breuer, Jonathan P. Bowen
    Decompilation is the Efficient Enumeration of Types. [Citation Graph (0, 0)][DBLP]
    WSA, 1992, pp:255-273 [Conf]
  22. Roger B. Gimson, Jonathan P. Bowen, Tim Gleeson
    Distributed computing software project. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 1986, pp:- [Conf]
  23. Jonathan P. Bowen
    Disabled Access for Museum Websites. [Citation Graph (0, 0)][DBLP]
    WWW (Posters), 2003, pp:- [Conf]
  24. Jonathan P. Bowen, David Chippington
    Z on the Web Using Java. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:66-80 [Conf]
  25. Jonathan P. Bowen, Michael J. C. Gordon
    Z and HOL. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:141-167 [Conf]
  26. Jonathan P. Bowen
    Selected Z Bibliography. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:353-373 [Conf]
  27. Jonathan P. Bowen
    Z FORUM Electronic Mailing List. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:378-378 [Conf]
  28. Jonathan P. Bowen
    PRG Archive Server. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:379-379 [Conf]
  29. Jonathan P. Bowen
    Select Z Bibliography and Frequently Asked Questions. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:367-401 [Conf]
  30. Jonathan P. Bowen
    Select Z Bibliography. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:309-341 [Conf]
  31. Jonathan P. Bowen
    Comp.specification.z and Z FORUM Frequently Asked Questions. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:342-347 [Conf]
  32. Jonathan P. Bowen
    Select Z Bibliography. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:359-396 [Conf]
  33. Jonathan P. Bowen
    Comp.specification.z and Z FORUM Frequently Asked Questions. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:397-403 [Conf]
  34. Jonathan P. Bowen
    Select Z Bibliography. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:527-560 [Conf]
  35. Jonathan P. Bowen
    Comp.specification.z and Z FORUM Frequently Asked Questions. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:561-569 [Conf]
  36. Jonathan P. Bowen
    Select Z Bibliography. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:391-424 [Conf]
  37. Jonathan P. Bowen
    Comp.specification.z and Z FORUM Frequently Asked Questions. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:425-433 [Conf]
  38. Jonathan P. Bowen
    Select Z Bibliography. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:367-406 [Conf]
  39. Jonathan P. Bowen
    Comp.specification.z and Z FORUM Frequently Asked Questions. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:407-415 [Conf]
  40. Peter T. Breuer, Jonathan P. Bowen
    Towards Correct Executable Semantics for Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:185-209 [Conf]
  41. Sergiy A. Vilkomir, Jonathan P. Bowen
    Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:291-308 [Conf]
  42. Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen
    Integrating Probability with Time and Shared-Variable Concurrency. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:179-189 [Conf]
  43. Phan C. Vinh, Jonathan P. Bowen
    A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. [Citation Graph (0, 0)][DBLP]
    SEW, 2005, pp:245-252 [Conf]
  44. Jonathan P. Bowen, Tim Bergin, Christopher H. Sterling
    Reviews. [Citation Graph (0, 0)][DBLP]
    IEEE Annals of the History of Computing, 2006, v:28, n:2, pp:77-80 [Journal]
  45. Jonathan P. Bowen
    The Ethics of Safety-Critical Systems. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2000, v:43, n:4, pp:91-97 [Journal]
  46. Martin C. Henson, Steve Reeves, Jonathan P. Bowen
    Z Logic and its Consequences. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 2003, v:22, n:4, pp:- [Journal]
  47. Jonathan P. Bowen
    X: Why Z? [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 1992, v:11, n:4, pp:221-234 [Journal]
  48. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1996, v:29, n:4, pp:16-30 [Journal]
  49. Jonathan P. Bowen, Michael G. Hinchey
    Ten Commandments of Formal Methods ...Ten Years Later. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:1, pp:40-48 [Journal]
  50. Jonathan P. Bowen
    Web Access to Cultural Heritage for the Disabled [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  51. Jonathan P. Bowen
    Disabled Access for Museum Websites [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  52. 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 [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  53. Jonathan P. Bowen
    Design of a Simple Cambridge Ring Interface Adapter. [Citation Graph (0, 0)][DBLP]
    Comput. Syst. Sci. Eng., 1986, v:1, n:2, pp:93-98 [Journal]
  54. Phan C. Vinh, Jonathan P. Bowen
    On the Visual Representation of Configuration in Reconfigurable Computing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:109, n:, pp:3-15 [Journal]
  55. Jifeng He, Jonathan P. Bowen
    Specification, Verification and Prototyping of an Optimized Compiler. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:6, pp:643-658 [Journal]
  56. Sergiy A. Vilkomir, Jonathan P. Bowen
    From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:1, pp:42-62 [Journal]
  57. Jonathan P. Bowen, Michael G. Hinchey
    Seven More Myths of Formal Methods. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1995, v:12, n:4, pp:34-41 [Journal]
  58. Peter T. Breuer, Jonathan P. Bowen
    A PREttier Compiler-Compiler: Generating Higher-order Parsers in C. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1995, v:25, n:11, pp:1263-1297 [Journal]
  59. Kalpesh Kapoor, Jonathan P. Bowen
    Experimental evaluation of the tolerance for control-flow test criteria. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2004, v:14, n:3, pp:167-187 [Journal]
  60. Kalpesh Kapoor, Jonathan P. Bowen
    A formal analysis of MCDC and RCDC test criteria. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2005, v:15, n:1, pp:21-40 [Journal]
  61. Jonathan P. Bowen, Jifeng He
    An Approach to the Specification and Verification of a Hardware Compilation Scheme. [Citation Graph (0, 0)][DBLP]
    The Journal of Supercomputing, 2001, v:19, n:1, pp:23-39 [Journal]
  62. Peter T. Breuer, Jonathan P. Bowen
    Decompilation: The Enumeration of Types and Grammars. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1613-1647 [Journal]
  63. Huibiao Zhu, Jifeng He, Jonathan P. Bowen
    From Algebraic Semantics to Denotational Semantics for Verilog. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:139-151 [Conf]
  64. Phan C. Vinh, Jonathan P. Bowen
    A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:369-378 [Conf]
  65. Kalpesh Kapoor, Jonathan P. Bowen
    Test conditions for fault classes in Boolean specifications. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:3, pp:- [Journal]

  66. Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net. [Citation Graph (, )][DBLP]


  67. Algebraic Approach to Linking the Semantics of Web Services. [Citation Graph (, )][DBLP]


  68. Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. [Citation Graph (, )][DBLP]


  69. From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria. [Citation Graph (, )][DBLP]


  70. Software engineering and formal methods. [Citation Graph (, )][DBLP]


  71. Formal Versus Agile: Survival of the Fittest. [Citation Graph (, )][DBLP]


  72. Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara [Citation Graph (, )][DBLP]


  73. Copyright and Promotion: Oxymoron or Opportunity? [Citation Graph (, )][DBLP]


  74. Using formal specifications to support testing. [Citation Graph (, )][DBLP]


Search in 0.615secs, Finished in 0.619secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002