Professor KEN Turner

Emeritus Professor

Computing Science University of Stirling, Stirling, FK9 4LA

Professor KEN Turner

Contact details

Share a link

http://www.stir.ac.uk/people/kenturner

About me

I have been a Professor of Computing Science at Stirling since 1987. I have a wide range of interests in computing.

Event / Presentation

Device services for the home. 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), 2010
IEEE (Institute of Electrical and Electronics Engineers)

http://notere2010.redcad.org/eng/

Goals and Conflicts in Telephony. ICFI 2009 - Tenth International Conference on Feature Interactions in
Telecommunications and Software Systems

http://www27.cs.kobe-u.ac.jp/wiki/icfi/index.php?FrontPage

Goals for Telecare Networks. 9th International Conference on New Technologies of Distributed Systems (NOTERE 2009: NOuvelles TEchnologies de la REpartition)
University of Quebec in Montreal (UQAM)

http://www.notere2009.uqam.ca/index_fichiers/Page1026.htm

Managing Home Care Networks. 8th International Conference on Networks, 2009. ICN '09.
IEEE (Institute of Electrical and Electronics Engineers)

http://www.iaria.org/conferences2009/ICN09.html

Goals and Policies for Sensor Network Management. SENSORCOMM '08: Second International Conference on Sensor Technologies and Applications
IEEE (Institute of Electrical and Electronics Engineers)

http://ieeexplore.ieee.org/…rnumber=04622622

Towards Personalised Home Care Systems. PETRA 2008 - 1st International Conference on Pervasive Technologies Related to Assistive Environments

http://dl.acm.org/citation.cfm?id=1389586
The PETRA Conference brings together different types of technology to address an important social and healthcare issue: as the world's population ages, there is growing interest in solutions for the in- home care of the elderly as well as for the care of people with Alzheimer's, Parkinson's and other disabilities or traumas. PETRA (which means "stone" in Greek) reflects the needs of the domestic environment, or "Oikos" as it was known in ancient Greece, but from a technological perspective. People's living environments are particularly important in an increasingly crowded and complex world where the need for inclusiveness and connectivity with the rest of the world is key. PETRA addresses the fact that, as people grow older, they will increasingly rely on technology to be able to stay in their homes. 
The conference attracted paper submissions from 17 countries, which underwent a thorough reviewing process; 37 of these were accepted as full papers, 17 as short papers and 5 as posters. 
The Petra Technical Program includes also the 5 following workshops with additional 42 papers: PETRA WORKSHOPS (JULY 18) 
1. "Pervasive Technologies in e/m-Learning and Internet based Experiments" 
2. "Gaming Design and Experience: Design for Engaging Experience and Social Interaction" 
3. “Ambient Assistive Technologies for Intelligent Healthcare Services” 
4. “Behaviour Tracking for Adaptive Assistive Environments” 
5. “Affect-aware Human-Computer and Human-Robot Interaction” 
Conference and workshop papers will appear in the PETRA Conference proceedings published by ACM. Poster papers will appear in a special section of the CD proceedings.

Conflict detection in call control using first-order logic model checking. ICFI 2007 - Ninth International Conference on Feature Interactions in Software and Communication Systems

Enabling Quantitative Data Analysis on Cyberinfrastructures and Grids. Third International Conference on e-Social Science

Policies for Sensor Networks and Home Care Networks. 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007: NOuvelles TEchnologies de la REpartition)

Policy Conflicts in Home Care Systems. ICFI 2007 - Ninth International Conference on Feature Interactions in Software and Communication Systems

Development of a Grid Enabled Occupational Data Environment. Second International Conference on e-Social Science
Economic and Social Research Council

Graphical Composition of Grid Services. RISE 2006, 3rd International Workshop on Rapid Integration of Software Engineering techniques

Orchestrating Grid Services using BPEL and Globus Toolkit 4. PGNet 2006 - The 7th Annual PostGraduate Symposium on The Convergence of Telecommunications, Networking and Broadcasting
Liverpool John Moores University

http://www.cms.livjm.ac.uk/pgnet2006/default.htm

Formalising web services. 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE XVIII)

Handling Policy Conflicts in Call Control. ICFI'05: 8th International Conference on Feature Interactions in Telecommunications and Software Systems

http://www.cs.le.ac.uk/people/srm13/fiw05/

Formalising Graphical Service Descriptions using SDL. 11th International SDL Forum

http://www.sdl-forum.org/Events/SDL11.htm

Representing New Voice Services and Their Features. FIW '03 - Seventh International Workshop on Feature Interactions in Telecommunication and Software Systems

http://www.site.uottawa.ca/fiw03/
The Feature Interaction Workshop is the primary international forum for discussion and reporting on research in the feature interaction problem in telecommunications and software systems. The workshop aims to bring together representatives of the telecommunications industry, the software industry, and the research community working on various aspects of feature interactions in order to discuss possible solutions and their practical applications, as well as setting directions for further research. Active debates will be encouraged.

Specifying and realising interactive voice services. FORTE 2003: Formal Techniques for Networked and Distributed Systems - FORTE 2003

Modelling SIP services using CRESS. Formal Techniques for Networked and Distributed Systems - FORTE 2002

This annual conference provides a forum for researchers and practitioners from universities and industry to meet and advance technologies in areas of specification, testing, and verification of distributed systems and communication protocols. The main topics are: FDT-based system and protocol engineering; Semantical foundations; Extensions of FDTs; Formal approaches to concurrent/distributed object-oriented systems; Real-time and probability aspects; Performance modeling and analysis; Quality of service modeling and analysis; Verification and validation; Relations between informal and formal specification; FDT-based protocol implementation; Software tools and support environments; FDT application to distributed systems; Protocol testing, including conformance testing, interoperability testing, and performance testing; Test generation, selection, and coverage; Practical experience and case studies; Corporate strategic and financial consequences of using formal methods.
A total of 61 papers were submitted to FORTE 2002, and reviewed by members of the program committee and additional reviewers. The program committee selected 22 regular papers, two tool papers, and two posters for presentation at the conference. The program also included three tutorials and five invited talks.

Protocol Techniques for Testing Radiotherapy Accelerators. 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2002

Systematic Testing of Radiotherapy Accelerators. 6th Biennial World Conference on Integrated Design and Process Technology (IDPT 2002)

Use of Logic to describe Enhanced Communications Services. 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2002

Formally-Based Design Evaluation (extended version). CHARME 2001 - 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods

Formally-Based Testing of Radiotherapy Accelerators. The First Dependability IRC (Interdisciplinary Research Collaboration) Workshop

