Ivan Porres

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 44

Top Venues

Publications

Alina Torbunova, Adnan Ashraf, Ivan Porres
A Systematic Mapping Study on Teaching of Security Concepts in Programming Courses. CoRR (2024)
Alina Torbunova, Per Erik Strandberg, Ivan Porres
Dynamic Test Case Prioritization in Industrial Test Result Datasets. AST@ICSE (2024)
Alina Torbunova, Per Erik Strandberg, Ivan Porres
Dynamic Test Case Prioritization in Industrial Test Result Datasets. CoRR (2024)
Jarkko Peltomäki, Ivan Porres
Requirement falsification for cyber-physical systems using generative models. CoRR (2023)
Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang
ARCH-COMP23 Category Report: Falsification. ARCH (2023)
Jesper Winsten, Ivan Porres
WOGAN at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track. SBFT (2023)
Gaadha Sudheerbabu, Tanwir Ahmad, Filip Sebek, Dragos Truscan, Jüri Vain, Ivan Porres
A Two-phase Metamorphic Approach for Testing Industrial Control Systems. ETFA (2022)
Jarkko Peltomäki, Frankie Spencer, Ivan Porres
Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems. CoRR (2022)
Jarkko Peltomäki, Ivan Porres
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits. CoRR (2022)
Gaadha Sudheerbabu, Tanwir Ahmad, Filip Sebek, Dragos Truscan, Jüri Vain, Ivan Porres
A Two-phase Metamorphic Approach for Testing Industrial Control Systems. CoRR (2022)
Jarkko Peltomäki, Frankie Spencer, Ivan Porres
WOGAN at the SBST 2022 CPS Tool Competition. CoRR (2022)
Jarkko Peltomäki, Frankie Spencer, Ivan Porres
WOGAN at the SBST 2022 CPS Tool Competition. SBST@ICSE (2022)
Ali Hanzala Khan, Ivan Porres
Consistency of UML class, object and statechart diagrams using ontology reasoners. CoRR (2022)
Tanwir Ahmad, Dragos Truscan, Juri Vain, Ivan Porres
Early Detection of Network Attacks Using Deep Learning. CoRR (2022)
Jarkko Peltomäki, Ivan Porres
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits. ICST Workshops (2022)
Tanwir Ahmad, Dragos Truscan, Jüri Vain, Ivan Porres
Early Detection of Network Attacks Using Deep Learning. ICST Workshops (2022)
Jarkko Peltomäki, Frankie Spencer, Ivan Porres
Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems. SBST@ICSE (2022)
Ivan Porres, Hergys Rexha, Sébastien Lafond
Online GANs for Automatic Performance Testing. ICST Workshops (2021)
Ivan Porres, Sepinoud Azimi, Sébastien Lafond, Johan Lilius, Johanna Salokannel, Mirva Salokorpi
On the Verification and Validation of AI Navigation Algorithms. CoRR (2021)
Ivan Porres, Hergys Rexha, Sébastien Lafond
Online GANs for Automatic Performance Testing. CoRR (2021)
Ivan Porres, Sepinoud Azimi, Johan Lilius
Scenario-based Testing of a Ship Collision Avoidance System. SEAA (2020)
Tanwir Ahmad, Adnan Ashraf, Dragos Truscan, Andi Domi, Ivan Porres
Using Deep Reinforcement Learning for Exploratory Performance Testing of Software Systems With Multi-Dimensional Input Spaces. IEEE Access 8 (2020)
Ivan Porres, Tanwir Ahmad, Hergys Rexha, Sébastien Lafond, Dragos Truscan
Automatic exploratory performance testing using a discriminator neural network. ICST Workshops (2020)
Tanwir Ahmad, Adnan Ashraf, Dragos Truscan, Ivan Porres
Exploratory Performance Testing Using Reinforcement Learning. SEAA (2019)
Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres
Exhaustive Simulation and Test Generation Using fUML Activity Diagrams. CAiSE (2019)
Beatriz Pérez, Ivan Porres
Reasoning about UML/OCL class diagrams using constraint logic programming and formula. Inf. Syst. 81 (2019)
Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres
MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models. SEAA (2019)
Irum Rauf, Elena Troubitsyna, Ivan Porres
A systematic mapping study of API usability evaluation methods. Comput. Sci. Rev. 33 (2019)
Tanwir Ahmad, Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres
Model-based testing using UML activity diagrams: A systematic mapping study. Comput. Sci. Rev. 33 (2019)
Kristian Nybom, Adnan Ashraf, Ivan Porres
A Systematic Mapping Study on API Documentation Generation Approaches. SEAA (2018)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
Distributed virtual machine consolidation: A systematic mapping study. Comput. Sci. Rev. 28 (2018)
Benjamin Byholm, Ivan Porres
Fast algorithms for fragmentable items bin packing. J. Heuristics 24 (5) (2018)
Jurka Rahikkala, Sami Hyrynsalmi, Ville Leppänen, Ivan Porres
The Role of Organisational Phenomena in Software Cost Estimation: A Case Study of Supporting and Hindering Factors. e Informatica Softw. Eng. J. 12 (1) (2018)
Adnan Ashraf, Ivan Porres
Multi-objective dynamic virtual machine consolidation in the cloud using ant colony system. Int. J. Parallel Emergent Distributed Syst. 33 (1) (2018)
Tanwir Ahmad, Dragos Truscan, Ivan Porres
Identifying worst-case user scenarios for performance testing of web applications using Markov-chain workload models. Future Gener. Comput. Syst. 87 (2018)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
Distributed virtual machine consolidation: A systematic mapping study. CoRR (2018)
Benjamin Byholm, Ivan Porres
Optimized Deployment Plans for Platform as a Service Clouds. UCC (Companion") (2017)
Adnan Ashraf, Ivan Porres
Multi-objective dynamic virtual machine consolidation in the cloud using ant colony system. CoRR (2017)
Junaid Iqbal, Dragos Truscan, Jüri Vain, Ivan Porres
-based timed test sequences using backward-induction. ECBS (2017)
Masoumeh Parsa, Adnan Ashraf, Dragos Truscan, Ivan Porres
On Optimization of Test Parallelization with Constraints. Software Engineering (Workshops) (2016)
Irum Rauf, Pekka Perala, Jouni Huotari, Ivan Porres
Perceived obstacles by novice developers adopting user interface APIs and tools. VL/HCC (2016)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
Prediction-based VM provisioning and admission control for multi-tier web applications. J. Cloud Comput. 5 (2016)
Kristian Nybom, Jens Smeds, Ivan Porres
On the Impact of Mixing Responsibilities Between Devs and Ops. XP (2016)
Marta Olszewska, Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres
Quantitatively measuring a large-scale agile transformation. J. Syst. Softw. 117 (2016)
Fahimeh Farahnakian, Adnan Ashraf, Tapio Pahikkala, Pasi Liljeberg, Juha Plosila, Ivan Porres, Hannu Tenhunen
Using Ant Colony System to Consolidate VMs for Green Cloud Computing. IEEE Trans. Serv. Comput. 8 (2) (2015)
Benjamin Byholm, Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Johan Lilius, Ivan Porres
Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud. PDP (2015)
Jens Smeds, Kristian Nybom, Ivan Porres
DevOps: A Definition and Perceived Adoption Impediments. XP (2015)
Ali Hanzala Khan, Ivan Porres
Consistency of UML class, object and statechart diagrams using ontology reasoners. J. Vis. Lang. Comput. 26 (2015)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
A Multi-objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud. UCC (2015)
Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres
Scenario-Based Design and Validation of REST Web Service Compositions. WEBIST (Revised Selected Papers) (2014)
Fahimeh Farahnakian, Adnan Ashraf, Pasi Liljeberg, Tapio Pahikkala, Juha Plosila, Ivan Porres, Hannu Tenhunen
Energy-Aware Dynamic VM Consolidation in Cloud Data Centers Using Ant Colony System. IEEE CLOUD (2014)
Benjamin Byholm, Ivan Porres
Cost-Efficient, Reliable, Utility-Based Session Management in the Cloud. CCGRID (2014)
Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. IFM (2014)
Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres
An Integrated Approach for Designing and Validating REST Web Service Compositions. WEBIST (1) (2014)
Adnan Ashraf, Ivan Porres
Using Ant Colony System to Consolidate Multiple Web Applications in a Cloud Environment. PDP (2014)
Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres
Model-based Performance Testing of Web Services using Probabilistic Timed Automata. WEBIST (2013)
Ivan Porres
Union and Difference of Models, 10 years later. MoDELS (Demos/Posters/StudentResearch) (2013)
Adnan Ashraf, Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Ivan Porres, Johan Lilius
Stream-Based Admission Control and Scheduling for Video Transcoding in Cloud Computing. CCGRID (2013)
Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Ivan Porres, Johan Lilius
Prediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing. PDP (2013)
Ali Hanzala Khan, Irum Rauf, Ivan Porres
Consistency of UML Class and Statechart Diagrams with State Invariants. MODELSWARD (2013)
Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres
Model-based performance testing in the cloud using the mbpet tool. ICPE (2013)
Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres
A Metrics Model to Measure the Impact of an Agile Transformation in Large Software Development Organizations. XP (2013)
Ivan Porres, Jeanette Heidenberg, Max Weijola, Kristian Nordman, Dragos Truscan
Authoring IEC 61508 Based Software Development Process Models. PROFES (2013)
Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres
A Model for Business Value in Large-Scale Agile and Lean Software Development. EuroSPI (2012)
Irum Rauf, Ali Hanzala Khan, Ivan Porres
Analyzing Consistency of Behavioral REST Web Service Interfaces WWV (2012)
Adnan Ashraf, Benjamin Byholm, Joonas Lehtinen, Ivan Porres
Feedback Control Algorithms to Deploy and Scale Multiple Web Applications per Virtual Machine. EUROMICRO-SEAA (2012)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
CRAMP: Cost-efficient Resource Allocation for Multiple web applications with Proactive scaling. CloudCom (2012)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
A Session-Based Adaptive Admission Control Approach for Virtualized Application Servers. UCC (2012)
Irum Rauf, Ivan Porres
Towards Behaviorally Enriched Semantic RESTful Interfaces Using OWL2. ICWE (2011)
Joerg Evermann, Ivan Porres
Doctoral Symposium at MoDELS 2011. MoDELS (Workshops) (2011)
Niclas Snellman, Adnan Ashraf, Ivan Porres
Towards Automatic Performance and Scalability Testing of Rich Internet Applications in the Cloud. EUROMICRO-SEAA (2011)
Natalia Díaz Rodríguez, Pasi Kankaanpää, M. Mohsin Saleemi, Johan Lilius, Ivan Porres
. SWAT4LS (2011)
Ivan Porres, Irum Rauf
Modeling behavioral RESTful web service interfaces in UML. SAC (2011)
Espen Suenson, Johan Lilius, Ivan Porres
OWL Web Ontology Language as a Scripting Language for Smart Space Applications. RuleML Europe (2011)
M. Mohsin Saleemi, Natalia Díaz Rodríguez, Johan Lilius, Ivan Porres
A Framework for Context-Aware Applications for Smart Spaces. NEW2AN (2011)
Johan Selänniemi, Ivan Porres
An Efficient Google Datastore Adapter for Rich Internet Applications. CLOSER (2011)
Ye Liu, Sören Höglund, Ali H. Khan, Ivan Porres
A Feasibility Study on the Validation of Domain Specific Languages Using OWL 2 Reasoners. TWOMDE@TOOLS (2010)
Jeanette Heidenberg, Ivan Porres
Metrics Functions for Kanban Guards. ECBS (2010)
Beatriz Pérez, Ivan Porres
Authoring and verification of clinical guidelines: A model driven approach. J. Biomed. Informatics 43 (4) (2010)
Irum Rauf, Anna Ruokonen, Tarja Systä, Ivan Porres
Modeling a composite RESTful web service with UML. ECSA Companion Volume (2010)
Ivan Porres, Irum Rauf
From Nondeterministic UML Protocol Statemachines to Class Contracts. ICST (2010)
Ivan Porres, Irum Rauf
Generating Class Contracts from Deterministic UML Protocol Statemachines. MoDELS (Workshops) (2009)
Ivan Porres, Irum Rauf
Generating class contracts from UML protocol statemachines. MoDeVVa@MoDELS (2009)
Dragos Truscan, Torbjörn Lundkvist, Marcus Alanen, Kim Sandström, Ivan Porres, Johan Lilius
MDE for SoC design. Innov. Syst. Softw. Eng. 5 (1) (2009)
Jeanette Heidenberg, Andreas Nåls, Ivan Porres
Statechart features and pre-release maintenance defects. J. Vis. Lang. Comput. 19 (4) (2008)
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)
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)
Marcus Alanen, Ivan Porres
A metamodeling language supporting subset and union properties. Softw. Syst. Model. 7 (1) (2008)
Beatriz Pérez, Ivan Porres
Verification of Clinical Guidelines by Model Checking. CBMS (2008)
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)
Marcus Alanen, Torbjörn Lundkvist, Ivan Porres
Creating and reconciling diagrams after executing model transformations. Sci. Comput. Program. 68 (3) (2007)
Johan Lilius, Ivan Porres, Kim Sandström, Dragos Truscan
SystemC-based Simulation of the MICAS Architecture. FDL (2007)
Jeanette Heidenberg, Andreas Nåls, Ivan Porres
Statechart Features and Pre-Release Defects in Software Maintenance. VL/HCC (2007)
Johan Lindqvist, Torbjörn Lundkvist, Ivan Porres
A Query Language With the Star Operator. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007)
Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan, Ian Oliver, Kim Sandström
Design Method Support for Domain Specific SoC design. MDB/MOMPES (2006)
Marcus Alanen, Ivan Porres
Basic Operations over Models Containing Subset and Union Properties. MoDELS (2006)
Marcus Alanen, Torbjörn Lundkvist, Ivan Porres
A Mapping Language from Models to DI Diagrams. MoDELS (2006)
Marcus Alanen, Torbjörn Lundkvist, Ivan Porres
Reconciling diagrams after executing model transformations. SAC (2006)
Ivan Porres, María C. Valiente
Process Definition and Project Tracking in Model Driven Engineering. PROFES (2006)
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) (2005)

Ivan Porres.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ivan Porres