Publications

Sortér efter: Dato | Forfatter | Titel

Cavalcanti, A. L. C. & Woodcock, J. (2005). ZRC – A Refinement Calculus for Z. Formal Aspects of Computing, 10, 267–289. https://doi.org/10.1007/s001650050016

Woodcock, J. & Freitas, L. (2006). Z/Eves and the Mondex Electronic Purse. I K. Barkaoui, A. Cavalcanti & A. Cerone (red.), Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings (s. 15-34). Springer. https://doi.org/10.1007/11921240_2

Chapman, R., White, N. & Woodcock, J. (2017). What can agile methods bring to high-integrity software development? Communications of the A C M, 60(10), 38-41. https://doi.org/10.1145/3133233

Freitas, L., Mokos, K. & Woodcock, J. (2007). Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. I 2007 IEEE International Conference on Engineering of Complex Computer Systems (Bind 1, s. 290-298). IEEE. https://doi.org/10.1109/ICECCS.2007.45

Freitas, L., Woodcock, J. & Zhang, Y. (2008). Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository. Science of Computer Programming, 74(4), 197-218. https://doi.org/10.1016/j.scico.2008.09.012

Meyer, B. & Woodcock, J. (red.) (2005). Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. I B. Meyer & J. Woodcock (red.), Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (Bind 1). Springer. https://doi.org/10.1007/978-3-540-69149-5

Woodcock, J. (2006). Verified Software Grand Challenge. I J. Misra, T. Nipkow & E. Sekerinski (red.), FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings (s. 617-617). Springer. https://doi.org/10.1007/11813040_45

Perna, J. I. & Woodcock, J. (2008). UTP Semantics for Handel-C. I A. Butterfield (red.), Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers (s. 142-160). Springer. https://doi.org/10.1007/978-3-642-14521-6_9

Woodcock, J. (2005). Using VDM with rely and guarantee-conditions: Experiences from a real project. I R. E. . Bloomfield, L. S. Marshall & R. B. Jones (red.), VDM '88 VDM — The Way Ahead: 2nd VDM-Europe Symposium Dublin, Ireland, September 11–16, 1988 Proceedings (s. 434-458). Springer. https://doi.org/10.1007/3-540-50214-9_27

M. dos Santos, O., Woodcock, J. & Freeman Paige, R. (2011). Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. I 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (s. 117-126). IEEE. https://doi.org/10.1109/ICECCS.2011.19

Woodcock, J. (2004). Using Circus for Safety-critical Applications. Electronic Notes in Theoretical Computer Science, 95, 3-22. https://doi.org/10.1016/j.entcs.2004.04.003

Woodcock, J. & Bandur, V. (2012). Unifying Theories of Undefinedness in UTP. I B. Wolff, M.-C. Gaudel & A. Feliachi (red.), Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (Bind 1, s. 1-22). Springer. https://doi.org/10.1007/978-3-642-35705-3

Foster, S. D., Cavalcanti, A. L. C., Woodcock, J. & Zeyda, F. (2018). Unifying theories of time with generalised reactive processes. Information Processing Letters, 135, 47-52. https://doi.org/10.1016/j.ipl.2018.02.017

Foster, S. D., Cavalcanti, A. L. C., Canham, S. J., Woodcock, J. & Zeyda, F. (2020). Unifying theories of reactive design contracts. Theoretical Computer Science, 802, 105-140. https://doi.org/10.1016/j.tcs.2019.09.017

Foster, S. D. & Woodcock, J. (2013). Unifying Theories of Programming in Isabelle. I Z. Liu, J. Woodcock & H. Zhu (red.), Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures (Bind 1, s. 109-155). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39721-9

Woodcock, J. & Hughes, A. (2002). Unifying Theories of Parallel Programming. I C. George & H. Miao (red.), Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings (s. 24-37). Springer. https://doi.org/10.1007/3-540-36103-0_5

Bandur, V. & Woodcock, J. (2013). Unifying Theories of Logic and Specification. I J. Iyoda & L. de Moura (red.), Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings (Bind 1, s. 18-33). Springer. https://doi.org/10.1007/978-3-642-41071-0