Specifying Hardware Timing with ET-LOTOS (extended version). CHARME 2001 - 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods

Concurrent specification and timing analysis of digital hardware using SDL (extended version). IPDPS 2000 - International Parallel & Distributed Processing Symposium
IEEE (Institute of Electrical and Electronics Engineers)

http://www.ipdps.org/ipdps2000/ipdps2000.htm

Formalising the Chisel Feature Notation. FIW: Feature Interactions in Telecommunications and Software Systems VI

http://www.cs.stir.ac.uk/~mko/fiw00/
FIW'00 has been the sixth in a series of workshops addressing the issue of feature interactions. The purpose of the workshop has been to bring together representatives of the Telecom industry and the research community working on various aspects of feature interactions in order to discuss possible solutions and their practical applications, as well as to set directions for further research.

Verifying and Testing Asynchronous Circuits using LOTOS (extended version). FORTE/PSTV 2000 - IFIP TC6/WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing, and Verification (PSTV XX)

Protocol-Inspired Hardware Testing. The IFIP 12th International Workshop on Testing of Communicating Systems (IWTCS'99)

The Invoicing Case Study in (E-)LOTOS. International Workshop on: Comparing Systems Specification Techniques "What questions are prompted by ones particular method of specification?"

Validating Architectural Feature Descriptions using LOTOS. FIW 1998: Feature Interactions in Telecommunications and Software Systems V

http://dblp2.uni-trier.de/db/conf/fiw/

An Architectural Foundation for Relating Features. Feature Interactions in Telecommunications Networks IV

Modelling digital logic in SDL. FORTE/PSTV'97 - 1997 IFIP TC6/WG6.1 Joint International Conference on Formal Description Techniques (X) for Distributed Systems and Communication Protocols, and PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION (XVII)

Relating Services and Features in the Intelligent Network. 4th International Conference on Telecommunications ConTEL 97

http://www.contel.hr/1997/

Specification and animation of reactive systems. ISCIS-XI - The Eleventh International Symposium on Computer and Information Sciences

Specifying Multimedia Binding Objects in Z. Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS '96

Specifying ODP Computational Objects in Z. 1st IFIP Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS'96)

Prototype performance evaluation of multimedia service components. Third International Conference on Computer Communications and Networks (ICCCN'94)

ICCCN is one of the leading international conferences for presenting novel ideas and fundamental advances in the fields of computer communications and networks. ICCCN serves to foster communication among researchers and practitioners with a common interest in improving communications and networking through scientific and technological innovation.

Visual animation of LOTOS using SOLVE (extended version). FORTE 94: IFIP TC6/WG6.1 Seventh International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols

An engineering approach to formal methods. IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification

DILL: Specifying digital logic in LOTOS. FORTE '93: IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques

LOTOS specification style for OSI. 3rd LotoSphere Workshop

Formal specification of QoS properties. Workshop on Distributed Multimedia Applications and QoS Verification
June 1994

Modular Feature Specification. MICON 2001

The N-Body Problem in LOTOS. FM-ELSEWHERE (Formal Methods Elsewhere) - A Satellite Workshop of FORTE-PSTV-2000
https://www.cs.kent.ac.uk/people/staff/hb5/Elsewhere/
The 20th anniversary of the IFIP WG6.1 Joint International Conference on Formal Methods for Distributed Systems and Communication Protocols was celebrated in Pisa, Italy, in October with FORTE XIII / PSTV XX. There were over 90 participants in this very successful ERCIM sponsored event. The programme committee selected 22 papers for presentation at the Conference out of the more than 60 submitted. The central themes were the theory and practice of Distributed System Verification (with Model Checking playing a predominant role), and Testing. That the early pioneering phases in the development of Formal Methods (FMs), with their misconceptions and myths and their over-optimistic applications to toy examples and over-skeptical views about scalability to industrial cases, are essentially over was shown by a number of papers that reported on successful experiences in specifying and verifying real distributed systems and protocols. The Conference also indicated that testing theory and applications remain remarkably healthy, showing that the idea that the adoption of FMs would eventually eliminate the need for testing is still far from becoming a reality Several presentations addressed the analysis of communication protocols, with some of them paying particular attention to multicast protocols. Other papers dealt with the specification, implementation and testing of hardware systems. The issue of formal semantics was also covered, but to a lesser extent than in past editions of the Conference; a further indication of the shift of emphasis from the definition to the application of FM’s. Three invited speakers - Rocco De Nicola, Fausto Giunchiglia, and John Rushby - gave talks on Verification and Security protocols and there were also two tutorial/advanced seminar tracks. On the first day, a multidisciplinary Satellite Workshop - ‘Formal Methods Elsewhere’ - was devoted to applications of FM’s to areas other than communication protocols and distributed systems, such as physics, chemistry, biology, social sciences, arts and humanities, music.

Research (2)

My research interests can be broadly classified as advanced methods andtools for designing complex systems. In terms of fundamental techniques, my interests include:

systems architecture: architectural concepts and their specification formal modelling: representation and analysis of systems and theirarchitectures policy-based management: languages and tool support for automated rule-based management of systems.

I also strongly believe in applying research to concrete applications. The domains I have contributed to include:

communications services: rigorous modelling and analysis of data services, voice services, web services, grid services, device services and statistics services social and health care: technologies, services and networks for care at home policy-based management: flexible control over voice services, home care services and sensor networks medical devices: rigorous modelling and testing, particularly of radiotherapy devices systems architecture: design of advanced communications systems quality of service: network characteristics hardware description: formal description and testing.

Projects

Data Management through e-Social Science: Case studies, Provisions and Support (Dames)
PI: Professor Paul Lambert
Funded by: Economic and Social Research Council
–

Network of Distributed Sensors for Proactive Condition Monitoring of Wind Turbines
PI: Professor KEN Turner
Funded by: Engineering and Physical Sciences Research Council
–

Outputs (99)

Outputs

Book Chapter

Managing Telehealth and Telecare

Turner KJ (2014) Managing Telehealth and Telecare. In: Holzinger A, Ziefle M & Röcker C (eds.) Pervasive Health: State-of-the-art and Beyond. Human-Computer Interaction Series. London: Springer, pp. 157-180. http://www.springer.com/computer/hci/book/978-1-4471-6412-8

Book Chapter

Introduction and Context

Turner KJ (2012) Introduction and Context. In: Turner K (ed.) Advances in Home Care Technologies: Results of The MATCH Project. Assistive Technology Research, 31. Amsterdam, Netherlands: IOS Press, pp. 1-10. http://www.iospress.nl/book/advances-in-home-care-technologies/

Book Chapter

Conclusion and Prospects

Turner KJ (2012) Conclusion and Prospects. In: Turner K (ed.) Advances in Home Care Technologies: Results of The MATCH Project. Assistive Technology Research, 31. Amsterdam, Netherlands: IOS Press, pp. 203-209. http://www.iospress.nl/book/advances-in-home-care-technologies/

Book Chapter

Goals and Policies for Home Care

Turner KJ, Campbell GA & Wang F (2012) Goals and Policies for Home Care. In: Kenneth JT (ed.) Advances in Home Care Technologies: Results of The MATCH Project. Assistive Technology Research, 31. Amsterdam, Netherlands: IOS Press, pp. 30-49. http://www.iospress.nl/book/advances-in-home-care-technologies/

Book Chapter

Home Care Systems

Turner KJ & Maternaghan C (2012) Home Care Systems. In: Kenneth JT (ed.) Advances in Home Care Technologies: Results of The MATCH Project. Assistive Technology Research, 31. Amsterdam, Netherlands: IOS Press, pp. 11-29. http://www.iospress.nl/book/advances-in-home-care-technologies/

Book Chapter

Pervasive Computing for Home Automation and Telecare

Maternaghan C & Turner KJ (2011) Pervasive Computing for Home Automation and Telecare. In: Shah SIA, Ilyas M & Mouftah HT (eds.) Pervasive Communications Handbook. Boca Raton, Florida, USA: Taylor & Francis (CRC Press), pp. 17.1-17.25. http://www.routledge.com/books/details/9781420051094/

Book Chapter

A Configurable Telecare System

Maternaghan C & Turner KJ (2011) A Configurable Telecare System. In: Makedon F, Betke M, Maglogiannis I & Pantziou G (eds.) Proceedings of the 4th International Conference on Pervasive Technologies related to Assistive Environments. New York: ACM Press, pp. D.25-D.32. http://www.acm.org/

Book Chapter

Programming Home Care

Maternaghan C & Turner KJ (2011) Programming Home Care. In: Wolters MK, Turner KJ & Lakany H (eds.) Advances in Techniques and Technologies Assisting Care at Home. MATCH Project / Pervasive Health Conference. Los Alamitos, California: IEEE Computer Society, pp. 5.1-5.7. http://www.match-project.org.uk/events/workshop.html/

Book Chapter

Device services for the home

Turner KJ (2010) Device services for the home. In: Drira K, Kacem AH & Jmaiel M (eds.) 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), 2010. California: IEEE Computer Society, pp. 41-48. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5536831; https://doi.org/10.1109/NOTERE.2010.5536831

Conference Proceeding

Device Services for The Home

Turner KJ (2010) Device Services for The Home. In: Drira K, Kacem A & Jmaiel M (eds.) 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), 2010. 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), 2010, Tozeur, Tunisia, 31.05.2010-02.06.2010. Los Alamitos, California, USA: IEEE Computer Society, pp. 41-48. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5536831; https://doi.org/10.1109/NOTERE.2010.5536831

