Publications

Sortér efter: Dato | Forfatter | Titel

Atiya, D., King, S. & Woodcock, J. (2005). Simpler Reasoning About System Properties: a Proof-by-Refinement Technique. Electronic Notes in Theoretical Computer Science, 137(2), 5-22. https://doi.org/10.1016/j.entcs.2005.04.022

Butterfield, A. & Woodcock, J. (2003). Semantic Domains for Handel-C. Electronic Notes in Theoretical Computer Science, 74, 1-20. https://doi.org/10.1016/S1571-0661(04)80762-X

Cavalcanti, A. L. C., Zeyda, F., Wellings, A., Woodcock, J. & Wei, K. (2013). Safety-critical Java programs from Circus models. Real-Time Systems, 5(49), 614–667. https://doi.org/10.1007/s11241-013-9182-4

Cavalcanti, A. L. C., Wellings, A., Woodcock, J., Wei, K. & Zeyda, F. (2011). Safety-critical Java in Circus. I 9th Workshop on Java Technologies for Real-Time and Embedded System (s. 20–29) https://doi.org/10.1145/2043910.2043915

Heiji Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C., Timmis, J. I. & Woodcock, J. (2019). RoboChart: modelling and verification of the functional behaviour of robotic applications. Software and Systems Modeling, 18(5), 3097–3149. https://doi.org/10.1007/s10270-018-00710-z

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

Cavalcanti, A. L. C., Sampaio, A. & Woodcock, J. (2002). Refinement of Actions in Circus. Electronic Notes in Theoretical Computer Science, 70(3), 132-162. https://doi.org/10.1016/S1571-0661(05)80489-X

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

Divakaran, S., D’Souza, D., Kushwah, A., Sampath, P., Sridhar, N. & Woodcock, J. (2015). Refinement-Based Verification of the FreeRTOS Scheduler in VCC. I M. Butler, S. Conchon & F. Zaïdi (red.), Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (s. 170-186). Springer. https://doi.org/10.1007/978-3-319-25423-4_11

Abrial, J.-R. (red.), Butler, M. J. (red.), Joshi, R. (red.), Troubitsyna, E. & Woodcock, J. (red.) (2009). Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. I Dagstuhl Seminar Proceedings, Schloss Dagstuhl https://researchr.org/publication/dagstuhl-2009P9381/authors

Mota, A., Farias, A., Didier, A. & Woodcock, J. (2014). Rapid Prototyping of a Semantically Well Founded Circus Model Checker. I D. Giannakopoulou & G. Salaün (red.), Software Engineering and Formal Methods (s. 235-249). Springer. https://doi.org/10.1007/978-3-319-10431-7_17

G. Aydal, E., Freeman Paige, R., Utting, M. & Woodcock, J. (2009). Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. I 2009 International Conference on Software Testing Verification and Validation (Bind 1, s. 131-140). IEEE. https://doi.org/10.1109/ICST.2009.20

Cavalcanti, A. L. C., Sampaio, A. & Woodcock, J. (1998). Procedures and Recursion in the Refinement Calculus. Journal of the Brazilian Computer Society , 5(1). https://doi.org/10.1590/S0104-65001998000200002

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

Butterfield, A. & Woodcock, J. (2005). prialt in Handel-C: an operational semantics. International Journal on Software Tools for Technology Transfer, 7, 248–267. https://doi.org/10.1007/s10009-004-0181-6

Derrick, J., A. Boiten, E., Woodcock, J. & von Wright, J. (2002). Preface: Volume 70, Issue 3. Electronic Notes in Theoretical Computer Science, 70(3), 1-2. https://doi.org/10.1016/S1571-0661(05)80478-5

Cavalcanti, A. L. C. & Woodcock, J. (2003). Predicate transformers in the semantics of Circus. IEE Proceedings - Software, 2(150). https://doi.org/10.1049/ip-sen:20030131

Freitas, L., Woodcock, J. & Fu, Z. (2008). POSIX file store in Z/Eves: An experiment in the verified software repository. Science of Computer Programming, 74(4), 238-257. https://doi.org/10.1016/j.scico.2008.08.001

Freitas, L., Fu, Z. & Woodcock, J. (2007). POSIX file store in Z/Eves: an experiment in the verified software repository. I 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) (s. 3-14). IEEE. https://doi.org/10.1109/ICECCS.2007.36

Freitas, L., Woodcock, J. & Butterfield, A. (2008). POSIX and the Verification Grand Challenge: A Roadmap. I K. Breitman, J. Woodcock, R. Sterritt & M. G. Hinchey (red.), ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS (s. 153-162). IEEE Computer Society Press. https://doi.org/10.1109/ICECCS.2008.35

Cavalcanti, A. L. C., Harwood, W. & Woodcock, J. (2006). Pointers and Records in the Unifying Theories of Programming. 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. 200-216). Springer. https://doi.org/10.1007/11768173_12

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

Bolton, C., Davies, J. & Woodcock, J. (1999). On the Refinement and Simulation of Data Types and Processes. I K. Araki, A. Galloway & K. Taguchi (red.), IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 (s. 273-292). Springer. https://doi.org/10.1007/978-1-4471-0851-1

