Ivan Porres - RankMe

127 papers A 4B 20C 13Misc 4Journal 40Unranked 43

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A Survey of Security Concepts in Introductory Programming Courses in Finland. Koli Calling Alina Torbunova, Ivan Porres
2025	C	`conf`	Distributed Critical Test Generation for Cyber-Physical Systems. ICTSS Ali Kaya, Ivan Porres
2025	—	`conf`	Integrating Security Concepts Into Introductory Programming Courses. World Conference on Information Security Education Alina Torbunova, Ivan Porres
2025	J	`jnl`	Requirement falsification for cyber-physical systems using generative models. Autom. Softw. Eng. Jarkko Peltomäki, Ivan Porres
2025	—	`conf`	Unified Search for Multi-requirement Falsification for Cyber-Physical Systems. ICSTW Jesper Winsten, Ivan Porres
2024	B	`conf`	A Systematic Mapping Study on Teaching of Security Concepts in Programming Courses. SEAA Alina Torbunova, Adnan Ashraf, Ivan Porres
2024	J	`jnl`	A Systematic Mapping Study on Teaching of Security Concepts in Programming Courses. CoRR Alina Torbunova, Adnan Ashraf, Ivan Porres
2024	—	`conf`	Adaptive Test Generation for Unmanned Aerial Vehicles using WOGAN-UAV. SBFT@ICSE Jesper Winsten, Valentin Soloviev, Jarkko Peltomäki, Ivan Porres
2024	C	`conf`	Dynamic Test Case Prioritization in Industrial Test Result Datasets. AST Alina Torbunova, Per Erik Strandberg, Ivan Porres
2024	J	`jnl`	Dynamic Test Case Prioritization in Industrial Test Result Datasets. CoRR Alina Torbunova, Per Erik Strandberg, Ivan Porres
2024	—	`conf`	Iterative Optimization of Hyperparameter-based Metamorphic Transformations. ICSTW Gaadha Sudheerbabu, Tanwir Ahmad, Dragos Truscan, Jüri Vain, Ivan Porres
2024	J	`jnl`	Learning test generators for cyber-physical systems. CoRR Jarkko Peltomäki, Ivan Porres
2024	—	`conf`	Testing cyber-physical systems with explicit output coverage. ICSTW Jarkko Peltomäki, Jesper Winsten, Maxime Methais, Ivan Porres
2023	—	`conf`	ARCH-COMP23 Category Report: Falsification. ARCH 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
2023	J	`jnl`	Requirement falsification for cyber-physical systems using generative models. CoRR Jarkko Peltomäki, Ivan Porres
2023	—	`conf`	WOGAN at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track. SBFT Jesper Winsten, Ivan Porres
2022	C	`conf`	A Two-phase Metamorphic Approach for Testing Industrial Control Systems. ETFA Gaadha Sudheerbabu, Tanwir Ahmad, Filip Sebek, Dragos Truscan, Jüri Vain, Ivan Porres
2022	J	`jnl`	A Two-phase Metamorphic Approach for Testing Industrial Control Systems. CoRR Gaadha Sudheerbabu, Tanwir Ahmad, Filip Sebek, Dragos Truscan, Jüri Vain, Ivan Porres
2022	J	`jnl`	Consistency of UML class, object and statechart diagrams using ontology reasoners. CoRR Ali Hanzala Khan, Ivan Porres
2022	—	`conf`	Early Detection of Network Attacks Using Deep Learning. ICST Workshops Tanwir Ahmad, Dragos Truscan, Jüri Vain, Ivan Porres
2022	J	`jnl`	Early Detection of Network Attacks Using Deep Learning. CoRR Tanwir Ahmad, Dragos Truscan, Juri Vain, Ivan Porres
2022	—	`conf`	Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits. ICST Workshops Jarkko Peltomäki, Ivan Porres
2022	J	`jnl`	Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits. CoRR Jarkko Peltomäki, Ivan Porres
2022	—	`conf`	WOGAN at the SBST 2022 CPS Tool Competition. SBST@ICSE Jarkko Peltomäki, Frankie Spencer, Ivan Porres
2022	J	`jnl`	WOGAN at the SBST 2022 CPS Tool Competition. CoRR Jarkko Peltomäki, Frankie Spencer, Ivan Porres
2022	—	`conf`	Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems. SBST@ICSE Jarkko Peltomäki, Frankie Spencer, Ivan Porres
2022	J	`jnl`	Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems. CoRR Jarkko Peltomäki, Frankie Spencer, Ivan Porres
2021	J	`jnl`	On the Verification and Validation of AI Navigation Algorithms. CoRR Ivan Porres, Sepinoud Azimi, Sébastien Lafond, Johan Lilius, Johanna Salokannel, Mirva Salokorpi
2021	—	`conf`	Online GANs for Automatic Performance Testing. ICST Workshops Ivan Porres, Hergys Rexha, Sébastien Lafond
2021	J	`jnl`	Online GANs for Automatic Performance Testing. CoRR Ivan Porres, Hergys Rexha, Sébastien Lafond
2020	—	`conf`	Automatic exploratory performance testing using a discriminator neural network. ICST Workshops Ivan Porres, Tanwir Ahmad, Hergys Rexha, Sébastien Lafond, Dragos Truscan
2020	B	`conf`	Scenario-based Testing of a Ship Collision Avoidance System. SEAA Ivan Porres, Sepinoud Azimi, Johan Lilius
2020	J	`jnl`	Using Deep Reinforcement Learning for Exploratory Performance Testing of Software Systems With Multi-Dimensional Input Spaces. IEEE Access Tanwir Ahmad, Adnan Ashraf, Dragos Truscan, Andi Domi, Ivan Porres
2019	J	`jnl`	A systematic mapping study of API usability evaluation methods. Comput. Sci. Rev. Irum Rauf, Elena Troubitsyna, Ivan Porres
2019	A	`conf`	Exhaustive Simulation and Test Generation Using fUML Activity Diagrams. CAiSE Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres
2019	B	`conf`	Exploratory Performance Testing Using Reinforcement Learning. SEAA Tanwir Ahmad, Adnan Ashraf, Dragos Truscan, Ivan Porres
2019	B	`conf`	MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models. SEAA Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres
2019	J	`jnl`	Model-based testing using UML activity diagrams: A systematic mapping study. Comput. Sci. Rev. Tanwir Ahmad, Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres
2019	J	`jnl`	Reasoning about UML/OCL class diagrams using constraint logic programming and formula. Inf. Syst. Beatriz Pérez, Ivan Porres
2018	B	`conf`	A Systematic Mapping Study on API Documentation Generation Approaches. SEAA Kristian Nybom, Adnan Ashraf, Ivan Porres
2018	J	`jnl`	Distributed virtual machine consolidation: A systematic mapping study. CoRR Adnan Ashraf, Benjamin Byholm, Ivan Porres
2018	J	`jnl`	Distributed virtual machine consolidation: A systematic mapping study. Comput. Sci. Rev. Adnan Ashraf, Benjamin Byholm, Ivan Porres
2018	J	`jnl`	Fast algorithms for fragmentable items bin packing. J. Heuristics Benjamin Byholm, Ivan Porres
2018	J	`jnl`	Identifying worst-case user scenarios for performance testing of web applications using Markov-chain workload models. Future Gener. Comput. Syst. Tanwir Ahmad, Dragos Truscan, Ivan Porres
2018	J	`jnl`	Multi-objective dynamic virtual machine consolidation in the cloud using ant colony system. Int. J. Parallel Emergent Distributed Syst. Adnan Ashraf, Ivan Porres
2018	J	`jnl`	The Role of Organisational Phenomena in Software Cost Estimation: A Case Study of Supporting and Hindering Factors. e Informatica Softw. Eng. J. Jurka Rahikkala, Sami Hyrynsalmi, Ville Leppänen, Ivan Porres
2017	J	`jnl`	Multi-objective dynamic virtual machine consolidation in the cloud using ant colony system. CoRR Adnan Ashraf, Ivan Porres
2017	—	`conf`	Optimized Deployment Plans for Platform as a Service Clouds. UCC (Companion") Benjamin Byholm, Ivan Porres
2017	—	`conf`	Reconstructing timed symbolic traces from ECBS Junaid Iqbal, Dragos Truscan, Jüri Vain, Ivan Porres
2016	C	`conf`	On Optimization of Test Parallelization with Constraints. Software Engineering (Workshops) Masoumeh Parsa, Adnan Ashraf, Dragos Truscan, Ivan Porres
2016	B	`conf`	On the Impact of Mixing Responsibilities Between Devs and Ops. XP Kristian Nybom, Jens Smeds, Ivan Porres
2016	B	`conf`	Perceived obstacles by novice developers adopting user interface APIs and tools. VL/HCC Irum Rauf, Pekka Perala, Jouni Huotari, Ivan Porres
2016	J	`jnl`	Prediction-based VM provisioning and admission control for multi-tier web applications. J. Cloud Comput. Adnan Ashraf, Benjamin Byholm, Ivan Porres
2016	J	`jnl`	Quantitatively measuring a large-scale agile transformation. J. Syst. Softw. Marta Olszewska, Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres
2015	Misc	`conf`	A Multi-objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud. UCC Adnan Ashraf, Benjamin Byholm, Ivan Porres
2015	J	`jnl`	Consistency of UML class, object and statechart diagrams using ontology reasoners. J. Vis. Lang. Comput. Ali Hanzala Khan, Ivan Porres
2015	C	`conf`	Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud. PDP Benjamin Byholm, Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Johan Lilius, Ivan Porres
2015	B	`conf`	DevOps: A Definition and Perceived Adoption Impediments. XP Jens Smeds, Kristian Nybom, Ivan Porres
2015	—	`ch.`	Smart Dosing: A mobile application for tracking the medication tray-filling and dispensation processes in hospital wards. Recent Advances in Ambient Assisted Living 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, Johan Lilius
2015	J	`jnl`	Using Ant Colony System to Consolidate VMs for Green Cloud Computing. IEEE Trans. Serv. Comput. Fahimeh Farahnakian, Adnan Ashraf, Tapio Pahikkala, Pasi Liljeberg, Juha Plosila, Ivan Porres, Hannu Tenhunen
2014	—	`conf`	An Integrated Approach for Designing and Validating REST Web Service Compositions. WEBIST (1) Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres
2014	B	`conf`	Cost-Efficient, Reliable, Utility-Based Session Management in the Cloud. CCGRID Benjamin Byholm, Ivan Porres
2014	—	`conf`	Energy-Aware Dynamic VM Consolidation in Cloud Data Centers Using Ant Colony System. IEEE CLOUD Fahimeh Farahnakian, Adnan Ashraf, Pasi Liljeberg, Tapio Pahikkala, Juha Plosila, Ivan Porres, Hannu Tenhunen
2014	B	`conf`	Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. IFM Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres
2014	—	`conf`	Scenario-Based Design and Validation of REST Web Service Compositions. WEBIST (Revised Selected Papers) Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres
2014	C	`conf`	Using Ant Colony System to Consolidate Multiple Web Applications in a Cloud Environment. PDP Adnan Ashraf, Ivan Porres
2013	B	`conf`	A Metrics Model to Measure the Impact of an Agile Transformation in Large Software Development Organizations. XP Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres
2013	B	`conf`	Authoring IEC 61508 Based Software Development Process Models. PROFES Ivan Porres, Jeanette Heidenberg, Max Weijola, Kristian Nordman, Dragos Truscan
2013	C	`conf`	Consistency of UML Class and Statechart Diagrams with State Invariants. MODELSWARD Ali Hanzala Khan, Irum Rauf, Ivan Porres
2013	C	`conf`	Model-based Performance Testing of Web Services using Probabilistic Timed Automata. WEBIST Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres
2013	B	`conf`	Model-based performance testing in the cloud using the mbpet tool. ICPE Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres
2013	C	`conf`	Prediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing. PDP Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Ivan Porres, Johan Lilius
2013	B	`conf`	Stream-Based Admission Control and Scheduling for Video Transcoding in Cloud Computing. CCGRID Adnan Ashraf, Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Ivan Porres, Johan Lilius
2013	—	`conf`	Union and Difference of Models, 10 years later. MoDELS (Demos/Posters/StudentResearch) Ivan Porres
2012	B	`conf`	A Model for Business Value in Large-Scale Agile and Lean Software Development. EuroSPI Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres
2012	Misc	`conf`	A Session-Based Adaptive Admission Control Approach for Virtualized Application Servers. UCC Adnan Ashraf, Benjamin Byholm, Ivan Porres
2012	—	`conf`	Analyzing Consistency of Behavioral REST Web Service Interfaces WWV Irum Rauf, Ali Hanzala Khan, Ivan Porres
2012	C	`conf`	CRAMP: Cost-efficient Resource Allocation for Multiple web applications with Proactive scaling. CloudCom Adnan Ashraf, Benjamin Byholm, Ivan Porres
2012	—	`conf`	Feedback Control Algorithms to Deploy and Scale Multiple Web Applications per Virtual Machine. EUROMICRO-SEAA Adnan Ashraf, Benjamin Byholm, Joonas Lehtinen, Ivan Porres
2011	—	`conf`	A Framework for Context-Aware Applications for Smart Spaces. NEW2AN M. Mohsin Saleemi, Natalia Díaz Rodríguez, Johan Lilius, Ivan Porres
2011	C	`conf`	An Efficient Google Datastore Adapter for Rich Internet Applications. CLOSER Johan Selänniemi, Ivan Porres
2011	—	`ch.`	Beyond CRUD. REST: From Research to Practice Irum Rauf, Ivan Porres
2011	—	`conf`	Doctoral Symposium at MoDELS 2011. MoDELS (Workshops) Joerg Evermann, Ivan Porres
2011	Misc	`conf`	Modeling behavioral RESTful web service interfaces in UML. SAC Ivan Porres, Irum Rauf
2011	—	`conf`	OWL Web Ontology Language as a Scripting Language for Smart Space Applications. RuleML Europe Espen Suenson, Johan Lilius, Ivan Porres
2011	—	`conf`	Programming biomedical smart space applications with SWAT4LS Natalia Díaz Rodríguez, Pasi Kankaanpää, M. Mohsin Saleemi, Johan Lilius, Ivan Porres
2011	—	`conf`	Towards Automatic Performance and Scalability Testing of Rich Internet Applications in the Cloud. EUROMICRO-SEAA Niclas Snellman, Adnan Ashraf, Ivan Porres
2011	B	`conf`	Towards Behaviorally Enriched Semantic RESTful Interfaces Using OWL2. ICWE Irum Rauf, Ivan Porres
2010	—	`conf`	A Feasibility Study on the Validation of Domain Specific Languages Using OWL 2 Reasoners. TWOMDE@TOOLS Ye Liu, Sören Höglund, Ali H. Khan, Ivan Porres
2010	J	`jnl`	Authoring and verification of clinical guidelines: A model driven approach. J. Biomed. Informatics Beatriz Pérez, Ivan Porres
2010	A	`conf`	From Nondeterministic UML Protocol Statemachines to Class Contracts. ICST Ivan Porres, Irum Rauf
2010	—	`conf`	Metrics Functions for Kanban Guards. ECBS Jeanette Heidenberg, Ivan Porres
2010	—	`conf`	Modeling a composite RESTful web service with UML. ECSA Companion Volume Irum Rauf, Anna Ruokonen, Tarja Systä, Ivan Porres
2009	—	`conf`	Generating Class Contracts from Deterministic UML Protocol Statemachines. MoDELS (Workshops) Ivan Porres, Irum Rauf
2009	—	`conf`	Generating class contracts from UML protocol statemachines. MoDeVVa@MoDELS Ivan Porres, Irum Rauf
2009	J	`jnl`	MDE for SoC design. Innov. Syst. Softw. Eng. Dragos Truscan, Torbjörn Lundkvist, Marcus Alanen, Kim Sandström, Ivan Porres, Johan Lilius
2008	—	`conf`	A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems. ECBS Ivan Porres, Eladio Domínguez, Beatriz Pérez, Áurea Rodríguez, María Antonia Zapata
2008	J	`jnl`	A metamodeling language supporting subset and union properties. Softw. Syst. Model. Marcus Alanen, Ivan Porres
2008	J	`jnl`	Statechart features and pre-release maintenance defects. J. Vis. Lang. Comput. Jeanette Heidenberg, Andreas Nåls, Ivan Porres
2008	—	`conf`	Testable Specifications of NoTA-based Modular Embedded Systems. ECBS Dragos Truscan, Johan Lindqvist, Johan Lilius, Ivan Porres, Timo Eriksson, Juha Rakkola, Antti Latva-Aho
2008	B	`conf`	Verification of Clinical Guidelines by Model Checking. CBMS Beatriz Pérez, Ivan Porres
2007	J	`jnl`	A Query Language With the Star Operator. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Johan Lindqvist, Torbjörn Lundkvist, Ivan Porres
2007	J	`jnl`	Creating and reconciling diagrams after executing model transformations. Sci. Comput. Program. Marcus Alanen, Torbjörn Lundkvist, Ivan Porres
2007	—	`conf`	Development of an Ubiquitous Decision Support System for Clinical Guidelines using MDA. CAiSE Forum Ivan Porres, Eladio Domínguez, Beatriz Pérez, Áurea Rodríguez, María Antonia Zapata
2007	B	`conf`	Statechart Features and Pre-Release Defects in Software Maintenance. VL/HCC Jeanette Heidenberg, Andreas Nåls, Ivan Porres
2007	C	`conf`	SystemC-based Simulation of the MICAS Architecture. FDL Johan Lilius, Ivan Porres, Kim Sandström, Dragos Truscan
2006	A	`conf`	A Mapping Language from Models to DI Diagrams. MoDELS Marcus Alanen, Torbjörn Lundkvist, Ivan Porres
2006	A	`conf`	Basic Operations over Models Containing Subset and Union Properties. MoDELS Marcus Alanen, Ivan Porres
2006	—	`conf`	Design Method Support for Domain Specific SoC design. MDB/MOMPES Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan, Ian Oliver, Kim Sandström
2006	B	`conf`	Process Definition and Project Tracking in Model Driven Engineering. PROFES Ivan Porres, María C. Valiente
2006	Misc	`conf`	Reconciling diagrams after executing model transformations. SAC Marcus Alanen, Torbjörn Lundkvist, Ivan Porres
2005	J	`jnl`	An Architecture Exploration Environment for System on Chip Design. Nord. J. Comput. Johan Lilius, Tomas Lillqvist, Torbjörn Lundkvist, Ian Oliver, Ivan Porres, Kim Sandström, Glen Sveholm, Asim Pervez Zaka
2005	J	`jnl`	Comparison of Modeling Frameworks for Software Engineering. Nord. J. Comput. Marcus Alanen, Torbjörn Lundkvist, Ivan Porres
2005	J	`jnl`	Guest Editors' Foreword. Nord. J. Comput. Johan Lilius, Ricardo Jorge Machado, Dragos Truscan, João M. Fernandes, Ivan Porres
2005	—	`conf`	Model Interchange Using OMG Standards. EUROMICRO-SEAA Marcus Alanen, Ivan Porres
2005	—	`ch.`	On Modeling Techniques for Supporting Model-Driven Development of Protocol Processing Applications. Model-Driven Software Development Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan
2005	J	`jnl`	Rule-based update transformations and their application to model refactorings. Softw. Syst. Model. Ivan Porres
2005	B	`conf`	Software Development and Experimentation in an Academic Environment: The Gaudi Experience. PROFES Ralph-Johan Back, Luka Milovanov, Ivan Porres
2003	C	`conf`	A Unified Approach to Code Generation from Behavioral Diagrams. FDL Dag Björklund, Johan Lilius, Ivan Porres
2003	—	`conf`	A Workbench to Experiment on New Model Engineering Applications. UML Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres
2003	J	`jnl`	A toolkit for model manipulation. Softw. Syst. Model. Ivan Porres
2003	—	`conf`	Difference and Union of Models. UML Marcus Alanen, Ivan Porres
2003	—	`conf`	Model Refactorings as Rule-Based Update Transformations. UML Ivan Porres
2003	—	`conf`	Rialto Profile in the SMW Toolkit. ACSD Dag Björklund, Johan Lilius, Ivan Porres
2001	J	`jnl`	Continuous Action Systems as a Model for Hybrid Systems. Nord. J. Comput. Ralph-Johan Back, Luigia Petre, Ivan Porres
2001	—	`conf`	Towards Efficient Code Synthesis from Statecharts. pUML Dag Björklund, Johan Lilius, Ivan Porres
2000	—	`conf`	Generalizing Action Systems to Hybrid Systems. FTRTFT Ralph-Johan Back, Luigia Petre, Ivan Porres