Publications

Sortér efter: Dato | Forfatter | Titel

Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J. (2020). Learning Safe Neural Network Controllers with Barrier Certificates. arXiv, abs/2009.09826. https://arxiv.org/pdf/2009.09826.pdf

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

Ye, K. & Woodcock, J. (2015). Model checking of state-rich formalism by linking to CSP∥B. International Journal on Software Tools for Technology Transfer, 19(1), 73–96. https://doi.org/10.1007/s10009-015-0402-1

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

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

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

Woodcock, J., Cavalcanti, A. L. C., Foster, S. D., Mota, A. & Ye, K. (2019). Probabilistic Semantics for RoboChart: A Weakest Completion Approach. I P. Ribeiro & A. Sampaio (red.), Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings (s. 80-105). Springer. https://doi.org/10.1007/978-3-030-31038-7_5

Woodcock, J., Foster, S. D. & Butterfield, A. (2016). Heterogeneous Semantics and Unifying Theories. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings (Bind 1, s. 374-394). Springer. https://doi.org/10.1007/978-3-319-47166-2_26

Woodcock, J., Wellings, A. & Cavalcanti, A. L. C. (2016). Mobile CSP. I M. Cornélio & B. Roscoe (red.), Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Proceedings (s. 39-55). Springer. https://doi.org/10.1007/978-3-319-29473-5_3

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

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

Woodcock, J., Oliveira, M., Burns, A. & Wei, K. (2010). Modelling and Implementing Complex Systems with Timebands. I Secure System Integration and Reliability Improvement (s. 1-13) https://doi.org/10.1109/SSIRI.2010.7

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

Woodcock, J. & Boca, P. (2008). ABZ2008 VSR-Net Workshop. I E. Börger, M. Butler, J. P. Bowen & P. Boca (red.), Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (s. 378-379). Springer. https://doi.org/10.1007/978-3-540-87603-8_48

Woodcock, J. & Freitas, L. (2008). Linking VDM and Z. I K. Breitman, J. Woodcock, R. Sterritt & M. G. Hinchey (red.), 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) (s. 143-152). IEEE. https://doi.org/10.1109/ICECCS.2008.36

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. & 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

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

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. (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

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

Woodcock, J., Cavalcanti, A. L. C. & Freitas, L. (2005). Operational Semantics for Model Checking Circus. I J. Fitzgerald, I. J. Hayes & A. Tarlecki (red.), FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings (s. 237-252). Springer. https://doi.org/10.1007/11526841_17

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

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

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. & 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

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

Woodcock, J. & Cavalcanti, A. L. C. (2001). A Concurrent Language for Refinement. I A. Butterfield, G. Strong & C. Pahl (red.), IW-FM'01: Proceedings of the 5th Irish conference on Formal Methods (s. 93–115). BCS Learning & Development Ltd. https://dl.acm.org/doi/10.5555/2227391.2227398

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

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. (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

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. (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

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

Woodcock, J. & Morgan, C. (2005). Refinement of state-based concurrent systems. I D. Bjørner, C. A. R. Hoare & H. Langmaack (red.), VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings (s. 340-351). Springer. https://doi.org/10.1007/3-540-52513-0_18

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

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

Wing, J. & Woodcock, J. (2000). Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems. Formal Methods in System Design, 17, 199–200. https://doi.org/10.1023/A:1026521916117

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

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

Wei, K., Woodcock, J. & Burns, A. (2013). Modelling temporal behaviour in complex systems with Timebands. Formal Methods in System Design, 3(43), 520–551. https://doi.org/10.1007/s10703-013-0193-5

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

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

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

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 ,

Stepney, S., Cooper, D. & Woodcock, J. (1998). More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. I J. P. Bowen, A. Fett & M. G. Hinchey (red.), ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings (Bind 1, s. 284-307). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-49676-2_20

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

Schneider, S., Cavalcanti, A. L. C., Treharne, H. & Woodcock, J. (2006). A Layered Behavioural Model of Platelets. I 11th IEEE International Conference on Engineering of Complex Computer Systems IEEE. https://doi.org/10.1109/ICECCS.2006.1690359

Sampaio, A., Woodcock, J. & Cavalcanti, A. L. C. (2002). Refinement in Circus. I L.-H. Eriksson & P. A. Lindsay (red.), FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings (s. 451-470). Springer. https://doi.org/10.1007/3-540-45614-7_26

Roscoe, A. W., Woodcock, J. & Wulf, L. (1996). Non-interference through Determinism. Journal of Computer Security, 4(1), 27-53. https://doi.org/10.3233/JCS-1996-4103

Viser resultater 1 til 50 ud af 159

Næste

Revideret 10.08.2023

James Woodcock