Publications

Sortér efter: Dato | Forfatter | Titel

Woodcock, J., Larsen, P. G., Bicarregui, J. & Fitzgerald, J. (2009). Formal Methods: Practice and Experience. A C M Computing Surveys, 41(4), 1-36. Artikel 19. https://doi.org/10.1145/1592434.1592436

Butterfield, A. & Woodcock, J. (2007). Formalising Flash Memory: First Steps. I 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) IEEE. https://doi.org/10.1109/ICECCS.2007.23

Oliveira, M., Cavalcanti, A. L. C. & Woodcock, J. (2005). Formal development of industrial-scale systems in Circus. Innovations in Systems and Software Engineering, 1, 125–146 . https://doi.org/10.1007/s11334-005-0014-0

Larsen, P. G. & Woodcock, J. (red.) (1993). FME'93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Proceedings, 19-23 April 1993, Odense, Denmark. Springer. Lecture Notes in Computer Science Bind 670

Woodcock, J. (2006). First Steps in the Verified Software Grand Challenge. Computer, 39(10), 57-64. https://doi.org/10.1109/MC.2006.340

Larsen, P. G., Fitzgerald, J., Woodcock, J., Gamble, C., Payne, R. & Pierce, K. (2018). Features of Integrated Model-Based Co-modelling and Co-simulation Technology. I A. Cerone & M. Roveri (red.), Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (s. 377-390). Springer. https://doi.org/10.1007/978-3-319-74781-1_26

Woodcock, J., Cavalcanti, A., Fitzgerald, J., Larsen, P. G., Miyazawa, A. & Perry, S. (2012). Features of CML: a formal modelling language for Systems of Systems. Afhandling præsenteret på International Conference on System of Systems Engineering, Genoa, Italien. https://doi.org/10.1109/SYSoSE.2012.6384144

Freitas, L. & Woodcock, J. (2008). FDR Explorer. Formal Aspects of Computing, 21, 133–154. https://doi.org/10.1007/s00165-008-0074-7

Freitas, L. & Woodcock, J. (2007). FDR Explorer. Electronic Notes in Theoretical Computer Science, 187, 19-34. https://doi.org/10.1016/j.entcs.2006.08.042

Woodcock, J. (2025). Farewell Editorial. Formal Aspects of Computing, 37(4), Artikel 26. https://doi.org/10.1145/3773042

Sinclair, J. & Woodcock, J. (2015). Event refinement in state-based concurrent systems. Formal Aspects of Computing, 7, 266–288. https://doi.org/10.1007/BF01211074

G. Aydal, E., Freeman Paige, R. & Woodcock, J. (2007). Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. I H. Giese (red.), Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers (s. 194-205). Springer. https://doi.org/10.1007/978-3-540-69073-3_21

Woodcock, J. (2014). Engineering UToPiA: Formal Semantics for CML. I C. Jones, P. Pihlajasaari & J. Sun (red.), FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (s. 22-41). Springer. https://doi.org/10.1007/978-3-319-06410-9_3

Fitzgerald, J., Larsen, P. G., Margaria, T. & Woodcock, J. (2021). Engineering of Digital Twins for Cyber-Physical Systems. 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. 49-53). Springer. https://doi.org/10.1007/978-3-030-83723-5_4

Liu, Z. & Woodcock, J. (2011). Editorial. Formal Aspects of Computing, 23(2), 151. https://doi.org/10.1007/s00165-011-0173-8

Freeman Paige, R., Brooke, P. J., Song Dong, J. & Woodcock, J. (2009). Editorial. Formal Aspects of Computing, 21(4). https://doi.org/10.1007/s00165-009-0113-z

Jones, C. B. & Woodcock, J. (2007). Editorial. Formal Aspects of Computing, 20(1), 1-3. https://doi.org/10.1007/s00165-007-0064-1

Jones, C. & Woodcock, J. (2007). Editorial. Formal Aspects of Computing, 19(4), 415–416. https://doi.org/10.1007/s00165-007-0046-3

Chang, W., Wei, R., Zhao, S., Wellings, A., Woodcock, J. & Burns, A. (2020). Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis. ACM Transactions on Embedded Computing Systems, 19(5), Artikel 3391897. https://doi.org/10.1145/3391897

