Turner, Ken - Department of Computing Science and Mathematics, University of Stirling

• Kenneth J. Turner, Gemma A. Campbell and Feng Wang. Policies for Sensor Networks and Home Care Networks, in Mohammed Erradi (ed.),
• Richard O. Sinnott and Kenneth J. Turner. Applying the architectural semantics of ODP to develop a trader specification (pre-publication
• Policy-enabled mechanisms for feature interactions: reality, expectations, challenges
• Ilka Miloucheva, Plamen L. Simeonov, Klaus Rebensberg, Kenneth J. Turner, and A. John M. Donaldson. Prototype performance evaluation of multimedia
• Kenneth J. Turner. Formalising Graphical Service Descriptions using SDL. In Rick Reed and Jeanne Reed, editors, Proc. SDL 2003, LNCS 2708, pages 183-202,
• Kenneth J. Turner and Koon Leai Larry Tan. Graphical Composition of Grid Services. In Didier Buchs and Nicolas Guelfi, editors,
• Kenneth J. Turner, Stephan Reiff-Marganiec, Lynne Blair, Jianxiong Pang, Tom Gray, Peter Perry and Joe Ireland. Policy Support for Call Control, Computer Standards and Interfaces 28(6):635-649, June 2006
• Kenneth J. Turner. Validating Architectural Feature Descriptions using LOTOS. In Kristofer Kimbler and Wiet Bouma, editors, Proc. Feature
• Kenneth J. Turner. Abstraction and Analysis of Clinical Guidance Trees, Biomedical Informatics, Copyright Elsevier, October 2008.
• Gemma A. Campbell and Kenneth J. Turner. Ontologies to support Call Control Policies. In N. Meghanathan, D. Collange and Y. Takasaki, editors, Proc.
• Ji He and Kenneth J. Turner. Specifying Hardware Timing with ET-LOTOS (extended version of article published by and copyright Springer-Verlag).
• Department of Computing Science and Mathematics University of Stirling
• Department of Computing Science and Mathematics University of Stirling
• Kenneth J. Turner. Representing and Analysing Composed Web Services using CRESS (pre-publication version), Network and Computer Applications, 30(2):541-562,
• Kenneth J. Turner and Lynne Blair. Policies and Conflicts in Call Control, Computer Networks, 51(2):496-514, February 2007
• Kenneth J. Turner. Analysing Interactive Voice Services (pre-publication version), Computer Networks, 45:665-685,
• Kenneth J. Turner and Ji He. Formally-Based Design Evaluation (extended version of article published by and copyright Springer-Verlag). In
• Kenneth J. Turner. Formally-Based Testing of Radiotherapy Accelerators. In Robert N. Procter and Mark Rouncefield, editors, Proc. Dependability in
• Department of Computing Science and Mathematics University of Stirling
• Time, E-LOTOS, and the FireWire Carron Shankland 1
• Kenneth J. Turner. The N-Body Problem in LOTOS (pre-publication version). In Howard Bowman, editor, Proc. Formal Methods Elsewhere, pages
• Nikolaos Kosmas and Kenneth J. Turner. Requirements for Service Creation Environments. In Ignac Lovrek, editor, Proc. 2nd International Workshop on
• Department of Computing Science and Mathematics University of Stirling
• Richard O. Sinnott and Kenneth J. Turner. The Specification of A Type Management System in LOTOS. Technical Report CSM-122, Department of
• SOFTWARE--PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2006; 36:9991027 Prepared using speauth.cls [Version: 2002/09/23 v2.2]
• Kenneth J. Turner. Specification architecture illustrated in a communications context (pre-publication version). Computer Networks and
• Department of Computing Science and Mathematics University of Stirling
• Feng Wang and Kenneth J. Turner. Towards Personalised Home Care Systems. In Ilias Maglogiannis, editor, Proc. 1st International Conference on
• Kenneth J. Turner. The alternating bit protocol -Constraint-oriented specifications in LOTOS. In Proc. British Computer Society Workshop on
• Kenneth J. Turner and Iain A. Robin (pre-publication version, copyright Elsevier Science).
• Kenneth J. Turner and Qian Bing. Protocol Techniques for Testing Radiotherapy Accelerators. In Moshe Vardi and Doron Peled, editors,
• Kenneth J.Turner and Koon Leai Larry Tan. A Rigorous Methodology for Composing Services. In Maria Alpuente, Byron Cook and Christophe Joubert, editors, Proc. Formal Methods for
• Stephan Reiff-Marganiec and Kenneth J. Turner, Feature Interaction in Policies, Computer Networks,
• Kenneth J. Turner. Template-based specification in LOTOS. Department of Computing Science and Mathematics, University of Stirling, Scotland, April 1993.
• Richard O. Sinnott and Kenneth J. Turner. Specifying ODP computational objects in Z. In Elie Najm and Jean-Bernard Stefani, editors, Proc.
• Claire Maternaghan and Kenneth J. Turner. A Configurable Telecare System, in Fillia Makedon, Margit Betke, Ilias Maglogiannis and Grammati Pantziou (eds.),
• Daren A. Reed and Kenneth J. Turner. Components for Quality of Service in Distributed Environments: Monitoring Service (extended version). In Andrew
• Department of Computing Science and Mathematics University of Stirling
• Kenneth J. Turner and Ashley McClenaghan. Visual animation of LOTOS using SOLVE (extended version). In Dieter Hogrefe and Stefan Leue, editors,
• Stephan Reiff-Marganiec and Kenneth J. Turner. Use of Logic to describe Enhanced Communications Services. In Moshe Vardi and Doron Peled, editors,
• Gyula Csopaki and Kenneth J. Turner. Modelling Digital Logic in SDL. In Tadanori Mizuno, Norio Shiratori, Teruo Higashino and Atsushi
• Kenneth J. Turner. Device Services for The Home. In Khalil Drira, Ahmed Hadj Kacem and Mohamed Jmaiel, editors, Proc. 10th Int. Conf. on New Technologies for Distributed Systems,
• Specification and Verification of Synchronous Hardware using LOTOS. In Jianping Wu, Samuel T. Chanson, Quiang Gao, editors, Proc. Formal Methods
• Department of Computing Science and Mathematics University of Stirling
• Kenneth J. Turner and Richard O. Sinnott. DILL: Specifying digital logic in LOTOS. In Richard L. Tenney, Paul D. Amer, and M. Umit Uyar, editors,
• E-LOTOS Tutorial with Examples Alberto Verdejo
• Department of Computing Science and Mathematics University of Stirling
• Department of Computing Science and Mathematics University of Stirling
• Kenneth J. Turner and Gavin A. Campbell. Goals for Telecare Networks, in Abdel Obaid (ed.), Proc. 9th International Conference on New Technologies for
• Kenneth J. Turner. Relating architecture and specification (pre-publication version). Computer Networks and ISDN Systems, 29(4):437-456, March 1997.
• Kenneth J. Turner and Mark A. Jennings. The Rules of Sailing Races for Hand-Held Devices (pre-publication version). J. Navigation, May 2002,
• Feng Wang and Kenneth J. Turner. Policy Conflicts in Home Care Systems. In Lydie du Bousquet and Jean-Luc Richier (eds.), Proc. 9th. Int. Conf. on
• Journal of Ambient Intelligence and Smart Environments 3 (2011) 83110 83 Flexible Management of Smart Homes
• Ji He and Kenneth J. Turner. Verifying and Testing Asynchronous Circuits using LOTOS (extended version). In Tommaso Bolognesi and Diego Latella,
• Koon Leai Larry Tan, Paul S. Lambert, Vernon Gayle and Kenneth J. Turner Enabling Quantitative Data Analysis on Cyberinfrastructures and Grids.
• Tingxue Huang and Kenneth J. Turner. Policy Support for H.323 Call Handling, Computer Standards and Interfaces (pre-publication version), January 2005.
• Gavin A. Campbell and Kenneth J. Turner. Policy Conflict Filtering for Call Control, in L. du Bousquet and J.-L. Richier, editors,
• Stephan Reiff-Marganiec and Kenneth J. Turner. A Policy Architecture for Enhancing and Controlling Features. In Daniel Amyot and Luigi Logrippo,
• Richard O. Sinnott and Kenneth J. Turner. The Development of An Architectural Semantics for ODP. Technical Report CSM-121, Department of
• Richard O. Sinnott and Kenneth J. Turner. Modelling ODP viewpoints. In B. Cameron, C. Geldrez, A. Hopley, D. Howes, B. Mirek, and M. Plucinska,
• Richard O. Sinnott and Kenneth J. Turner. Applying formal methods to standard development: The Open Distributed Processing experience. Computer
• Kenneth J. Turner. An engineering approach to formal methods. In Andre A. S. Danthine, Guy Leduc, and Pierre Wolper, editors, Proc. Protocol
• Kenneth J. Turner. Relating Services and Features in the Intelligent Network. In Ignac Lovrek, editor, Proc. 4th International Conference on
• Kenneth J. Turner. An Architectural Foundation for Relating Features. In Petre Dini, Raouf Boutaba and Luigi Logrippo, editors, Proc. Feature
• Kenneth J. Turner. An Architectural Description of Intelligent Network Features and Their Interactions (pre-publication version). Computer
• Kenneth J. Turner. Formalising the Chisel Feature Notation. In Muffy H. Calder and Evan H. Magill, editors, Proc. Feature Interactions in
• Kenneth J. Turner. Modelling SIP Services. In Moshe Vardi and Doron Peled, editors, Proc. Formal Techniques for Networked and Distributed Systems (FORTE
• Kenneth J. Turner and Marten van Sinderen. LOTOS specification style for OSI. In Ed Brinksma, Tommaso Bolognesi, and Christopher A. Vissers,
• Lynne Blair and Kenneth J. Turner. Handling Policy Conflicts in Call Control. In Stephan Reiff-Marganiec and Mark D. Ryan, editors, Proc. International
• Gavin A. Campbell and Kenneth J. Turner. Goals and Policies for Sensor Network Management. In M. Benveniste, B. Braem, C. Dini, G. Fortino, R. Karnapke, J. L. Mauri and M. S. H. Monsi, editors,
• Gavin A. Campbell and Kenneth J. Turner. Policy Conflict Filtering for Call Control, in Lydie du Bousquet and Jean-Luc Richier (eds.), Proc. 9th Int. Conf.
• A. John M. Donaldson and Kenneth J. Turner. Formal specification of QoS properties. In Jan de Meer, Gregor von Bochmann, and Andreas Vogel,
• Paul S. Lambert, Koon Leai Larry Tan, Kenneth J. Turner, Vernon Gayle, Ken Prandy and Richard O. Sinnott. Development of a Grid Enabled Occupational Data Environment. In Rob Procter, editor, Proc. 2nd International
• Ahmed F. Layouni, Luigi Logrippo and Kenneth J. Turner. Conflict Detection in Call Control using First-Order Logic Model Checking, in Lydie du Bousquet and Jean-Luc Richier
• Richard O. Sinnott and Kenneth J. Turner. Specifying Multimedia Binding Objects in Z. Proc. Workshop on Trends in Distributed Systems, Aachen,
• K. L. L. Tan, V. Gayle, P. S. Lambert, R. O. Sinnott and K. J. Turner. GEODE -Sharing Occupational Data Through The Grid, in S. J. Cox, editor, Proc. 5th. UK e-Science
• Koon Leai Larry Tan and Kenneth J. Turner. Orchestrating Grid Services using BPEL and Globus Toolkit 4. In Madjid Merabti, Rubem Pereira, Carol Oliver and OmarAbuelma'atti, editors, Proc. 7th PGNet Symposium, pages 31-36,
• Koon Leai Larry Tan and Kenneth J. Turner. Automated Analysis and Implementation of Composed Grid Services.
• Kenneth J. Turner. Representing New Voice Services and Their Features. In Daniel Amyot and Luigi Logrippo, editors, Proc. Feature Interactions in
• Kenneth J. Turner. Specifying and Realising Interactive Voice Services. In Harmut Koenig, Monica Heiner and Adam Wolisz, editors, Proc. Formal
• Kenneth J. Turner. Formalising Graphical Behaviour Descriptions, Proc. 10th. International Conference on Algebraic Methodology and Software Technology,
• Kenneth J. Turner. Formalising Web Services. In Fern Wang, editor, Proc. Formal Techniques for Networked and Distributed Systems (FORTE XVIII),
• Kenneth J. Turner and Gavin A. Campbell. Goals and Conflicts in Telephony, in Masahide Nakamura and Stephan Reiff-Marganiec (eds.),
• Kenneth J. Turner, Koon Leai Larry Tan, Jesse M. Blum, Guy C. Warner, Simon B. Jones and Paul S. Lambert. Managing Data in E-Social Science,
• Kenneth J. Turner, Liam S. Docherty, Feng Wang and Gavin A. Campbell. Managing Home Care Networks, in Robert Bestak, Laurent George,
• Kenneth J. Turner and Koon Leai Larry Tan. A Rigorous Approach to orchestrating Grid Services. Computer Networks, 51(15):4421-4441,
• Feng Wang and Kenneth J. Turner. Policy Conflicts in Home Care Systems, in Lydie du Bousquet and Jean-Luc Richier (eds.), Proc. 9th Int. Conf.
• Feng Wang and Kenneth J. Turner. An Ontology-Based Actuator Discovery and Invocation Framework in Home Care Systems, in M. Mokhtari, I. Khalil, J. Bauchet,
• Department of Computing Science and Mathematics University of Stirling
• Department of Computing Science and Mathematics University of Stirling
• Ji He and Kenneth J. Turner. Protocol-Inspired Hardware Testing. In Gyula Csopaki, Sarolta Dibuz and Katalin Tarnay, editors, Proc. Testing
• ISSN0249-6399 de recherche
• Kenneth J. Turner. The Formal Specification Language LOTOS: A Course For Users. Department of Computing Science and Mathematics, University of
• Kenneth J. Turner. Incremental Requirements Specification with LOTOS. Requirements Engineering Journal, 2:132-151, Springer-Verlag, London, UK,
• Kenneth J. Turner. The Invoicing Case Study in (E-)LOTOS. In Michel Allemand, Christian Attiogbe and Henri Habrias, editors, Proc.
• Kenneth J. Turner. Test Generation for Radiotherapy Accelerators, Software Tools for Technology Transfer, 7(4):361-375, Springer, August 2005
• Kenneth J. Turner, Ashley McClenaghan and Colin Chan. Specification and Animation of Reactive Systems. In Volkan Atalay, Ugur Halici, Kemal Inan,
• Kenneth J. Turner and Qian Bing. Systematic Testing of Radiotherapy Accelerators. In Hartmut Ehrig, Berndt J. Kramer and Atilla Ertas, editors,
• Claire Maternaghan and Kenneth J. Turner. Programming Home Care. In Maria K. Wolters, Kenneth J. Turner and H. Lakany, editors,
• IASSIST Quarterly Spring -Summer 2009 23 Metadata Creation, Transformation
• Kenneth J. Turner. A Structural Comparison of LaTeX and FrameMaker. Submitted to Electronic Publication -Origination, Dissemination and
• Possible PhD Topics Kenneth J. Turner (http://www.cs.stir.ac.uk/~kjt/research)
• A LOTOS Vade Mecum K. J. Turner, University of Stirling
• Department of Computing Science and Mathematics University of Stirling
• Department of Computing Science and Mathematics University of Stirling
• Gavin A. Campbell. Sensor Network Policy Conflicts, in L. du Bousquet and J.-L. Richier, editors, Proc. 9th. Int. Conf. on Feature Interactions in Software and Communication Systems,
• Gavin A. Campbell and Kenneth J. Turner. Ontologies to support Call Control Policies. In N. Meghanathan, D. Collange and Y. Takasaki, editors,
• Claire Maternaghan and Kenneth J. Turner. A Component Framework for Telecare and Home Automation. In Sergey Balandin, Marcin Matuszewksi, Jörg Ott and Gary Chan, editors,
• Kenneth J. Turner. Modular Feature Specification. In Tom Gray, editor, Proc. MICON 2001,
• Richard O. Sinnott and Kenneth J. Turner. Type Checking in Open Distributed Systems: A Complete Model and its Z Specification. In Jerome
• Abstract--It is argued that various factors including the increasingly ageing population will require more care services to
• Kenneth J. Turner. Realising Architectural Feature Descriptions using LOTOS. Parallel Computers, Networks and Distributed Systems (Calculateurs
• Kenneth J. Turner, Alex M. Gillespie and Lynne J. McMichael. Rigorous Development of Prompting Dialogues, Biomedical Informatics,