Ivan Porres Paltor

Email: ivan.porres@abo.fi
Mobile: +358-504096303
Phone: +358-2-2153463


Peer-reviewed publications

A4 Conference proceedings
Exhaustive Simulation and Test Generation Using fUML Activity Diagrams (2019)
Iqbal Junaid, Ashraf Adnan, Truscan Dragos, Porres Ivan
Springer, Cham
View on publisher's site
A4 Conference proceedings
MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models (2019)
Iqbal Junaid, Ashraf Adnan, Truscan Dragos, Porres Ivan.
IEEE
View on publisher's site
A2 Review article, Literature review, Systematic review
Model-based testing using UML activity diagrams: A systematic mapping study (2019)
Ahmad Tanwir, Iqbal Junaid, Ashraf Adnan,Truscan Dragos, Porres Ivan
Computer Science Review
View on publisher's site
A1 Journal article (refereed)
Reasoning about UML/OCL class diagrams using constraint logic programming and formula: (2019)
Beatriz Pérez, Ivan Porres
Information Systems
View on publisher's site
A4 Conference proceedings
A Systematic Mapping Study on API Documentation Generation Approaches (2018)
Kristian Nybom, Adnan Ashraf, Ivan Porres
IEEE
View on publisher's site
A1 Journal article (refereed)
Distributed virtual machine consolidation: A systematic mapping study (2018)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
Computer Science Review
View on publisher's site
A1 Journal article (refereed)
Fast algorithms for fragmentable items bin packing (2018)
Benjamin Byholm, Ivan Porres
Journal of Heuristics
View on publisher's site
A1 Journal article (refereed)
Identifying Worst-Case User Scenarios for Performance Testing of Web Applications Using Markov-Chain Workload Models (2018)
Tanwir Ahmad, Dragos Truscan, Ivan Porres
Future Generation Computer Systems
View on publisher's site
A1 Journal article (refereed)
Multi-Objective Dynamic Virtual Machine Consolidation in the Cloud Using Ant Colony System (2018)
Adnan Ashraf, Ivan Porres
International Journal of Parallel, Emergent and Distributed Systems
View on publisher's site
A1 Journal article (refereed)
Nasal high‐flow therapy decreased electrical activity of the diaphragm in preterm infants during the weaning phase (2018)
Arata Oda, Vilhelmiina Parikka, Liisa Lehtonen, Ivan Porres, Hanna Soukka
Acta Paediatrica
View on publisher's site
A1 Journal article (refereed)
The Role of Organisational Phenomena in Software Cost Estimation: A Case Study of Supporting and Hindering Factors (2018)
Jurka Rahikkala, Sami Hyrynsalmi, Ville Leppänen, Ivan Porres
e-Informatica Software Engineering Journal
View on publisher's site
A4 Conference proceedings
Optimized Deployment Plans for Platform As a Service Clouds (2017)
Benjamin Byholm, Ivan Porres
ACM
View on publisher's site
A4 Conference proceedings
Reconstructing Timed Symbolic Traces from rtioco-Based Timed Test Sequences Using Backward-Induction (2017)
Junaid Iqbal, Dragos Truscan, Jüri Vain, Ivan Porres
ACM
View on publisher's site
A4 Conference proceedings
On Optimization of Test Parallelization with Constraints (2016)
Masoumeh Parsa, Adnan Ashraf, Dragos Truscan, Ivan Porres
CEUR Workshop Proceedings
CEUR-WS.org
A4 Conference proceedings
On the Impact of Mixing Responsibilities Between Devs and Ops (2016)
Kristian Nybom, Jens Smeds, Ivan Porres
Springer
View on publisher's site
A4 Conference proceedings
Perceived Obstacles by Novice Developers Adopting User Interface APIs and Tools (2016)
Irum Rauf, Pekka Perälä, Jouni Huotari, Ivan Porres
IEEE
View on publisher's site
A1 Journal article (refereed)
Prediction-Based VM Provisioning and Admission Control for Multi-Tier Web Applications (2016)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
Journal of Cloud Computing
View on publisher's site
A1 Journal article (refereed)
Quantitatively Measuring a Large-Scale Agile Transformation (2016)
Mart Olszewska (née Pląska), Jeannette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres
Journal of Systems and Software
View on publisher's site
A4 Conference proceedings
A Multi-Objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud (2015)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
ACM
View on publisher's site
A4 Conference proceedings
Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud (2015)
Benjamin Byholm, Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Johan Lilius, Ivan Porres
IEEE Computer Society Conference Publishing Services (CPS)
View on publisher's site
A4 Conference proceedings
DevOps: A Definition and Perceived Adoption Impediments (2015)
Jens Smeds, Kristian Nybom, Ivan Porres
Springer
View on publisher's site
A3 Book section, Chapters in research books
Scenario-based Design and Validation of REST Web Service Compositions (2015)
Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres
Springer
View on publisher's site
A1 Journal article (refereed)
Using Ant Colony System to Consolidate VMs for Green Cloud Computing (2015)
Fahimeh Farahnakian, Adnan Ashraf, Tapio Pahikkala, Pasi Liljeberg, Juha Plosila, Ivan Porres, Hannu Tenhunen
IEEE Transactions on Services Computing
View on publisher's site
A4 Conference proceedings
An Integrated Approach for Designing and Validating REST Web Service Compositions (2014)
Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres
SCITEPRESS Science And Technology Publications
A1 Journal article (refereed)
Consistency of UML Class, Object and Statechart Diagrams Using Ontology Reasoners (2014)
Ali Hanzala Khan, Ivan Porres
Journal of Visual Languages and Computing
View on publisher's site
A4 Conference proceedings
Cost-Efficient, Reliable, Utility-Based Session Management in the Cloud (2014)
Benjamin Byholm, Iván Porres
IEEE
View on publisher's site
A4 Conference proceedings
Energy-Aware Dynamic VM Consolidation in Cloud Data Centers Using Ant Colony System (2014)
Farahnakian F, Ashraf A, Liljeberg P, Pahikkala T, Plosila J, Porres I, Tenhunen H
IEEE
View on publisher's site
A4 Conference proceedings
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud (2014)
Laibinis L, Byholm B, Pereverzeva I, Troubitsyna E, Tan KE, Porres I
Springer
View on publisher's site
A4 Conference proceedings
Smart Dosing: A Mobile Application for Tracking the Medication Tray-Filling and Dispensation Processes in Hospital Wards (2014)
Khan NA, Díaz Rodríguez N, Danielsson-Ojala R, Pirinen H, Kauhanen L, Salanterä S, Majors J, Björklund S, Rautanen K, Salakoski T, Tuominen I, Porres I, Lilius J
Workshop proceedings in PDF (not online)
A4 Conference proceedings
Using Ant Colony System to Consolidate Multiple Web Applications in a Cloud Environment (2014)
Adnan Ashraf, Ivan Porres

