Publications

Sortér efter: Dato | Forfatter | Titel

Foster, S. D., Miyazawa, A., Woodcock, J., Cavalcanti, A. L. C., Fitzgerald, J. & Larsen, P. G. (2014). An approach for managing semantic heterogeneity in Systems of Systems Engineering. I S. Cook, V. Ireland, A. Gorod, T. Ferris & Q. Do (red.), John Fitzgerald (s. 113-118). IEEE. https://doi.org/10.1109/SYSOSE.2014.6892473

Conserva Filho, M. S., Marinho, R., Mota, A. & Woodcock, J. (2018). Analysing RoboChart with Probabilities. I T. Massoni & M. Reza Mousavi (red.), Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings (s. 198-214). Springer. https://doi.org/10.1007/978-3-030-03044-5_13

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

Butterfield, A. & Woodcock, J. (2006). A “Hardware Compiler” Semantics for Handel-C. Electronic Notes in Theoretical Computer Science, 161, 73-90. https://doi.org/10.1016/j.entcs.2006.04.026

Perna, J. I. & Woodcock, J. (2007). A Denotational Semantics for Handel-C Hardware Compilation. 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. 266-285). Springer. https://doi.org/10.1007/978-3-540-76650-6_16

Oliveira, M., Cavalcanti, A. L. C. & Woodcock, J. (2007). A Denotational Semantics for Circus. Electronic Notes in Theoretical Computer Science, 187, 107-123. https://doi.org/10.1016/j.entcs.2006.08.047

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

G. Aydal, E., Utting, M. & Woodcock, J. (2008). A Comparison of State-Based Modelling Tools for Model Validation. I R. F. Paige & B. Meyer (red.), Objects, Components, Models and Patterns: 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings (Bind 1, s. 278-296). Springer. https://doi.org/10.1007/978-3-540-69824-1

Atiya, D.-A., King, S. & Woodcock, J. (2003). A Circus Semantics for Ravenscar Protected Objects. I K. Araki, S. Gnesi & D. Mandrioli (red.), FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa, Itlay, September 2003. Proceedings (s. 617-635). Springer. https://books.google.dk/books?id=nqZqCQAAQBAJ&printsec=frontcover&hl=da#v=onepage&q&f=false

Hoare, T., Struth, G. & Woodcock, J. (2019). A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic. 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. 3-21). Springer. https://doi.org/10.1007/978-3-030-31038-7_1

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

Zhan, N., Woodcock, J., Wang, J. & Chen, M. (2026). A Brief History of Formal Methods in China. Formal Aspects of Computing, 38(3), Artikel 24. https://doi.org/10.1145/3783996

Abrial, J.-R., Butler, M., Joshi, R., Troubitsyna, E. & Woodcock, J. (red.) (2009). 09381 Extended Abstract Collection Renement Based Methods for the Construction of Dependable Systems. I Refinement Based Methods for the Construction of Dependable Systems Dagstuhl Publishing. https://drops.dagstuhl.de/opus/volltexte/2010/2374/pdf/09381_abstracts_collection.2374.pdf

Viser resultater 151 til 163 ud af 163

Forrige

Revideret 07.07.2026

James Woodcock