| 2009 | ||
|---|---|---|
| 32 | Alexander V. Smirnov, Alexey Kashevnik, Nikolay Shilov, Sergey Boldyrev, Sergey Balandin, Ian Oliver: Context-Aware SmartSpace: Reference Model. AINA Workshops 2009: 261-265 | |
| 31 | Ian Oliver: Information Spaces as a Basis for Personalising the Semantic Web. ICEIS (4) 2009: 179-184 | |
| 30 | Ian Oliver, Sergey Boldyrev: Operations on Spaces of Information. ICSC 2009: 267-274 | |
| 29 | Sergey Boldyrev, Ian Oliver, Jukka Honkola: Determining Information Signatures in Smart Spaces. ICSC 2009: 291-296 | |
| 28 | Jukka Honkola, Hannu Laine, Ronald Brown, Ian Oliver: Cross-Domain Interoperability: A Case Study. NEW2AN 2009: 22-31 | |
| 27 | Alexander V. Smirnov, Alexey Kashevnik, Nikolay Shilov, Ian Oliver, Sergey Balandin, Sergey Boldyrev: Anonymous Agent Coordination in Smart Spaces: State-of-the-Art. NEW2AN 2009: 42-51 | |
| 26 | John Howse, Steve Schuman, Gem Stapleton, Ian Oliver: Diagrammatic Formal Specification of a Configuration Control Platform. Electr. Notes Theor. Comput. Sci. 259: 87-104 (2009) | |
| 2008 | ||
| 25 | Alexander V. Smirnov, Nikolay Shilov, Andrew Krizhanovsky, Antti Lappeteläinen, Ian Oliver, Sergey Boldyrev: Efficient distributed information management in smart spaces. ICDIM 2008: 483-488 | |
| 24 | Ian Oliver: Towards the Dynamic Semantic Web. NEW2AN 2008: 258-259 | |
| 23 | Ian Oliver, Jukka Honkola: Personal Semantic Web Through A Space Based Computing Environment CoRR abs/0808.1455: (2008) | |
| 2007 | ||
| 22 | Pontus Boström, Mats Neovius, Ian Oliver, Marina A. Waldén: Formal Transformation of Platform Independent Models into Platform Specific Models. B 2007: 186-200 | |
| 21 | Ian Oliver: Experiences in Using B and UML in Industrial Development. B 2007: 248-251 | |
| 20 | Juha Savolainen, Ian Oliver, Varvana Myllärniemi, Tomi Männistö: Analyzing and Re-structuring Product Line Dependencies. COMPSAC (1) 2007: 569-574 | |
| 19 | Vesa Luukkala, Ian Oliver: Model Based Testing of an Embedded Session and Transport Protocol. TestCom/FATES 2007: 212-227 | |
| 18 | Ian Oliver: Applying UML and MDA to Real Systems Design CoRR abs/0710.4682: (2007) | |
| 2006 | ||
| 17 | Klaus Kronlöf, Samu Kontinen, Ian Oliver, Timo Eriksson: A Method for Terminal Platform Architecture Development. FDL 2006: 351-359 | |
| 16 | Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan, Ian Oliver, Kim Sandström: Design Method Support for Domain Specific SoC design. MDB/MOMPES 2006: 25-32 | |
| 15 | Kim Sandström, Ian Oliver: A UML Profile for Asynchronous Hardware Design. SAMOS 2006: 15-26 | |
| 2005 | ||
| 14 | Juha Savolainen, Ian Oliver, Mike Mannion, Hailang Zuo: Transitioning from Product Line Requirements to Product Line Architecture. COMPSAC (1) 2005: 186-195 | |
| 13 | Ian Oliver: Applying UML and MDA to Real Systems Design. DATE 2005: 70-71 | |
| 12 | Johan Lilius, Tomas Lillqvist, Torbjörn Lundkvist, Ian Oliver, Ivan Porres, Kim Sandström, Glen Sveholm, Asim Pervez Zaka: An Architecture Exploration Environment for System on Chip Design. Nord. J. Comput. 12(4): 361-378 (2005) | |
| 2004 | ||
| 11 | Alexander Krupp, Wolfgang Müller, Ian Oliver: Formal Refinement and Model Checking of an Echo Cancellation Unit. DATE 2004: 102-107 | |
| 10 | Ian Oliver: Model Based Testing and Refinement in MDA Based Developent. FDL 2004: 180-192 | |
| 9 | Sari Leppänen, Markku Turunen, Ian Oliver: Application Driven Methodology for Development of Communicating Systems. FDL 2004: 192-204 | |
| 8 | Ian Oliver: Mapping UML Descriptions to the Raven Input Language. FDL 2004: 216-228 | |
| 2003 | ||
| 7 | Ian Oliver: Model Driven Embedded Systems. ACSD 2003: 5 | |
| 2002 | ||
| 6 | Ian Oliver: Simulation of Software Behaviour using Animation. ESM 2002: 278-283 | |
| 2000 | ||
| 5 | Anthony Lauder, Marlon Dumas, Ákos Frohner, Ian Oliver: PhDOOS 2000: The 10th Ph.D. Workshop on Object-Oriented Systems. ECOOP Workshops 2000: 78-92 | |
| 1999 | ||
| 4 | Ian Oliver: 'Executing' the OCL. ECOOP Workshop for PhD Students in OO Systems 1999: 175 | |
| 3 | Ian Oliver: Validation of Object Oriented Models Using Animation. ECOOP Workshops 1999: 375-376 | |
| 2 | Ian Oliver, Stuart Kent: Validation of Object Oriented Models using Animation. EUROMICRO 1999: 2237- | |
| 1968 | ||
| 1 | Ian Oliver: Algorithms: Algorithm 330: Factorial analysis of variance. Commun. ACM 11(6): 431-432 (1968) | |