IEEE computer society press
A4 Conference proceedings
A Metrics Model to Measure the Impact of an Agile Transformation in Large Software Development Organizations (2013)
Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres
Springer
View on publisher's site
A4 Conference proceedings
Authoring IEC 61508 Based Software Development Process Models (2013)
Ivan Porres, Jeanette Heidenberg, Max Weijola, Kristian Nordman, Dragos Truscan
Springer
View on publisher's site
A4 Conference proceedings
Consistency of UML Class and Statechart Diagrams with State Invariants (2013)
Ali Hanzala Khan, Irum Rauf, Ivan Porres
SCITEPRESS Digital Library
View on publisher's site
C2 Edited book
Developing Cloud Software: Algorithms, Applications, and Tools (2013)
Ivan Porres, Tommi Mikkonen, Adnan Ashraf
TUCS general publications
A3 Book section, Chapters in research books
Introduction to Cloud Computing Technologies (2013)
Adnan Ashraf, Mikko Hartikainen, Usman Hassan, Keijo Heljanko, Johan Lilius, Tommi Mikkonen, Ivan Porres, Mahbubul Syeed, Sasu Tarkoma
TUCS general publications
A4 Conference proceedings
Model-Based Performance Testing in the Cloud Using the MBPeT Tool (2013)
Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres
ACM
View on publisher's site
A4 Conference proceedings
Model-Based Performance Testing of Web Services Using Probabilistic Timed Automata (2013)
Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres
SCITEPRESS Digital Library
View on publisher's site
A3 Book section, Chapters in research books
Performance Testing in the Cloud using MBPeT (2013)
Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres
TUCS general publications
A4 Conference proceedings
Prediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing (2013)
Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Ivan Porres, Johan Lilius
Parallel, Distributed and Network-Based Processing
IEEE
View on publisher's site
A3 Book section, Chapters in research books
Prediction-Based Virtual Machine Provisioning and Admission Control for Multi-Tier Web Applications (2013)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
TUCS general publications
A3 Book section, Chapters in research books
Proactive Virtual Machine Allocation for Video Transcoding in the Cloud (2013)
Fareed Jokhio, Adnan Ashraf, Tewodros Deneke, Sebastien Lafond, Ivan Porres, Johan Lilius
TUCS general publications
A4 Conference proceedings
Stream-Based Admission Control and Scheduling for Video Transcoding in Cloud Computing (2013)
Adnan Ashraf, Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Ivan Porres, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
Union and Difference of Models, 10 Years Later (2013)
Ivan Porres
CEUR Workshop Proceedings
CEUR-WS.org
A4 Conference proceedings
A Session-Based Adaptive Admission Control Approach for Virtualized Application Servers (2012)
Ashraf A, Byholm B, Porres I
IEEE Computer Society
A4 Conference proceedings
MBPeT – A Model-Based Performance Testing Tool (2012)
Abbors F, Ahmad T, Truscan D, Porres I
A3 Book section, Chapters in research books
Ontology Driven Smart Space Application Development (2012)
Saleemi MM, Díaz Rodríguez N, Suenson E, Lilius J, Porres I
River publishers
A4 Conference proceedings
A Framework for Context-Aware Applications for Smart Spaces (2011)
M. Mohsin Saleemi, Natalia Díaz Rodríguez, Johan Lilius, Iván Porres
Springer
View on publisher's site
A3 Book section, Chapters in research books
Beyond CRUD (2011)
Irum Rauf, Ivan Porres
Springer
View on publisher's site
A1 Journal article (refereed)
Designing IDE as a Service (2011)
Timo Aho, Adnan Ashraf, Marc Englund, Joni Katajamäki, Johannes Koskinen, Janne Lautamäki, Antti Nieminen, Ivan Porres, Ilkka Turunen
Communications of the Cloud Software
A1 Journal article (refereed)
Designing Level 3 Behavioral RESTful Web Service Interfaces (2011)
Irum Rauf, Ivan Porres
Applied Computing Review
View on publisher's site
A4 Conference proceedings
Framework for Smart Space Application Development (2011)
André Kaustell, M. Mohsin Saleemi, Thomas Rosqvist, Juuso Jokiniemi, Johan Lilius, Ivan Porres
SCITEPRESS Digital Library
A4 Conference proceedings
Modeling Behavioral RESTful Web Service Interfaces in UML (2011)
Ivan Porres, Irum Rauf
ACM
View on publisher's site
A4 Conference proceedings
OWL Web Ontology Language as a Scripting Language for Smart Space Applications. (2011)
Suenson E, Lilius J, Porres I
Springer
View on publisher's site
A4 Conference proceedings
Programming Biomedical Smart Space Applications with BioImageXD and PythonRules (2011)
Natalia Díaz Rodríguez, Pasi Kankaanpää, M Mohsin Saleemi, Johan Lilius, Ivan Porres
ACM
View on publisher's site
A4 Conference proceedings
Towards Behaviorally Enriched Semantic RESTful Interfaces using OWL2 (2011)
Irum Rauf, Ivan Porres
Springer
View on publisher's site
A1 Journal article (refereed)
Authoring and verification of clinical guidelines: A model driven approach (2010)
Perez B, Porres I
Journal of Biomedical Informatics
View on publisher's site
A4 Conference proceedings
From Nondeterministic UML Protocol Statemachines to Class Contracts (2010)
Ivan Porres, Irum Rauf
IEEE computer society press
View on publisher's site
A4 Conference proceedings
Modeling a Composite RESTful Web Service with UML (2010)
Irum Rauf, Anna Ruokonen, Tarja Systa, Ivan Porres
ACM
View on publisher's site
A1 Journal article (refereed)
MDE for Soc Design (2009)
Dragoş Truşcan, Torbjörn Lundkvist, Marcus Alanen, Kim Sandström, Ivan Porres, Ivan Lilius
Innovations in Systems and Software Engineering
View on publisher's site
A1 Journal article (refereed)
A Metamodeling Language Supporting Subset and Union Properties (2008)
Alanen M, Porres I
Software and Systems Modeling
View on publisher's site
A4 Conference proceedings
A Testing Framework for NOTA-Based Devices (2008)
Karlå M, Truscan D, Lilius J, Porres I, Eriksson T, Hurskainen M
A1 Journal article (refereed)
Statechart Features and Pre-Release Maintenance Defects (2008)
Heidenberg J, Nåls A, Porres I
Journal of Visual Languages and Computing
A3 Book section, Chapters in research books
SystemC-based Simulation of the MICAS Architecture (2008)
Truscan D, Sandström K, Lilius J, Porres I
A4 Conference proceedings
Testable Specifications of NoTA-Based Modular Embedded Systems (2008)
Truscan D, Lindqvist J, Lilius J, Porres I, Eriksson T, Rakkola J, Latva-Aho A
A1 Journal article (refereed)
Creating and reconciling diagrams after executing model transformations (2007)
Marcus Alanen, Torbjörn Lundkvist, Ivan Porres I
Science of Computer Programming
View on publisher's site
A4 Conference proceedings
SystemC-based Simulation of the MICAS Architecture (2007)
Johan Lilius, Ivan Porres, Kim Sandström, Dragos Truscan
A4 Conference proceedings
Design Method Support for Domain Specific SoC Design (2006)
Alanen M, Lilius J, Porres I, Truscan D, Oliver I, Sandström K
A1 Journal article (refereed)
An Architecture Exploration Environment for System on Chip Design (2005)
Lilius J, Lillqvist T, Lundkvist T, Oliver I, Porres I, Sandström K, Sveholm G, Zaka AP
Nordic Journal of Computing
A3 Book section, Chapters in research books
Code Generation for Embedded Systems (2005)
Björklund D, Lilius J, Porres I
Hermes Science Publications
A1 Journal article (refereed)
Comparison of Modeling Frameworks for Software Engineering (2005)
Alanen M, Lundkvist T, Porres I
Nordic Journal of Computing
A3 Book section, Chapters in research books
On Modeling Techniques for Supporting Model Driven Development of Protocol Processing Applications (2005)
Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan
Springer
View on publisher's site
A1 Journal article (refereed)
Rule-Based Update Transformations and Their Application to Model Refactorings (2005)
Ivan Porres
Software and Systems Modeling
View on publisher's site
A4 Conference proceedings
Software Development and Experimentation in an Academic Environment: The Gaudi Experience (2005)
Back R, Milovanov L, Porres I
A4 Conference proceedings
The MICAS Tool (2005)
Johan Lilius, Tomas Lillqvist, Torbjörn Lundkvist, Ian Oliver, Ivan Porres, Kim Sandström, Glenn Sveholm, Asim Pervez Zaka
Tampere University Press
A3 Book section, Chapters in research books
A Unified Approach to Code Generation from Behavioral Diagrams (2004)
Björklund D, Lilius J, Porres I
Kluwer Academic publishers
A4 Conference proceedings
MDE Support in a Protocol Processing Design Method (2004)
Alanen M, Lilius J, Porres I, Truscan D
A4 Conference proceedings
Model Driven Engineering: A Position Paper (2004)
Alanen M, Lilius J, Porres I, Truscan D
A1 Journal article (refereed)
A Toolkit for Model Manipulation (2003)
Porres I
Software and Systems Modeling
View on publisher's site
A4 Conference proceedings
A Workbench to Experiment on New Model Engineering Applications (2003)
Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan
Porres