Book Chapter

A Component Framework for Telecare and Home Automation

Maternaghan C & Turner KJ (2010) A Component Framework for Telecare and Home Automation. In: Balandin S, Matuszewksi M, Ott J & Chan G (eds.) 7th IEEE Consumer Communications and Networking Conference (CCNC), 2010. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers (IEEE), pp. 1-5. https://doi.org/10.1109/CCNC.2010.5421582

Conference Proceeding

Goals and Policies for Sensor Network Management

Campbell GA & Turner KJ (2009) Goals and Policies for Sensor Network Management. In: Benveniste M, Braem B, Dini C C, Fortino G, Karnapke R, Mauri J & Monsi M (eds.) SENSORCOMM '08: Proceedings of the 2008 Second International Conference on Sensor Technologies and Applications. SENSORCOMM '08: Second International Conference on Sensor Technologies and Applications, Cap Esterel, France, 25.08.2008-31.08.2008. Washington DC, USA: IEEE Computer Society, pp. 354-359. http://www.cs.stir.ac.uk/~kjt/research/pdf/sens-goal.pdf

Book Chapter

Goals and Conflicts in Telephony

Turner KJ & Campbell GA (2009) Goals and Conflicts in Telephony. In: Nakamura M & Reiff-Marganiec S (eds.) Feature Interactions in Software and Communication Systems X. Proceedings of the International Workshop on Feature Interactions. Amsterdam: IOS Press, pp. 3-18. http://www.iospress.nl/book/feature-interactions-in-software-and-communication-systems-x/; https://doi.org/10.3233/978-1-60750-014-8-3

Conference Proceeding

Goals for Telecare Networks

Turner KJ & Campbell GA (2009) Goals for Telecare Networks. In: Obaid A (ed.) Proc. 9th International Conference on New Technologies for Distributed Systems. Montreal, Canada: Universite de Quebec a Montreal, pp. 270-275. http://www.cs.stir.ac.uk/~kjt/research/pub-comms.html

Book Chapter

An Ontology-Based Actuator Discovery and Invocation Framework in Home Care Systems

Wang F & Turner KJ (2009) An Ontology-Based Actuator Discovery and Invocation Framework in Home Care Systems. In: Mokhtari M, Khalil I, Bauchet J, Zhang D & Nugent C (eds.) Ambient Assistive Health and Wellness Management in the Heart of the City: 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings. Lecture Notes in Computer Science. Berlin: Springer, pp. 66-73. http://www.springerlink.com/content/978-3-642-02867-0; https://doi.org/10.1007/978-3-642-02868-7_9

Book Chapter

A Rigorous Methodology for Composing Services

Turner KJ & Tan KLL (2009) A Rigorous Methodology for Composing Services. In: Alpuente M, Cook B & Joubert C (eds.) Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. Lecture Notes in Computer Science (LNCS), Volume 5825. Berlin: Springer, pp. 165-180. https://doi.org/10.1007/978-3-642-04570-7

Conference Proceeding

Goals and Conflicts in Telephony

Turner KJ & Campbell GA (2009) Goals and Conflicts in Telephony. In: Nakamura M & Reiff-Marganiec S (eds.) Feature interactions in software and communication systems X. ICFI 2009 - Tenth International Conference on Feature Interactions in Telecommunications and Software Systems, University of Lisbon, Portugal, 11.06.2009-12.06.2009. Amsterdam, Netherlands: IOS Press, pp. 3-18.

