Skip header navigation

University of Stirling

×

Professor KEN Turner

Emeritus Professor

Computing Science University of Stirling, Stirling, FK9 4LA

Professor KEN Turner

Contact details

Share a link

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 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 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 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.

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

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

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

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

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

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/

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

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.

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

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

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

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

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.

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

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

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)

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

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

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.

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

Scroll back to the top