Publications

Sortér efter: Dato | Forfatter | Titel

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Viser resultater 51 til 100 ud af 161

Forrige

Næste

Revideret 13.11.2025

James Woodcock