Ivan Porres

2008
29	EE	Beatriz Pérez, Ivan Porres: Verification of Clinical Guidelines by Model Checking. CBMS 2008: 114-119
28	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
27	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
26	EE	Jeanette Heidenberg, Andreas Nåls, Ivan Porres: Statechart features and pre-release maintenance defects. J. Vis. Lang. Comput. 19(4): 456-467 (2008)
25	EE	Marcus Alanen, Ivan Porres: A metamodeling language supporting subset and union properties. Software and System Modeling 7(1): 103-124 (2008)
2007
24	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
23	EE	Johan Lilius, Ivan Porres, Kim Sandström, Dragos Truscan: SystemC-based Simulation of the MICAS Architecture. FDL 2007: 122-127
22	EE	Jeanette Heidenberg, Andreas Nåls, Ivan Porres: Statechart Features and Pre-Release Defects in Software Maintenance. VL/HCC 2007: 223-230
21	EE	Johan Lindqvist, Torbjörn Lundkvist, Ivan Porres: A Query Language With the Star Operator. ECEASST 6: (2007)
20	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
19	EE	Marcus Alanen, Torbjörn Lundkvist, Ivan Porres: A Mapping Language from Models to DI Diagrams. MoDELS 2006: 454-468
18	EE	Marcus Alanen, Ivan Porres: Basic Operations over Models Containing Subset and Union Properties. MoDELS 2006: 469-483
17	EE	Ivan Porres, María C. Valiente: Process Definition and Project Tracking in Model Driven Engineering. PROFES 2006: 127-141
16	EE	Marcus Alanen, Torbjörn Lundkvist, Ivan Porres: Reconciling diagrams after executing model transformations. SAC 2006: 1267-1272
2005
15	EE	Marcus Alanen, Ivan Porres: Model Interchange Using OMG Standards. EUROMICRO-SEAA 2005: 450-459
14	EE	Ralph-Johan Back, Luka Milovanov, Ivan Porres: Software Development and Experimentation in an Academic Environment: The Gaudi Experience. PROFES 2005: 414-428
13		Johan Lilius, Ricardo Jorge Machado, Dragos Truscan, João M. Fernandes, Ivan Porres: Guest Editors' Foreword. Nord. J. Comput. 12(3): 198-199 (2005)
12		Marcus Alanen, Torbjörn Lundkvist, Ivan Porres: Comparison of Modeling Frameworks for Software Engineering. Nord. J. Comput. 12(4): 321-342 (2005)
11		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)
10	EE	Ivan Porres: Rule-based update transformations and their application to model refactorings. Software and System Modeling 4(4): 368-385 (2005)
2003
9	EE	Dag Björklund, Johan Lilius, Ivan Porres: Rialto Profile in the SMW Toolkit. ACSD 2003: 233-234
8	EE	Dag Björklund, Johan Lilius, Ivan Porres: A Unified Approach to Code Generation from Behavioral Diagrams. FDL 2003: 251-263
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

Coauthor Index

1	Marcus Alanen	[6] [12] [15] [16] [18] [19] [20] [25]
2	Ralph-Johan Back	[1] [2] [5] [14]
3	Dag Björklund	[3] [5] [8] [9]
4	Eladio Domínguez	[24] [28]
5	Timo Eriksson	[27]
6	João M. Fernandes	[13]
7	Jeanette Heidenberg	[22] [26]
8	Antti Latva-Aho	[27]
9	Johan Lilius	[3] [5] [8] [9] [11] [13] [23] [27]
10	Tomas Lillqvist	[11]
11	Johan Lindqvist	[21] [27]
12	Torbjörn Lundkvist	[11] [12] [16] [19] [20] [21]
13	Ricardo Jorge Machado	[13]
14	Luka Milovanov	[5] [14]
15	Andreas Nåls	[22] [26]
16	Ian Oliver	[11]
17	Beatriz Pérez	[24] [28] [29]
18	Luigia Petre	[1] [2]
19	Juha Rakkola	[27]
20	Áurea Rodríguez	[24] [28]
21	Kim Sandström	[11] [23]
22	Glen Sveholm	[11]
23	Dragos Truscan	[13] [23] [27]
24	María C. Valiente	[17]
25	Asim Pervez Zaka	[11]
26	María Antonia Zapata	[24] [28]

Colors in the list of coauthors