default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJim Woodcock 0001
J. C. P. Woodcock
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
- 2024
[j79]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]Kangfeng Ye, Simon Foster, Jim Woodcock:
Formally verified animation for RoboChart using interaction trees. J. Log. Algebraic Methods Program. 137: 100940 (2024) - [j77]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) - [i21]Kangfeng Ye, Jim Woodcock:
RoboCertProb: Property Specification for Probabilistic RoboChart Models. CoRR abs/2403.08136 (2024) - [i20]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]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]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]Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
A manifesto for applicable formal methods. Softw. Syst. Model. 22(6): 1737-1749 (2023) - [c133]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]Jim Woodcock:
Towards a Unifying Framework for Uncertainty in Cyber-Physical Systems. Applicable Formal Methods for Safe Industrial Products 2023: 237-253 - [c131]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]Ziggy Attala, Ana Cavalcanti, Jim Woodcock:
Modelling and Verifying Robotic Software that Uses Neural Networks. ICTAC 2023: 15-35 - [i19]Kangfeng Ye, Simon Foster, Jim Woodcock:
Formally Verified Animation for RoboChart using Interaction Trees. CoRR abs/2303.09106 (2023) - [i18]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]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]Lex Bailey, Jim Woodcock, Simon Foster, Roberto Metere:
Checking and Automating Confidentiality Theory in Isabelle/UTP. CoRR abs/2310.10658 (2023) - 2022
- [j73]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]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]Kangfeng Ye, Simon Foster, Jim Woodcock:
Formally Verified Animation for RoboChart Using Interaction Trees. ICFEM 2022: 404-420 - [c128]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]Thomas Wright, Cláudio Gomes, Jim Woodcock:
Formally Verified Self-adaptation of an Incubator Digital Twin. ISoLA (4) 2022: 89-109 - [i15]Pedro Antonino, Augusto Sampaio, Jim Woodcock:
A Pattern-based deadlock-freedom analysis strategy for concurrent systems. CoRR abs/2207.08854 (2022) - 2021
- [j71]Xiaoping Chen, Zhiming Liu, Ji Wang, Jim Woodcock:
Editorial. Formal Aspects Comput. 33(3): 299-300 (2021) - [j70]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]Mario Gleirscher, Radu Calinescu, Jim Woodcock:
RiskStructures: A design algebra for risk-aware machines. Formal Aspects Comput. 33(4-5): 763-802 (2021) - [j68]Alessandro Fantechi, Anne E. Haxthausen, Jim Woodcock:
Editorial. Formal Aspects Comput. 33(6): 923-924 (2021) - [j67]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]Kangfeng Ye, Simon Foster, Jim Woodcock:
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving. RAMiCS 2021: 465-482 - [c125]Lukas Esterle, Barry Porter, Jim Woodcock:
Verification and Uncertainties in Self-integrating System. ACSOS-C 2021: 220-225 - [c124]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]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]Jim Woodcock, Janet Barnes, Rod Chapman, Simon Foster, Thomas Santen:
Verification in the Grand Challenge. Theories of Programming 2021: 125-156 - [p6]Jim Woodcock:
Hoare and He's Unifying Theories of Programming. Theories of Programming 2021: 285-316 - [e22]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]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]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]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]Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
A Manifesto for Applicable Formal Methods. CoRR abs/2112.12758 (2021) - 2020
- [j66]Mario Gleirscher, Simon Foster, Jim Woodcock:
New Opportunities for Integrated Formal Methods. ACM Comput. Surv. 52(6): 117:1-117:36 (2020) - [j65]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]Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda:
Unifying theories of reactive design contracts. Theor. Comput. Sci. 802: 105-140 (2020) - [j63]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]John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock:
Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) 2020: 49-53 - [c121]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]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning Safe Neural Network Controllers with Barrier Certificates. SETTA 2020: 177-185 - [i11]Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Automated Verification of Reactive and Concurrent Programs by Calculation. CoRR abs/2007.13529 (2020) - [i10]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
- 2019
- [j62]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]Tony Hoare, Georg Struth, Jim Woodcock:
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic. UTP 2019: 3-21 - [c118]Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye:
Probabilistic Semantics for RoboChart - A Weakest Completion Approach. UTP 2019: 80-105 - [d1]Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Automated Verification of Reactive and Concurrent Programs by Calculation, supporting material. Zenodo, 2019
- [i9]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]Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying theories of time with generalised reactive processes. Inf. Process. Lett. 135: 47-52 (2018) - [c117]Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. RAMiCS 2018: 205-224 - [c116]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]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]Madiel S. Conserva Filho, R. Marinho, Alexandre Mota, Jim Woodcock:
Analysing RoboChart with Probabilities. SBMF 2018: 198-214 - [i8]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]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]Mario Gleirscher, Simon Foster, Jim Woodcock:
Assuring Autonomous Systems: Opportunities for Integrated Formal Methods? CoRR abs/1812.10103 (2018) - 2017
- [j60]Roderick Chapman, Neil White, Jim Woodcock:
What can agile methods bring to high-integrity software development? Commun. ACM 60(10): 38-41 (2017) - [j59]Maurizio Proietti, Hirohisa Seki, Jim Woodcock:
Editorial. Formal Aspects Comput. 29(1): 1-2 (2017) - [j58]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]Simon Foster, Jim Woodcock:
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. Concurrency, Security, and Puzzles 2017: 39-64 - [c112]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]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]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]Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying Theories of Timed with Generalised Reactive Processes. CoRR abs/1712.10213 (2017) - [i3]Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda:
Unifying Theories of Reactive Design Contracts. CoRR abs/1712.10233 (2017) - 2016
- [c111]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]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]Nuno Amálio, Richard John Payne, Ana Cavalcanti, Jim Woodcock:
Checking SysML Models for Co-simulation. ICFEM 2016: 450-465 - [c108]Ana Cavalcanti, Jim Woodcock, Nuno Amálio:
Behavioural Models for FMI Co-simulations. ICTAC 2016: 255-273 - [c107]Simon Foster, Frank Zeyda, Jim Woodcock:
Unifying Heterogeneous State-Spaces with Lenses. ICTAC 2016: 295-314 - [c106]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]Jim Woodcock, Simon Foster, Andrew Butterfield:
Heterogeneous Semantics and Unifying Theories. ISoLA (1) 2016: 374-394 - [c104]Jim Woodcock, Simon Foster:
UTP by Example: Designs. SETSS 2016: 16-50 - [c103]Ana Cavalcanti, Alvaro Miyazawa, Andy J. Wellings, Jim Woodcock, Shuai Zhao:
Java in the Safety-Critical Domain. SETSS 2016: 110-150 - [c102]Simon Foster, Bernhard Thiele, Ana Cavalcanti, Jim Woodcock:
Towards a UTP Semantics for Modelica. UTP 2016: 44-64 - [c101]Gerard Ekembe Ngondi, Jim Woodcock:
UTP Semantics of Reactive Processes with Continuations. UTP 2016: 114-133 - [c100]Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock:
A Stepwise Approach to Linking Theories. UTP 2016: 134-154 - 2015
- [j57]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]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]Jim Woodcock, Cliff B. Jones:
Editorial. Formal Aspects Comput. 27(5-6): 751-752 (2015) - [j54]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]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]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]Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock:
CSP and Kripke Structures. ICTAC 2015: 505-523 - [c96]Jim Woodcock, Andy J. Wellings, Ana Cavalcanti:
Mobile CSP. SBMF 2015: 39-55 - [p4]Simon Foster, Jim Woodcock:
Mechanised Theory Engineering in Isabelle. Dependable Software Systems Engineering 2015: 246-287 - 2014
- [j53]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]James Mistry, Matthew Naylor, Jim Woodcock:
Adapting FreeRTOS for multicores: an experience report. Softw. Pract. Exp. 44(9): 1129-1154 (2014) - [c95]Jim Woodcock:
Engineering UToPiA - Formal Semantics for CML. FM 2014: 22-41 - [c94]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]Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen:
Contracts in CML. ISoLA (2) 2014: 54-73 - [c92]Alexandre Mota, Adalberto Farias, André Didier, Jim Woodcock:
Rapid Prototyping of a Semantically Well Founded Circus Model Checker. SEFM 2014: 235-249 - [c91]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]Samuel Canham, Jim Woodcock:
Three Approaches to Timed External Choice in UTP. UTP 2014: 1-20 - [c89]Simon Foster, Frank Zeyda, Jim Woodcock:
Isabelle/UTP: A Mechanised Theory Engineering Framework. UTP 2014: 21-41 - [c88]Kun Wei, Jim Woodcock:
Towards Algebraic Semantics of Circus Time. UTP 2014: 84-104 - 2013
- [j51]Ana Cavalcanti, Andy J. Wellings, Jim Woodcock:
The Safety-Critical Java memory model formalised. Formal Aspects Comput. 25(1): 37-57 (2013) - [j50]Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
Unifying theories in ProofPower-Z. Formal Aspects Comput. 25(1): 133-158 (2013) - [j49]Kun Wei, Jim Woodcock, Alan Burns:
Modelling temporal behaviour in complex systems with Timebands. Formal Methods Syst. Des. 43(3): 520-551 (2013) - [j48]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]Ana Cavalcanti, Alexandre Mota, Jim Woodcock:
Simulink Timed Models for Program Verification. Theories of Programming and Formal Methods 2013: 82-99 - [c86]John S. Fitzgerald, Peter Gorm Larsen, Jim Woodcock:
Foundations for Model-Based Engineering of Systems of Systems. CSDM 2013: 1-19 - [c85]Simon Foster, Jim Woodcock:
Unifying Theories of Programming in Isabelle. ICTAC Training School on Software Engineering 2013: 109-155 - [c84]Victor Bandur, Jim Woodcock:
Unifying Theories of Logic and Specification. SBMF 2013: 18-33 - [c83]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]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]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]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]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]Jim Woodcock:
Editorial. Formal Aspects Comput. 24(3): 303 (2012) - [j46]Juan Ignacio Perna, Jim Woodcock:
Mechanised wire-wise verification of Handel-C synthesis. Sci. Comput. Program. 77(4): 424-443 (2012) - [c82]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]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]Jim Woodcock, Victor Bandur:
Unifying Theories of Undefinedness in UTP. UTP 2012: 1-22 - [c79]Kun Wei, Jim Woodcock, Ana Cavalcanti:
Circus Time with Reactive Designs. UTP 2012: 68-87 - [p2]Kun Wei, Jim Woodcock, Alan Burns:
Modelling Temporal Behaviour in Complex Systems with Timebands. Conquering Complexity 2012: 277-307 - 2011
- [j45]Juan Ignacio Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda:
Correct hardware synthesis - An algebraic approach. Acta Informatica 48(7-8): 363-396 (2011) - [j44]Zhiming Liu, Jim Woodcock:
Editorial. Formal Aspects Comput. 23(2): 151 (2011) - [j43]Daniel Kroening, Tiziana Margaria, Jim Woodcock:
Editorial. Formal Aspects Comput. 23(5): 585-588 (2011) - [c78]Ana Cavalcanti, Andy J. Wellings, Jim Woodcock:
The Safety-Critical Java Memory Model: A Formal Account. FM 2011: 246-261 - [c77]Kun Wei, Jim Woodcock, Alan Burns:
Timed Circus: Timed CSP with the Miracle. ICECCS 2011: 55-64 - [c76]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]Ana Cavalcanti, Andy J. Wellings, Jim Woodcock, Kun Wei, Frank Zeyda:
Safety-critical Java in Circus. JTRES 2011: 20-29 - 2010
- [c74]Kun Wei, Jim Woodcock, Alan Burns:
A Timed Model of Circus with the Reactive Design Miracle. SEFM 2010: 315-319 - [c73]Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei:
Modelling and Implementing Complex Systems with Timebands. SSIRI 2010: 1-13 - [p1]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]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]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]Richard F. Paige, Jim Woodcock, Phillip J. Brooke, Ana Cavalcanti:
Programming Phase: Formal Methods. Encyclopedia of Software Engineering 2010: 772-785 - [i2]Brian Matthews, Arif Shaon, Juan Bicarregui, Catherine Mary Jones, Esther Conway, Jim Woodcock:
Considering Software Preservation. ERCIM News 2010(80) (2010)
2000 – 2009
- 2009
- [j42]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]Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
A UTP semantics for Circus. Formal Aspects Comput. 21(1-2): 3-32 (2009) - [j40]Leo Freitas, Jim Woodcock:
FDR Explorer. Formal Aspects Comput. 21(1-2): 133-154 (2009) - [j39]Richard F. Paige, Phillip J. Brooke, Jin Song Dong, J. C. P. Woodcock:
Editorial. Formal Aspects Comput. 21(4): 303 (2009) - [j38]Leo Freitas, Jim Woodcock:
A Chain Datatype in Z. Int. J. Softw. Informatics 3(2-3): 357-374 (2009) - [j37]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]Andrew Butterfield, Leo Freitas, Jim Woodcock:
Mechanising a formal model of flash memory. Sci. Comput. Program. 74(4): 219-237 (2009) - [j35]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]Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock:
Industrial Practice in Formal Methods: A Review. FM 2009: 810-813 - [c71]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]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]Brian Matthews, Esther Conway, Jim Woodcock, Catherine Mary Jones, Juan Bicarregui, Arif Shaon:
Towards a Methodology for Software Preservation. iPRES 2009 - [c68]Andrew Butterfield, Pawel Gancarski, Jim Woodcock:
State Visibility and Communication in Unifying Theories of Programming. TASE 2009: 47-54 - [e15]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]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]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]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]Cliff B. Jones, Jim Woodcock:
Editorial. Formal Aspects Comput. 20(1): 1-3 (2008) - [j32]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]Leo Freitas, Jim Woodcock:
Mechanising Mondex with Z/Eves. Formal Aspects Comput. 20(1): 117-139 (2008) - [c67]Jim Woodcock, Paul Boca:
ABZ2008 VSR-Net Workshop. ABZ 2008: 378-379 - [c66]Jim Woodcock, Leo Freitas:
Linking VDM and Z. ICECCS 2008: 143-152 - [c65]Leo Freitas, Jim Woodcock, Andrew Butterfield:
POSIX and the Verification Grand Challenge: A Roadmap. ICECCS 2008: 153-162 - [c64]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]Will Harwood, Ana Cavalcanti, Jim Woodcock:
A Theory of Pointers for the UTP. ICTAC 2008: 141-155 - [c62]Emine Gokce Aydal, Mark Utting, Jim Woodcock:
A Comparison of State-Based Modelling Tools for Model Validation. TOOLS (46) 2008: 278-296 - [c61]Alistair A. McEwan, Jim Woodcock:
Unifying Theories of Interrupts. UTP 2008: 122-141 - [c60]Juan Ignacio Perna, Jim Woodcock:
UTP Semantics for Handel-C. UTP 2008: 142-160 - [c59]Jim Woodcock:
The Miracle of Reactive Programming. UTP 2008: 202-217 - [c58]Juan Ignacio Perna, Jim Woodcock:
Mechanised Wire-wise Verification of Handel-C Synthesis. SBMF 2008: 201-219 - [e13]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]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]Cliff B. Jones, Jim Woodcock:
Editorial. Formal Aspects Comput. 19(4): 415-416 (2007) - [j29]Jim Woodcock, Richard Banach:
The Verification Grand Challenge. J. Univers. Comput. Sci. 13(5): 661-668 (2007) - [c57]Leo Freitas, Jim Woodcock:
Proving Theorems About JML Classes. Formal Methods and Hybrid Real-Time Systems 2007: 255-279 - [c56]Leo Freitas, Zheng Fu, Jim Woodcock:
POSIX file store in Z/Eves: an experiment in the verified software repository. ICECCS 2007: 3-14 - [c55]Andrew Butterfield, Jim Woodcock:
Formalising Flash Memory: First Steps. ICECCS 2007: 251-260 - [c54]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]Juan Ignacio Perna, Jim Woodcock:
A Denotational Semantics for Handel-C Hardware Compilation. ICFEM 2007: 266-285 - [c52]Marcel Oliveira, Jim Woodcock:
Automatic Generation of Verified Concurrent Hardware. ICFEM 2007: 286-306 - [c51]Emine Gokce Aydal, Jim Woodcock, Ana Cavalcanti:
Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. ICSOFT (SE) 2007: 290-295 - [c50]Andrew Butterfield, Adnan Sherif, Jim Woodcock:
Slotted-Circus. IFM 2007: 75-97 - [c49]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]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]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]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]Cliff B. Jones, Peter W. O'Hearn, Jim Woodcock:
Verified Software: A Grand Challenge. Computer 39(4): 93-95 (2006) - [j27]Jim Woodcock:
First Steps in the Verified Software Grand Challenge. Computer 39(10): 57-64 (2006) - [j26]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]Ana Cavalcanti, Jim Woodcock, Steve Dunne:
Angelic nondeterminism in the unifying theories of programming. Formal Aspects Comput. 18(3): 288-307 (2006) - [j24]Leo Freitas, Jim Woodcock, Ana Cavalcanti:
State-rich model checking. Innov. Syst. Softw. Eng. 2(1): 49-64 (2006) - [c48]Jim Woodcock:
Verified Software Grand Challenge. FM 2006: 617-617 - [c47]Steve A. Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock:
A Layered Behavioural Model of Platelets. ICECCS 2006: 98-106 - [c46]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]Jim Woodcock, Leo Freitas:
Z/Eves and the Mondex Electronic Purse. ICTAC 2006: 15-34 - [c44]Jim Woodcock:
First Steps in the Verified Software Grand Challenge. SEW 2006: 203-206 - [c43]Jim Woodcock:
An Operational Semantics in UTP for a Language of Reactive Designs (Abstract). UTP 2006: 84-84 - [c42]Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
Unifying Theories in ProofPower-Z. UTP 2006: 123-140 - [c41]Ana Cavalcanti, Will Harwood, Jim Woodcock:
Pointers and Records in the Unifying Theories of Programming. UTP 2006: 200-216 - [c40]Gift Nuka, Jim Woodcock:
Mechanising a Unifying Theory. UTP 2006: 217-235 - [c39]Leo Freitas, Jim Woodcock:
FDR Explorer. Refine@ICFEM 2006: 19-34 - [c38]Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
A Denotational Semantics for Circus. Refine@ICFEM 2006: 107-123 - [e8]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]Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
Formal development of industrial-scale systems in Circus. Innov. Syst. Softw. Eng. 1(2): 125-146 (2005) - [j22]Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Unifying classes and processes. Softw. Syst. Model. 4(3): 277-296 (2005) - [j21]Andrew Butterfield, Jim Woodcock:
prialt in Handel-C: an operational semantics. Int. J. Softw. Tools Technol. Transf. 7(3): 248-267 (2005) - [c37]Jim Woodcock:
Unifying Program Refinement Calculi. Abstract State Machines 2005: 76 - [c36]Jim Woodcock, Ana Cavalcanti, Leonardo Freitas:
Operational Semantics for Model Checking Circus. FM 2005: 237-252 - [c35]Diyaa-Addein Atiya, Steve King, Jim Woodcock:
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique. REFINE 2005: 5-22 - [c34]Ana Cavalcanti, Jim Woodcock:
Angelic Nondeterminism and Unifying Theories of Programming. REFINE 2005: 45-66 - 2004
- [c33]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]Jim Woodcock, Ana Cavalcanti:
A Tutorial Introduction to Designs in Unifying Theories of Programming. IFM 2004: 40-66 - [c31]Xinbei Tang, Jim Woodcock:
Travelling Processes. MPC 2004: 381-399 - [c30]Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Refinement: An overview. PSSE 2004: 1-17 - [c29]Ana Cavalcanti, Jim Woodcock:
A Tutorial Introduction to CSP in Unifying Theories of Programming. PSSE 2004: 220-268 - [c28]Xinbei Tang, Jim Woodcock:
Towards Mobile Processes in Unifying Theories. SEFM 2004: 44-53 - [c27]Andrew Butterfield, Jim Woodcock:
A "Hardware Compiler" Semantics for Handel-C. MFCSIT 2004: 73-90 - 2003
- [j20]Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
ArcAngel: a Tactic Language for Refinement. Formal Aspects Comput. 15(1): 28-47 (2003) - [j19]Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
A Refinement Strategy for Circus. Formal Aspects Comput. 15(2-3): 146-181 (2003) - [j18]Ana Cavalcanti, Jim Woodcock:
Predicate transformers in the semantics of Circus. IEE Proc. Softw. 150(2): 85-94 (2003) - [c26]Diyaa-Addein Atiya, Steve King, Jim Woodcock:
A Circus Semantics for Ravenscar Protected Objects. FME 2003: 617-635 - [c25]Jim Woodcock:
Using Circus for Safety-critical Applications. WMF 2003: 3-22 - [c24]Gift Nuka, Jim Woodcock:
Mechanising the Alphabetised Relational Calculus. WMF 2003: 209-225 - [c23]Andrew Butterfield, Jim Woodcock:
An Operational Semantics for Handel-C. FMICS 2003: 235-250 - [e7]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]Augusto Sampaio, Jim Woodcock, Ana Cavalcanti:
Refinement in Circus. FME 2002: 451-470 - [c21]Jim Woodcock, Arthur P. Hughes:
Unifying Theories of Parallel Programming. ICFEM 2002: 24-37 - [c20]Jim Woodcock, Ana Cavalcanti:
The Semantics of Circus. ZB 2002: 184-203 - [c19]Andrew Butterfield, Jim Woodcock:
Semantic domains for Handel-C. MFCSIT 2002: 1-20 - [c18]John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright:
Preface. Refine 2002: 1-2 - [c17]Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Refinement of actions in Circus. Refine 2002: 132-162 - [e6]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]Jim Woodcock, Ana Cavalcanti:
The Steam Boiler in a Unified Theory of Z and CSP. APSEC 2001: 291-298 - [c15]Jim Woodcock, Ana Cavalcanti:
A Concurrent Language for Refinement. IWFM 2001 - 2000
- [j17]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]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]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
- 1999
- [j14]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]Christie Bolton, Jim Davies, Jim Woodcock:
On the Refinement and Simulation of Data Types and Processes. IFM 1999: 273-292 - [c13]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]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]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]Ana Cavalcanti, Jim Woodcock:
A Weakest Precondition Semantics for Z. Comput. J. 41(1): 1-15 (1998) - [j12]Ana Cavalcanti, Jim Woodcock:
ZRC - A Refinement Calculus for Z. Formal Aspects Comput. 10(3): 267-289 (1998) - [j11]Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Procedures and Recursion in the Refinement Calculus. J. Braz. Comput. Soc. 5(1) (1998) - [c12]Andrew Simpson, Jim Woodcock, Jim Davies:
Safety through Security. IWSSD 1998: 18-24 - [c11]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]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]Jim Woodcock:
Software Engineering Research Directions. ACM Comput. Surv. 28(4es): 128 (1996) - [j9]Andrew P. Martin, Paul H. B. Gardiner, Jim Woodcock:
A Tactic Calculus-Abridged Version. Formal Aspects Comput. 8(4): 479-489 (1996) - [j8]A. W. Roscoe, Jim Woodcock, Lars Wulf:
Non-interference through Determinism. J. Comput. Secur. 4(1): 27-54 (1996) - [e3]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]Jane E. Sinclair, Jim Woodcock:
Event Refinement in State-Based Concurrent Systems. Formal Aspects Comput. 7(3): 266-288 (1995) - [j6]Jim Woodcock, Peter Gorm Larsen:
Introduction to Special Section (Guest Editorial). IEEE Trans. Software Eng. 21(2): 61-62 (1995) - 1994
- [c10]A. W. Roscoe, Jim Woodcock, Lars Wulf:
Non-Interference Through Determinism. ESORICS 1994: 33-53 - [c9]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]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]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]Jim Woodcock:
The Rudiments of Algorithm Refinement. Comput. J. 35(5): 441-450 (1992) - [c8]J. C. P. Woodcock:
Implementing Promoted Operations in Z. Refine 1992: 367-378 - 1991
- [c7]Jim Woodcock:
A Tutorial on the Refinement Calculus. VDM Europe (2) 1991: 79-140 - [c6]Jim Woodcock:
The Refinement Calculus. VDM Europe (2) 1991: 80-95 - [c5]Jim Woodcock:
An Introduction to Refinement in Z. VDM Europe (2) 1991: 96-117 - [c4]Jim Woodcock:
Two Refinement Case Studies. VDM Europe (2) 1991: 118-140 - 1990
- [c3]Jim Woodcock, Carroll Morgan:
Refinement of State-Based Concurrent Systems. VDM Europe 1990: 340-351 - [c2]Paul H. B. Gardiner, P. J. Lupton, Jim Woodcock:
A Simpler Semantics for Z. Z User Workshop 1990: 3-11
1980 – 1989
- 1989
- [j4]J. C. P. Woodcock:
Structuring specifications in Z. Softw. Eng. J. 4(1): 51-66 (1989) - [j3]J. C. P. Woodcock:
Properties of Z specifications. ACM SIGSOFT Softw. Eng. Notes 14(5): 43-54 (1989) - 1988
- [j2]J. C. P. Woodcock:
Formalisms. ACM SIGSOFT Softw. Eng. Notes 13(1): 30-32 (1988) - [c1]Jim Woodcock, B. Dickinson:
Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project. VDM Europe 1988: 434-458 - 1987
- [j1]Bernard Sufrin, Jim Woodcock:
Towards the formal specification of a simple programming support environment. Softw. Eng. J. 2(4): 86-94 (1987)
Coauthor Index
[j79] [j76] [c133] [c131] [c130] [j72] [j67] [j65] [j64] [i11] [j62] [c118] [d1] [i9] [j61] [c117] [c116] [i8] [i7] [p5] [i5] [i4] [i3] [c110] [c109] [c108] [c103] [c102] [c100] [c97] [c96] [j53] [c93] [c91] [j51] [j50] [j48] [c87] [c81] [c79] [c78] [c75] [e17] [e16] [r1] [j41] [c63] [c51] [j25] [j24] [c47] [c46] [c42] [c41] [c38] [e8] [j23] [j22] [c36] [c34] [c32] [c30] [c29] [j20] [j19] [j18] [c22] [c20] [c17] [c16] [c15] [j14] [j13] [j12] [j11]
Leo Freitas
aka: Leonardo Freitas
aka: Leonardo Freitas
Marcel Oliveira
aka: Marcel Vinícius Medeiros Oliveira
aka: Marcel Vinícius Medeiros Oliveira
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