Technical Report

The ACCENT Policy Wizard

Turner KJ & Campbell GA (2009) The ACCENT Policy Wizard. Technical Report CSM, 166. Department of Computing Science and Mathematics, University of Stirling.

Book Chapter

Managing Home Care Networks

Turner KJ, Docherty LS, Wang F & Campbell GA (2009) Managing Home Care Networks. In: Bestak R, George L, Zaborovsky VS & Dini Cosmin C (eds.) Eighth International Conference on Networks, 2009. ICN '09. Piscataway, New Jersey: IEEE Computer Society, pp. 354-359. https://doi.org/10.1109/ICN.2009.16

Book Chapter

Managing Data in E-Social Science

Turner KJ, Tan KLL, Blum JM, Warner G, Jones S & Lambert P (2009) Managing Data in E-Social Science. In: Bestak R, George L, Zaborovsky VS & Dini Cosmin C (eds.) Eighth International Conference on Networks, 2009. ICN '09. Piscataway, New Jersey: IEEE Computer Society, pp. 214-219. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4976677; https://doi.org/10.1109/ICN.2009.15

Conference Proceeding

Managing Home Care Networks

Turner KJ, Docherty LS, Wang F & Campbell GA (2009) Managing Home Care Networks. In: Bestak R, George L, Zaborovsky V & Dini C C (eds.) Proceedings of the 2009 Eighth International Conference on Networks. 8th International Conference on Networks, 2009. ICN '09., Cancun, Mexico, 01.03.2009-06.03.2009. Los Alamitos, California, USA: IEEE Computer Society, pp. 354-359. https://doi.org/10.1109/ICN.2009.16

Technical Report

The DAMES Metadata Approach

Blum JM & Turner KJ (2008) The DAMES Metadata Approach. Economic and Social Research Council. Technical Report CSM-177, 177. Department of Computing Science and Mathematics, University of Stirling.

Conference Proceeding

Towards Personalised Home Care Systems

Wang F & Turner KJ (2008) Towards Personalised Home Care Systems. In: Maglogiannis I, Makedon F, Baillie L, Pantziou & Grammati (eds.) Proceedings of the 1st international conference on Pervasive Technologies Related to Assistive Environments. ACM International Conference Proceeding Series, Vol. 282. PETRA 2008 - 1st International Conference on Pervasive Technologies Related to Assistive Environments, Athens, 16.07.2008-18.07.2008. New York: Association for Computing Machinery. https://doi.org/10.1145/1389586.1389639

Conference Proceeding

Policy Conflict Filtering for Call Control

Campbell GA & Turner KJ (2008) Policy Conflict Filtering for Call Control. In: Bousquet Ld & Richier J (eds.) Feature Interactions in Software and Communication Systems IX. ICFI 2007 - Ninth International Conference on Feature Interactions in Software and Communication Systems, Grenoble, France, 03.09.2007-05.09.2007. Amsterdam, The Netherlands: IOS Press, pp. 83-98. http://www.iospress.nl/loadtop/load.php?isbn=9781586038458

Conference Proceeding

Policy Conflicts in Home Care Systems

Wang F & Turner KJ (2008) Policy Conflicts in Home Care Systems. In: Bousquet Ld & Richier J (eds.) Feature Interactions in Software and Communication Systems IX. ICFI 2007 - Ninth International Conference on Feature Interactions in Software and Communication Systems, Grenoble, France, 03.09.2007-05.09.2007. Amsterdam, The Netherlands: IOS Press, pp. 54-65. http://vasco.imag.fr/ICFI2007/

Book Chapter

Goals and Policies for Sensor Network Management

Campbell GA & Turner KJ (2008) Goals and Policies for Sensor Network Management. In: Benveniste M, Braem B, Dini C C, Fortino G, Karnapke R, Mauri JL & Monsi MSH (eds.) Second International Conference on Sensor Technologies and Applications, 2008. SENSORCOMM '08. Washington DC: IEEE Computer Society, pp. 354-359. http://dl.acm.org/citation.cfm?id=1446649&CFID=78230571&CFTOKEN=52882041; https://doi.org/10.1109/SENSORCOMM.2008.105

Conference Proceeding

Conflict Detection in Call Control using First-Order Logic Model Checking

Layouni AF, Logrippo L & Turner KJ (2008) Conflict Detection in Call Control using First-Order Logic Model Checking. In: Bousquet Ld & Richier J (eds.) Feature Interactions in Software and Communication Systems IX. ICFI 2007 - Ninth International Conference on Feature Interactions in Software and Communication Systems, Grenoble, France, 03.09.2007-05.09.2007. Amsterdam: IOS Press, pp. 66-82. http://www.iospress.nl/loadtop/load.php?isbn=9781586033484

Book Chapter

Grid Computing for Social Science

Turner KJ, Lambert P, Tan KLL, Gayle V, Sinnott R, Prandy K, Bihagen E & van Leeuwen MHD (2008) Grid Computing for Social Science. In: Putnik G & Cunha M (eds.) Encyclopaedia of Networked and Virtual Organizations. Pennsylvania, USA: IGI Global, pp. 643-651.

Conference Proceeding

Data Curation Standards and the Messy World of Social Science Occupational Information Resources

Sinnott R, Tan KLL, Turner KJ, Lambert P, Gayle V & Prandy K (2007) Data Curation Standards and the Messy World of Social Science Occupational Information Resources. In: 2nd International Digital Curation Conference. 2nd International Digital Curation Conference, Glasgow, 21.11.2006-22.11.2006. National E-Science Centre, pp. 1-8. http://www.nesc.ac.uk/bibliography/paperdetails.cfm?id=2494&author_list=Sinnott%2CR%2EO%2E%3BTan%2CL%2E%3BTurner%2CK%2EJ%2E%3BLambert%2CP%2E%3BGayle%2CV%2E%3BPrandy%2CK%2E&abstract=Occupational%20information%20resources%20%E2%80%93%20data%20about%20the%20c

Conference Proceeding

Enabling Quantitative Data Analysis on Cyberinfrastructures and Grids

Tan KLL, Lambert P, Gayle V & Turner KJ (2007) Enabling Quantitative Data Analysis on Cyberinfrastructures and Grids. In: Olson G & Procter R (eds.) Proceedings of the 3rd International Conference on e-Social Science. Third International Conference on e-Social Science, Ann Arbor, Michigan, US, 07.10.2007-09.10.2007. Manchester: The National Centre for E-Science, pp. III.20-III.31. http://ess.si.umich.edu/papers.htm

