Professor KEN Turner

Emeritus Professor

Computing Science University of Stirling, Stirling, FK9 4LA

Professor KEN Turner

Contact details

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

LOTOS specification style for OSI. 3rd LotoSphere Workshop

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

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

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)

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

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

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

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)

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/

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

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.

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

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)

Specifying Hardware Timing with ET-LOTOS (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

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

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

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.

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

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

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.

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 web services. 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE XVIII)

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

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

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

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

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.

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

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

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/

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.