| 2008 |
|---|
| 19 | EE | Ian Oliver:
Towards the Dynamic Semantic Web.
NEW2AN 2008: 258-259 |
| 18 | EE | Ian Oliver,
Jukka Honkola:
Personal Semantic Web Through A Space Based Computing Environment
CoRR abs/0808.1455: (2008) |
| 2007 |
|---|
| 17 | EE | 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 |
| 16 | EE | Ian Oliver:
Experiences in Using B and UML in Industrial Development.
B 2007: 248-251 |
| 15 | EE | Juha Savolainen,
Ian Oliver,
Varvana Myllärniemi,
Tomi Männistö:
Analyzing and Re-structuring Product Line Dependencies.
COMPSAC (1) 2007: 569-574 |
| 14 | EE | Vesa Luukkala,
Ian Oliver:
Model Based Testing of an Embedded Session and Transport Protocol.
TestCom/FATES 2007: 212-227 |
| 13 | EE | Ian Oliver:
Applying UML and MDA to Real Systems Design
CoRR abs/0710.4682: (2007) |
| 2006 |
|---|
| 12 | EE | Kim Sandström,
Ian Oliver:
A UML Profile for Asynchronous Hardware Design.
SAMOS 2006: 15-26 |
| 2005 |
|---|
| 11 | EE | Juha Savolainen,
Ian Oliver,
Mike Mannion,
Hailang Zuo:
Transitioning from Product Line Requirements to Product Line Architecture.
COMPSAC (1) 2005: 186-195 |
| 10 | EE | Ian Oliver:
Applying UML and MDA to Real Systems Design.
DATE 2005: 70-71 |
| 9 | | 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 |
|---|
| 8 | EE | Alexander Krupp,
Wolfgang Mueller,
Ian Oliver:
Formal Refinement and Model Checking of an Echo Cancellation Unit.
DATE 2004: 102-107 |
| 2003 |
|---|
| 7 | EE | 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 | EE | 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 | EE | Ian Oliver,
Stuart Kent:
Validation of Object Oriented Models using Animation.
EUROMICRO 1999: 2237- |
| 1968 |
|---|
| 1 | EE | Ian Oliver:
Algorithms: Algorithm 330: Factorial analysis of variance.
Commun. ACM 11(6): 431-432 (1968) |
