Ian Justin Oliver

Principal Member of Research Staff
Helsinki, Finland

Research Interests

Semantic Web, Semantic Computation, Formal Methods, Safety-Critical System Analysis (eg: FMEA), Description Logics, Ontology Design, Category Theory, Anaesthesia and Conciousnes, Diagrammatic and Visual Reasoning

Research Projects

Currently working with the M3 Project on an information sharing and service/agent/application-"mashup" middleware based providing distributed Semantic Web capabilities for mobile and embedded devices.

Previous projects include: Sedvice (semantic web for mobile devices), NoTA (Network on Terminal Architecture), UML Standardisation Work, Project Auditing (method vs process and the antithesis to CMM), Failure Mode and Effect Analysis of Software/Hardware systems, Schedulability Analysis for Digital Signal Processors in mobile devices, Buisness Process Improvement and Modelling.

Personal Information

I have a PhD awared 2001 by the University of Kent at Canterbury in UK on the topic of animating formal specifications with particular reference to OCL and UML.

I also have a BSc(hons) 1st class awarded 1996 by the University of Brighton specialising in expert system, artificial intelligence, object orientation, parallel systems and formal specification.

I am occasionally found show-jumping horses.

Other Information

Joined Nokia Research in September 1999 working on project specifically aimed at formal specification and reasoning about models. Since 2006 I've concentrated more on embedded development, hardware-software co-design and semantic web concepts and their provision in heteogenous, mobile and distributed environments; with the work of late more concentrating on service and application provision in such environments.

Publications

John Howse, Steve Schuman, Gem Stapleton, Ian Oliver (2009). Diagrammatic Formal Specification of a Configuration Control Platform. In Proceedings of Refinement 2009. Eindhoven, Holland, 2 November 2009

Ian Oliver, John Howse, Gem Stapleton, Esko Nuutila, Seppo Torma (2009). A Proposed Diagrammatic Logic for Ontology Specification and Visualization. ISWC 2009. Washington DC, November 2009

Ian Oliver, Kary Främling, Joni Jantunen, Sergey Boldyrev, Jukka Honkola (2009). Integration and Uses of RF Memory Tags with Smart Space Semantic Web Middleware. 14th IEEE International Conference on Emerging Techonologies and Factory Automation. Mallorca. (to appear)

Ian Oliver, Esko Nuutila, Seppo Törmä (2009) Context gathering in meetings: Business processes meet the Agents and the Semantic Web. The 4th International Workshop on Technologies for Context-Aware Business Process Management (TCoB 2009). Milan, Italy

Sergey Boldyrev, Ian Oliver, Jukka Honkola (2009). A Mechanism for Managing and Distributing Information and Queries in a Smart Space Environment. The 1st International Workshop on Managing Data with Mobile Devices (MDMD 2009) 6-7 May, 2009 - Milan, Italy

Joni Jantunen, Ian Oliver, Sergey Boldyrev, Jukka Honkola (2009) Agent/Space-Based Computing and RF memory Tag Interaction. The 3rd International Workshop on RFID Technology - Concepts, Applications, Challenges (IWRT 2009). Milan, Italy

Ian Oliver (2009). Information Spaces as a Basis for Personalising The Semantic Web. 11th International Conference on Enterprise Information Systems

Ian Oliver, Jukka Honkola, Jurgen Ziegler (2008) Dynamic, Localised Space Based Semantic Webs. WWW/Internet Conference, Freiburg, Germany

Ian Oliver, Jukka Honkola (2008) Personal Semantic Web Through A Space Based Computing Environment. Middleware for Semantic Web 08 at ICSC'08, Santa Clara, CA, USA

Ian Oliver (2007) Experiences of Formal Methods in Conventional Software and Systems Design. BCS-FACS Meeting on Formal Methods in Industry. December 2007. London, UK

Ian Oliver (2007) Design and Validation of a Distributed Computation Environment for Mobile Devices. 21st European Simulation Multiconference: Modelling and Simulation 2007, October 22-24, 2007, St.Julian's, Malta

Juha Savolainen, Ian Oliver (2007) Analyzing and Re-structuring Product Line Dependencies, COMPSAC'07, Beijing China

Ian Oliver, Vesa Luukkala (2007). Model Based Testing of an Embedded Session and Transport Protocol. TestCom/FATES 2007. Tallinn, Estonia

Ian Oliver (2007). Experiences in Using B and UML in Industrial Development. B2007. France

Ian Oliver (2007). Specifications and Modelling. In: Brian Bailey, Grant Martin, Andrew Pizial (eds.) ESL Design and Verification. Morgan Kaufman Publications. pp139-173. 0-12-373551-3

Pontus Boström, Mats Neovius, Ian Oliver, Marina Walden (2006). Formal Transformation of Platform Independent Models into Platform Specific Models in MDA. Lecture Notes in Computer Science 4355 : B 2007: Formal Specification and Development in B (2006), pp. 186-200.

Ian Oliver, Vesa Luukkala (2006). On UML's Composite Structure Diagram. 5th Workshop on System Analysis and Modelling May 31st - June 2nd, 2006 Kaiserslautern, Germany

Ian Oliver (2006). A Demonstration of Specifying and Synthesising Hardware using B and Bluespec. Forum on Design Languages FDL'06

Kim Sandstrom, Ian Oliver (2006). A UML Pro le for Asynchronous Hardware Design. SAMOS IV Workshop

Juha Savolainen, Ian Oliver, Mike Mannion, Hailang Zuo (2005) Transitioning from Product Line Requirements to Product Line Architecture. COMPSAC 2005

Joey Coleman, Cli ff Jones, Ian Oliver, Alexander Romanovsky, Elena Troubitsyna (2005). RODIN (Rigorous Open Development Environment for Complex
Systems). Fifth European Dependable Computing Conference EDCC-5. 20-22 April 2005, Budapest, Hungary

Johan Lilus, Tomas Lillqvist, Torbjörn Lundkvist, Ian Oliver, Ivan Porres, Kim Sandstrom, Glenn Sveholm, Asim Pervez Zaka (2005) An Architecture Exploration Environment for System on Chip Design. Nordic Journal of Computing. Vol 12(4). ISSN 1236-6064

Ian Oliver (2005) Using Class Relationships for Identifying Invariants. Nokia Technical Report NRC-TR-2006-006

Aija Palomaki, Ian Oliver, (2005). Utilising Object Orientation, UML and MDA in Data Warehouse Development. The Data Management Association Conference (DAMA 05), London, Nov 2005.

Alexander Krupp, Wolfgang Mueller, Ian Oliver (2004). Formal Refinement and Model Checking of an Echo Cancellation Unit. Proceedings of Design, Automation and Test in Europe, DATE'04, Paris

Colin Snook, Ian Oliver, Michael Butler (2004). The UML-B profile for formal systems modelling in UML, In UML-B Specification for Proven Embedded Systems Design, J. Mermet, Ed. Kluwer Academic Publishers, Dordrecht, The Netherlands.

Ian Oliver (2003). A UML Profile for Real-Time System Modelling with Rate Monotonic Analysis. System Specification and Design Languages. Kluwer Academic Publishers

Michele Marchetti, Ian Oliver (2003). Towards a Conceptual Framework for UML to Hardware Description Language Mappings. Proceedings of FDL03, Frankfurt, Germany, Sept 2002.