Generalizing Action Systems to Hybrid Systems. - Ralph-Johan Back; Luigia Petre; Ivan Porres (FTRTFT, 2000)

Towards Efficient Code Synthesis from Statecharts. - Dag Björklund; Johan Lilius; Ivan Porres (pUML, 2001)

Continuous Action Systems as a Model for Hybrid Systems. - Ralph-Johan Back; Luigia Petre; Ivan Porres (Nord. J. Comput., 2001)

Rialto Profile in the SMW Toolkit. - Dag Björklund; Johan Lilius; Ivan Porres (ACSD, 2003)

A Unified Approach to Code Generation from Behavioral Diagrams. - Dag Björklund; Johan Lilius; Ivan Porres (FDL, 2003)

Difference and Union of Models. - Marcus Alanen; Ivan Porres (UML, 2003)

A Workbench to Experiment on New Model Engineering Applications. - Ralph-Johan Back; Dag Björklund; Johan Lilius; Luka Milovanov; Ivan Porres (UML, 2003)

Model Refactorings as Rule-Based Update Transformations. - Ivan Porres (UML, 2003)

A toolkit for model manipulation. - Ivan Porres (Softw. Syst. Model., 2003)

On Modeling Techniques for Supporting Model-Driven Development of Protocol Processing Applications. - Marcus Alanen; Johan Lilius; Ivan Porres; Dragos Truscan (Model-Driven Software Development, 2005)

Model Interchange Using OMG Standards. - Marcus Alanen; Ivan Porres (EUROMICRO-SEAA, 2005)

Software Development and Experimentation in an Academic Environment: The Gaudi Experience. - Ralph-Johan Back; Luka Milovanov; Ivan Porres (PROFES, 2005)

Comparison of Modeling Frameworks for Software Engineering. - Marcus Alanen; Torbjörn Lundkvist; Ivan Porres (Nord. J. Comput., 2005)

An Architecture Exploration Environment for System on Chip Design. - Johan Lilius; Tomas Lillqvist; Torbjörn Lundkvist; Ian Oliver; Ivan Porres; Kim Sandström; Glen Sveholm; Asim Pervez Zaka (Nord. J. Comput., 2005)

Guest Editors' Foreword. - Johan Lilius; Ricardo Jorge Machado 001; Dragos Truscan; João M. Fernandes 001; Ivan Porres (Nord. J. Comput., 2005)

Rule-based update transformations and their application to model refactorings. - Ivan Porres (Softw. Syst. Model., 2005)

A Mapping Language from Models to DI Diagrams. - Marcus Alanen; Torbjörn Lundkvist; Ivan Porres (MoDELS, 2006)

Basic Operations over Models Containing Subset and Union Properties. - Marcus Alanen; Ivan Porres (MoDELS, 2006)

Design Method Support for Domain Specific SoC design. - Marcus Alanen; Johan Lilius; Ivan Porres; Dragos Truscan; Ian Oliver; Kim Sandström (MDB/MOMPES, 2006)

Process Definition and Project Tracking in Model Driven Engineering. - Ivan Porres; María C. Valiente (PROFES, 2006)

Reconciling diagrams after executing model transformations. - Marcus Alanen; Torbjörn Lundkvist; Ivan Porres (SAC, 2006)

Development of an Ubiquitous Decision Support System for Clinical Guidelines using MDA. - Ivan Porres; Eladio Domínguez; Beatriz Pérez 001; Áurea Rodríguez; María Antonia Zapata (CAiSE Forum, 2007)

SystemC-based Simulation of the MICAS Architecture. - Johan Lilius; Ivan Porres; Kim Sandström; Dragos Truscan (FDL, 2007)

Statechart Features and Pre-Release Defects in Software Maintenance. - Jeanette Heidenberg; Andreas Nåls; Ivan Porres (VL/HCC, 2007)