Conference Proceeding

Policies for Sensor Networks and Home Care Networks

Turner KJ, Campbell GA & Wang F (2007) Policies for Sensor Networks and Home Care Networks. In: Erradi M (ed.) Proceedings of the 7th International Conference on New Technologies for Distributed Systems (NOTERE 2007). 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007: NOuvelles TEchnologies de la REpartition), Morocco, Marrakesh, 04.06.2007-08.06.2007, pp. 273-284. http://www.notere-conf.org/notere2007_en/index.html

Conference Proceeding

Ontologies to support Call Control Policies

Campbell GA & Turner KJ (2007) Ontologies to support Call Control Policies. In: Meghanathan N, Collange D & Takasaki Y (eds.) Proceedings of the The Third Advanced International Conference on Telecommunications. The Third Advanced International Conference on Telecommunications (AICT'07), Mauritius, 13.05.2007-19.05.2007. Piscataway, New Jersey: IEEE Computer Society, pp. 18-18. https://doi.org/10.1109/AICT.2007.34

Conference Proceeding

Automated Analysis and Implementation of Composed Grid Services

Tan KLL & Turner KJ (2007) Automated Analysis and Implementation of Composed Grid Services. In: Dranidis D & Sakellariou I (eds.) SEEFM07: Proceedings of the 3rd South-East European Workshop on Formal Methods. SEEFM07 - 3rd South-East European Workshop on Formal Methods, Thessaloniki, Greece, 30.11.2007-01.12.2007. Thessaloniki: South-East European Research Centre, pp. 51-64. http://www.seefm.info/workshops.html

Technical Report

A Scalable Home Care System Infrastructure Supporting Domiciliary Care

Gray P, McBryan T, Hine N, Martin CJ, Gil N, Wolters M, Mayo N, Turner KJ, Docherty LS, Wang F & Kolberg M (2007) A Scalable Home Care System Infrastructure Supporting Domiciliary Care. Scottish Funding Council. Technical Report CSM, 173. Department of Computing Science and Mathematics, University of Stirling.

Conference Proceeding

Graphical Composition of Grid Services

Turner KJ & Tan KLL (2007) Graphical Composition of Grid Services. In: Guelfi N & Buchs D (eds.) Rapid Integration of Software Engineering Techniques. Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers. Lecture Notes in Computer Science, 4401. RISE 2006, 3rd International Workshop on Rapid Integration of Software Engineering techniques, Geneva, Switzerland, 13.09.2006-15.09.2006. Berlin: Springer Verlag, pp. 1-17. http://www.informatik.uni-trier.de/~ley/db/conf/rise/rise2006.html; https://doi.org/10.1007/978-3-540-71876-5

Conference Proceeding

Services and Policies for Care at Home

Wang F, Docherty LS, Turner KJ, Kolberg M & Magill E (2006) Services and Policies for Care at Home. In: Bardram JE, Chachques JC & Varshney U (eds.) Pervasive Health Conference and Workshops, 2006. 1st International Conference on Pervasive Computing Technologies for Healthcare 2006, Innsbruck, Austria, 29.11.2006-01.12.2006. Piscataway, New Jersey: IEEE (Institute of Electrical and Electronics Engineers), pp. 1-10. https://doi.org/10.1109/PCTHEALTH.2006.361701

Conference Proceeding

Orchestrating Grid Services using BPEL and Globus Toolkit 4

Tan KLL & Turner KJ (2006) Orchestrating Grid Services using BPEL and Globus Toolkit 4. In: Merabti M, Pereira R, Oliver C & Abuelma'atti O (eds.) PGNET 2006: Proceedings of the 7th Annual Postgraduate Symposium on the Convergence of Telecommunications, Networking and Broadcasting. PGNet 2006 - The 7th Annual PostGraduate Symposium on The Convergence of Telecommunications, Networking and Broadcasting, Liverpool, U.K., 26.06.2006-27.06.2006. Liverpool: Liverpool John Moores University, School of Computing & Mathematical Sciences, pp. 31-36. http://www.cms.livjm.ac.uk/pgnet2006/default.htm

Conference Proceeding

Development of a Grid Enabled Occupational Data Environment

Lambert P, Tan KLL, Turner KJ, Gayle V, Prandy K & Sinnott R (2006) Development of a Grid Enabled Occupational Data Environment. In: Procter R (ed.) Proceedings of the 2nd International Conference on e-Social Science. Second International Conference on e-Social Science, Manchester, UK, 28.06.2006-30.06.2006. Manchester: National Centre for e-Social Science, pp. 1-12. http://www.ncess.ac.uk/events/conference/2006/papers/

Conference Proceeding

GEODE – Sharing Occupational Data Through The Grid

Tan KLL, Gayle V, Lambert P, Sinnott R & Turner KJ (2006) GEODE – Sharing Occupational Data Through The Grid. In: Cox SJ (ed.) Proceedings of the UK e-Science All Hands Meeting 2006. Fifth UK e-Science All Hands Meeting (AHM 2006), Nottingham, UK, 18.09.2006-21.09.2006. Edinburgh: National e-Science Centre, pp. 534-541. http://www.allhands.org.uk/2006/proceedings/

Conference Proceeding

Handling Policy Conflicts in Call Control

Blair L & Turner KJ (2005) Handling Policy Conflicts in Call Control. In: Reiff-Marganiec S & Ryan MD (eds.) Feature Interactions in Telecommunications and Software Systems VIII. ICFI'05: 8th International Conference on Feature Interactions in Telecommunications and Software Systems, University of Leicester, 28.06.2005-30.06.2005. Amsterdam: IOS Press, pp. 39-57. http://www.iospress.nl/html/9781586035242.php

Technical Report

The ACCENT Policy Server

Reiff-Marganiec S & Turner KJ (2005) The ACCENT Policy Server. Technical Report CSM, 164. Department of Computing Science and Mathematics, University of Stirling.

Conference Proceeding

Formalising Web Services

Turner KJ (2005) Formalising Web Services. In: Wang F (ed.) Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings. Lecture Notes in Computer Science 3731, volume 3731. 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE XVIII), Taipei, Japan, 02.10.2005-05.10.2005. Berlin: Springer Verlag, pp. 473-488. https://doi.org/10.1007/11562436

Conference Proceeding

Formalising the Chisel Feature Notation

