Skip to content

Ivan Porres

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

46

Venues

21

Active years

2003–2026

Best venue rank

A*

Where they publish

Papers

46 indexed papers, newest first.

YearVenueTitleAuthors
2026ICSTContinuous Requirement Conformance Falsification for Cyber-Physical Systems via Cross-Revision Knowledge Transfer.Jesper Winsten, Ivan Porres
2025ICSTUnified Search for Multi-requirement Falsification for Cyber-Physical Systems.Jesper Winsten, Ivan Porres
2024ASTDynamic Test Case Prioritization in Industrial Test Result Datasets.Alina Torbunova, Per Erik Strandberg, Ivan Porres
2024ICSTTesting cyber-physical systems with explicit output coverage.Jarkko Peltomki, Jesper Winsten, Maxime Methais, Ivan Porres
2024ICSTIterative Optimization of Hyperparameter-based Metamorphic Transformations.Gaadha Sudheerbabu, Tanwir Ahmad, Dragos Truscan, Jri Vain, Ivan Porres
2023ICSEWOGAN at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track.Jesper Winsten, Ivan Porres
2022ETFAA Two-phase Metamorphic Approach for Testing Industrial Control Systems.Gaadha Sudheerbabu, Tanwir Ahmad, Filip Sebek, Dragos Truscan, Jri Vain, Ivan Porres
2022ICSTEarly Detection of Network Attacks Using Deep Learning.Tanwir Ahmad, Dragos Truscan, Jri Vain, Ivan Porres
2022ICSTFalsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits.Jarkko Peltomki, Ivan Porres
2021ICSTOnline GANs for Automatic Performance Testing.Ivan Porres, Hergys Rexha, Sbastien Lafond
2020ICSTAutomatic exploratory performance testing using a discriminator neural network.Ivan Porres, Tanwir Ahmad, Hergys Rexha, Sbastien Lafond, Dragos Truscan
2019CaiSEExhaustive Simulation and Test Generation Using fUML Activity Diagrams.Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres
2017UCCOptimized Deployment Plans for Platform as a Service Clouds.Benjamin Byholm, Ivan Porres
2015PDPCost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud.Benjamin Byholm, Fareed Jokhio, Adnan Ashraf, Sbastien Lafond, Johan Lilius, Ivan Porres
2015UCCA Multi-objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud.Adnan Ashraf, Benjamin Byholm, Ivan Porres
2014CCGRIDCost-Efficient, Reliable, Utility-Based Session Management in the Cloud.Benjamin Byholm, Ivan Porres
2014IFMIntegrating 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
2014PDPUsing Ant Colony System to Consolidate Multiple Web Applications in a Cloud Environment.Adnan Ashraf, Ivan Porres
2014WEBISTAn Integrated Approach for Designing and Validating REST Web Service Compositions.Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres
2014WEBISTScenario-Based Design and Validation of REST Web Service Compositions.Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres
2013CCGRIDStream-Based Admission Control and Scheduling for Video Transcoding in Cloud Computing.Adnan Ashraf, Fareed Jokhio, Tewodros Deneke, Sbastien Lafond, Ivan Porres, Johan Lilius
2013MODELSUnion and Difference of Models, 10 years later.Ivan Porres
2013MODELSWARDConsistency of UML Class and Statechart Diagrams with State Invariants.Ali Hanzala Khan, Irum Rauf, Ivan Porres
2013PDPPrediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing.Fareed Jokhio, Adnan Ashraf, Sbastien Lafond, Ivan Porres, Johan Lilius
2013PROFESAuthoring IEC 61508 Based Software Development Process Models.Ivan Porres, Jeanette Heidenberg, Max Weijola, Kristian Nordman, Dragos Truscan
2013WEBISTModel-based Performance Testing of Web Services using Probabilistic Timed Automata.Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres
2012CloudComCRAMP: Cost-efficient Resource Allocation for Multiple web applications with Proactive scaling.Adnan Ashraf, Benjamin Byholm, Ivan Porres
2012EuroSPIA Model for Business Value in Large-Scale Agile and Lean Software Development.Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres
2012UCCA Session-Based Adaptive Admission Control Approach for Virtualized Application Servers.Adnan Ashraf, Benjamin Byholm, Ivan Porres
2011CLOSERAn Efficient Google Datastore Adapter for Rich Internet Applications.Johan Selnniemi, Ivan Porres
2011ICWETowards Behaviorally Enriched Semantic RESTful Interfaces Using OWL2.Irum Rauf, Ivan Porres
2011MODELSDoctoral Symposium at MoDELS 2011.Joerg Evermann, Ivan Porres
2011SACModeling behavioral RESTful web service interfaces in UML.Ivan Porres, Irum Rauf
2010ECSAModeling a composite RESTful web service with UML.Irum Rauf, Anna Ruokonen, Tarja Syst, Ivan Porres
2010ICSTFrom Nondeterministic UML Protocol Statemachines to Class Contracts.Ivan Porres, Irum Rauf
2009MODELSGenerating Class Contracts from Deterministic UML Protocol Statemachines.Ivan Porres, Irum Rauf
2009MODELSGenerating class contracts from UML protocol statemachines.Ivan Porres, Irum Rauf
2008CBMSVerification of Clinical Guidelines by Model Checking.Beatriz Prez, Ivan Porres
2007CaiSEDevelopment of an Ubiquitous Decision Support System for Clinical Guidelines using MDA.Ivan Porres, Eladio Domnguez, Beatriz Prez, urea Rodrguez, Mara Antonia Zapata
2007FDLSystemC-based Simulation of the MICAS Architecture.Johan Lilius, Ivan Porres, Kim Sandstrm, Dragos Truscan
2006MODELSA Mapping Language from Models to DI Diagrams.Marcus Alanen, Torbjrn Lundkvist, Ivan Porres
2006MODELSBasic Operations over Models Containing Subset and Union Properties.Marcus Alanen, Ivan Porres
2006PROFESProcess Definition and Project Tracking in Model Driven Engineering.Ivan Porres, Mara C. Valiente
2006SACReconciling diagrams after executing model transformations.Marcus Alanen, Torbjrn Lundkvist, Ivan Porres
2005PROFESSoftware Development and Experimentation in an Academic Environment: The Gaudi Experience.Ralph-Johan Back, Luka Milovanov, Ivan Porres
2003FDLA Unified Approach to Code Generation from Behavioral Diagrams.Dag Bjrklund, Johan Lilius, Ivan Porres