The SCEAS System
Navigation Menu

Search the dblp DataBase


Tommi Mikkonen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tommi Mikkonen
    Experiences on Developing and Using a Tool Support for Formal Specification. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2003, pp:297-308 [Conf]
  2. Kirsti Ala-Mutka, Tommi Mikkonen
    Common Computer-aided Assessment for University and Industry? [Citation Graph (0, 0)][DBLP]
    CATE, 2004, pp:479-484 [Conf]
  3. Pertti Kellomäki, Tommi Mikkonen
    Design Templates for Collective Behavior. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2000, pp:277-295 [Conf]
  4. Reino Kurki-Suonio, Tommi Mikkonen
    Liberating Object-Oriented Modeling from Programming-Level Abstractions. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1997, pp:195-199 [Conf]
  5. Reino Kurki-Suonio, Tommi Mikkonen
    Harnessing the Power of Interaction. [Citation Graph (0, 0)][DBLP]
    EJC, 1998, pp:1-11 [Conf]
  6. Imed Hammouda, Markku Hakala, Mika Pussinen, Mika Katara, Tommi Mikkonen
    Concern-Based Development of Pattern Systems. [Citation Graph (0, 0)][DBLP]
    EWSA, 2005, pp:113-129 [Conf]
  7. Tommi Mikkonen, Risto Pitkänen, Mika Pussinen
    On the Role of Architectural Style in Model Driven Development. [Citation Graph (0, 0)][DBLP]
    EWSA, 2004, pp:74-87 [Conf]
  8. Pertti Kellomäki, Tommi Mikkonen
    Archived Design Steps in Temporal Logic. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1858- [Conf]
  9. Jani Pesonen, Mika Katara, Tommi Mikkonen
    Production-Testing of Embedded Systems with Aspects. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:90-102 [Conf]
  10. Jyke Jokinen, Tommi Mikkonen
    Programming in Increments: A Case Study. [Citation Graph (0, 0)][DBLP]
    IASSE, 2003, pp:183-187 [Conf]
  11. Timo Aaltonen, Tommi Mikkonen
    Managing Software Evolution with a Formalized Abstraction Hierarchy. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2002, pp:224-231 [Conf]
  12. Mika Katara, Tommi Mikkonen
    Aspect-Oriented Specification Architectures for Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:180-190 [Conf]
  13. Tommi Mikkonen
    Formalizing Design Patterns. [Citation Graph (0, 0)][DBLP]
    ICSE, 1998, pp:115-124 [Conf]
  14. Pertti Kellomäki, Tommi Mikkonen
    Modeling Distributed State as an Abstract Object. [Citation Graph (0, 0)][DBLP]
    DIPES, 1998, pp:223-230 [Conf]
  15. Kimmo Kiviluoma, Johannes Koskinen, Tommi Mikkonen
    Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:181-190 [Conf]
  16. Tommi Mikkonen, Mika Pussinen
    UML-based Tool Support for Separating Application and Architectural Evolution. [Citation Graph (0, 0)][DBLP]
    IWPSE, 2004, pp:67-75 [Conf]
  17. Imed Hammouda, Johannes Koskinen, Mika Pussinen, Mika Katara, Tommi Mikkonen
    Adaptable Concern-Based Framework Specialization in UML. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:78-87 [Conf]
  18. Tommi Myllymäki, Kai Koskimies, Tommi Mikkonen
    Structuring Product-Lines: A Layered Architectural Style. [Citation Graph (0, 0)][DBLP]
    OOIS, 2002, pp:482-487 [Conf]
  19. Vesa-Matti Hartikainen, Pasi P. Liimatainen, Tommi Mikkonen
    On Mobile Java Memory Consumption. [Citation Graph (0, 0)][DBLP]
    PDP, 2006, pp:333-339 [Conf]
  20. Tommi Mikkonen
    Codesign Requires Closed-System Specifications. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:2968-2974 [Conf]
  21. Reino Kurki-Suonio, Tommi Mikkonen
    Abstractions of Distributed Cooperation, their Refinement and Implementation. [Citation Graph (0, 0)][DBLP]
    PDSE, 1998, pp:94-102 [Conf]
  22. Riku Järvensivu, Risto Pitkänen, Tommi Mikkonen
    Object-oriented middleware for location-aware systems. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:1184-1190 [Conf]
  23. Tommi Mikkonen, Risto Pitkänen
    Facilities of Practice Reflecting Abstractions of Theory, and Vice Versa. [Citation Graph (0, 0)][DBLP]
    SCCC, 2001, pp:203-212 [Conf]
  24. Mika Korhonen, Tommi Mikkonen
    Assessing Systems Adaptability to a Product Family. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2003, pp:135-141 [Conf]
  25. Juha Järvensivu, Tommi Mikkonen
    .NET As A Platform For Wireless Applications. [Citation Graph (0, 0)][DBLP]
    Wireless Information Systems, 2005, pp:104-113 [Conf]
  26. Juha Järvensivu, Matti Kosola, Mikko Kuusipalo, Pekka Reijula, Tommi Mikkonen
    Developing an Open Source Integrated Development Environment for a Mobile Device. [Citation Graph (0, 0)][DBLP]
    ICSEA, 2006, pp:55- [Conf]
  27. Linda Källström, Simone Leggio, Jukka Manner, Tommi Mikkonen, Kimmo E. E. Raatikainen, Jussi Saarinen, Sanna Suoranta, Antti Ylä-Jääski
    A framework for seamless service interworking in ad-hoc networks. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2006, v:29, n:16, pp:3277-3294 [Journal]
  28. Tommi Mikkonen, Peeter Pruuden
    Flexibility as a Design Driver. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2001, v:34, n:11, pp:52-56 [Journal]
  29. Timo Aaltonen, Joni Helin, Mika Katara, Pertti Kellomäki, Tommi Mikkonen
    Coordinating Aspects and Objects. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
  30. Kirsti Ala-Mutka, Tommi Mikkonen
    Experiences with Distributed Open Source Courses. [Citation Graph (0, 0)][DBLP]
    Informatica (Slovenia), 2003, v:27, n:3, pp:243-254 [Journal]
  31. Mika Korhonen, Tommi Mikkonen
    Assessing systems adaptability to a product family. [Citation Graph (0, 0)][DBLP]
    Journal of Systems Architecture, 2004, v:50, n:7, pp:383-392 [Journal]
  32. Petri Selonen, Mika Siikarla, Kai Koskimies, Tommi Mikkonen
    Towards the Unification of Patterns and Profiles in UML. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2004, v:11, n:3, pp:235-253 [Journal]
  33. Timo Aaltonen, Mika Katara, Reino Kurki-Suonio, Tommi Mikkonen
    On Horizontal Specification Architectures and Their Aspect-Oriented Implementations. [Citation Graph (0, 0)][DBLP]
    , 2006, v:, n:, pp:1-29 [Journal]
  34. Tommi Mikkonen
    On the Dominance of Decompositions in Models and their Aspect-Oriented Implementations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:163, n:2, pp:19-28 [Journal]

  35. Ensuring Architecture Conventions in Multi-site Development. [Citation Graph (, )][DBLP]

  36. On Agility of Formal Specification. [Citation Graph (, )][DBLP]

  37. Web Browser as a Uniform Application Platform: How Far Are We?. [Citation Graph (, )][DBLP]

  38. AsyncHttpEvalRequest: A New Primitive for Downloading Web Applications Incrementally and Securely. [Citation Graph (, )][DBLP]

  39. First International Workshop on Social Software Engineering and Applications (SoSEA 2008). [Citation Graph (, )][DBLP]

  40. Mashups and modularity: Towards secure and reusable web applications. [Citation Graph (, )][DBLP]

  41. Porting Legacy Applications to Multicore: Experiences from an Industrial System. [Citation Graph (, )][DBLP]

  42. Testing Non-Functional Requirements with Aspects: An Industrial Case Study. [Citation Graph (, )][DBLP]

  43. Creating a mobile web application platform: the lively kernel experiences. [Citation Graph (, )][DBLP]

  44. Partitioning web applications between the server and the client. [Citation Graph (, )][DBLP]

  45. Peer-to-peer collaboration in the lively kernel. [Citation Graph (, )][DBLP]

  46. Web Applications – Spaghetti Code for the 21st Century. [Citation Graph (, )][DBLP]

  47. Forging A Community - Not: Experiences On Establishing An Open Source Project. [Citation Graph (, )][DBLP]

  48. Enhanced integration of Java to symbian OS using smart pointers. [Citation Graph (, )][DBLP]

  49. Comparing Aspects with Conventional Techniques for Increasing Testability. [Citation Graph (, )][DBLP]

  50. The Lively Kernel A Self-supporting System on a Web Page. [Citation Graph (, )][DBLP]

  51. Web Browser as an Application Platform. [Citation Graph (, )][DBLP]

  52. Lively for Qt: a platform for mobile web applications. [Citation Graph (, )][DBLP]

  53. Towards eased debugging of Python applications on Maemo platform. [Citation Graph (, )][DBLP]

  54. Seamless service interworking of ad-hoc networks and the Internet. [Citation Graph (, )][DBLP]

Search in 0.024secs, Finished in 0.025secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002