| 2008 |
|---|
| 25 | EE | Beatriz Pérez,
Ivan Porres:
Verification of Clinical Guidelines by Model Checking.
CBMS 2008: 114-119 |
| 24 | EE | Ivan Porres,
Eladio Domínguez,
Beatriz Pérez,
Áurea Rodríguez,
María Antonia Zapata:
A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems.
ECBS 2008: 210-218 |
| 23 | EE | Dragos Truscan,
Johan Lindqvist,
Johan Lilius,
Ivan Porres,
Timo Eriksson,
Juha Rakkola,
Antti Latva-Aho:
Testable Specifications of NoTA-based Modular Embedded Systems.
ECBS 2008: 375-383 |
| 22 | EE | Marcus Alanen,
Ivan Porres:
A metamodeling language supporting subset and union properties.
Software and System Modeling 7(1): 103-124 (2008) |
| 2007 |
|---|
| 21 | EE | 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.
CAiSE Forum 2007 |
| 20 | EE | Jeanette Heidenberg,
Andreas Nals,
Ivan Porres:
Statechart Features and Pre-Release Defects in Software Maintenance.
VL/HCC 2007: 223-230 |
| 19 | EE | Marcus Alanen,
Torbjörn Lundkvist,
Ivan Porres:
Creating and reconciling diagrams after executing model transformations.
Sci. Comput. Program. 68(3): 155-178 (2007) |
| 2006 |
|---|
| 18 | EE | Marcus Alanen,
Torbjörn Lundkvist,
Ivan Porres:
A Mapping Language from Models to DI Diagrams.
MoDELS 2006: 454-468 |
| 17 | EE | Marcus Alanen,
Ivan Porres:
Basic Operations over Models Containing Subset and Union Properties.
MoDELS 2006: 469-483 |
| 16 | EE | Ivan Porres,
María C. Valiente:
Process Definition and Project Tracking in Model Driven Engineering.
PROFES 2006: 127-141 |
| 15 | EE | Marcus Alanen,
Torbjörn Lundkvist,
Ivan Porres:
Reconciling diagrams after executing model transformations.
SAC 2006: 1267-1272 |
| 2005 |
|---|
| 14 | EE | Marcus Alanen,
Ivan Porres:
Model Interchange Using OMG Standards.
EUROMICRO-SEAA 2005: 450-459 |
| 13 | EE | Ralph-Johan Back,
Luka Milovanov,
Ivan Porres:
Software Development and Experimentation in an Academic Environment: The Gaudi Experience.
PROFES 2005: 414-428 |
| 12 | | Johan Lilius,
Ricardo Jorge Machado,
Dragos Truscan,
João M. Fernandes,
Ivan Porres:
Guest Editors' Foreword.
Nord. J. Comput. 12(3): 198-199 (2005) |
| 11 | | Marcus Alanen,
Torbjörn Lundkvist,
Ivan Porres:
Comparison of Modeling Frameworks for Software Engineering.
Nord. J. Comput. 12(4): 321-342 (2005) |
| 10 | | 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) |
| 9 | EE | Ivan Porres:
Rule-based update transformations and their application to model refactorings.
Software and System Modeling 4(4): 368-385 (2005) |
| 2003 |
|---|
| 8 | EE | Dag Björklund,
Johan Lilius,
Ivan Porres:
Rialto Profile in the SMW Toolkit.
ACSD 2003: 233-234 |
| 7 | EE | Ivan Porres:
Model Refactorings as Rule-Based Update Transformations.
UML 2003: 159-174 |
| 6 | EE | Marcus Alanen,
Ivan Porres:
Difference and Union of Models.
UML 2003: 2-17 |
| 5 | EE | Ralph-Johan Back,
Dag Björklund,
Johan Lilius,
Luka Milovanov,
Ivan Porres:
A Workbench to Experiment on New Model Engineering Applications.
UML 2003: 96-100 |
| 4 | EE | Ivan Porres:
A toolkit for model manipulation.
Software and System Modeling 2(4): 262-277 (2003) |
| 2001 |
|---|
| 3 | | Dag Björklund,
Johan Lilius,
Ivan Porres:
Towards Efficient Code Synthesis from Statecharts.
pUML 2001: 29-41 |
| 2 | | Ralph-Johan Back,
Luigia Petre,
Ivan Porres:
Continuous Action Systems as a Model for Hybrid Systems.
Nord. J. Comput. 8(1): 2-21 (2001) |
| 2000 |
|---|
| 1 | EE | Ralph-Johan Back,
Luigia Petre,
Ivan Porres:
Generalizing Action Systems to Hybrid Systems.
FTRTFT 2000: 202-213 |