Cooper, D., Stepney, S. & Woodcock, J. (2002). Derivation of Z Refinement Proof Rules: Forwards and backwards rules incorporating input/output refinement. University of York. https://www-users.cs.york.ac.uk/~susan/bib/ss/z/347.pdf

Fitzgerald, J., Gamble, C., Larsen, P. G., Pierce, K. & Woodcock, J. (2015). Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. I Proceedings of the 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) (s. 40-46). IEEE. https://doi.org/10.1109/FormaliSE.2015.14

Woodcock, J., Cavalcanti, A., Fitzgerald, J., Foster, S. & Larsen, P. G. (2014). Contracts in CML. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (s. 54-73). Springer. https://doi.org/10.1007/978-3-662-45231-8_5

Ye, K., Foster, S. D. & Woodcock, J. (2020). Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP. I A. Adamatzky & V. Kendon (red.), From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday (s. 215-254). Springer. https://doi.org/10.1007/978-3-030-15792-0_10

Wei, K., Woodcock, J. & Cavalcanti, A. L. C. (2012). Circus Time with Reactive Designs. 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. 68-87). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35705-3

Amálio, N., Payne, R., Cavalcanti, A. L. C. & Woodcock, J. (2016). Checking SysML Models for Co-Simulation. I K. Ogata, M. Lawford & S. Liu (red.), Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (s. 450-465). Springer. https://doi.org/10.1007/978-3-319-47846-3_28

Foster, S. D., Ye, K., Cavalcanti, A. L. C. & Woodcock, J. (2018). Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. I J. Desharnais, W. Guttmann & S. Joosten (red.), Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings (s. 205-224). Springer. https://doi.org/10.1007/978-3-030-02149-8_13

Cavalcanti, A. L. C., Woodcock, J. & Amalio, N. (2016). Behavioural Models for FMI Co-simulations. 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. 255-273). Springer. https://doi.org/10.1007/978-3-319-46750-4_15

Cavalcanti, A. L. C. & Woodcock, J. (1998). A Weakest Precondition Semantics for Z. The Computer Journal, 41(1), 1-15. https://doi.org/10.1093/comjnl/41.1.1

Medeiros Oliveira, M. V., Soares De Medeiros Júnior, I. & Woodcock, J. (2013). A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP. I R. M. Hierons, M. G. Merayo & M. Bravetti (red.), Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings (s. 46-60). Springer. https://doi.org/10.1007/978-3-642-40561-7_4

Oliveira, M., Cavalcanti, A. L. C. & Woodcock, J. (2007). A UTP semantics for Circus. Formal Aspects of Computing, 21, 3–32. https://doi.org/10.1007/s00165-007-0052-5

Foster, S. D., Baxter, J., Cavalcanti, A. L. C., Miyazawa, A. & Woodcock, J. (2018). Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. I K. Bae & P. Csaba Ölveczky (red.), Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings (s. 137-155). Springer. https://doi.org/10.1007/978-3-030-02146-7_7

Oliveira, M. & Woodcock, J. (2007). Automatic Generation of Verified Concurrent Hardware. I M. Butler, M. G. Hinchey & M. M. Larrondo-Petrie (red.), Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings (s. 286-306). Springer. https://doi.org/10.1007/978-3-540-76650-6_17

Foster, S., Ye, K., Cavalcanti, A. L. C. & Woodcock, J. (2020). Automated Verification of Reactive and Concurrent Programs by Calculation. ArXiv. https://eprints.whiterose.ac.uk/164020/1/2007.13529v1.pdf

Woodcock, J. (2005). A tutorial on 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. 79-140). Springer. https://doi.org/10.1007/BFb0019996

Woodcock, J. & Cavalcanti, A. (2004). A Tutorial Introduction to Designs in Unifying Theories of Programming. I E. A. Boiten, J. Derrick & G. Smith (red.), Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings (s. 40-66). Springer. https://doi.org/10.1007/978-3-540-24756-2_4

Harwood, W., Cavalcanti, A. L. C. & Woodcock, J. (2008). A Theory of Pointers for the UTP. I J. S. Fitzgerald, A. E. Haxthausen & H. Yenigun (red.), Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (s. 141-155). Springer. https://doi.org/10.1007/978-3-540-85762-4_10