G. Aydal, E., Freeman Paige, R. & Woodcock, J. (2008). Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation. I 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (s. 11-20). IEEE. https://doi.org/10.1109/ICSTW.2008.29

G. Aydal, E., Freeman Paige, R. & Woodcock, J. (2008). Observations for Assertion-based Scenarios in the context of ModelValidation. I T. Margaria, J. Padberg, G. Taentzer, J. Cabot, M. Gogolla & P. Van Gorp (red.), Electronic Communications of the EASST: Proceedings of the8th International Workshop onOCL Concepts and Tools (OCL 2008)at MoDELS 2008 https://journal.ub.tu-berlin.de/eceasst/article/view/181/178

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

Roscoe, A. W., Woodcock, J. & Wulf, L. (2005). Non-interference through determinism. I D. Gollmann (red.), Computer Security — ESORICS 94: Third European Symposium on Research in Computer Security Brighton, United Kingdom, November 7–9, 1994 Proceedings (s. 31-53). Springer. https://doi.org/10.1007/3-540-58618-0_55

Gleirscher, M., Foster, S. D. & Woodcock, J. (2019). New Opportunities for Integrated Formal Methods. ACM Computing Surveys, 52(6), 1-36. Artikel 117. https://doi.org/10.1145/3357231

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

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

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

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

Mota, A., Farias, A., Woodcock, J. & Larsen, P. G. (2015). Model checking CML : tool development and industrial applications. Formal Aspects of Computing, 5(27), 975–1001. https://doi.org/10.1007/s00165-015-0342-2

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

Nuka, G. & Woodcock, J. (2004). Mechanising the Alphabetised Relational Calculus. Electronic Notes in Theoretical Computer Science, 95, 209-225. https://doi.org/10.1016/j.entcs.2004.04.013

Freitas, L. & Woodcock, J. (2007). Mechanising Mondex with Z/Eves. Formal Aspects of Computing, 20(1), 117–139. https://doi.org/10.1007/s00165-007-0059-y

Nuka, G. & Woodcock, J. (2006). Mechanising a Unifying Theory. 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. 217-235). Springer. https://doi.org/10.1007/11768173_13

Butterfield, A., Freitas, L. & Woodcock, J. (2008). Mechanising a formal model of flash memory. Science of Computer Programming, 74(4), 219-237. https://doi.org/10.1016/j.scico.2008.09.014

Perna, J. I. & Woodcock, J. (2009). Mechanised Wire-wise Verification of Handel-C Synthesis. Electronic Notes in Theoretical Computer Science, 240, 201-219. https://doi.org/10.1016/j.entcs.2009.05.053

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

Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J. (2020). Learning Safe Neural Network Controllers with Barrier Certificates. (s. 177-185). ArXiv. https://doi.org/10.1007/978-3-030-62822-2_11

Jones, C. & Woodcock, J. (2026). Introduction to the Special Collection on the History of Formal Methods. Formal Aspects of Computing, 38(3), Artikel 22. https://doi.org/10.1145/3828714

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

Larsen, P. G., Fitzgerald, J., Woodcock, J., Fritzson, P., Brauer, J., Kleijn, C., Lecomte, T., Pfeil, M., Green, O., Basagiannis, S. & Sadovykh, A. (2016). Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. I 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) (s. 1-6). IEEE. https://doi.org/10.1109/CPSData.2016.7496424

Bicarregui, J. C., Fitzgerald, J., Larsen, P. G. & Woodcock, J. (2009). Industrial Practice in Formal Methods : A Review. I FM 2009: Formal Methods : Lecture Notes in Computer Science (Bind 5850/2009, s. 810-813) https://doi.org/10.1007/978-3-642-05089-3_52

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

G. Aydal, E., Woodcock, J. & Cavalcanti, A. L. C. (2007). Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. I J. Filipe, M. Helfert & B. Shishkov (red.), Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT (Bind 1: ICSOFT, s. 290-295.). SCITEPRESS Digital Library. https://doi.org/10.5220/0001324002900295

Li, W., Miyazawa, A., Ribeiro, P., Cavalcanti, A. L. C., Woodcock, J. & Timmis, J. (2018). From Formalised State Machines to Implementations of Robotic Controllers. I Springer Proceedings in Advanced Robotics (s. 517-529). Springer. https://doi.org/10.1007/978-3-319-73008-0_36

Fitzgerald, J., Larsen, P. G. & Woodcock, J. (2013). Foundations for Model-based Engineering for Systems of Systems. I M. Aiguier, F. Boulanger, D. Krob & C. Marchal (red.), Complex Systems Design & Management : Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013 (s. 1-19). Springer VS. https://doi.org/10.1007/978-3-319-02812-5_1

Wright, T., Dennis, L. A., Woodcock, J. & Foster, S. (2025). Formal Verification of BDI Agents. I M. Hinchey & B. Steffen (red.), The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday (s. 302-326). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-73887-6_20

Viser resultater 51 til 100 ud af 163

Forrige

Næste

Revideret 07.07.2026

James Woodcock