McEwan, A. A. & Woodcock, J. (2008). Unifying Theories of Interrupts. I A. Butterfield (red.), Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers (s. 122-141). Springer. https://doi.org/10.1007/978-3-642-14521-6_8

Oliveira, M., Cavalcanti, A. L. C. & Woodcock, J. (2006). Unifying Theories in ProofPower-Z. I S. Dunne & B. Stoddart (red.), Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers (s. 123-140). Springer. https://doi.org/10.1007/11768173_8

Foster, S. D., Baxter, J., Cavalcanti, A. L. C., Woodcock, J. & Zeyda, F. (2020). Unifying semantic foundations for automated verification tools in Isabelle/UTP. Science of Computer Programming, 197, Artikel 102510. https://doi.org/10.1016/j.scico.2020.102510

Woodcock, J. (2005). Unifying Program Refinement Calculi. I Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France https://www.researchgate.net/publication/221612404_Unifying_Program_Refinement_Calculi

Foster, S. D., Zeyda, F. & Woodcock, J. (2016). Unifying Heterogeneous State-Spaces with Lenses. I A. Sampaio & F. Wang (red.), Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings (s. 295-314). Springer. https://doi.org/10.1007/978-3-319-46750-4_17

Cavalcanti, A. L. C., Sampaio, A. & Woodcock, J. (2005). Unifying classes and processes. Software and Systems Modeling, 4, 277–296. https://doi.org/10.1007/s10270-005-0085-2

Woodcock, J., Gomes, C., Macedo, H. D. & Larsen, P. G. (2021). Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (s. 72-87). Springer. https://doi.org/10.1007/978-3-030-83723-5_6

Woodcock, J. (1991). Two Refinement Case Studies. I S. Prehn & H. Toetenel (red.), VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings (s. 118-140). Springer. https://doi.org/10.1007/BFb0019996

Tang, X. & Woodcock, J. (2004). Travelling Processes. I D. Kozen (red.), Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings (s. 381-399). Springer. https://doi.org/10.1007/978-3-540-27764-4_20

Foster, S. D. & Woodcock, J. (2017). Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. I T. Gibson-Robinson, P. Hopcroft & R. Lazić (red.), Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday (s. 39-64). Springer International Publishing. https://doi.org/10.1007/978-3-319-51046-0_3

Sufrin , B. & Woodcock, J. (1987). Towards the formal specification of a simple programming support environment. Software Engineering Journal, 2(4), 86 – 94. https://doi.org/10.1049/sej.1987.0012 ,

Larsen, P. G., Fitzgerald, J., Woodcock, J., Nilsson, R., Gamble, C. & Foster, S. (2016). Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. I M. Tiziana & S. Bernhard (red.), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings (Bind II, s. 171-186). Springer. https://doi.org/10.1007/978-3-319-47169-3_13

Tang, X. & Woodcock, J. (2004). Towards Mobile Processes in Unifying Theories. I Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. IEEE. https://doi.org/10.1109/SEFM.2004.1347502

Wei, K. & Woodcock, J. (2015). Towards Algebraic Semantics of Circus Time. I D. Naumann (red.), Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (s. 84-104). Springer. https://doi.org/10.1007/978-3-319-14806-9_5

Canham, S. J. & Woodcock, J. (2015). Three Approaches to Timed External Choice in UTP. I D. Naumann (red.), Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (s. 1-20). Springer. https://doi.org/10.1007/978-3-319-14806-9_1

Bicarregui, J. C. . Hoare, C. A. R. & Woodcock, J. (2006). The verified software repository: a step towards the verifying compiler. Formal Aspects of Computing, 18(2), 143–151. https://doi.org/10.1007/s00165-005-0079-4

Woodcock, J. & Banach, R. (2007). The Verification Grand Challenge. Journal of Universal Computer Science, 13(5), 661-668. http://www.jucs.org/jucs_13_5/the_verification_grand_challenge/jucs_13_5_0661_0668_woodcock.pdf