Turner KJ (2005) Formalising the Chisel Feature Notation. In: Calder MH & Magill EH (eds.) Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK. FIW: Feature Interactions in Telecommunications and Software Systems VI, Glasgow, Scotland, 17.05.2000-19.05.2000. Amsterdam, The Netherlands: IOS Press, pp. 241-256. http://www.iospress.nl/loadtop/load.php?isbn=9781586033484

Conference Proceeding

Formalising Graphical Behaviour Descriptions

Turner KJ (2004) Formalising Graphical Behaviour Descriptions. In: Rattray C, Maharaj S & Shankland C (eds.) Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings. Lecture Notes in Computer Science, 3116. AMAST'2004 - 10th International Conference on Algebraic Methodology And Software Technology. Berlin: Springer Verlag, pp. 537-552. https://doi.org/10.1007/b98770

Edited Book

Service Provision: Technologies for Next Generation Communications

Turner KJ, Magill E & Marples D (eds.) (2004) Service Provision: Technologies for Next Generation Communications. Wiley Series in Communications Networking and Distributed Systems. Chichester: Wiley. http://onlinelibrary.wiley.com/book/10.1002/0470020504

Book Chapter

Prospects

Marples D, Turner KJ & Magill E (2004) Prospects. In: Turner K, Magill E & Marples D (eds.) Service Provision: Technologies for Next Generation Communications. Wiley Series in Communications Networking and Distributed Systems. Chichester: Wiley, pp. 301-313. http://onlinelibrary.wiley.com/book/10.1002/0470020504

Conference Proceeding

Representing New Voice Services and Their Features

Turner KJ (2003) Representing New Voice Services and Their Features. In: Amyot D & Logrippo L (eds.) Feature Interactions in Telecommunications and Software Systems VII. FIW '03 - Seventh International Workshop on Feature Interactions in Telecommunication and Software Systems, Ottawa, Canada, 11.06.2003-13.06.2003. Amsterdam, The Netherlands: IOS Press, pp. 123-140. http://www.iospress.nl/loadtop/load.php?isbn=9781586038458

Conference Proceeding

Specifying and Realising Interactive Voice Services

Turner KJ (2003) Specifying and Realising Interactive Voice Services. In: Koenig H, Heiner M & Wolisz A (eds.) Formal Techniques for Networked and Distributed Systems - Forte 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September/October 2, 2003 Proceedings. Lecture Notes in Computer Science 2767, 2767. FORTE 2003: Formal Techniques for Networked and Distributed Systems - FORTE 2003, Berlin, Germany, 29.09.2003-02.10.2003. Berlin: Springer-Verlag, pp. 15-30. http://www.springerlink.com; https://doi.org/10.1007/11965

Conference Proceeding

Formalising Graphical Service Descriptions using SDL

Turner KJ (2003) Formalising Graphical Service Descriptions using SDL. In: Reed R & Reed J (eds.) SDL 2003: System Design: 11th International SDL Forum, Stuttgart, Germany 2003, Proceedings. Lecture Notes in Computer Science 2708, volume 2708. 11th International SDL Forum, Stuttgart, 01.07.2003-04.07.2003. Berlin: Springer-Verlag, pp. 183-202. http://www.springerlink.com; https://doi.org/10.1007/3-540-45075-0_11

Conference Proceeding

A Policy Architecture for Enhancing and Controlling Features

Reiff-Marganiec S & Turner KJ (2003) A Policy Architecture for Enhancing and Controlling Features. In: Amyot D & Logrippo L (eds.) Feature Interactions in Telecommunications and Software Systems VII. Seventh International Workshop on Feature Interactions, Ottawa, Canada, 11.06.2003-13.06.2003. Amsterdam, The Netherlands: IOS Press, pp. 239-246. http://www.iospress.nl/loadtop/load.php?isbn=9781586033484

Conference Proceeding

Protocol Techniques for Testing Radiotherapy Accelerators

Turner KJ & Bing Q (2002) Protocol Techniques for Testing Radiotherapy Accelerators. In: Vardi M & Peled DA (eds.) Formal Techniques for Networked and Distributed Systems - FORTE 2002. Lecture Notes in Computer Science, Volume 2529. 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2002, Houston, Texas, 11.11.2002-14.11.2002. Berlin: Springer Verlag, pp. 81-96. https://doi.org/10.1007/3-540-36135-9_6

Conference Proceeding

Use of Logic to describe Enhanced Communications Services

Reiff-Marganiec S & Turner KJ (2002) Use of Logic to describe Enhanced Communications Services. In: Peled DA & Vardi MY (eds.) Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 2002 Proceedings. Lecture Notes in Computer Science, 2529. 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2002, Houston, Texas, 11.11.2002-14.11.2002. Berlin: Springer-Verlag, pp. 130-145. http://www.springerlink.com; https://doi.org/10.1007/3-540-36135-9

Conference Proceeding

Modelling SIP Services using CRESS

Turner KJ (2002) Modelling SIP Services using CRESS. In: Vardi MY & Peled DA (eds.) Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings. Lecture Notes in Computer Science Volume 2529, volume 2529. Formal Techniques for Networked and Distributed Systems - FORTE 2002, Houston, Texas, 11.11.2002-14.11.2002. Berlin: Springer-Verlag, pp. 162-177. https://doi.org/10.1007/3-540-36135-9_11

Conference Proceeding

Systematic Testing of Radiotherapy Accelerators