A Query Language With the Star Operator. - Johan Lindqvist; Torbjörn Lundkvist; Ivan Porres (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

Creating and reconciling diagrams after executing model transformations. - Marcus Alanen; Torbjörn Lundkvist; Ivan Porres (Sci. Comput. Program., 2007)

Verification of Clinical Guidelines by Model Checking. - Beatriz Pérez 001; Ivan Porres (CBMS, 2008)

A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems. - Ivan Porres; Eladio Domínguez; Beatriz Pérez 001; Áurea Rodríguez; María Antonia Zapata (ECBS, 2008)

Testable Specifications of NoTA-based Modular Embedded Systems. - Dragos Truscan; Johan Lindqvist; Johan Lilius; Ivan Porres; Timo Eriksson; Juha Rakkola; Antti Latva-Aho (ECBS, 2008)

A metamodeling language supporting subset and union properties. - Marcus Alanen; Ivan Porres (Softw. Syst. Model., 2008)

Statechart features and pre-release maintenance defects. - Jeanette Heidenberg; Andreas Nåls; Ivan Porres (J. Vis. Lang. Comput., 2008)

Generating Class Contracts from Deterministic UML Protocol Statemachines. - Ivan Porres; Irum Rauf (MoDELS (Workshops), 2009)

Generating class contracts from UML protocol statemachines. - Ivan Porres; Irum Rauf (MoDeVVa@MoDELS, 2009)

MDE for SoC design. - Dragos Truscan; Torbjörn Lundkvist; Marcus Alanen; Kim Sandström; Ivan Porres; Johan Lilius (Innov. Syst. Softw. Eng., 2009)

Metrics Functions for Kanban Guards. - Jeanette Heidenberg; Ivan Porres (ECBS, 2010)

Modeling a composite RESTful web service with UML. - Irum Rauf; Anna Ruokonen; Tarja Systä; Ivan Porres (ECSA Companion Volume, 2010)

From Nondeterministic UML Protocol Statemachines to Class Contracts. - Ivan Porres; Irum Rauf (ICST, 2010)

A Feasibility Study on the Validation of Domain Specific Languages Using OWL 2 Reasoners. - Ye Liu; Sören Höglund; Ali H. Khan; Ivan Porres (TWOMDE@TOOLS, 2010)

Authoring and verification of clinical guidelines: A model driven approach. - Beatriz Pérez 001; Ivan Porres (J. Biomed. Informatics, 2010)

Beyond CRUD. - Irum Rauf; Ivan Porres (REST: From Research to Practice, 2011)

An Efficient Google Datastore Adapter for Rich Internet Applications. - Johan Selänniemi; Ivan Porres (CLOSER, 2011)

Towards Automatic Performance and Scalability Testing of Rich Internet Applications in the Cloud. - Niclas Snellman; Adnan Ashraf; Ivan Porres (EUROMICRO-SEAA, 2011)

Towards Behaviorally Enriched Semantic RESTful Interfaces Using OWL2. - Irum Rauf; Ivan Porres (ICWE, 2011)

Doctoral Symposium at MoDELS 2011. - Joerg Evermann; Ivan Porres (MoDELS (Workshops), 2011)

A Framework for Context-Aware Applications for Smart Spaces. - M. Mohsin Saleemi; Natalia Díaz Rodríguez; Johan Lilius; Ivan Porres (NEW2AN, 2011)

OWL Web Ontology Language as a Scripting Language for Smart Space Applications. - Espen Suenson; Johan Lilius; Ivan Porres (RuleML Europe, 2011)

Modeling behavioral RESTful web service interfaces in UML. - Ivan Porres; Irum Rauf (SAC, 2011)

Programming biomedical smart space applications with BioImageXD and PythonRules. - Natalia Díaz Rodríguez; Pasi Kankaanpää; M. Mohsin Saleemi; Johan Lilius; Ivan Porres (SWAT4LS, 2011)

CRAMP: Cost-efficient Resource Allocation for Multiple web applications with Proactive scaling. - Adnan Ashraf; Benjamin Byholm; Ivan Porres (CloudCom, 2012)

Feedback Control Algorithms to Deploy and Scale Multiple Web Applications per Virtual Machine. - Adnan Ashraf; Benjamin Byholm; Joonas Lehtinen; Ivan Porres (EUROMICRO-SEAA, 2012)

A Model for Business Value in Large-Scale Agile and Lean Software Development. - Jeanette Heidenberg; Max Weijola; Kirsi Mikkonen; Ivan Porres (EuroSPI, 2012)

A Session-Based Adaptive Admission Control Approach for Virtualized Application Servers. - Adnan Ashraf; Benjamin Byholm; Ivan Porres (UCC, 2012)

Analyzing Consistency of Behavioral REST Web Service Interfaces - Irum Rauf; Ali Hanzala Khan; Ivan Porres (WWV, 2012)

Stream-Based Admission Control and Scheduling for Video Transcoding in Cloud Computing. - Adnan Ashraf; Fareed Jokhio; Tewodros Deneke; Sébastien Lafond; Ivan Porres; Johan Lilius (CCGRID, 2013)

Union and Difference of Models, 10 years later. - Ivan Porres (MoDELS (Demos/Posters/StudentResearch), 2013)

Consistency of UML Class and Statechart Diagrams with State Invariants. - Ali Hanzala Khan; Irum Rauf; Ivan Porres (MODELSWARD, 2013)

Prediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing. - Fareed Jokhio; Adnan Ashraf; Sébastien Lafond; Ivan Porres; Johan Lilius (PDP, 2013)

Authoring IEC 61508 Based Software Development Process Models. - Ivan Porres; Jeanette Heidenberg; Max Weijola; Kristian Nordman; Dragos Truscan (PROFES, 2013)

Model-based Performance Testing of Web Services using Probabilistic Timed Automata. - Fredrik Abbors; Tanwir Ahmad; Dragos Truscan; Ivan Porres (WEBIST, 2013)

Model-based performance testing in the cloud using the mbpet tool. - Fredrik Abbors; Tanwir Ahmad; Dragos Truscan; Ivan Porres (ICPE, 2013)

A Metrics Model to Measure the Impact of an Agile Transformation in Large Software Development Organizations. - Jeanette Heidenberg; Max Weijola; Kirsi Mikkonen; Ivan Porres (XP, 2013)

Energy-Aware Dynamic VM Consolidation in Cloud Data Centers Using Ant Colony System. - Fahimeh Farahnakian; Adnan Ashraf; Pasi Liljeberg; Tapio Pahikkala; Juha Plosila; Ivan Porres; Hannu Tenhunen (IEEE CLOUD, 2014)

Cost-Efficient, Reliable, Utility-Based Session Management in the Cloud. - Benjamin Byholm; Ivan Porres (CCGRID, 2014)

Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. - Linas Laibinis; Benjamin Byholm; Inna Pereverzeva; Elena Troubitsyna; Kuan Eeik Tan; Ivan Porres (IFM, 2014)

Using Ant Colony System to Consolidate Multiple Web Applications in a Cloud Environment. - Adnan Ashraf; Ivan Porres (PDP, 2014)

An Integrated Approach for Designing and Validating REST Web Service Compositions. - Irum Rauf; Faezeh Siavashi; Dragos Truscan; Ivan Porres (WEBIST (1), 2014)

Scenario-Based Design and Validation of REST Web Service Compositions. - Irum Rauf; Faezeh Siavashi; Dragos Truscan; Ivan Porres (WEBIST (Revised Selected Papers), 2014)

Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud. - Benjamin Byholm; Fareed Jokhio; Adnan Ashraf; Sébastien Lafond; Johan Lilius; Ivan Porres (PDP, 2015)

A Multi-objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud. - Adnan Ashraf; Benjamin Byholm; Ivan Porres (UCC, 2015)

DevOps: A Definition and Perceived Adoption Impediments. - Jens Smeds; Kristian Nybom; Ivan Porres (XP, 2015)

Using Ant Colony System to Consolidate VMs for Green Cloud Computing. - Fahimeh Farahnakian; Adnan Ashraf; Tapio Pahikkala; Pasi Liljeberg; Juha Plosila; Ivan Porres; Hannu Tenhunen (IEEE Trans. Serv. Comput., 2015)

Consistency of UML class, object and statechart diagrams using ontology reasoners. - Ali Hanzala Khan; Ivan Porres (J. Vis. Lang. Comput., 2015)

Smart Dosing: A mobile application for tracking the medication tray-filling and dispensation processes in hospital wards. - N. A. Khan; Natalia Díaz Rodríguez; Riitta Danielsson-Ojala; Hanna Pirinen; Lotta Kauhanen; Sanna Salanterä; Joachim Majors; Sebu Björklund; Kimmo Rautanen; Tapio Salakoski; Ilona Tuominen; Ivan Porres; et al. (Recent Advances in Ambient Assisted Living, 2015)

On Optimization of Test Parallelization with Constraints. - Masoumeh Parsa; Adnan Ashraf; Dragos Truscan; Ivan Porres (Software Engineering (Workshops), 2016)

Perceived obstacles by novice developers adopting user interface APIs and tools. - Irum Rauf; Pekka Perala; Jouni Huotari; Ivan Porres (VL/HCC, 2016)

On the Impact of Mixing Responsibilities Between Devs and Ops. - Kristian Nybom; Jens Smeds; Ivan Porres (XP, 2016)

Prediction-based VM provisioning and admission control for multi-tier web applications. - Adnan Ashraf; Benjamin Byholm; Ivan Porres (J. Cloud Comput., 2016)

Quantitatively measuring a large-scale agile transformation. - Marta Olszewska; Jeanette Heidenberg; Max Weijola; Kirsi Mikkonen; Ivan Porres (J. Syst. Softw., 2016)

Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward-induction. - Junaid Iqbal; Dragos Truscan; Jüri Vain; Ivan Porres (ECBS, 2017)

Optimized Deployment Plans for Platform as a Service Clouds. - Benjamin Byholm; Ivan Porres (UCC (Companion"), 2017)

A Systematic Mapping Study on API Documentation Generation Approaches. - Kristian Nybom; Adnan Ashraf; Ivan Porres (SEAA, 2018)

Distributed virtual machine consolidation: A systematic mapping study. - Adnan Ashraf; Benjamin Byholm; Ivan Porres (Comput. Sci. Rev., 2018)

The Role of Organisational Phenomena in Software Cost Estimation: A Case Study of Supporting and Hindering Factors. - Jurka Rahikkala; Sami Hyrynsalmi; Ville Leppänen; Ivan Porres (e Informatica Softw. Eng. J., 2018)

Identifying worst-case user scenarios for performance testing of web applications using Markov-chain workload models. - Tanwir Ahmad; Dragos Truscan; Ivan Porres (Future Gener. Comput. Syst., 2018)

Fast algorithms for fragmentable items bin packing. - Benjamin Byholm; Ivan Porres (J. Heuristics, 2018)

Multi-objective dynamic virtual machine consolidation in the cloud using ant colony system. - Adnan Ashraf; Ivan Porres (Int. J. Parallel Emergent Distributed Syst., 2018)

Exhaustive Simulation and Test Generation Using fUML Activity Diagrams. - Junaid Iqbal; Adnan Ashraf; Dragos Truscan; Ivan Porres (CAiSE, 2019)

Exploratory Performance Testing Using Reinforcement Learning. - Tanwir Ahmad; Adnan Ashraf; Dragos Truscan; Ivan Porres (SEAA, 2019)

MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models. - Junaid Iqbal; Adnan Ashraf; Dragos Truscan; Ivan Porres (SEAA, 2019)

Model-based testing using UML activity diagrams: A systematic mapping study. - Tanwir Ahmad; Junaid Iqbal; Adnan Ashraf; Dragos Truscan; Ivan Porres (Comput. Sci. Rev., 2019)

A systematic mapping study of API usability evaluation methods. - Irum Rauf; Elena Troubitsyna; Ivan Porres (Comput. Sci. Rev., 2019)

Reasoning about UML/OCL class diagrams using constraint logic programming and formula. - Beatriz Pérez 001; Ivan Porres (Inf. Syst., 2019)

Scenario-based Testing of a Ship Collision Avoidance System. - Ivan Porres; Sepinoud Azimi; Johan Lilius (SEAA, 2020)

Automatic exploratory performance testing using a discriminator neural network. - Ivan Porres; Tanwir Ahmad; Hergys Rexha; Sébastien Lafond; Dragos Truscan (ICST Workshops, 2020)

Using Deep Reinforcement Learning for Exploratory Performance Testing of Software Systems With Multi-Dimensional Input Spaces. - Tanwir Ahmad; Adnan Ashraf; Dragos Truscan; Andi Domi; Ivan Porres (IEEE Access, 2020)

Online GANs for Automatic Performance Testing. - Ivan Porres; Hergys Rexha; Sébastien Lafond (ICST Workshops, 2021)

On the Verification and Validation of AI Navigation Algorithms. - Ivan Porres; Sepinoud Azimi; Sébastien Lafond; Johan Lilius; Johanna Salokannel; Mirva Salokorpi (CoRR, 2021)

A Two-phase Metamorphic Approach for Testing Industrial Control Systems. - Gaadha Sudheerbabu; Tanwir Ahmad; Filip Sebek; Dragos Truscan; Jüri Vain; Ivan Porres (ETFA, 2022)

Early Detection of Network Attacks Using Deep Learning. - Tanwir Ahmad; Dragos Truscan; Jüri Vain; Ivan Porres (ICST Workshops, 2022)

Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits. - Jarkko Peltomäki; Ivan Porres (ICST Workshops, 2022)

Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems. - Jarkko Peltomäki; Frankie Spencer; Ivan Porres (SBST@ICSE, 2022)

WOGAN at the SBST 2022 CPS Tool Competition. - Jarkko Peltomäki; Frankie Spencer; Ivan Porres (SBST@ICSE, 2022)

ARCH-COMP23 Category Report: Falsification. - Claudio Menghi; Paolo Arcaini; Walstan Baptista; Gidon Ernst; Georgios Fainekos; Federico Formica; Sauvik Gon; Tanmay Khandait; Atanu Kundu 002; Giulia Pedrielli; Jarkko Peltomäki; Ivan Porres; et al. (ARCH, 2023)

WOGAN at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track. - Jesper Winsten; Ivan Porres (SBFT, 2023)

Dynamic Test Case Prioritization in Industrial Test Result Datasets. - Alina Torbunova; Per Erik Strandberg; Ivan Porres (AST@ICSE, 2024)

A Systematic Mapping Study on Teaching of Security Concepts in Programming Courses. - Alina Torbunova; Adnan Ashraf; Ivan Porres (SEAA, 2024)

Testing cyber-physical systems with explicit output coverage. - Jarkko Peltomäki; Jesper Winsten; Maxime Methais; Ivan Porres (ICSTW, 2024)

Iterative Optimization of Hyperparameter-based Metamorphic Transformations. - Gaadha Sudheerbabu; Tanwir Ahmad; Dragos Truscan; Jüri Vain; Ivan Porres (ICSTW, 2024)

Adaptive Test Generation for Unmanned Aerial Vehicles using WOGAN-UAV. - Jesper Winsten; Valentin Soloviev; Jarkko Peltomäki; Ivan Porres (SBFT@ICSE, 2024)

Learning test generators for cyber-physical systems. - Jarkko Peltomäki; Ivan Porres (CoRR, 2024)

Unified Search for Multi-requirement Falsification for Cyber-Physical Systems. - Jesper Winsten; Ivan Porres (ICSTW, 2025)

Requirement falsification for cyber-physical systems using generative models. - Jarkko Peltomäki; Ivan Porres (Autom. Softw. Eng., 2025)