M. dos Santos, O., Woodcock, J., Freeman Paige, R. & King, S. (2009). The Use of Model Transformation in the INESS Project. I F. S. de Boer, M. M. Bonsangue, S. Hallerstede & M. Leuschel (red.), Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Bind 1, s. 147-165). Springer. https://doi.org/10.1007/978-3-642-17071-3

Woodcock, J. & Cavalcanti, A. L. C. (2002). The Semantics of Circus. I D. Bert, J. P. Bowen, M. C. Henson & K. Robinson (red.), 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 (s. 184-203). Springer. https://doi.org/10.1007/3-540-45648-1_10

Cavalcanti, A. L. C., Wellings, A. & Woodcock, J. (2011). The Safety-Critical Java Memory Model: A Formal Account. I M. Butler & W. Schulte (red.), FM 2011: Formal Methods (Bind 1, s. 246-261). Springer. https://doi.org/10.1007/978-3-642-21437-0

Woodcock, J. (1991). The Refinement Calculus. I S. Prehn & H. Toetenel (red.), VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings (s. 80-95). Springer. https://doi.org/10.1007/BFb0019996

Woodcock, J. (2008). The Miracle of Reactive Programming. I A. Butterfield (red.), Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers (s. 202-217). Springer. https://doi.org/10.1007/978-3-642-14521-6_12

Woodcock, J., Gardiner , P. H. B. & Hulance, J. R. (1994). The Formal Specification in Z of Defence Standard 00-56. I J. P. Bowen & J. A. Hall (red.), Z User Workshop (s. 9-28). Springer/BCS. https://doi.org/10.1007/978-1-4471-3452-7

Wing, J. & Woodcock, J. (2000). The First World Congress on Formal Methods in the Development of Computing Systems. Formal Aspects of Computing, 12, 145-146. https://doi.org/10.1007/PL00011167

Woodcock, J., Stepney, S., Cooper, D., Clark, J. & Jacob, J. (2007). The certification of the Mondex electronic purse to ITSEC Level E6. Formal Aspects of Computing, 20(1), 5–19. https://doi.org/10.1007/s00165-007-0060-5

Freitas, L., Cavalcanti, A. L. C. & Woodcock, J. (2006). Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. I Z. Liu & J. He (red.), Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings (s. 697-716). Springer. https://doi.org/10.1007/11901433_38

Nielsen, C. B., Larsen, P. G., Fitzgerald, J., Woodcock, J. & Peleska, J. (2015). Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions. A C M Computing Surveys, 48(2). https://doi.org/10.1145/2794381

Woodcock, J. (1989). Structuring specifications in Z. Software Engineering Journal, 4(1), 51-66. https://doi.org/10.1049/sej.1989.0007

Butterfield, A., Gancarski, P. & Woodcock, J. (2009). State Visibility and Communication in Unifying Theories of Programming. I 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering IEEE. https://doi.org/10.1109/TASE.2009.57

Freitas, L., Woodcock, J. & Cavalcanti, A. L. C. (2006). State-rich model checking. Innovations in Systems and Software Engineering, 2, 49–64. https://doi.org/10.1007/s11334-006-0021-9

Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K., Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023). State of the Art Report: Verified Computation. https://doi.org/10.48550/arXiv.2308.15191

Cavalcanti, A. L. C., Miyazawa, A., Payne, R. & Woodcock, J. (2017). Sound Simulation and Co-simulation for Robotics. I Present and Ulterior Software Engineering (s. 173-194). Springer. https://doi.org/10.1007/978-3-319-67425-4_11

Butterfield, A., Sherif, A. & Woodcock, J. (2007). Slotted-Circus: A UTP-Family of Reactive Theories. I J. Davies & J. Gibbons (red.), Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings (s. 75-97). Springer. https://doi.org/10.1007/978-3-540-73210-5_5

Viser resultater 1 til 50 ud af 161

Næste

Revideret 13.11.2025

James Woodcock