default search action

combined dblp search
author search
venue search
publication search

ask others

Jim Woodcock 0001

J. C. P. Woodcock

> Home > Persons

Person information

affiliation: University of York, Department of Computer Science, UK

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j79]
- view
  authority control:
- export record
  dblp key:
  - journals/arobots/LiRMRCAWT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/arobots/LiRMRCAWT24
Wei Li, Pedro Ribeiro, Alvaro Miyazawa, Richard Redpath, Ana Cavalcanti, Kieran Alden, Jim Woodcock, Jon Timmis:
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool. Auton. Robots 48(6-7): 14 (2024)
[j78]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/YeFW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/YeFW24
Kangfeng Ye, Simon Foster, Jim Woodcock:
Formally verified animation for RoboChart using interaction trees. J. Log. Algebraic Methods Program. 137: 100940 (2024)
[j77]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/YeWF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/YeWF24
Kangfeng Ye, Jim Woodcock, Simon Foster:
Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: Semantics and automated reasoning with theorem proving. Theor. Comput. Sci. 1021: 114876 (2024)
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FitzgeraldGJKLW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FitzgeraldGJKLW24
John S. Fitzgerald, Cláudio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock:
Digital Twin Engineering. ISoLA (5) 2024: 3-8
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-08136
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-08136
Kangfeng Ye, Jim Woodcock:
RoboCertProb: Property Specification for Probabilistic RoboChart Models. CoRR abs/2403.08136 (2024)
[i20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-15817
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-15817
Simon Foster, Chung-Kil Hur, Jim Woodcock:
Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL. CoRR abs/2408.15817 (2024)
2023
[j76]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/MousaviCFDHKLRRTW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/MousaviCFDHKLRRTW23
Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Robert C. Richardson, Jan Oliver Ringert, Ivan Tyukin, Jim Woodcock:
Trustworthy Autonomous Systems Through Verifiability. Computer 56(2): 40-47 (2023)
[j75]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/DutilleulHLW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/DutilleulHLW23
Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock:
Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems. Formal Aspects Comput. 35(1): 1:1-1:2 (2023)
[j74]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/GleirscherPW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/GleirscherPW23
Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
A manifesto for applicable formal methods. Softw. Syst. Model. 22(6): 1737-1749 (2023)
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/000100OSZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/000100OSZ23
Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda:
UTP, Circus, and Isabelle. Theories of Programming and Formal Methods 2023: 19-51
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/000123a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/000123a
Jim Woodcock:
Towards a Unifying Framework for Uncertainty in Cyber-Physical Systems. Applicable Formal Methods for Safe Industrial Products 2023: 237-253
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/case/AdamYACWM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/AdamYACWM23
Mustafa Adam, Kangfeng Ye, David A. Anisi, Ana Cavalcanti, Jim Woodcock, Robert Morris:
Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment. CASE 2023: 1-7
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/AttalaCW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/AttalaCW23
Ziggy Attala, Ana Cavalcanti, Jim Woodcock:
Modelling and Verifying Robotic Software that Uses Neural Networks. ICTAC 2023: 15-35
[i19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-09106
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-09106
Kangfeng Ye, Simon Foster, Jim Woodcock:
Formally Verified Animation for RoboChart using Interaction Trees. CoRR abs/2303.09106 (2023)
[i18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-09692
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-09692
Kangfeng Ye, Jim Woodcock, Simon Foster:
Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving. CoRR abs/2303.09692 (2023)
[i17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-15191
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-15191
Jim Woodcock, Mikkel Schimdt Andersen, Diego F. Aranha, Stefan Hallerstede, Simon Thrane Hansen, Nikolaj Kuhne Jakobsen, Tomas Kulik, Peter Gorm Larsen, Hugo Daniel Macedo, Carlos Ignacio Isasa Martin, Victor Alexander Mtsimbe Norrild:
State of the Art Report: Verified Computation. CoRR abs/2308.15191 (2023)
[i16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-10658
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-10658
Lex Bailey, Jim Woodcock, Simon Foster, Roberto Metere:
Checking and Automating Confidentiality Theory in Isabelle/UTP. CoRR abs/2310.10658 (2023)
2022
[j73]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/KulikDLMSTW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/KulikDLMSTW22
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, Jim Woodcock:
A Survey of Practical Formal Methods for Security. Formal Aspects Comput. 34(1): 1-39 (2022)
[j72]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/YeCFMW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/YeCFMW22
Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock:
Probabilistic modelling and verification using RoboChart and PRISM. Softw. Syst. Model. 21(2): 667-716 (2022)
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/YeFW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/YeFW22
Kangfeng Ye, Simon Foster, Jim Woodcock:
Formally Verified Animation for RoboChart Using Interaction Trees. ICFEM 2022: 404-420
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FitzgeraldLMWG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FitzgeraldLMWG22
John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes:
Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) 2022: 3-8
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/WrightGW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WrightGW22
Thomas Wright, Cláudio Gomes, Jim Woodcock:
Formally Verified Self-adaptation of an Incubator Digital Twin. ISoLA (4) 2022: 89-109
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-08854
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-08854
Pedro Antonino, Augusto Sampaio, Jim Woodcock:
A Pattern-based deadlock-freedom analysis strategy for concurrent systems. CoRR abs/2207.08854 (2022)
2021
[j71]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/ChenLWW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/ChenLWW21
Xiaoping Chen, Zhiming Liu, Ji Wang, Jim Woodcock:
Editorial. Formal Aspects Comput. 33(3): 299-300 (2021)
[j70]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/ZhaoZCLW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/ZhaoZCLW21
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning safe neural network controllers with barrier certificates. Formal Aspects Comput. 33(3): 437-455 (2021)
[j69]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/GleirscherCW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/GleirscherCW21
Mario Gleirscher, Radu Calinescu, Jim Woodcock:
RiskStructures: A design algebra for risk-aware machines. Formal Aspects Comput. 33(4-5): 763-802 (2021)
[j68]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/FantechiHW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/FantechiHW21
Alessandro Fantechi, Anne E. Haxthausen, Jim Woodcock:
Editorial. Formal Aspects Comput. 33(6): 923-924 (2021)
[j67]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/FosterYCW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/FosterYCW21
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Automated verification of reactive and concurrent programs by calculation. J. Log. Algebraic Methods Program. 121: 100681 (2021)
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/YeFW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/YeFW21
Kangfeng Ye, Simon Foster, Jim Woodcock:
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving. RAMiCS 2021: 465-482
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/acsos/EsterlePW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsos/EsterlePW21
Lukas Esterle, Barry Porter, Jim Woodcock:
Verification and Uncertainties in Self-integrating System. ACSOS-C 2021: 220-225
[c124]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/0001HW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/0001HW21
Simon Foster, Chung-Kil Hur, Jim Woodcock:
Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL. CONCUR 2021: 20:1-20:18
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HansenGPTPW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HansenGPTPW21
Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock:
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. FMICS 2021: 3-20
[p7]
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/WoodcockBC0S21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/WoodcockBC0S21
Jim Woodcock, Janet Barnes, Rod Chapman, Simon Foster, Thomas Santen:
Verification in the Grand Challenge. Theories of Programming 2021: 125-156
[p6]
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/Woodcock21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/Woodcock21
Jim Woodcock:
Hoare and He's Unifying Theories of Programming. Theories of Programming 2021: 285-316
[e22]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/2021
Shengchao Qin, Jim Woodcock, Wenhui Zhang:
Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings. Lecture Notes in Computer Science 13071, Springer 2021, ISBN 978-3-030-91264-2 [contents]
[e21]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2111-07538
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-07538
Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021. EPTCS 349, 2021 [contents]
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-05133
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-05133
Simon Foster, Chung-Kil Hur, Jim Woodcock:
Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL. CoRR abs/2105.05133 (2021)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-01362
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-01362
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter Würtz Vinther Tran-Jørgensen, Jim Woodcock:
A Survey of Practical Formal Methods for Security. CoRR abs/2109.01362 (2021)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-12758
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-12758
Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
A Manifesto for Applicable Formal Methods. CoRR abs/2112.12758 (2021)
2020
[j66]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/GleirscherFW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/GleirscherFW20
Mario Gleirscher, Simon Foster, Jim Woodcock:
New Opportunities for Integrated Formal Methods. ACM Comput. Surv. 52(6): 117:1-117:36 (2020)
[j65]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/0001BCWZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/0001BCWZ20
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying semantic foundations for automated verification tools in Isabelle/UTP. Sci. Comput. Program. 197: 102510 (2020)
[j64]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/FosterCCWZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FosterCCWZ20
Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda:
Unifying theories of reactive design contracts. Theor. Comput. Sci. 802: 105-140 (2020)
[j63]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/ChangWZWWB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/ChangWZWWB20
Wanli Chang, Ran Wei, Shuai Zhao, Andy J. Wellings, Jim Woodcock, Alan Burns:
Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis. ACM Trans. Embed. Comput. Syst. 19(5): 31:1-31:26 (2020)
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FitzgeraldLMW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FitzgeraldLMW20
John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock:
Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) 2020: 49-53
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/WoodcockGML20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WoodcockGML20
Jim Woodcock, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen:
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. ISoLA (4) 2020: 72-87
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/ZhaoZCLW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/ZhaoZCLW20
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning Safe Neural Network Controllers with Barrier Certificates. SETTA 2020: 177-185
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-13529
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-13529
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Automated Verification of Reactive and Concurrent Programs by Calculation. CoRR abs/2007.13529 (2020)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-09826
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-09826
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning Safe Neural Network Controllers with Barrier Certificates. CoRR abs/2009.09826 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j62]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/MiyazawaRLCTW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/MiyazawaRLCTW19
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock:
RoboChart: modelling and verification of the functional behaviour of robotic applications. Softw. Syst. Model. 18(5): 3097-3149 (2019)
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/HoareSW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/HoareSW19
Tony Hoare, Georg Struth, Jim Woodcock:
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic. UTP 2019: 3-21
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/WoodcockC00Y19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/WoodcockC00Y19
Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye:
Probabilistic Semantics for RoboChart - A Weakest Completion Approach. UTP 2019: 80-105
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/FosterYCW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/FosterYCW19
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Automated Verification of Reactive and Concurrent Programs by Calculation, supporting material. Zenodo, 2019
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-05500
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-05500
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP. CoRR abs/1905.05500 (2019)
2018
[j61]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/FosterCWZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/FosterCWZ18
Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying theories of time with generalised reactive processes. Inf. Process. Lett. 135: 47-52 (2018)
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/0001YCW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/0001YCW18
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. RAMiCS 2018: 205-224
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/FosterBCMW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/FosterBCMW18
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock:
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. FACS 2018: 137-155
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/GibsonLPFW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/GibsonLPFW18
J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock:
Cyber-Physical Systems Engineering: An Introduction. ISoLA (3) 2018: 407-410
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/FilhoMMW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/FilhoMMW18
Madiel S. Conserva Filho, R. Marinho, Alexandre Mota, Jim Woodcock:
Analysing RoboChart with Probabilities. SBMF 2018: 198-214
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1806-02101
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-02101
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. CoRR abs/1806.02101 (2018)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-08588
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-08588
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock:
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. CoRR abs/1807.08588 (2018)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1812-10103
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-10103
Mario Gleirscher, Simon Foster, Jim Woodcock:
Assuring Autonomous Systems: Opportunities for Integrated Formal Methods? CoRR abs/1812.10103 (2018)
2017
[j60]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/ChapmanWW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/ChapmanWW17
Roderick Chapman, Neil White, Jim Woodcock:
What can agile methods bring to high-integrity software development? Commun. ACM 60(10): 38-41 (2017)
[j59]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/ProiettiSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/ProiettiSW17
Maurizio Proietti, Hirohisa Seki, Jim Woodcock:
Editorial. Formal Aspects Comput. 29(1): 1-2 (2017)
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/YeW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/YeW17
Kangfeng Ye, Jim Woodcock:
Model checking of state-rich formalism Circus by linking to CSP ‖ B. Int. J. Softw. Tools Technol. Transf. 19(1): 73-96 (2017)
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FosterW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FosterW17
Simon Foster, Jim Woodcock:
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. Concurrency, Security, and Puzzles 2017: 39-64
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/LarsenFWGPP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/LarsenFWGPP17
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Carl Gamble, Richard John Payne, Kenneth Pierce:
Features of Integrated Model-Based Co-modelling and Co-simulation Technology. SEFM Workshops 2017: 377-390
[p5]
- view
  authority control:
- export record
  dblp key:
  - books/sp/17/CavalcantiMPW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/17/CavalcantiMPW17
Ana Cavalcanti, Alvaro Miyazawa, Richard John Payne, Jim Woodcock:
Sound Simulation and Co-simulation for Robotics. Present and Ulterior Software Engineering 2017: 173-194
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/LiMRCWT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LiMRCWT17
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis:
From Formalised State Machines to Implementations of Robotic Controllers. CoRR abs/1702.01783 (2017)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1712-10213
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-10213
Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying Theories of Timed with Generalised Reactive Processes. CoRR abs/1712.10213 (2017)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1712-10233
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-10233
Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda:
Unifying Theories of Reactive Design Contracts. CoRR abs/1712.10233 (2017)
2016
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/cspdata/LarsenFWFBKLPGB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cspdata/LarsenFWFBKLPGB16
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh:
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. CPS Data 2016: 1-6
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/dars/LiM0CWT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dars/LiM0CWT16
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis:
From Formalised State Machines to Implementations of Robotic Controllers. DARS 2016: 517-529
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/AmalioPCW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/AmalioPCW16
Nuno Amálio, Richard John Payne, Ana Cavalcanti, Jim Woodcock:
Checking SysML Models for Co-simulation. ICFEM 2016: 450-465
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/CavalcantiWA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/CavalcantiWA16
Ana Cavalcanti, Jim Woodcock, Nuno Amálio:
Behavioural Models for FMI Co-simulations. ICTAC 2016: 255-273
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/FosterZW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/FosterZW16
Simon Foster, Frank Zeyda, Jim Woodcock:
Unifying Heterogeneous State-Spaces with Lenses. ICTAC 2016: 295-314
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LarsenFWNGF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LarsenFWNGF16
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, René A. Nilsson, Carl Gamble, Simon Foster:
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. ISoLA (2) 2016: 171-186
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/WoodcockFB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WoodcockFB16
Jim Woodcock, Simon Foster, Andrew Butterfield:
Heterogeneous Semantics and Unifying Theories. ISoLA (1) 2016: 374-394
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/setss/WoodcockF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/WoodcockF16
Jim Woodcock, Simon Foster:
UTP by Example: Designs. SETSS 2016: 16-50
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/setss/CavalcantiMWWZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/CavalcantiMWWZ16
Ana Cavalcanti, Alvaro Miyazawa, Andy J. Wellings, Jim Woodcock, Shuai Zhao:
Java in the Safety-Critical Domain. SETSS 2016: 110-150
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/FosterTCW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/FosterTCW16
Simon Foster, Bernhard Thiele, Ana Cavalcanti, Jim Woodcock:
Towards a UTP Semantics for Modelica. UTP 2016: 44-64
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/NgondiW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/NgondiW16
Gerard Ekembe Ngondi, Jim Woodcock:
UTP Semantics of Reactive Processes with Continuations. UTP 2016: 114-133
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/RibeiroCW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/RibeiroCW16
Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock:
A Stepwise Approach to Linking Theories. UTP 2016: 134-154
2015
[j57]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/NielsenLFWP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/NielsenLFWP15
Claus Ballegaard Nielsen, Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Jan Peleska:
Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions. ACM Comput. Surv. 48(2): 18:1-18:41 (2015)
[j56]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/ChengWD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/ChengWD15
Shu Cheng, Jim Woodcock, Deepak D'Souza:
Using formal reasoning on a model of tasks for FreeRTOS. Formal Aspects Comput. 27(1): 167-192 (2015)
[j55]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/WoodcockJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/WoodcockJ15
Jim Woodcock, Cliff B. Jones:
Editorial. Formal Aspects Comput. 27(5-6): 751-752 (2015)
[j54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/MotaFWL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/MotaFWL15
Alexandre Mota, Adalberto Farias, Jim Woodcock, Peter Gorm Larsen:
Model checking CML: tool development and industrial applications. Formal Aspects Comput. 27(5-6): 975-1001 (2015)
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/DivakaranDKSSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/DivakaranDKSSW15
Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock:
Refinement-Based Verification of the FreeRTOS Scheduler in VCC. ICFEM 2015: 170-186
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FitzgeraldGLPW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FitzgeraldGLPW15
John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock:
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. FormaliSE@ICSE 2015: 40-46
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/CavalcantiHPW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/CavalcantiHPW15
Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock:
CSP and Kripke Structures. ICTAC 2015: 505-523
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/WoodcockWC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/WoodcockWC15
Jim Woodcock, Andy J. Wellings, Ana Cavalcanti:
Mobile CSP. SBMF 2015: 39-55
[p4]
- view
  authority control:
- export record
  dblp key:
  - series/natosec/FosterW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/FosterW15
Simon Foster, Jim Woodcock:
Mechanised Theory Engineering in Isabelle. Dependable Software Systems Engineering 2015: 246-287
2014
[j53]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/CavalcantiKOW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/CavalcantiKOW14
Ana Cavalcanti, Steve King, Colin O'Halloran, Jim Woodcock:
Test-data generation for control coverage by proof. Formal Aspects Comput. 26(4): 795-823 (2014)
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/MistryNW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/MistryNW14
James Mistry, Matthew Naylor, Jim Woodcock:
Adapting FreeRTOS for multicores: an experience report. Softw. Pract. Exp. 44(9): 1129-1154 (2014)
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Woodcock14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Woodcock14
Jim Woodcock:
Engineering UToPiA - Formal Semantics for CML. FM 2014: 22-41
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AntoninoSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AntoninoSW14
Pedro R. G. Antonino, Augusto Sampaio, Jim Woodcock:
A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes. FM 2014: 62-77
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/WoodcockCFFL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WoodcockCFFL14
Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen:
Contracts in CML. ISoLA (2) 2014: 54-73
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/MotaFDW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/MotaFDW14
Alexandre Mota, Adalberto Farias, André Didier, Jim Woodcock:
Rapid Prototyping of a Semantically Well Founded Circus Model Checker. SEFM 2014: 235-249
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/sysose/FosterMWCFL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sysose/FosterMWCFL14
Simon Foster, Alvaro Miyazawa, Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen:
An approach for managing semantic heterogeneity in Systems of Systems Engineering. SoSE 2014: 113-118
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/CanhamW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/CanhamW14
Samuel Canham, Jim Woodcock:
Three Approaches to Timed External Choice in UTP. UTP 2014: 1-20
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/FosterZW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/FosterZW14
Simon Foster, Frank Zeyda, Jim Woodcock:
Isabelle/UTP: A Mechanised Theory Engineering Framework. UTP 2014: 21-41
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/WeiW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/WeiW14
Kun Wei, Jim Woodcock:
Towards Algebraic Semantics of Circus Time. UTP 2014: 84-104
2013
[j51]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/CavalcantiWW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/CavalcantiWW13
Ana Cavalcanti, Andy J. Wellings, Jim Woodcock:
The Safety-Critical Java memory model formalised. Formal Aspects Comput. 25(1): 37-57 (2013)
[j50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/OliveiraCW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/OliveiraCW13
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
Unifying theories in ProofPower-Z. Formal Aspects Comput. 25(1): 133-158 (2013)
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/WeiWB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/WeiWB13
Kun Wei, Jim Woodcock, Alan Burns:
Modelling temporal behaviour in complex systems with Timebands. Formal Methods Syst. Des. 43(3): 520-551 (2013)
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/CavalcantiZWWW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/CavalcantiZWWW13
Ana Cavalcanti, Frank Zeyda, Andy J. Wellings, Jim Woodcock, Kun Wei:
Safety-critical Java programs from Circus models. Real Time Syst. 49(5): 614-667 (2013)
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CavalcantiMW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CavalcantiMW13
Ana Cavalcanti, Alexandre Mota, Jim Woodcock:
Simulink Timed Models for Program Verification. Theories of Programming and Formal Methods 2013: 82-99
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/csdm/FitzgeraldLW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csdm/FitzgeraldLW13
John S. Fitzgerald, Peter Gorm Larsen, Jim Woodcock:
Foundations for Model-Based Engineering of Systems of Systems. CSDM 2013: 1-19
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/FosterW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/FosterW13
Simon Foster, Jim Woodcock:
Unifying Theories of Programming in Isabelle. ICTAC Training School on Software Engineering 2013: 109-155
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/BandurW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/BandurW13
Victor Bandur, Jim Woodcock:
Unifying Theories of Logic and Specification. SBMF 2013: 18-33
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/OliveiraJW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/OliveiraJW13
Marcel Vinícius Medeiros Oliveira, Ivan Soares de Medeiros Júnior, Jim Woodcock:
A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP. SEFM 2013: 46-60
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/FitzgeraldBLW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/FitzgeraldBLW13
John S. Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, Jim Woodcock:
Industrial Deployment of Formal Methods: Trends and Challenges. Industrial Deployment of System Engineering Methods 2013: 123-143
[e20]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2013he
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2013he
Zhiming Liu, Jim Woodcock, Huibiao Zhu:
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 8051, Springer 2013, ISBN 978-3-642-39697-7 [contents]
[e19]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/2013
Zhiming Liu, Jim Woodcock, Huibiao Zhu:
Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Lecture Notes in Computer Science 8049, Springer 2013, ISBN 978-3-642-39717-2 [contents]
[e18]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/2013s
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/2013s
Zhiming Liu, Jim Woodcock, Huibiao Zhu:
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. Lecture Notes in Computer Science 8050, Springer 2013, ISBN 978-3-642-39720-2 [contents]
2012
[j47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/Woodcock12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/Woodcock12
Jim Woodcock:
Editorial. Formal Aspects Comput. 24(3): 303 (2012)
[j46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/PernaW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/PernaW12
Juan Ignacio Perna, Jim Woodcock:
Mechanised wire-wise verification of Handel-C synthesis. Sci. Comput. Program. 77(4): 424-443 (2012)
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/RadjenovicPRWK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/RadjenovicPRWK12
Alek Radjenovic, Richard F. Paige, Louis M. Rose, Jim Woodcock, Steve King:
A Plug-in Based Approach for UML Model Simulation. ECMFA 2012: 328-339
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/sysose/WoodcockCFLMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sysose/WoodcockCFLMP12
Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen, Alvaro Miyazawa, Simon Perry:
Features of CML: A formal modelling language for Systems of Systems. SoSE 2012: 445-450
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/WoodcockB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/WoodcockB12
Jim Woodcock, Victor Bandur:
Unifying Theories of Undefinedness in UTP. UTP 2012: 1-22
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/WeiWC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/WeiWC12
Kun Wei, Jim Woodcock, Ana Cavalcanti:
Circus Time with Reactive Designs. UTP 2012: 68-87
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/WeiWB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/WeiWB12
Kun Wei, Jim Woodcock, Alan Burns:
Modelling Temporal Behaviour in Complex Systems with Timebands. Conquering Complexity 2012: 277-307
2011
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/PernaWSI11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/PernaWSI11
Juan Ignacio Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda:
Correct hardware synthesis - An algebraic approach. Acta Informatica 48(7-8): 363-396 (2011)
[j44]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/LiuW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/LiuW11
Zhiming Liu, Jim Woodcock:
Editorial. Formal Aspects Comput. 23(2): 151 (2011)
[j43]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/KroeningMW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/KroeningMW11
Daniel Kroening, Tiziana Margaria, Jim Woodcock:
Editorial. Formal Aspects Comput. 23(5): 585-588 (2011)
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/CavalcantiWW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/CavalcantiWW11
Ana Cavalcanti, Andy J. Wellings, Jim Woodcock:
The Safety-Critical Java Memory Model: A Formal Account. FM 2011: 246-261
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/WeiWB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/WeiWB11
Kun Wei, Jim Woodcock, Alan Burns:
Timed Circus: Timed CSP with the Miracle. ICECCS 2011: 55-64
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/SantosWP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/SantosWP11
Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige:
Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. ICECCS 2011: 117-126
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/jtres/CavalcantiWWWZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jtres/CavalcantiWWWZ11
Ana Cavalcanti, Andy J. Wellings, Jim Woodcock, Kun Wei, Frank Zeyda:
Safety-critical Java in Circus. JTRES 2011: 20-29
2010
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/WeiWB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/WeiWB10
Kun Wei, Jim Woodcock, Alan Burns:
A Timed Model of Circus with the Reactive Design Miracle. SEFM 2010: 315-319
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/ssiri/WoodcockOBW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssiri/WoodcockOBW10
Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei:
Modelling and Implementing Complex Systems with Timebands. SSIRI 2010: 1-13
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/WoodcockAC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/WoodcockAC10
Jim Woodcock, Emine Gökçe Aydal, Rod Chapman:
The Tokeneer Experiments. Reflections on the Work of C. A. R. Hoare 2010: 405-430
[e17]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/2010
Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock:
Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings. Lecture Notes in Computer Science 6255, Springer 2010, ISBN 978-3-642-14807-1 [contents]
[e16]
- view
  authority control:
- export record
  dblp key:
  - conf/psse/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psse/2007
Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures. Lecture Notes in Computer Science 6153, Springer 2010, ISBN 978-3-642-14334-2 [contents]
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/se/PaigeWBC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/se/PaigeWBC10
Richard F. Paige, Jim Woodcock, Phillip J. Brooke, Ana Cavalcanti:
Programming Phase: Formal Methods. Encyclopedia of Software Engineering 2010: 772-785
[i2]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/MatthewsSBJCW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/MatthewsSBJCW10
Brian Matthews, Arif Shaon, Juan Bicarregui, Catherine Mary Jones, Esther Conway, Jim Woodcock:
Considering Software Preservation. ERCIM News 2010(80) (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/WoodcockLBF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/WoodcockLBF09
Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald:
Formal methods: Practice and experience. ACM Comput. Surv. 41(4): 19:1-19:36 (2009)
[j41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/OliveiraCW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/OliveiraCW09
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
A UTP semantics for Circus. Formal Aspects Comput. 21(1-2): 3-32 (2009)
[j40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/FreitasW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/FreitasW09
Leo Freitas, Jim Woodcock:
FDR Explorer. Formal Aspects Comput. 21(1-2): 133-154 (2009)
[j39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/PaigeB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/PaigeB09
Richard F. Paige, Phillip J. Brooke, Jin Song Dong, J. C. P. Woodcock:
Editorial. Formal Aspects Comput. 21(4): 303 (2009)
[j38]
- view
  - electronic edition @ ijsi.org
  - no references & citations available
- export record
  dblp key:
  - journals/ijsi/FreitasW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsi/FreitasW09
Leo Freitas, Jim Woodcock:
A Chain Datatype in Z. Int. J. Softw. Informatics 3(2-3): 357-374 (2009)
[j37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FreitasWZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FreitasWZ09
Leo Freitas, Jim Woodcock, Yichi Zhang:
Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository. Sci. Comput. Program. 74(4): 197-218 (2009)
[j36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ButterfieldFW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ButterfieldFW09
Andrew Butterfield, Leo Freitas, Jim Woodcock:
Mechanising a formal model of flash memory. Sci. Comput. Program. 74(4): 219-237 (2009)
[j35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FreitasWF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FreitasWF09
Leo Freitas, Jim Woodcock, Zheng Fu:
POSIX file store in Z/Eves: An experiment in the verified software repository. Sci. Comput. Program. 74(4): 238-257 (2009)
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BicarreguiFLW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BicarreguiFLW09
Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock:
Industrial Practice in Formal Methods: A Review. FM 2009: 810-813
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/SantosWPK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/SantosWPK09
Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King:
The Use of Model Transformation in the INESS Project. FMCO 2009: 147-165
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/AydalPUW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/AydalPUW09
Emine Gokce Aydal, Richard F. Paige, Mark Utting, Jim Woodcock:
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. ICST 2009: 131-140
[c69]
- view
  - electronic edition via handle.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ipres/MatthewsCWJBS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipres/MatthewsCWJBS09
Brian Matthews, Esther Conway, Jim Woodcock, Catherine Mary Jones, Juan Bicarregui, Arif Shaon:
Towards a Methodology for Software Preservation. iPRES 2009
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/ButterfieldGW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/ButterfieldGW09
Andrew Butterfield, Pawel Gancarski, Jim Woodcock:
State Visibility and Communication in Unifying Theories of Programming. TASE 2009: 47-54
[e15]
- view
- export record
  dblp key:
  - conf/dagstuhl/2009P9381
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2009P9381
Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock:
Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. Dagstuhl Seminar Proceedings 09381, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents]
[e14]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2009
Marcel Vinícius Medeiros Oliveira, Jim Woodcock:
Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5902, Springer 2009, ISBN 978-3-642-10451-0 [contents]
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/AbrialBJTW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/AbrialBJTW09
Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock:
09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems. Refinement Based Methods for the Construction of Dependable Systems 2009
2008
[j34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/AydalPW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/AydalPW08
Emine Gokce Aydal, Richard F. Paige, Jim Woodcock:
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 9 (2008)
[j33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/JonesW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/JonesW08
Cliff B. Jones, Jim Woodcock:
Editorial. Formal Aspects Comput. 20(1): 1-3 (2008)
[j32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/WoodcockSCCJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/WoodcockSCCJ08
Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob:
The certification of the Mondex electronic purse to ITSEC Level E6. Formal Aspects Comput. 20(1): 5-19 (2008)
[j31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/FreitasW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/FreitasW08
Leo Freitas, Jim Woodcock:
Mechanising Mondex with Z/Eves. Formal Aspects Comput. 20(1): 117-139 (2008)
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/WoodcockB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/WoodcockB08
Jim Woodcock, Paul Boca:
ABZ2008 VSR-Net Workshop. ABZ 2008: 378-379
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/WoodcockF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/WoodcockF08
Jim Woodcock, Leo Freitas:
Linking VDM and Z. ICECCS 2008: 143-152
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/FreitasWB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/FreitasWB08
Leo Freitas, Jim Woodcock, Andrew Butterfield:
POSIX and the Verification Grand Challenge: A Roadmap. ICECCS 2008: 153-162
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/AydalPW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/AydalPW08
Emine Gokce Aydal, Richard F. Paige, Jim Woodcock:
Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation. ICST Workshops 2008: 11-20
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/HarwoodCW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/HarwoodCW08
Will Harwood, Ana Cavalcanti, Jim Woodcock:
A Theory of Pointers for the UTP. ICTAC 2008: 141-155
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/AydalUW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/AydalUW08
Emine Gokce Aydal, Mark Utting, Jim Woodcock:
A Comparison of State-Based Modelling Tools for Model Validation. TOOLS (46) 2008: 278-296
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/McEwanW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/McEwanW08
Alistair A. McEwan, Jim Woodcock:
Unifying Theories of Interrupts. UTP 2008: 122-141
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/PernaW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/PernaW08
Juan Ignacio Perna, Jim Woodcock:
UTP Semantics for Handel-C. UTP 2008: 142-160
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/Woodcock08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/Woodcock08
Jim Woodcock:
The Miracle of Reactive Programming. UTP 2008: 202-217
[c58]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PernaW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PernaW09
Juan Ignacio Perna, Jim Woodcock:
Mechanised Wire-wise Verification of Handel-C Synthesis. SBMF 2008: 201-219
[e13]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/2005
Bertrand Meyer, Jim Woodcock:
Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. Lecture Notes in Computer Science 4171, Springer 2008, ISBN 978-3-540-69147-1 [contents]
[e12]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/2008
Natarajan Shankar, Jim Woodcock:
Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings. Lecture Notes in Computer Science 5295, Springer 2008, ISBN 978-3-540-87872-8 [contents]
2007
[j30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/JonesW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/JonesW07
Cliff B. Jones, Jim Woodcock:
Editorial. Formal Aspects Comput. 19(4): 415-416 (2007)
[j29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/WoodcockB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/WoodcockB07
Jim Woodcock, Richard Banach:
The Verification Grand Challenge. J. Univers. Comput. Sci. 13(5): 661-668 (2007)
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FreitasW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FreitasW07
Leo Freitas, Jim Woodcock:
Proving Theorems About JML Classes. Formal Methods and Hybrid Real-Time Systems 2007: 255-279
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/FreitasFW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/FreitasFW07
Leo Freitas, Zheng Fu, Jim Woodcock:
POSIX file store in Z/Eves: an experiment in the verified software repository. ICECCS 2007: 3-14
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/ButterfieldW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/ButterfieldW07
Andrew Butterfield, Jim Woodcock:
Formalising Flash Memory: First Steps. ICECCS 2007: 251-260
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/FreitasMW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/FreitasMW07
Leo Freitas, Konstantinos Mokos, Jim Woodcock:
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. ICECCS 2007: 290-298
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/PernaW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/PernaW07
Juan Ignacio Perna, Jim Woodcock:
A Denotational Semantics for Handel-C Hardware Compilation. ICFEM 2007: 266-285
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/OliveiraW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/OliveiraW07
Marcel Oliveira, Jim Woodcock:
Automatic Generation of Verified Concurrent Hardware. ICFEM 2007: 286-306
[c51]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icsoft/AydalWC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/AydalWC07
Emine Gokce Aydal, Jim Woodcock, Ana Cavalcanti:
Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. ICSOFT (SE) 2007: 290-295
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/ButterfieldSW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/ButterfieldSW07
Andrew Butterfield, Adnan Sherif, Jim Woodcock:
Slotted-Circus. IFM 2007: 75-97
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/models/AydalPW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AydalPW07
Emine Gokce Aydal, Richard F. Paige, Jim Woodcock:
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. MoDELS (Workshops) 2007: 194-205
[e11]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/2007duration
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/2007duration
Chris George, Zhiming Liu, Jim Woodcock:
Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures. Lecture Notes in Computer Science 4710, Springer 2007, ISBN 978-3-540-74963-9 [contents]
[e10]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2007bz
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2007bz
Cliff B. Jones, Zhiming Liu, Jim Woodcock:
Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007. Lecture Notes in Computer Science 4700, Springer 2007, ISBN 978-3-540-75220-2 [contents]
[e9]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/2007
Cliff B. Jones, Zhiming Liu, Jim Woodcock:
Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4711, Springer 2007, ISBN 978-3-540-75290-5 [contents]
2006
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/JonesOW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/JonesOW06
Cliff B. Jones, Peter W. O'Hearn, Jim Woodcock:
Verified Software: A Grand Challenge. Computer 39(4): 93-95 (2006)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Woodcock06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Woodcock06
Jim Woodcock:
First Steps in the Verified Software Grand Challenge. Computer 39(10): 57-64 (2006)
[j26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BicarreguiHW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BicarreguiHW06
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock:
The verified software repository: a step towards the verifying compiler. Formal Aspects Comput. 18(2): 143-151 (2006)
[j25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/CavalcantiWD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/CavalcantiWD06
Ana Cavalcanti, Jim Woodcock, Steve Dunne:
Angelic nondeterminism in the unifying theories of programming. Formal Aspects Comput. 18(3): 288-307 (2006)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/FreitasWC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/FreitasWC06
Leo Freitas, Jim Woodcock, Ana Cavalcanti:
State-rich model checking. Innov. Syst. Softw. Eng. 2(1): 49-64 (2006)
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Woodcock06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Woodcock06
Jim Woodcock:
Verified Software Grand Challenge. FM 2006: 617-617
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/SchneiderTCW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/SchneiderTCW06
Steve A. Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock:
A Layered Behavioural Model of Platelets. ICECCS 2006: 98-106
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/FreitasCW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/FreitasCW06
Leo Freitas, Ana Cavalcanti, Jim Woodcock:
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. ICFEM 2006: 697-716
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/WoodcockF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/WoodcockF06
Jim Woodcock, Leo Freitas:
Z/Eves and the Mondex Electronic Purse. ICTAC 2006: 15-34
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/sew/Woodcock06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sew/Woodcock06
Jim Woodcock:
First Steps in the Verified Software Grand Challenge. SEW 2006: 203-206
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/Woodcock06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/Woodcock06
Jim Woodcock:
An Operational Semantics in UTP for a Language of Reactive Designs (Abstract). UTP 2006: 84-84
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/OliveiraCW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/OliveiraCW06
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
Unifying Theories in ProofPower-Z. UTP 2006: 123-140
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/CavalcantiHW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/CavalcantiHW06
Ana Cavalcanti, Will Harwood, Jim Woodcock:
Pointers and Records in the Unifying Theories of Programming. UTP 2006: 200-216
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/NukaW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/NukaW06
Gift Nuka, Jim Woodcock:
Mechanising a Unifying Theory. UTP 2006: 217-235
[c39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FreitasW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FreitasW07
Leo Freitas, Jim Woodcock:
FDR Explorer. Refine@ICFEM 2006: 19-34
[c38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/OliveiraCW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/OliveiraCW07
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
A Denotational Semantics for Circus. Refine@ICFEM 2006: 107-123
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/psse/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psse/2004
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures. Lecture Notes in Computer Science 3167, Springer 2006, ISBN 978-3-540-46253-8 [contents]
2005
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/OliveiraCW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/OliveiraCW05
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
Formal development of industrial-scale systems in Circus. Innov. Syst. Softw. Eng. 1(2): 125-146 (2005)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/CavalcantiSW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/CavalcantiSW05
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Unifying classes and processes. Softw. Syst. Model. 4(3): 277-296 (2005)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ButterfieldW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ButterfieldW05
Andrew Butterfield, Jim Woodcock:
prialt in Handel-C: an operational semantics. Int. J. Softw. Tools Technol. Transf. 7(3): 248-267 (2005)
[c37]
- view
  - electronic edition @ univ-paris12.fr
  - no references & citations available
- export record
  dblp key:
  - conf/asm/Woodcock05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Woodcock05
Jim Woodcock:
Unifying Program Refinement Calculi. Abstract State Machines 2005: 76
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/WoodcockCF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/WoodcockCF05
Jim Woodcock, Ana Cavalcanti, Leonardo Freitas:
Operational Semantics for Model Checking Circus. FM 2005: 237-252
[c35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AtiyaKW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AtiyaKW05
Diyaa-Addein Atiya, Steve King, Jim Woodcock:
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique. REFINE 2005: 5-22
[c34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CavalcantiW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CavalcantiW05
Ana Cavalcanti, Jim Woodcock:
Angelic Nondeterminism and Unifying Theories of Programming. REFINE 2005: 45-66
2004
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip/McEwanW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/McEwanW04
Alistair A. McEwan, J. C. P. Woodcock:
A refinement based approach to calculating a fault tolerant railway signal device. IFIP Congress Topical Sessions 2004: 621-627
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/WoodcockC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/WoodcockC04
Jim Woodcock, Ana Cavalcanti:
A Tutorial Introduction to Designs in Unifying Theories of Programming. IFM 2004: 40-66
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/TangW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/TangW04
Xinbei Tang, Jim Woodcock:
Travelling Processes. MPC 2004: 381-399
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/psse/CavalcantiSW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psse/CavalcantiSW04
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Refinement: An overview. PSSE 2004: 1-17
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/psse/CavalcantiW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psse/CavalcantiW04
Ana Cavalcanti, Jim Woodcock:
A Tutorial Introduction to CSP in Unifying Theories of Programming. PSSE 2004: 220-268
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/TangW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/TangW04
Xinbei Tang, Jim Woodcock:
Towards Mobile Processes in Unifying Theories. SEFM 2004: 44-53
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ButterfieldW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ButterfieldW06
Andrew Butterfield, Jim Woodcock:
A "Hardware Compiler" Semantics for Handel-C. MFCSIT 2004: 73-90
2003
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/OliveiraCW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/OliveiraCW03
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
ArcAngel: a Tactic Language for Refinement. Formal Aspects Comput. 15(1): 28-47 (2003)
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/CavalcantiSW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/CavalcantiSW03
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
A Refinement Strategy for Circus. Formal Aspects Comput. 15(2-3): 146-181 (2003)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/CavalcantiW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/CavalcantiW03
Ana Cavalcanti, Jim Woodcock:
Predicate transformers in the semantics of Circus. IEE Proc. Softw. 150(2): 85-94 (2003)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AtiyaKW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AtiyaKW03
Diyaa-Addein Atiya, Steve King, Jim Woodcock:
A Circus Semantics for Ravenscar Protected Objects. FME 2003: 617-635
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Woodcock04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Woodcock04
Jim Woodcock:
Using Circus for Safety-critical Applications. WMF 2003: 3-22
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NukaW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NukaW04
Gift Nuka, Jim Woodcock:
Mechanising the Alphabetised Relational Calculus. WMF 2003: 209-225
[c23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ButterfieldW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ButterfieldW03
Andrew Butterfield, Jim Woodcock:
An Operational Semantics for Handel-C. FMICS 2003: 235-250
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/2003
Jin Song Dong, Jim Woodcock:
Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings. Lecture Notes in Computer Science 2885, Springer 2003, ISBN 3-540-20461-X [contents]
2002
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/SampaioWC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/SampaioWC02
Augusto Sampaio, Jim Woodcock, Ana Cavalcanti:
Refinement in Circus. FME 2002: 451-470
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/WoodcockH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/WoodcockH02
Jim Woodcock, Arthur P. Hughes:
Unifying Theories of Parallel Programming. ICFEM 2002: 24-37
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/WoodcockC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/WoodcockC02
Jim Woodcock, Ana Cavalcanti:
The Semantics of Circus. ZB 2002: 184-203
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ButterfieldW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ButterfieldW02
Andrew Butterfield, Jim Woodcock:
Semantic domains for Handel-C. MFCSIT 2002: 1-20
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DerrickBWW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DerrickBWW02
John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright:
Preface. Refine 2002: 1-2
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CavalcantiSW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CavalcantiSW02
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Refinement of actions in Circus. Refine 2002: 132-162
[e6]
- view
- export record
  dblp key:
  - conf/refine/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/2002
John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright:
BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002. Electronic Notes in Theoretical Computer Science 70(3), Elsevier 2002 [contents]
2001
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/WoodcockC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/WoodcockC01
Jim Woodcock, Ana Cavalcanti:
The Steam Boiler in a Unified Theory of Z and CSP. APSEC 2001: 291-298
[c15]
- view
  - electronic edition @ bcs.org
  - no references & citations available
- export record
  dblp key:
  - conf/iwfm/WoodcockC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/WoodcockC01
Jim Woodcock, Ana Cavalcanti:
A Concurrent Language for Refinement. IWFM 2001
2000
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/WingW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/WingW00
Jeannette M. Wing, Jim Woodcock:
The First World Congress on Formal Methods in the Development of Computing Systems. Formal Aspects Comput. 12(3): 145-146 (2000)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/WingW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/WingW00
Jeannette M. Wing, Jim Woodcock:
Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems. Formal Methods Syst. Des. 17(3): 199-200 (2000)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/WingW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/WingW00
Jeannette M. Wing, Jim Woodcock:
Guest Editors' Introduction-Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems. IEEE Trans. Software Eng. 26(8): 673-674 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CavalcantiSW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CavalcantiSW99
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus. Sci. Comput. Program. 33(1): 87-96 (1999)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BoltonDW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BoltonDW99
Christie Bolton, Jim Davies, Jim Woodcock:
On the Refinement and Simulation of Data Types and Processes. IFM 1999: 273-292
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/CrichtonDW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/CrichtonDW99
Charles Crichton, Jim Davies, Jim Woodcock:
When to Trust Mobile Objects: Access Control in the Jini(tm) Software System. TOOLS (30) 1999: 116-125
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/1999-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/1999-1
Jeannette M. Wing, Jim Woodcock, Jim Davies:
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I. Lecture Notes in Computer Science 1708, Springer 1999, ISBN 3-540-66587-0 [contents]
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/1999-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/1999-2
Jeannette M. Wing, Jim Woodcock, Jim Davies:
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II. Lecture Notes in Computer Science 1709, Springer 1999, ISBN 3-540-66588-9 [contents]
1998
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/CavalcantiW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/CavalcantiW98
Ana Cavalcanti, Jim Woodcock:
A Weakest Precondition Semantics for Z. Comput. J. 41(1): 1-15 (1998)
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/CavalcantiW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/CavalcantiW98
Ana Cavalcanti, Jim Woodcock:
ZRC - A Refinement Calculus for Z. Formal Aspects Comput. 10(3): 267-289 (1998)
[j11]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/jbcs/CavalcantiSW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jbcs/CavalcantiSW98
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Procedures and Recursion in the Refinement Calculus. J. Braz. Comput. Soc. 5(1) (1998)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/iwssd/SimpsonWD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwssd/SimpsonWD98
Andrew Simpson, Jim Woodcock, Jim Davies:
Safety through Security. IWSSD 1998: 18-24
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/StepneyCW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/StepneyCW98
Susan Stepney, David Cooper, Jim Woodcock:
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. ZUM 1998: 284-307
1996
[b1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0072139
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0072139
J. C. P. Woodcock, Jim Davies:
Using Z - specification, refinement, and proof. Prentice Hall international series in computer science, Prentice Hall 1996, ISBN 978-0-13-948472-8, pp. I-XVI, 1-386
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/Woodcock96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/Woodcock96
Jim Woodcock:
Software Engineering Research Directions. ACM Comput. Surv. 28(4es): 128 (1996)
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/MartinGW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/MartinGW96
Andrew P. Martin, Paul H. B. Gardiner, Jim Woodcock:
A Tactic Calculus-Abridged Version. Formal Aspects Comput. 8(4): 479-489 (1996)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/RoscoeWW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/RoscoeWW96
A. W. Roscoe, Jim Woodcock, Lars Wulf:
Non-interference through Determinism. J. Comput. Secur. 4(1): 27-54 (1996)
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/1996
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/1996
Marie-Claude Gaudel, Jim Woodcock:
FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings. Lecture Notes in Computer Science 1051, Springer 1996, ISBN 3-540-60973-3 [contents]
1995
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/SinclairW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/SinclairW95
Jane E. Sinclair, Jim Woodcock:
Event Refinement in State-Based Concurrent Systems. Formal Aspects Comput. 7(3): 266-288 (1995)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/WoodcockL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/WoodcockL95
Jim Woodcock, Peter Gorm Larsen:
Introduction to Special Section (Guest Editorial). IEEE Trans. Software Eng. 21(2): 61-62 (1995)
1994
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/RoscoeWW94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/RoscoeWW94
A. W. Roscoe, Jim Woodcock, Lars Wulf:
Non-Interference Through Determinism. ESORICS 1994: 33-53
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/WoodcockGH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/WoodcockGH94
Jim Woodcock, Paul H. B. Gardiner, J. R. Hulance:
The Formal Specification in Z of Defence Standard 00-56. Z User Workshop 1994: 9-28
1993
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/1993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/1993
Jim Woodcock, Peter Gorm Larsen:
FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings. Lecture Notes in Computer Science 670, Springer 1993, ISBN 3-540-56662-7 [contents]
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/1992
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/1992
Richard S. Bird, Carroll Morgan, Jim Woodcock:
Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29 - July 3, 1992, Proceedings. Lecture Notes in Computer Science 669, Springer 1993, ISBN 3-540-56625-2 [contents]
1992
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/Woodcock92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/Woodcock92
Jim Woodcock:
The Rudiments of Algorithm Refinement. Comput. J. 35(5): 441-450 (1992)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/refine/Woodcock92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/Woodcock92
J. C. P. Woodcock:
Implementing Promoted Operations in Z. Refine 1992: 367-378
1991
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Woodcock91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Woodcock91
Jim Woodcock:
A Tutorial on the Refinement Calculus. VDM Europe (2) 1991: 79-140
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fm/Woodcock91a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Woodcock91a
Jim Woodcock:
The Refinement Calculus. VDM Europe (2) 1991: 80-95
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fm/Woodcock91b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Woodcock91b
Jim Woodcock:
An Introduction to Refinement in Z. VDM Europe (2) 1991: 96-117
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fm/Woodcock91c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Woodcock91c
Jim Woodcock:
Two Refinement Case Studies. VDM Europe (2) 1991: 118-140
1990
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/WoodcockM90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/WoodcockM90
Jim Woodcock, Carroll Morgan:
Refinement of State-Based Concurrent Systems. VDM Europe 1990: 340-351
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/zum/GardinerLW90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/GardinerLW90
Paul H. B. Gardiner, P. J. Lupton, Jim Woodcock:
A Simpler Semantics for Z. Z User Workshop 1990: 3-11

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/Woodcock89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/Woodcock89
J. C. P. Woodcock:
Structuring specifications in Z. Softw. Eng. J. 4(1): 51-66 (1989)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/Woodcock89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/Woodcock89
J. C. P. Woodcock:
Properties of Z specifications. ACM SIGSOFT Softw. Eng. Notes 14(5): 43-54 (1989)
1988
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/Woodcock88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/Woodcock88
J. C. P. Woodcock:
Formalisms. ACM SIGSOFT Softw. Eng. Notes 13(1): 30-32 (1988)
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/WoodcockD88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/WoodcockD88
Jim Woodcock, B. Dickinson:
Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project. VDM Europe 1988: 434-458
1987
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/SufrinW87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/SufrinW87
Bernard Sufrin, Jim Woodcock:
Towards the formal specification of a simple programming support environment. Softw. Eng. J. 2(4): 86-94 (1987)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.