Search the dblp DataBase

Publications of Author

1. Ian Oliver
   Model Driven Embedded Systems. [Citation Graph (0, 0)][DBLP]
   ACSD, 2003, pp:5- [Conf]
   
2. Ian Oliver
   Experiences in Using B and UML in Industrial Development. [Citation Graph (0, 0)][DBLP]
   B, 2007, pp:248-251 [Conf]
   
3. Pontus Boström, Mats Neovius, Ian Oliver, Marina A. Waldén
   Formal Transformation of Platform Independent Models into Platform Specific Models. [Citation Graph (0, 0)][DBLP]
   B, 2007, pp:186-200 [Conf]
   
4. Juha Savolainen, Ian Oliver, Mike Mannion, Hailang Zuo
   Transitioning from Product Line Requirements to Product Line Architecture. [Citation Graph (0, 0)][DBLP]
   COMPSAC (1), 2005, pp:186-195 [Conf]
   
5. Alexander Krupp, Wolfgang Mueller, Ian Oliver
   Formal Refinement and Model Checking of an Echo Cancellation Unit. [Citation Graph (0, 0)][DBLP]
   DATE, 2004, pp:102-107 [Conf]
   
6. Ian Oliver
   Applying UML and MDA to Real Systems Design. [Citation Graph (0, 0)][DBLP]
   DATE, 2005, pp:70-71 [Conf]
   
7. Anthony Lauder, Marlon Dumas, Ákos Frohner, Ian Oliver
   PhDOOS 2000: The 10^th Ph.D. Workshop on Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
   ECOOP Workshops, 2000, pp:78-92 [Conf]
   
8. Ian Oliver
   'Executing' the OCL. [Citation Graph (0, 0)][DBLP]
   ECOOP Workshop for PhD Students in OO Systems, 1999, pp:175- [Conf]
   
9. Ian Oliver
   Validation of Object Oriented Models Using Animation. [Citation Graph (0, 0)][DBLP]
   ECOOP Workshops, 1999, pp:375-376 [Conf]
   
10. Ian Oliver
    Simulation of Software Behaviour using Animation. [Citation Graph (0, 0)][DBLP]
    ESM, 2002, pp:278-283 [Conf]
    
11. Ian Oliver, Stuart Kent
    Validation of Object Oriented Models using Animation. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 1999, pp:2237-0 [Conf]
    
12. Kim Sandström, Ian Oliver
    A UML Profile for Asynchronous Hardware Design. [Citation Graph (0, 0)][DBLP]
    SAMOS, 2006, pp:15-26 [Conf]
    
13. Ian Oliver
    Algorithms: Algorithm 330: Factorial analysis of variance. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1968, v:11, n:6, pp:431-432 [Journal]
    
14. 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. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2005, v:12, n:4, pp:361-378 [Journal]
    
15. Juha Savolainen, Ian Oliver, Varvana Myllärniemi, Tomi Männistö
    Analyzing and Re-structuring Product Line Dependencies. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2007, pp:569-574 [Conf]
    
16. Vesa Luukkala, Ian Oliver
    Model Based Testing of an Embedded Session and Transport Protocol. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:212-227 [Conf]
    
17. Ian Oliver
    Applying UML and MDA to Real Systems Design [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
    
18. 
    Context-Aware SmartSpace: Reference Model. [Citation Graph (, )][DBLP]
    
    
19. 
    Information Spaces as a Basis for Personalising the Semantic Web. [Citation Graph (, )][DBLP]
    
    
20. 
    Towards the Dynamic Semantic Web. [Citation Graph (, )][DBLP]
    
    
21. 
    Anonymous Agent Coordination in Smart Spaces: State-of-the-Art. [Citation Graph (, )][DBLP]
    
    
22. 
    Cross-Domain Interoperability: A Case Study. [Citation Graph (, )][DBLP]
    
    
23. 
    On-the-Fly Ontology Matching in Smart Spaces: A Multi-model Approach. [Citation Graph (, )][DBLP]
    
    
24. 
    Design Method Support for Domain Specific SoC design. [Citation Graph (, )][DBLP]
    
    
25. 
    Efficient distributed information management in smart spaces. [Citation Graph (, )][DBLP]
    
    
26. 
    Agent/Space-based Computing and RF Memory Tag Interaction. [Citation Graph (, )][DBLP]
    
    
27. 
    Operations on Spaces of Information. [Citation Graph (, )][DBLP]
    
    
28. 
    Determining Information Signatures in Smart Spaces. [Citation Graph (, )][DBLP]
    
    
29. 
    A Method for Terminal Platform Architecture Development. [Citation Graph (, )][DBLP]
    
    
30. 
    Mapping UML Descriptions to the Raven Input Language. [Citation Graph (, )][DBLP]
    
    
31. 
    Model Based Testing and Refinement in MDA Based Developent. [Citation Graph (, )][DBLP]
    
    
32. 
    Application Driven Methodology for Development of Communicating Systems. [Citation Graph (, )][DBLP]
    
    
33. 
    Personal Semantic Web Through A Space Based Computing Environment [Citation Graph (, )][DBLP]
    
    
34. 
    Diagrammatic Formal Specification of a Configuration Control Platform. [Citation Graph (, )][DBLP]