Travelled to:1 × Austria
1 × Denmark
1 × Ireland
1 × Spain
1 × Sweden
1 × United Kingdom
2 × Germany
Collaborated with:P.T.Breuer J.He S.Reeves K.Kapoor ∅ M.G.Hinchey V.Stavridou P.K.Pandya H.Zhu J.Li N.M.Madrid R.B.France M.M.Larrondo-Petrie C.D.Kloos
Talks about:semant (3) method (3) formal (3) communiti (2) approach (2) program (2) specif (2) vhdl (2) test (2) prototyp (1)
Person: Jonathan P. Bowen
DBLP: Bowen:Jonathan_P=
Contributed to:
2011
2007
2004
2000
199919941993
1992
1990Wrote 9 papers:
- FM-2011-BowenR #case study #community #formal method
- From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community (JPB, SR), pp. 308–322.
- SEFM-2007-ZhuHLB #algebra #approach #semantics #web #web service
- Algebraic Approach to Linking the Semantics of Web Services (HZ, JH, JL, JPB), pp. 315–328.
- FATES-2004-KapoorB #mutation testing #testing
- Ordering Mutants to Minimise Test Effort in Mutation Testing (KK, JPB), pp. 195–209.
- IFM-2000-Bowen #animation #hardware #logic programming #semantics #specification
- Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language (JPB), pp. 277–296.
- DATE-1999-BreuerMBFLK #reasoning #semantics #using
- Reasoning about VHDL and VHDL-AMS using Denotational Semantics (PTB, NMM, JPB, RBF, MMLP, CDK), pp. 346–352.
- FME-1994-BowenH #formal method
- Seven More Myths of Formal Methods (JPB, MGH), pp. 105–117.
- FME-1993-BowenS #formal method #industrial #perspective #safety
- The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective (JPB, VS), pp. 183–195.
- WSA-1992-BreuerB #decompiler #performance
- Decompilation is the Efficient Enumeration of Types (PTB, JPB), pp. 255–273.
- PLILP-1990-BowenJP #approach #compilation #prototype #specification
- An Approach to Verifiable Compiling Specification and Prototyping (JPB, JH, PKP), pp. 45–59.