Year |
Citation |
Score |
2020 |
Sheng F, Zhu H, He J, Yang Z, Bowen JP. Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP Formal Aspects of Computing. 32: 275-314. DOI: 10.1007/S00165-020-00513-4 |
0.614 |
|
2019 |
Breuer PT, Bowen JP. Fully encrypted high-speed microprocessor architecture: the secret computer in simulation International Journal of Critical Computer-Based Systems. 9: 26-55. DOI: 10.1504/Ijccbs.2019.098797 |
0.333 |
|
2019 |
Sheng F, Zhu H, He J, Yang Z, Bowen JP. Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL Acm Transactions On Software Engineering and Methodology. 28: 14. DOI: 10.1145/3295699 |
0.599 |
|
2016 |
Palomar E, Chen X, Liu Z, Maharjan S, Bowen J. Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems. Sensors (Basel, Switzerland). 16. PMID 27801829 DOI: 10.3390/S16111810 |
0.342 |
|
2016 |
Breuer PT, Bowen JP. A Fully Encrypted Microprocessor: The Secret Computer is Nearly Here Procedia Computer Science. 83: 1282-1287. DOI: 10.1016/J.Procs.2016.04.267 |
0.306 |
|
2014 |
Bowen JP, Hinchey M, Janicke H, Ward M, Zedan H. Formality, agility, security, and evolution in software development Computer. 47: 86-89. DOI: 10.1109/Mc.2014.284 |
0.31 |
|
2012 |
Zhu H, Yang F, He J, Bowen JP, Sanders JW, Qin S. Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language The Journal of Logic and Algebraic Programming. 81: 2-25. DOI: 10.1016/J.Jlap.2011.06.003 |
0.605 |
|
2011 |
Zhu H, He J, Li J, Bowen JP. Algebraic approach to linking the semantics of web services Innovations in Systems and Software Engineering. 7: 209-224. DOI: 10.1007/S11334-011-0172-1 |
0.705 |
|
2010 |
Zhu H, He J, Li J, Pu G, Bowen JP. Linking denotational semantics with operational semantics for web services Innovations in Systems and Software Engineering. 6: 283-298. DOI: 10.1007/S11334-010-0134-Z |
0.598 |
|
2009 |
Hierons RM, Bogdanov K, Bowen JP, Cleaveland R, Derrick J, Dick J, Gheorghe M, Harman M, Kapoor K, Krause P, Lüttgen G, Simons AJH, Vilkomir S, Woodward MR, Zedan H. Using formal specifications to support testing Acm Computing Surveys. 41. DOI: 10.1145/1459352.1459354 |
0.577 |
|
2009 |
Zhu H, Qin S, He J, Bowen JP. PTSC: probability, time and shared-variable concurrency Innovations in Systems and Software Engineering. 5: 271-284. DOI: 10.1007/S11334-009-0100-9 |
0.6 |
|
2008 |
Zhu H, He J, Bowen JP. From algebraic semantics to denotational semantics for Verilog Innovations in Systems and Software Engineering. 4: 341-360. DOI: 10.1007/S11334-008-0069-9 |
0.695 |
|
2007 |
Kapoor K, Bowen JP. Test conditions for fault classes in Boolean specifications Acm Transactions On Software Engineering and Methodology. 16: 10. DOI: 10.1145/1243987.1243988 |
0.574 |
|
2006 |
Vilkomir SA, Bowen JP, Ghose AK. Formalization and assessment of regulatory requirements for safety-critical software Innovations in Systems and Software Engineering. 2: 165-178. DOI: 10.1007/S11334-006-0006-8 |
0.353 |
|
2006 |
Vilkomir SA, Bowen JP. From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria Formal Aspects of Computing. 18: 42-62. DOI: 10.1007/S00165-005-0084-7 |
0.353 |
|
2005 |
Vinh PC, Bowen JP. Continuity aspects of embedded reconfigurable computing Innovations in Systems and Software Engineering. 1: 41-53. DOI: 10.1007/S11334-005-0003-3 |
0.69 |
|
2005 |
Kapoor K, Bowen JP. A formal analysis of MCDC and RCDC test criteria Software Testing, Verification & Reliability. 15: 21-40. DOI: 10.1002/Stvr.306 |
0.59 |
|
2004 |
Vinh PC, Bowen JP. RETRACTED: On the Visual Representation of Configuration in Reconfigurable Computing Electronic Notes in Theoretical Computer Science. 109: 3-15. DOI: 10.1016/J.Entcs.2004.02.052 |
0.691 |
|
2004 |
Kapoor K, Bowen JP. Experimental evaluation of the tolerance for control-flow test criteria: Research Articles Software Testing, Verification & Reliability. 14: 167-187. DOI: 10.1002/Stvr.V14:3 |
0.58 |
|
2004 |
Kapoor K, Bowen JP. Experimental evaluation of the tolerance for control‐flow test criteria Software Testing, Verification & Reliability. 14: 167-187. DOI: 10.1002/Stvr.303 |
0.575 |
|
2002 |
Vilkomir SA, Bowen JP. Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing Lecture Notes in Computer Science. 291-308. DOI: 10.1007/3-540-45648-1_15 |
0.313 |
|
2001 |
Bowen JP. Experience teaching Z with tool and web support Acm Sigsoft Software Engineering Notes. 26: 69-75. DOI: 10.1145/505776.505794 |
0.321 |
|
2001 |
Bowen JP, Jifeng H. An Approach to the Specification and Verification of a Hardware Compilation Scheme The Journal of Supercomputing. 19: 23-39. DOI: 10.1023/A:1011184310224 |
0.409 |
|
2001 |
Huibiao Z, Bowen JP, Jifeng H. From Operational Semantics to Denotational Semantics for Verilog Lecture Notes in Computer Science. 449-466. DOI: 10.1007/3-540-44798-9_34 |
0.408 |
|
1996 |
Bowen JP, Butler RW, Dill DL, Glass RL, Gries D, Hall A. An Invitation to Formal Methods Ieee Computer. 29: 16-17. DOI: 10.1109/Mc.1996.488298 |
0.328 |
|
1995 |
Bowen JP, Hinchey MG. Ten commandments of formal methods Ieee Computer. 28: 56-63. DOI: 10.1109/2.375178 |
0.322 |
|
1995 |
Bowen JP, Gordon M. A shallow embedding of Z in HOL Information & Software Technology. 37: 269-276. DOI: 10.1016/0950-5849(95)99362-Q |
0.35 |
|
1995 |
Breuer PT, Bowen JP. A PREttier compiler-compiler: generating higher-order parsers in C Software - Practice and Experience. 25: 1263-1297. DOI: 10.1002/Spe.4380251106 |
0.352 |
|
1994 |
Breuer PT, Bowen JP. Decompilation: the enumeration of types and grammars Acm Transactions On Programming Languages and Systems. 16: 1613-1647. DOI: 10.1145/186025.186093 |
0.354 |
|
1994 |
Jifeng H, Bowen J. Specification, Verification and Prototyping of an Optimized Compiler Formal Aspects of Computing. 6: 643-658. DOI: 10.1007/Bf03259390 |
0.385 |
|
1993 |
Bowen JP, Breuer PT, Lano K. A compendium of formal techniques for software maintenance Software Engineering Journal. 8: 253-262. DOI: 10.1049/Sej.1993.0031 |
0.34 |
|
1993 |
Bowen JP, Stavridou V. Safety-critical systems, formal methods and standards Software Engineering Journal. 8: 189-209. DOI: 10.1049/Sej.1993.0025 |
0.319 |
|
1993 |
Bowen JP, Breuer PT, Lano K. Formal specifications in software maintenance: from code to Z++ and back again Information & Software Technology. 35: 679-690. DOI: 10.1016/0950-5849(93)90083-F |
0.347 |
|
1992 |
Bowen JP. X: Why Z? Computer Graphics Forum. 11: 221-234. DOI: 10.1111/1467-8659.1140221 |
0.35 |
|
1992 |
Jifeng H, Bowen J. Time interval semantics and implementation of a real-time programming language Real-Time Systems. 110-115. DOI: 10.1109/Emwrt.1992.637480 |
0.391 |
|
1992 |
Bowen JP, Stavridou V. Formal Methods and Software Safety Ifac Proceedings Volumes. 25: 93-98. DOI: 10.1016/S1474-6670(17)49413-4 |
0.346 |
|
1989 |
Bowen J. POS—formal specification of a UNIX tool Software Engineering Journal. 4: 67-72. DOI: 10.1049/Sej.1989.0008 |
0.385 |
|
1987 |
Bowen JP. Formal specification and documentation of microprocessor instruction sets Microprocessing and Microprogramming. 21: 223-230. DOI: 10.1016/0165-6074(87)90042-1 |
0.381 |
|
1985 |
Bowen JP. Standard microprocessor programming cards Microprocessors and Microsystems. 9: 274-289. DOI: 10.1016/0141-9331(85)90116-4 |
0.348 |
|
Show low-probability matches. |