Martin, A. P., Gardiner , P. H. B. & Woodcock, J. (2015). A tactic calculus — abridged version. Formal Aspects of Computing, 8, 479–489 . https://doi.org/10.1007/BF01213535

Kulik, T., Dongol, B., Larsen, P. G., Macedo, H. D., Schnieder, S., Tran-Jørgensen, P. W. V. & Woodcock, J. (2022). A Survey of Practical Formal Methods for Security. Formal Aspects of Computing, 34(1), Artikel 3522582. https://doi.org/10.1145/3522582

Ribeiro, P., Cavalcanti, A. L. C. & Woodcock, J. (2017). A Stepwise Approach to Linking Theories. I J. P. Bowen & H. Zhu (red.), Unifying Theories of Programming - 6th International Symposium, UTP 2016, Revised Selected Papers (s. 134-154). Springer. https://doi.org/10.1007/978-3-319-52228-9_7

Gardiner , P. H. B., Lupton, P. J. & Woodcock, J. (1990). A Simpler Semantics for Z. I J. E. Nicholls (red.), Proceedings of the Fifth Annual Z User Meeting on Z User Workshop (s. 3-11). Springer. https://doi.org/10.1007/978-1-4471-3540-1_1

Cavalcanti, A. L. C., Sampaio, A. & Woodcock, J. (2003). A Refinement Strategy for Circus. Formal Aspects of Computing, 15, 146–181. https://doi.org/10.1007/s00165-003-0006-5

Antonino, P., Sampaio, A. & Woodcock, J. (2014). A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes. I C. Jones, P. Pihlajasaari & J. Sun (red.), FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (s. 62-77). Springer. https://doi.org/10.1007/978-3-319-06410-9_5

McEwan, A. A. & Woodcock, J. (2004). A REFINEMENT BASED APPROACH TO CALCULATING A FAULT-TOLERANT RAILWAY SIGNAL DEVICE. I 18th World Computer Congress Topical Sessions (s. 621-627). Springer. https://www.readcube.com/articles/10.1007%2F978-1-4020-8157-6_60

Oliveira, M., Cavalcanti, A. L. C. & Woodcock, J. (2003). ArcAngel: a Tactic Language for Refinement. Formal Aspects of Computing, 15, 28–47. https://doi.org/10.1007/s00165-003-0003-8

Radjenovic, A., Freeman Paige, R., Rose, L., Woodcock, J. & King, S. (2012). A Plug-in Based Approach for UML Model Simulation. I A. Vallecillo, J.-P. Tolvanen, E. Kindler, H. Störrle & D. Kolovos (red.), Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings (Bind 1, s. 328-339). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31491-9

Butterfield, A. & Woodcock, J. (2003). An Operational Semantics for Handel-C. Electronic Notes in Theoretical Computer Science, 80, 235-250. https://doi.org/10.1016/S1571-0661(04)80821-1

Woodcock, J. (1991). An Introduction to Refinement in Z: A tutorial on the refinement calculus. I S. Prehn & W. J. Toetenel (red.), VDM´91 Formal Software Development Methods (Bind 2, s. 96-117). Springer Verlag. https://doi.org/10.1007/BFb0019996

Cavalcanti, A. L. C., Sampaio, A. & Woodcock, J. (1999). An Inconsistency in Procedures, Parameters and Substitution in the Refinement Calculus. Science of Computer Programming, 33, 87-96 . https://core.ac.uk/download/pdf/82142214.pdf

Cavalcanti, A. L. C., Woodcock, J. & Dunne, S. (2006). Angelic nondeterminism in the unifying theories of programming. Formal Aspects of Computing, 18(3), 288–307 . https://doi.org/10.1007/s00165-006-0001-8

Cavalcanti, A. L. C. & Woodcock, J. (2005). Angelic Nondeterminism and Unifying Theories of Programming. Electronic Notes in Theoretical Computer Science, 137(2), 45-66. https://doi.org/10.1016/j.entcs.2005.04.024

Viser resultater 101 til 150 ud af 163

Forrige

Næste

Revideret 07.07.2026

James Woodcock