Skip to search formSkip to main contentSkip to account menu

Jim Woodcock

Known as: J. C. P. Woodcock 
Professor James Charles Paul Woodcock FREng FBCS CEng CITP is a British computer scientist. Woodcock gained his PhD from the University of Liverpool… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Robot software controllers are often concurrent and time critical, and requires modern engineering approaches for validation and… 
2015
2015
Ten years after Aneesur Rahman’s seminal 1964 paper on simulating liquid argon using computer simulations of atoms interacting… 
2010
2010
Complex real-time systems must integrate physical processes with digital control, human operation and organisational structures… 
2010
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming… 
2009
2009
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus , a generic framework for… 
Review
2009
Review
2009
The Relationship of Language Proficiency, General Intelligence, and Reading Achievement with a Sample of Low Performing, Limited… 
Highly Cited
2006
Highly Cited
2006
We explore various definitions and characteristics of emergence, how we might recognise and measure emergence, and how we might… 
Highly Cited
2002
Highly Cited
2002
In this work we propose a time model for Circus. The model is an extension to the model proposed by the unifying theories of… 
Review
1997
Review
1997
without going into too much detail. The ease study provides a framework for using the work products described earlier without… 
Highly Cited
1988
Highly Cited
1988
  • J. Jacob
  • Proceedings. IEEE Symposium on Security and…
  • 1988
  • Corpus ID: 12796913
A security and specification-oriented semantics for systems is given. The semantic model is derived from that for the trace model…