Springer
View on publisher's site
A4 Conference proceedings
Generic Deep Copy Algorithm for MOF-Based Models (2003)
Porres I, Alanen M
A4 Conference proceedings
Rialto Profile in the SMW Toolkit (2003)
Dag Björklund, Johan Lilius, Ivan Porres I
IEEE Computer Society
View on publisher's site
A1 Journal article (refereed)
Continuous Action Systems as a Model for Hybrid Systems (2001)
Ralph-Johan Back, Luigia Petre, Ivan Porres
Nordic Journal of Computing
A4 Conference proceedings
Towards Efficient Code Synthesis from Statecharts (2001)
Dag Björklund, Johan Lilius, Ivan Porres
A4 Conference proceedings
Generalizing Action Systems to Hybrid Systems (2000)
Back R, Petre L, Porres I
A4 Conference proceedings
The Production Cell: An Exercise in the Formal Verification of a UML Model (2000)
Lilius J, Porres Paltor I
IEEE Computer Society
A4 Conference proceedings
Analysing UML Use Cases as Contracts (1999)
Back R, Petre L, Porres I
A4 Conference proceedings
Formalising UML State Machines for Model Checking (1999)
Johan Lilius, Iván Porres Paltor
Springer
View on publisher's site
A4 Conference proceedings
General Hybrid Action Systems (1999)
Back R, Petre L, Porres Paltor I
A4 Conference proceedings
vUML: A Tool for Verifying UML Models (1999)
Johan Lilius, Iván Porres Paltor
IEEE Computer Society
View on publisher's site
A4 Conference proceedings
Developing a Customisable Programming Environment for Message Passing based Systems (1995)
Mats Aspnäs, Thomas Långbacka, Ivan Porres Paltor
IOS Press