Turner KJ & Bing Q (2002) Systematic Testing of Radiotherapy Accelerators. In: Ehrig H(, Krämer BJ & Ertas A (eds.) Proceedings of The Sixth Biennial World Conference on Integrated Design & Process Technology (IDPT 2002). 6th Biennial World Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, California, 23.06.2002-28.06.2002. Society for Design and Process Science, pp. 33.1-33.8. http://www.sdpsnet.org

Conference Proceeding

Specifying Hardware Timing with ET-LOTOS (extended version)

He J & Turner KJ (2001) Specifying Hardware Timing with ET-LOTOS (extended version). In: Margaria T & Melham TF (eds.) Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science, Volume 2144. CHARME 2001 - 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Livingston, Scotland, 04.09.2001-07.09.2001. Berlin: Springer Verlag, pp. 161-166. https://doi.org/10.1007/3-540-44798-9_14

Conference Proceeding

Formally-Based Design Evaluation (extended version)

Turner KJ & He J (2001) Formally-Based Design Evaluation (extended version). In: Margaria T & Melham TF (eds.) Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science, volume 2144. CHARME 2001 - 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Livingston, Scotland, 04.09.2001-07.09.2001. Berlin: Springer Verlag, pp. 104-109. https://doi.org/10.1007/3-540-44798-9

Conference Proceeding

Modular Feature Specification

Turner KJ (2001) Modular Feature Specification. In: Gray T (ed.) Proceedings of MICON 2001. MICON 2001, Ontario, Canada. Kanata, Canada: Mitel Networks Corporation.

Conference Paper

The N-Body Problem in LOTOS

Turner KJ (2001) The N-Body Problem in LOTOS. FM-ELSEWHERE (Formal Methods Elsewhere) - A Satellite Workshop of FORTE-PSTV-2000, Pisa, Italy, 10.10.2000. Electronic Notes in Theoretical Computer Science, 43 (May), pp. 113-135. https://doi.org/10.1016/S1571-0661%2804%2980897-1

Conference Proceeding

Formally-Based Testing of Radiotherapy Accelerators

Turner KJ (2001) Formally-Based Testing of Radiotherapy Accelerators. In: Procter RN & Rouncefield M (eds.) Dependability in Healthcare Informatics: Proceedings of the First Dependability IRC Workshop, Edinburgh, United Kingdom, March 22-23, 2001. The First Dependability IRC (Interdisciplinary Research Collaboration) Workshop, Edinburgh, Scotland, 22.03.2001-23.03.2001. Manchester: Lancaster University, pp. 97-99. http://dirc.cs.ncl.ac.uk/publications/proceedings/index.php

Conference Proceeding

Concurrent Specification and Timing Analysis of Digital Hardware using SDL (extended version)

Turner KJ, Argul-Marin FJ & Laing SD (2000) Concurrent Specification and Timing Analysis of Digital Hardware using SDL (extended version). In: Rolim J (ed.) Parallel and Distributed Processing. Lecture Notes in Computer Science, Volume 1800. IPDPS 2000 - International Parallel & Distributed Processing Symposium, Cancun, Mexico, 01.05.2000-05.05.2000. Berlin: Springer Verlag, pp. 1001-1008. https://doi.org/10.1007/3-540-45591-4

Conference Proceeding

Verifying and Testing Asynchronous Circuits using LOTOS (extended version)

He J & Turner KJ (2000) Verifying and Testing Asynchronous Circuits using LOTOS (extended version). In: Bolognesi T & Latella D (eds.) Formal Methods for Distributed System Development. IFIP International Federation for Information Processing, vol 55. FORTE/PSTV 2000 - IFIP TC6/WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing, and Verification (PSTV XX), Pisa, Italy, 10.10.2000-13.10.2000. Amsterdam: Springer Verlag, pp. 267-283. http://www.springer.com/computer/artificial/book/978-0-7923-7968-3?detailsPage=toc

Conference Proceeding

Specification and Verification of Synchronous Hardware using LOTOS

He J & Turner KJ (1999) Specification and Verification of Synchronous Hardware using LOTOS. In: Wu J, Chanson ST & Gao Q (eds.) Formal Methods for Protocol Engineering and Distributed Systems. IFIP International Federation for Information Processing, Vol. 28. FORTE XII /PSTV XIX '99 IFIP TC6/WG 6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, Beijing, China, 05.10.1999-08.10.1999. Amsterdam: Springer Verlag, pp. 295-312. http://www.springer.com/computer/artificial/book/978-0-7923-8646-9?detailsPage=toc

Conference Proceeding

Protocol-Inspired Hardware Testing

He J & Turner KJ (1999) Protocol-Inspired Hardware Testing. In: Csopaki G, Dibuz Sarolta S & Tarnay K (eds.) Testing of Communicating Systems: Methods and Applications. IFIP International Federation for Information Processing, 21. The IFIP 12th International Workshop on Testing of Communicating Systems (IWTCS'99), Budapest, Hungary, 01.09.1999-03.09.1999. Amsterdam: Springer Verlag, pp. 131-147. http://www.springer.com/computer/communications/book/978-0-7923-8581-3?detailsPage=toc

Conference Proceeding

The Invoicing Case Study in (E-)LOTOS

Turner KJ (1998) The Invoicing Case Study in (E-)LOTOS. In: Allemand M, Attiogbé C & Habrias H (eds.) International workshop on Comparing systems specification techniques "What questions are prompted by ones particular method of specification?": March 26-27, 1998, Nantes, France : proceedings [of the 9th Meeting] in the series. Putting into practice methods and tools for information system design. International Workshop on: Comparing Systems Specification Techniques "What questions are prompted by ones particular method of specification?", Nantes, France, 26.03.1998-27.03.1998. Nantes, France: IRIN (Institut de Recherche en Informatique de Nantes, Universite de Nantes & Ecole Centrale de Nantes), pp. 83-98.

Conference Proceeding

Validating Architectural Feature Descriptions using LOTOS

Turner KJ (1998) Validating Architectural Feature Descriptions using LOTOS. In: Kimbler K & Bouma LG (eds.) Feature Interactions in Telecommunications and Software Systems V. FIW 1998: Feature Interactions in Telecommunications and Software Systems V, Malmo, Sweden, 29.09.1998-01.10.1998. Amsterdam: IOS Press, pp. 247-261. http://books.google.co.uk/books?id=q7BSGKJrWxsC&dq

Conference Proceeding

Support Components for Quality of Service in Distributed Environments: Monitoring Service (extended version)

Reed DA & Turner KJ (1997) Support Components for Quality of Service in Distributed Environments: Monitoring Service (extended version). In: Campbell A & Nahrstedt K (eds.) Building QoS into Distributed Systems. IFIP International Federation for Information Processing. IFIP Fifth International Workshop on Quality of Service (IWQOS '97) - Building QoS into Distributed Systems, Center for Telecommunications Research, Columbia University, New York, USA, 21.05.1997-23.05.1997. USA: Springer, pp. 255-258. http://www.springer.com/computer/communications/book/978-0-412-80940-8

Conference Proceeding

Requirements for Service Creation Environments

Kosmas N & Turner KJ (1997) Requirements for Service Creation Environments. In: Lovrek I (ed.) 2nd International Workshop on Applied Formal Methods in System Design. 2nd International Workshop on Applied Formal Methods in System Design, Zagreb, Croatia, 18.06.1997-19.06.1997. Zagreb: Faculty of Electrical Engineering and Computing, Department of Telecommunications. University of Zagreb. pp. 133-137. http://www.contel.hr/work97/

Conference Proceeding

Modelling Digital Logic in SDL

Csopaki G & Turner KJ (1997) Modelling Digital Logic in SDL. In: Mizuno T, Shiratori N, Higashino T & Togashi A (eds.) Formal Description Techniques and Protocol Specification, Testing and Verification. FORTE X / PSTV XVII '97. IFIP International Federation for Information Processing. FORTE/PSTV'97 - 1997 IFIP TC6/WG6.1 Joint International Conference on Formal Description Techniques (X) for Distributed Systems and Communication Protocols, and PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION (XVII), Osaka, Japan, 18.11.1997-21.11.1997. Amsterdam: Springer Verlag, pp. 367-382. http://www.springer.com/computer/communications/book/978-0-412-82060-1?detailsPage=toc

Conference Proceeding

An Architectural Foundation for Relating Features

Turner KJ (1997) An Architectural Foundation for Relating Features. In: Dini Petre P, Boutaba R & Logrippo L (eds.) Feature Interactions in Telecommunications Networks IV, June 17-19, 1997, Montreal, Canada. Feature Interactions in Telecommunications Networks IV, Montreal, Canada, 17.06.1997-19.06.1997. Amsterdam, The Netherlands: IOS Press, pp. 226-241.

Conference Proceeding

Relating Services and Features in the Intelligent Network

Turner KJ (1997) Relating Services and Features in the Intelligent Network. In: Kunstic M (ed.) ConTEL 97: 4th International Conference on Telecommunications : Proceedings, June 18-20, 1997, Zagreb, Croatia. 4th International Conference on Telecommunications ConTEL 97, Zagreb, Croatia, 18.06.1997-20.06.1997. Zagreb, Croatia: Faculty of Electrical Engineering and Computing, Dept. of Telecommunications, University of Zagreb, pp. 235-243. http://www.contel.hr/1997/

Conference Proceeding

Specifying ODP Computational Objects in Z

Sinnott R & Turner KJ (1996) Specifying ODP Computational Objects in Z. In: Najm E & Stefani J (eds.) Formal Methods for Open Object-based Distributed Systems. IFIP International Federation for Information Processing,, Vol 1. 1st IFIP Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS'96), Paris, France, 04.03.1996-06.03.1996. Berlin: Springer Verlag, pp. 375-390. http://www.springer.com/computer/communications/book/978-0-412-79770-5

Conference Proceeding

Specifying Multimedia Binding Objects in Z

Sinnott R & Turner KJ (1996) Specifying Multimedia Binding Objects in Z. In: Spaniol O, Linnhoff-Popien C & Meyer B (eds.) Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS '96, Aachen, Germany, October 1-2, 1996, Proceedings. Lecture Notes in Computer Science, Volume 1161. Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS '96, Aachen, Germany, 01.10.1996-02.10.1996. Berlin, Germany: Springer Verlag, pp. 244-257. http://www.springerlink.com/content/x05k48472886; https://doi.org/10.1007/3-540-61842-2

Conference Proceeding

Specification and Animation of Reactive Systems

Turner KJ, McClenaghan A & Chan C (1996) Specification and Animation of Reactive Systems. In: Atalay V, Halici U, Inan K, Yalabik N & Yazici A (eds.) Proceedings of the eleventh international symposium on computer and information sciences. ISCIS-XI - The Eleventh International Symposium on Computer and Information Sciences, Antalya, Turkey, 06.11.1996-08.11.1996. Ankara, Turkey: Middle East Technical University, pp. 355-364.

Conference Proceeding

Visual animation of LOTOS using SOLVE (extended version)

Turner KJ & McClenaghan A (1995) Visual animation of LOTOS using SOLVE (extended version). In: Hogrefe D & Leue S (eds.) Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII. IFIP Conference Proceedings, Vol. 6. FORTE 94: IFIP TC6/WG6.1 Seventh International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, Bern, Switzerland, 04.10.1994-07.10.1994. London: Chapman & Hall (now part of Wolter Kluwer), pp. 283-285.

Conference Proceeding

Formal specification of QoS properties

Donaldson AJM & Turner KJ (1994) Formal specification of QoS properties. In: Meer Jd, Bochmann Gv & Vogel A (eds.) Proceedings of the Workshop on Distributed Multimedia Applications and QoS Verification. Workshop on Distributed Multimedia Applications and QoS Verification, CRIM (Computer Research Institute of Montreal), Montreal, Canada. Montreal: CRIM, pp. 1-14. http://www.cs.stir.ac.uk/~kjt/research/pdf/form-qos.pdf

Conference Proceeding

Prototype performance evaluation of multimedia service components

Miloucheva I, Simeonov PL, Rebensberg K, Turner KJ & Donaldson AJM (1994) Prototype performance evaluation of multimedia service components. In: 3rd International Conference on Computer Communications and Networks. Third International Conference on Computer Communications and Networks (ICCCN'94), San Francisco, California, USA, 11.09.1994-14.09.1994. Elsevier Science, pp. 1-8.

Conference Proceeding

DILL: Specifying digital logic in LOTOS

Turner KJ & Sinnott R (1994) DILL: Specifying digital logic in LOTOS. In: Tenney RL, Amer PD & Uyar MÜ (eds.) Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26 - 29 October, 1993. IFIP Transactions. FORTE '93: IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, Boston, MA, USA, 26.10.1993-29.10.1993. Amsterdam: North-Holland Publishing, now Elsevier, pp. 71-86. http://www.informatik.uni-trier.de/~ley/db/conf/forte/forte1993.html

Conference Proceeding

An engineering approach to formal methods

Turner KJ (1993) An engineering approach to formal methods. In: Danthine A, Leduc G & Wolper P (eds.) Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liege, Belgium, 25 - 28 May, 1993. IFIP Transactions C: Communication Systems, 16. IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Belgium, 25.05.1993-28.05.1993. Amsterdam: North-Holland, now Elsevier, pp. 357-380. http://books.google.com/books?id=9KNrAAAAIAAJ&pgis=1

Conference Proceeding

LOTOS specification style for OSI

Turner KJ & van Sinderen M (1992) LOTOS specification style for OSI. In: Brinksma E, Bolognesi T & Vissers CA (eds.) Proceedings of the 3rd LotoSphere Workshop & Seminar. 3rd LotoSphere Workshop, CNUCE (Centro Nazionale Universitario di Calcolo Elettronico), Pisa, 14.09.1992-16.09.1992, pp. 40913-44682.

Conference Proceeding

Constraint-Oriented Style in LOTOS

Turner KJ (1988) Constraint-Oriented Style in LOTOS. In: Proceedings of the British Computer Society Workshop on Formal Methods in Standards. British Computer Society Workshop on Formal Methods in Standards, April 1988, London. London: British Computer Society, pp. 1-13.