 | 2009 |
|---|
| 54 |       | Kenneth J. Turner,
Koon Leai Larry Tan:
A Rigorous Methodology for Composing Services.
FMICS 2009: 165-180 |
| 53 | | Feng Wang,
Kenneth J. Turner:
An Ontology-Based Actuator Discovery and Invocation Framework in Home Care Systems.
ICOST 2009: 66-73 |
| 52 | | Kenneth J. Turner:
Abstraction and analysis of clinical guidance trees.
Journal of Biomedical Informatics 42(2): 237-250 (2009) |
| 2008 |
|---|
| 51 | | Feng Wang,
Kenneth J. Turner:
Towards personalised home care systems.
PETRA 2008: 44 |
| 2007 |
|---|
| 50 | | Gemma A. Campbell,
Kenneth J. Turner:
Ontologies to Support Call Control Policies.
AICT 2007: 18 |
| 49 |  | Feng Wang,
Kenneth J. Turner:
Policy Conflicts in Home Care Systems.
ICFI 2007: 54-65 |
| 48 | | Ahmed F. Layouni,
Luigi Logrippo,
Kenneth J. Turner:
Conflict Detection in Call Control Using First-Order Logic Model Checking.
ICFI 2007: 66-82 |
| 47 | | Gavin A. Campbell,
Kenneth J. Turner:
Policy Conflict Filtering for Call Control.
ICFI 2007: 83-98 |
| 46 | | Kenneth J. Turner,
Koon Leai Larry Tan:
A rigorous approach to orchestrating grid services.
Computer Networks 51(15): 4421-4441 (2007) |
| 45 | | Kenneth J. Turner,
Lynne Blair:
Policies and conflicts in call control.
Computer Networks 51(2): 496-514 (2007) |
| 44 | | Kenneth J. Turner:
Representing and analysing composed web services using Cress.
J. Network and Computer Applications 30(2): 541-562 (2007) |
| 2006 |
|---|
| 43 | | Kenneth J. Turner,
Koon Leai Larry Tan:
Graphical Composition of Grid Services.
RISE 2006: 1-17 |
| 42 | | Kenneth J. Turner,
Stephan Reiff-Marganiec,
Lynne Blair,
Jianxiong Pang,
Tom Gray,
Peter Perry,
Joe Ireland:
Policy support for call control.
Computer Standards & Interfaces 28(6): 635-649 (2006) |
| 41 | | Kenneth J. Turner:
Validating feature-based specifications.
Softw., Pract. Exper. 36(10): 999-1027 (2006) |
| 2005 |
|---|
| 40 | | Lynne Blair,
Kenneth J. Turner:
Handling Policy Conflicts in Call Control.
FIW 2005: 39-57 |
| 39 | | Kenneth J. Turner:
Formalising Web Services.
FORTE 2005: 473-488 |
| 38 | | Kenneth J. Turner:
Formalising Interactive Voice Services with SDL.
IFM 2005: 307-326 |
| 37 | | Tingxue Huang,
Kenneth J. Turner:
Policy support for H.323 call handling.
Computer Standards & Interfaces 28(2): 204-217 (2005) |
| 36 | | Kenneth J. Turner:
Test generation for radiotherapy accelerators.
STTT 7(4): 361-375 (2005) |
| 2004 |
|---|
| 35 | | Kenneth J. Turner:
Formalising Graphical Behaviour Descriptions.
AMAST 2004: 537-552 |
| 34 | | Stephan Reiff-Marganiec,
Kenneth J. Turner:
Feature interaction in policies.
Computer Networks 45(5): 569-584 (2004) |
| 33 | | Kenneth J. Turner:
Analysing interactive voice services.
Computer Networks 45(5): 665-685 (2004) |
| 2003 |
|---|
| 32 | | Kenneth J. Turner:
Representing New Voice Services and Their Features.
FIW 2003: 123-140 |
| 31 | | Stephan Reiff-Marganiec,
Kenneth J. Turner:
A Policy Architecture for Enhancing and Controlling Features.
FIW 2003: 239-246 |
| 30 | | Kenneth J. Turner:
Specifying and Realising Interactive Voice Services.
FORTE 2003: 15-30 |
| 29 | | Kenneth J. Turner:
Formalizing Graphical Service Descriptions Using SDL.
SDL Forum 2003: 183-202 |
| 2002 |
|---|
| 28 | | Stephan Reiff-Marganiec,
Kenneth J. Turner:
Use of Logic to Describe Enhanced Communications Services.
FORTE 2002: 130-145 |
| 27 | | Kenneth J. Turner:
Modelling SIP Services Using CRESS.
FORTE 2002: 162-177 |
| 26 | | Kenneth J. Turner,
Qian Bing:
Protocol Techniques for Testing Radiotherapy Accelerators.
FORTE 2002: 81-96 |
| 25 | | Kenneth J. Turner:
Protocol animation.
Computer Networks 40(5): 595-598 (2002) |
| 2001 |
|---|
| 24 | | Kenneth J. Turner,
Ji He:
Formally-Based Design Evaluation.
CHARME 2001: 104-109 |
| 23 | | Ji He,
Kenneth J. Turner:
Specifying Hardware Timing with ET-L OTOS.
CHARME 2001: 161-166 |
| 22 | | Kenneth J. Turner:
The N-Body Problem in LOTOS.
Electr. Notes Theor. Comput. Sci. 43: (2001) |
| 2000 |
|---|
| 21 | | Kenneth J. Turner:
Formalising the Chisel Feature Notation.
FIW 2000: 241-256 |
| 20 | | Ji He,
Kenneth J. Turner:
Verifying and Testing Asynchronous Circuits using LOTOS.
FORTE 2000: 267-283 |
| 19 | | Kenneth J. Turner,
F. Javier Argul-Marin,
Stephen D. Laing:
Concurrent Specification and Timing Analysis of Digital Hardware Using SDL.
IPDPS Workshops 2000: 1001-1008 |
| 1999 |
|---|
| 18 | | Ji He,
Kenneth J. Turner:
Specification and Verification of Synchronous Hardware using LOTOS.
FORTE 1999: 295-312 |
| 17 | | Ji He,
Kenneth J. Turner:
Protocol-Inspired Hardware Testing.
IWTCS 1999: 131-148 |
| 1998 |
|---|
| 16 | | Kenneth J. Turner:
Validating Architectural Feature Descriptions using LOTOS.
FIW 1998: 247-261 |
| 15 | | Kenneth J. Turner:
An Architectural Description of Intelligent Network Features and Their Interactions.
Computer Networks 30(15): 1389-1419 (1998) |
| 1997 |
|---|
| 14 | | Kenneth J. Turner:
An Architectural Foundation for Relating Features.
FIW 1997: 226-241 |
| 13 | | Gyula Csopaki,
Kenneth J. Turner:
Modelling Digital Logic in SDL.
FORTE 1997: 367-382 |
| 12 | | Kenneth J. Turner,
Giuseppe Scollo:
Specification Architecture.
Computer Networks and ISDN Systems 29(4): 393-395 (1997) |
| 11 | | Kenneth J. Turner:
Specification Architecture Illustrated in a Communications Context.
Computer Networks and ISDN Systems 29(4): 397-411 (1997) |
| 10 | | Kenneth J. Turner:
Relating Architecture and Specification.
Computer Networks and ISDN Systems 29(4): 437-456 (1997) |
| 9 | | Richard O. Sinnott,
Kenneth J. Turner:
Applying the Architectural Semantics of ODP to Develop a Trader Specification.
Computer Networks and ISDN Systems 29(4): 457-471 (1997) |
| 8 | | Kenneth J. Turner:
Incremental Requirements Specification with LOTOS.
Requir. Eng. 2(3): 132-151 (1997) |
| 1996 |
|---|
| 7 | | Richard O. Sinnott,
Kenneth J. Turner:
Specifying Multimedia Binding Objects in Z.
TreDS 1996: 244-257 |
| 1994 |
|---|
| 6 | | Kenneth J. Turner,
Ashley McClenaghan:
Visual animation of LOTOS using SOLVE.
FORTE 1994: 283-285 |
| 1993 |
|---|
| 5 | | Kenneth J. Turner,
Richard O. Sinnott:
DILL: Specifying Digital Logic in LOTOS.
FORTE 1993: 71-86 |
| 4 | | Kenneth J. Turner:
An Engineering Approach to Formal Methods.
PSTV 1993: 357-380 |
| 1989 |
|---|
| 3 | | Kenneth J. Turner:
Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988
North-Holland 1989 |
| 2 | | Kenneth J. Turner:
A LOTOS-Based Development Strategy.
FORTE 1989: 117-132 |
| 1987 |
|---|
| 1 | | Kenneth J. Turner:
An Architectural Semantics for LOTOS.
PSTV 1987: 15-28 |