Other publications

D4 Published development or research report or study
A Systematic Mapping Study on Tools for API Documentation Generation (2017)
Kristian Nybom, Adnan Ashraf, Ivan Porres
View on publisher's site
D4 Published development or research report or study
Dynamic Horizontal and Vertical Scaling of Multiple Cloud Services in Soft Real-Time (2017)
Benjamin Byholm, Ivan Porres
D4 Published development or research report or study
Fast Algorithms for Fragmentable Items Bin Packing (2017)
Benjamin Byholm, Ivan Porres
D4 Published development or research report or study
Distributed Virtual Machine Consolidation: A Systematic Mapping Study (2016)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
D4 Published development or research report or study
A Systematic Review of API Usability Evaluation Methods (2015)
Irum Rauf, Ivan Porres
D4 Published development or research report or study
Towards a Multi-Objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud (2015)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
D4 Published development or research report or study
Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud (2014)
Benjamin Byholm, Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Johan Lilius, Ivan Porres
D4 Published development or research report or study
Did It Actually Go This Well? A Large-Scale Case Study on an Agile Transformation (2014)
Marta Olszewska, Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres
D4 Published development or research report or study
An Integrated Approach to Design and Validate REST Web Service Compositions (2013)
Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres
D4 Published development or research report or study
Cost-Efficient Dynamically Scalable Video Transcoding in Cloud Computing (2013)
Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Ivan Porres, Johan Lilius
D4 Published development or research report or study
Model-Based Performance Testing Using the MBPeT Tool (2013)
Tanwir Ahmad, Fredrik Abbors, Dragos Truscan, Ivan Porres
D4 Published development or research report or study
A Tool for Efficient Combination and Evaluation of Reusable Design Assets (2010)
Johan Ersfolk, Johan Lilius, Torbjörn Lundkvist, Ivan Porres
D4 Published development or research report or study
NoTA (Sub)System Specification Guidelines (2008)
Karlå M, Lilius J, Lindqvist J, Porres I, Truscan D, Eriksson T, Latva-Aho A, Rakkola J
D4 Published development or research report or study
Testable specifications of NoTA-based modular embedded systems (2007)
Johan Lilius, Johan Lindqvist, Ivan Porres, Dragos Truscan, Timo Eriksson, Antti Latva-Aho, Juha Rakkola
D4 Published development or research report or study
Realizing a Model Driven Engineering Process (2003)
Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan
D4 Published development or research report or study
Digital Sound Recorder: A Case Study On Designing Embedded Systems Using the UML Notation (1999)
Ivan Porres Paltor, Johan Lilius
D4 Published development or research report or study
Formalising UML Use Cases in the Refinement Calculus (1999)
Back R, Petre L, Porres I
D4 Published development or research report or study
Generalizing Action Systems to Hybrid Systems (1999)
Back R, Petre L, Porres Paltor I
D4 Published development or research report or study
The Production Cell: An Exercise in the Formal Verification of a UML Model (1999)
Johan Lilius, Ivan Porres Paltor
D4 Published development or research report or study
The Semantics of UML State Machines (1999)
Johan Lilius, Iván Porres Paltor
D4 Published development or research report or study
vUML: a Tool for Verifying UML Models (1999)
Johan Lilius, Iván Porres Paltor

Last updated on 2018-19-09 at 19:45