The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Ivan Porres: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dag Björklund, Johan Lilius, Ivan Porres
    Rialto Profile in the SMW Toolkit. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:233-234 [Conf]
  2. Marcus Alanen, Ivan Porres
    Model Interchange Using OMG Standards. [Citation Graph (0, 0)][DBLP]
    EUROMICRO-SEAA, 2005, pp:450-459 [Conf]
  3. Ralph-Johan Back, Luigia Petre, Ivan Porres
    Generalizing Action Systems to Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:202-213 [Conf]
  4. Marcus Alanen, Torbjörn Lundkvist, Ivan Porres
    A Mapping Language from Models to DI Diagrams. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2006, pp:454-468 [Conf]
  5. Marcus Alanen, Ivan Porres
    Basic Operations over Models Containing Subset and Union Properties. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2006, pp:469-483 [Conf]
  6. Ralph-Johan Back, Luka Milovanov, Ivan Porres
    Software Development and Experimentation in an Academic Environment: The Gaudi Experience. [Citation Graph (0, 0)][DBLP]
    PROFES, 2005, pp:414-428 [Conf]
  7. Ivan Porres, María C. Valiente
    Process Definition and Project Tracking in Model Driven Engineering. [Citation Graph (0, 0)][DBLP]
    PROFES, 2006, pp:127-141 [Conf]
  8. Marcus Alanen, Torbjörn Lundkvist, Ivan Porres
    Reconciling diagrams after executing model transformations. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1267-1272 [Conf]
  9. Marcus Alanen, Ivan Porres
    Difference and Union of Models. [Citation Graph (0, 0)][DBLP]
    UML, 2003, pp:2-17 [Conf]
  10. Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres
    A Workbench to Experiment on New Model Engineering Applications. [Citation Graph (0, 0)][DBLP]
    UML, 2003, pp:96-100 [Conf]
  11. Dag Björklund, Johan Lilius, Ivan Porres
    Towards Efficient Code Synthesis from Statecharts. [Citation Graph (0, 0)][DBLP]
    pUML, 2001, pp:29-41 [Conf]
  12. Ivan Porres
    Model Refactorings as Rule-Based Update Transformations. [Citation Graph (0, 0)][DBLP]
    UML, 2003, pp:159-174 [Conf]
  13. Marcus Alanen, Torbjörn Lundkvist, Ivan Porres
    Comparison of Modeling Frameworks for Software Engineering. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2005, v:12, n:4, pp:321-342 [Journal]
  14. Ralph-Johan Back, Luigia Petre, Ivan Porres
    Continuous Action Systems as a Model for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2001, v:8, n:1, pp:2-21 [Journal]
  15. 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]
  16. Johan Lilius, Ricardo Jorge Machado, Dragos Truscan, João M. Fernandes, Ivan Porres
    Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2005, v:12, n:3, pp:198-199 [Journal]
  17. Ivan Porres
    A toolkit for model manipulation. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2003, v:2, n:4, pp:262-277 [Journal]
  18. Ivan Porres
    Rule-based update transformations and their application to model refactorings. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2005, v:4, n:4, pp:368-385 [Journal]
  19. Ivan Porres, Eladio Domínguez, Beatriz Pérez, Áurea Rodríguez, María Antonia Zapata
    Development of an Ubiquitous Decision Support System for Clinical Guidelines using MDA. [Citation Graph (0, 0)][DBLP]
    CAiSE Forum, 2007, pp:- [Conf]
  20. Marcus Alanen, Torbjörn Lundkvist, Ivan Porres
    Creating and reconciling diagrams after executing model transformations. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:68, n:3, pp:155-178 [Journal]

  21. Verification of Clinical Guidelines by Model Checking. [Citation Graph (, )][DBLP]


  22. A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems. [Citation Graph (, )][DBLP]


  23. Testable Specifications of NoTA-based Modular Embedded Systems. [Citation Graph (, )][DBLP]


  24. Metrics Functions for Kanban Guards. [Citation Graph (, )][DBLP]


  25. Generating Class Contracts from Deterministic UML Protocol Statemachines. [Citation Graph (, )][DBLP]


  26. Statechart Features and Pre-Release Defects in Software Maintenance. [Citation Graph (, )][DBLP]


  27. Design Method Support for Domain Specific SoC design. [Citation Graph (, )][DBLP]


  28. Modeling a composite RESTful web service with UML. [Citation Graph (, )][DBLP]


  29. From Nondeterministic UML Protocol Statemachines to Class Contracts. [Citation Graph (, )][DBLP]


  30. SystemC-based Simulation of the MICAS Architecture. [Citation Graph (, )][DBLP]


  31. A Unified Approach to Code Generation from Behavioral Diagrams. [Citation Graph (, )][DBLP]


Search in 0.014secs, Finished in 0.017secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002