| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter T. Breuer, Jonathan P. Bowen |
Typed Assembler for a RISC Crypto-Processor. |
ESSoS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alison Hsiang-Yi Liu, Jonathan P. Bowen |
Creating online collaborative environments for museums: a case study of a museum wiki. |
IJWBC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen |
Algebraic approach to linking the semantics of web services. |
ISSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen |
Linking denotational semantics with operational semantics for web services. |
ISSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Mike Hinchey, Emil Vassev |
Formal Requirements Specification. |
Encyclopedia of Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mike Hinchey, Jonathan P. Bowen, Emil Vassev |
Formal Methods. |
Encyclopedia of Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen |
PTSC: probability, time and shared-variable concurrency. |
ISSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sue Black, Paul Boca, Jonathan P. Bowen, Jason Gorman, Mike Hinchey |
Formal Versus Agile: Survival of the Fittest. |
IEEE Computer |
2009 |
DBLP DOI BibTeX RDF |
Software engineering, Formal methods, Agile methods |
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
formal methods, Software testing |
| 1 | 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 |
DBLP DOI BibTeX RDF |
PTSC, Operational Semantics, Algebraic Semantics, Semantic Linking |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan C. Vinh, Jonathan P. Bowen |
Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis. |
Transactions on Computational Science |
2008 |
DBLP DOI BibTeX RDF |
Dynamically Programmable Field Array (DPGA), Flowware, Configware, Configware engineering, Embedded systems, Formal methods, Reconfigurable computing, Dynamic reconfiguration |
| 1 | Huibiao Zhu, Jifeng He, Jonathan P. Bowen |
From algebraic semantics to denotational semantics for Verilog. |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
Unifying theories of programming, Denotational semantics, Semantic relating, Verilog, Algebraic semantics |
| 1 | Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria |
Software engineering and formal methods. |
Commun. ACM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.) |
Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers |
Formal Methods and Testing |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
ABZ |
2008 |
DBLP BibTeX RDF |
|
| 1 | Kalpesh Kapoor, Jonathan P. Bowen |
Test conditions for fault classes in Boolean specifications. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
Fault-based testing, Boolean specification, fault classes |
| 1 | Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen |
Algebraic Approach to Linking the Semantics of Web Services. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan C. Vinh, Jonathan P. Bowen |
A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy A. Vilkomir, Jonathan P. Bowen |
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria. |
Formal Asp. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Software testing criteria, RC/DC, Formal methods, Z notation, MC/DC |
| 1 | Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose |
Formalization and assessment of regulatory requirements for safety-critical software. |
ISSE |
2006 |
DBLP DOI BibTeX RDF |
Regulatory requirements, Formal methods, Certification, Z notation |
| 1 | Jonathan P. Bowen, Michael G. Hinchey |
Ten Commandments of Formal Methods ...Ten Years Later. |
IEEE Computer |
2006 |
DBLP DOI BibTeX RDF |
Software engineering, Unified Modeling Language, Formal methods, Standards |
| 1 | Jonathan P. Bowen, Tim Bergin, Christopher H. Sterling |
Reviews. |
IEEE Annals of the History of Computing |
2006 |
DBLP DOI BibTeX RDF |
Halley's Comet, Work Projects Administration, time line, origins of the Internet, Silicon Valley, General Electric, Litton Industries, Shockley Semiconductor, Fairchild Semiconductor, human computers |
| 1 | Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen |
Integrating Probability with Time and Shared-Variable Concurrency. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Jifeng He, Jonathan P. Bowen |
From Algebraic Semantics to Denotational Semantics for Verilog. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan C. Vinh, Jonathan P. Bowen |
Continuity aspects of embedded reconfigurable computing. |
ISSE |
2005 |
DBLP DOI BibTeX RDF |
Reconfigurable computing Software development, Embedded systems, Formal methods, Dynamic reconfiguration |
| 1 | Teresa Numerico, Jonathan P. Bowen |
Copyright and Promotion: Oxymoron or Opportunity? |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Silvia Filippini-Fantoni, Jonathan P. Bowen |
Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Kalpesh Kapoor, Jonathan P. Bowen |
A formal analysis of MCDC and RCDC test criteria. |
Softw. Test., Verif. Reliab. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan C. Vinh, Jonathan P. Bowen |
Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan C. Vinh, Jonathan P. Bowen |
A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan C. Vinh, Jonathan P. Bowen |
On the Visual Representation of Configuration in Reconfigurable Computing. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP BibTeX RDF |
|
| 1 | Kalpesh Kapoor, Jonathan P. Bowen |
Experimental evaluation of the tolerance for control-flow test criteria. |
Softw. Test., Verif. Reliab. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan C. Vinh, Jonathan P. Bowen |
An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs. |
FPGA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kalpesh Kapoor, Jonathan P. Bowen |
Ordering Mutants to Minimise Test Effort in Mutation Testing. |
FATES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Henson, Steve Reeves, Jonathan P. Bowen |
Z Logic and its Consequences. |
Computers and Artificial Intelligence |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Web Access to Cultural Heritage for the Disabled |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Disabled Access for Museum Websites |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Disabled Access for Museum Websites. |
WWW (Posters) |
2003 |
DBLP BibTeX RDF |
|
| 1 | Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen |
Tolerance of Control-Flow Testing Criteria. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
RC/DC, software testing, effectiveness, empirical evaluation, tolerance, testing criteria, MC/DC |
| 1 | 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 |
ZB |
2003 |
DBLP BibTeX RDF |
|
| 1 | Kalpesh Kapoor, Jonathan P. Bowen |
Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria. |
ISESE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Jonathan P. Bowen, Jifeng He |
Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause |
FORTEST: Formal Methods and Testing. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy A. Vilkomir, Jonathan P. Bowen |
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
ZB |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Jifeng He |
An Approach to the Specification and Verification of a Hardware Compilation Scheme. |
The Journal of Supercomputing |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Jonathan P. Bowen, Jifeng He |
Deriving Operational Semantics from Denotational Semantics for Verilog. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy A. Vilkomir, Jonathan P. Bowen |
Formalization of Software Testing Criteria using the Z Notation. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
coverage, Z notation, testing criteria, MC/DC |
| 1 | Huibiao Zhu, Jonathan P. Bowen, Jifeng He |
From Operational Semantics to Denotational Semantics for Verilog. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
The Ethics of Safety-Critical Systems. |
Commun. ACM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Jifeng He, Qiwen Xu |
An Animatable Operational Semantics of the Verilog Hardware Description Language. (PDF / PS) |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
ZB |
2000 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
mixed-signal simulation, Language design, Language semantics, VHDL-AMS |
| 1 | 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 |
ZUM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Select Z Bibliography. |
ZUM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen, David Chippington |
Z on the Web Using Java. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Comp.specification.z and Z FORUM Frequently Asked Questions. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Michael G. Hinchey |
Formal Models and the Specification Process. |
The Computer Science and Engineering Handbook |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Michael G. Hinchey |
The use of industrial-strength formal methods. (PDF / PS) |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
industrial-strength formal methods, formal specification |
| 1 | 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 |
ZUM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Comp.specification.z and Z FORUM Frequently Asked Questions. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Select Z Bibliography. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Michael G. Hinchey |
Seven More Myths of Formal Methods. |
IEEE Software |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter T. Breuer, Jonathan P. Bowen |
A PREttier Compiler-Compiler: Generating Higher-order Parsers in C. |
Softw., Pract. Exper. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Michael G. Hinchey |
Ten Commandments of Formal Methods. |
IEEE Computer |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Comp.specification.z and Z FORUM Frequently Asked Questions. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Select Z Bibliography. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
ZUM |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jifeng He, Jonathan P. Bowen |
Specification, Verification and Prototyping of an Optimized Compiler. |
Formal Asp. Comput. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Peter T. Breuer, Jonathan P. Bowen |
Decompilation: The Enumeration of Types and Grammars. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
list comprehension, reverse engineering, logic programming, functional programming, abstract interpretation, attribute grammar, decompilation |
| 1 | Jonathan P. Bowen, Michael J. C. Gordon |
Z and HOL. |
Z User Workshop |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Comp.specification.z and Z FORUM Frequently Asked Questions. |
Z User Workshop |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Select Z Bibliography. |
Z User Workshop |
1994 |
DBLP BibTeX RDF |
|
| 1 | Peter T. Breuer, Jonathan P. Bowen |
Towards Correct Executable Semantics for Z. |
Z User Workshop |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Michael G. Hinchey |
Seven More Myths of Formal Methods. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He, Ian Page, Jonathan P. Bowen |
Towards a Provably Correct Hardware Implementation of Occam. |
CHARME |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Victoria Stavridou |
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
X: Why Z? |
Comput. Graph. Forum |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, J. E. Nicholls (eds.) |
Z User Workshop, London, UK, 14-15 December 1992, Proceedings |
Z User Workshop |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Select Z Bibliography. |
Z User Workshop |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Comp.specification.z and Z FORUM Frequently Asked Questions. |
Z User Workshop |
1992 |
DBLP BibTeX RDF |
|
| 1 | Peter T. Breuer, Jonathan P. Bowen |
Decompilation is the Efficient Enumeration of Types. |
WSA |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
From Programs to Object Code using Logic and Logic Programming. |
Code Generation |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Select Z Bibliography and Frequently Asked Questions. |
Z User Workshop |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Z FORUM Electronic Mailing List. |
Z User Workshop |
1990 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Selected Z Bibliography. |
Z User Workshop |
1990 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
PRG Archive Server. |
Z User Workshop |
1990 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Jifeng He, Paritosh K. Pandya |
An Approach to Verifiable Compiling Specification and Prototyping. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Design of a Simple Cambridge Ring Interface Adapter. |
Comput. Syst. Sci. Eng. |
1986 |
DBLP BibTeX RDF |
|
| 1 | Roger B. Gimson, Jonathan P. Bowen, Tim Gleeson |
Distributed computing software project. |
ACM SIGOPS European Workshop |
1986 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")