 | 2009 |
| 29 |  | Ian Oliver:
Information Spaces as a Basis for Personalising the Semantic Web.
ICEIS (4) 2009: 179-184 |
| 28 |  | Ian Oliver,
Sergey Boldyrev:
Operations on Spaces of Information.
ICSC 2009: 267-274 |
| 27 |  | Sergey Boldyrev,
Ian Oliver,
Jukka Honkola:
Determining Information Signatures in Smart Spaces.
ICSC 2009: 291-296 |
| 26 |  | Jukka Honkola,
Hannu Laine,
Ronald Brown,
Ian Oliver:
Cross-Domain Interoperability: A Case Study.
NEW2AN 2009: 22-31 |
| 25 |  | 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 |
| 2008 |
| 24 |  | 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 |
| 23 |  | Ian Oliver:
Towards the Dynamic Semantic Web.
NEW2AN 2008: 258-259 |
| 22 |  | Ian Oliver,
Jukka Honkola:
Personal Semantic Web Through A Space Based Computing Environment
CoRR abs/0808.1455: (2008) |
| 2007 |
| 21 |  | 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 |
| 20 |  | Ian Oliver:
Experiences in Using B and UML in Industrial Development.
B 2007: 248-251 |
| 19 |  | Juha Savolainen,
Ian Oliver,
Varvana Myllärniemi,
Tomi Männistö:
Analyzing and Re-structuring Product Line Dependencies.
COMPSAC (1) 2007: 569-574 |
| 18 |  | Vesa Luukkala,
Ian Oliver:
Model Based Testing of an Embedded Session and Transport Protocol.
TestCom/FATES 2007: 212-227 |
| 17 |  | Ian Oliver:
Applying UML and MDA to Real Systems Design
CoRR abs/0710.4682: (2007) |
| 2006 |
| 16 |  | Klaus Kronlöf,
Samu Kontinen,
Ian Oliver,
Timo Eriksson:
A Method for Terminal Platform Architecture Development.
FDL 2006: 351-359 |
| 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) |