Ian Oliver

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
19EEIan Oliver: Towards the Dynamic Semantic Web. NEW2AN 2008: 258-259
18EEIan Oliver, Jukka Honkola: Personal Semantic Web Through A Space Based Computing Environment CoRR abs/0808.1455: (2008)
2007
17EEPontus Boström, Mats Neovius, Ian Oliver, Marina A. Waldén: Formal Transformation of Platform Independent Models into Platform Specific Models. B 2007: 186-200
16EEIan Oliver: Experiences in Using B and UML in Industrial Development. B 2007: 248-251
15EEJuha Savolainen, Ian Oliver, Varvana Myllärniemi, Tomi Männistö: Analyzing and Re-structuring Product Line Dependencies. COMPSAC (1) 2007: 569-574
14EEVesa Luukkala, Ian Oliver: Model Based Testing of an Embedded Session and Transport Protocol. TestCom/FATES 2007: 212-227
13EEIan Oliver: Applying UML and MDA to Real Systems Design CoRR abs/0710.4682: (2007)
2006
12EEKim Sandström, Ian Oliver: A UML Profile for Asynchronous Hardware Design. SAMOS 2006: 15-26
2005
11EEJuha Savolainen, Ian Oliver, Mike Mannion, Hailang Zuo: Transitioning from Product Line Requirements to Product Line Architecture. COMPSAC (1) 2005: 186-195
10EEIan 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
8EEAlexander Krupp, Wolfgang Mueller, Ian Oliver: Formal Refinement and Model Checking of an Echo Cancellation Unit. DATE 2004: 102-107
2003
7EEIan Oliver: Model Driven Embedded Systems. ACSD 2003: 5
2002
6 Ian Oliver: Simulation of Software Behaviour using Animation. ESM 2002: 278-283
2000
5EEAnthony 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
2EEIan Oliver, Stuart Kent: Validation of Object Oriented Models using Animation. EUROMICRO 1999: 2237-
1968
1EEIan Oliver: Algorithms: Algorithm 330: Factorial analysis of variance. Commun. ACM 11(6): 431-432 (1968)

Coauthor Index

1Pontus Boström [17]
2Marlon Dumas [5]
3Ákos Frohner [5]
4Jukka Honkola [18]
5Stuart Kent [2]
6Alexander Krupp [8]
7Anthony Lauder [5]
8Johan Lilius [9]
9Tomas Lillqvist [9]
10Torbjörn Lundkvist [9]
11Vesa Luukkala [14]
12Mike Mannion [11]
13Tomi Männistö [15]
14Wolfgang Mueller [8]
15Varvana Myllärniemi [15]
16Mats Neovius [17]
17Ivan Porres [9]
18Kim Sandström [9] [12]
19Juha Savolainen [11] [15]
20Glen Sveholm [9]
21Marina A. Waldén [17]
22Asim Pervez Zaka [9]
23Hailang Zuo [11]

Colors in the list of coauthors

Copyright © Fri Oct 3 18:41:27 2008 by Michael Ley (ley@uni-trier.de)