Requirement falsification for cyber-physical systems using generative models.

Ivan Porres

Jarkko Peltomäki Ivan Porres Requirement falsification for cyber-physical systems using generative models. 33 2025 November 32 Autom. Softw. Eng. 2 https://doi.org/10.1007/s10515-025-00503-x db/journals/ase/ase32.html#PeltomakiP25 streams/journals/ase

Jesper Winsten Ivan Porres Unified Search for Multi-requirement Falsification for Cyber-Physical Systems. 235-243 2025 ICSTW https://doi.org/10.1109/ICSTW64639.2025.10962525 conf/icst/2025w db/conf/icst/icst2025w.html#WinstenP25 Alina Torbunova Ivan Porres Integrating Security Concepts Into Introductory Programming Courses. 217-233 2025 World Conference on Information Security Education https://doi.org/10.1007/978-3-031-94924-1_15 conf/ifip11-8/2025 db/conf/ifip11-8/ifip11-8-2025.html#TorbunovaP25 Alina Torbunova Ivan Porres A Survey of Security Concepts in Introductory Programming Courses in Finland. 4:1-4:11 2025 Koli Calling https://doi.org/10.1145/3769994.3770028 conf/kolicalling/2025 db/conf/kolicalling/kolicalling2025.html#TorbunovaP25 Ali Kaya Ivan Porres Distributed Critical Test Generation for Cyber-Physical Systems. 107-124 2025 ICTSS https://doi.org/10.1007/978-3-032-05188-2_8 conf/pts/2025 db/conf/pts/ictss2025.html#KayaP25 streams/conf/pts Alina Torbunova Per Erik Strandberg Ivan Porres Dynamic Test Case Prioritization in Industrial Test Result Datasets. 154-158 2024 AST https://doi.org/10.1145/3644032.3644452 https://ieeexplore.ieee.org/document/10556478 conf/ast/2024 db/conf/ast/ast2024.html#TorbunovaSP24 Alina Torbunova Adnan Ashraf Ivan Porres A Systematic Mapping Study on Teaching of Security Concepts in Programming Courses. 288-295 2024 SEAA https://doi.org/10.1109/SEAA64295.2024.00052 conf/euromicro/2024 db/conf/euromicro/euromicro2024.html#TorbunovaAP24 Gaadha Sudheerbabu Tanwir Ahmad Dragos Truscan Jüri Vain Ivan Porres Iterative Optimization of Hyperparameter-based Metamorphic Transformations. 13-20 2024 ICSTW https://doi.org/10.1109/ICSTW60967.2024.00016 conf/icst/2024w db/conf/icst/icst2024w.html#SudheerbabuATVP24 streams/conf/icst Jarkko Peltomäki Jesper Winsten Maxime Methais Ivan Porres Testing cyber-physical systems with explicit output coverage. 128-136 2024 ICSTW https://doi.org/10.1109/ICSTW60967.2024.00036 conf/icst/2024w db/conf/icst/icst2024w.html#PeltomakiWMP24 streams/conf/icst Jesper Winsten Valentin Soloviev Jarkko Peltomäki Ivan Porres Adaptive Test Generation for Unmanned Aerial Vehicles using WOGAN-UAV. 43-44 2024 SBFT@ICSE https://doi.org/10.1145/3643659.3648603 conf/sbst/2024 db/conf/sbst/sbft2024.html#WinstenSPP24

Alina Torbunova Per Erik Strandberg Ivan Porres Dynamic Test Case Prioritization in Industrial Test Result Datasets. 2024 abs/2402.02925 CoRR https://doi.org/10.48550/arXiv.2402.02925 db/journals/corr/corr2402.html#abs-2402-02925

Alina Torbunova Adnan Ashraf Ivan Porres A Systematic Mapping Study on Teaching of Security Concepts in Programming Courses. 2024 abs/2407.07511 CoRR https://doi.org/10.48550/arXiv.2407.07511 db/journals/corr/corr2407.html#abs-2407-07511 streams/journals/corr

Jarkko Peltomäki Ivan Porres Learning test generators for cyber-physical systems. 2024 abs/2410.03202 CoRR https://doi.org/10.48550/arXiv.2410.03202 db/journals/corr/corr2410.html#abs-2410-03202 streams/journals/corr

Claudio Menghi Paolo Arcaini Walstan Baptista Gidon Ernst Georgios Fainekos Federico Formica Sauvik Gon Tanmay Khandait Atanu Kundu 0002 Giulia Pedrielli Jarkko Peltomäki Ivan Porres Rajarshi Ray 0001 Masaki Waga Zhenya Zhang 0001 ARCH-COMP23 Category Report: Falsification. 151-169 2023 ARCH https://doi.org/10.29007/6nqs conf/arch/2023 db/conf/arch/arch2023.html#MenghiABEFFGK0P23 Jesper Winsten Ivan Porres WOGAN at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track. 43-44 2023 SBFT https://doi.org/10.1109/SBFT59156.2023.00009 conf/icse/2023sbft db/conf/icse/sbft2023.html#WinstenP23

Jarkko Peltomäki Ivan Porres Requirement falsification for cyber-physical systems using generative models. 2023 abs/2310.20493 CoRR https://doi.org/10.48550/arXiv.2310.20493 db/journals/corr/corr2310.html#abs-2310-20493

Gaadha Sudheerbabu Tanwir Ahmad Filip Sebek Dragos Truscan Jüri Vain Ivan Porres A Two-phase Metamorphic Approach for Testing Industrial Control Systems. 1-4 2022 ETFA https://doi.org/10.1109/ETFA52439.2022.9921439 conf/etfa/2022 db/conf/etfa/etfa2022.html#SudheerbabuASTV22 Jarkko Peltomäki Ivan Porres Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits. 21-28 2022 ICST Workshops https://doi.org/10.1109/ICSTW55395.2022.00018 conf/icst/2022w db/conf/icst/icst2022w.html#PeltomakiP22 Tanwir Ahmad Dragos Truscan Jüri Vain Ivan Porres Early Detection of Network Attacks Using Deep Learning. 30-39 2022 ICST Workshops https://doi.org/10.1109/ICSTW55395.2022.00020 conf/icst/2022w db/conf/icst/icst2022w.html#AhmadTVP22 Jarkko Peltomäki Frankie Spencer Ivan Porres Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems. 1-5 2022 SBST@ICSE https://doi.org/10.1145/3526072.3527522 conf/sbst/2022 db/conf/sbst/sbst2022.html#PeltomakiSP22 Jarkko Peltomäki Frankie Spencer Ivan Porres WOGAN at the SBST 2022 CPS Tool Competition. 53-54 2022 SBST@ICSE https://doi.org/10.1145/3526072.3527535 conf/sbst/2022 db/conf/sbst/sbst2022.html#PeltomakiSP22a

Tanwir Ahmad Dragos Truscan Juri Vain Ivan Porres Early Detection of Network Attacks Using Deep Learning. 2022 abs/2201.11628 CoRR https://arxiv.org/abs/2201.11628 db/journals/corr/corr2201.html#abs-2201-11628

Jarkko Peltomäki Ivan Porres Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits. 2022 abs/2205.11057 CoRR https://doi.org/10.48550/arXiv.2205.11057 db/journals/corr/corr2205.html#abs-2205-11057

Jarkko Peltomäki Frankie Spencer Ivan Porres Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems. 2022 abs/2205.11060 CoRR https://doi.org/10.48550/arXiv.2205.11060 db/journals/corr/corr2205.html#abs-2205-11060

Jarkko Peltomäki Frankie Spencer Ivan Porres WOGAN at the SBST 2022 CPS Tool Competition. 2022 abs/2205.11064 CoRR https://doi.org/10.48550/arXiv.2205.11064 db/journals/corr/corr2205.html#abs-2205-11064

Ali Hanzala Khan Ivan Porres Consistency of UML class, object and statechart diagrams using ontology reasoners. 2022 abs/2205.11177 CoRR https://doi.org/10.48550/arXiv.2205.11177 db/journals/corr/corr2205.html#abs-2205-11177

Gaadha Sudheerbabu Tanwir Ahmad Filip Sebek Dragos Truscan Jüri Vain Ivan Porres A Two-phase Metamorphic Approach for Testing Industrial Control Systems. 2022 abs/2208.09261 CoRR https://doi.org/10.48550/arXiv.2208.09261 db/journals/corr/corr2208.html#abs-2208-09261

Ivan Porres Hergys Rexha Sébastien Lafond Online GANs for Automatic Performance Testing. 95-100 2021 ICST Workshops https://doi.org/10.1109/ICSTW52544.2021.00027 conf/icst/2021w db/conf/icst/icst2021w.html#PorresRL21

Ivan Porres Sepinoud Azimi Sébastien Lafond Johan Lilius Johanna Salokannel Mirva Salokorpi On the Verification and Validation of AI Navigation Algorithms. 2021 abs/2101.06091 CoRR https://arxiv.org/abs/2101.06091 db/journals/corr/corr2101.html#abs-2101-06091

Ivan Porres Hergys Rexha Sébastien Lafond Online GANs for Automatic Performance Testing. 2021 abs/2104.11069 CoRR https://arxiv.org/abs/2104.11069 db/journals/corr/corr2104.html#abs-2104-11069

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. 195000-195020 2020 8 IEEE Access https://doi.org/10.1109/ACCESS.2020.3033888 db/journals/access/access8.html#AhmadATDP20

Ivan Porres Sepinoud Azimi Johan Lilius Scenario-based Testing of a Ship Collision Avoidance System. 545-552 2020 SEAA https://doi.org/10.1109/SEAA51224.2020.00090 https://www.wikidata.org/entity/Q126962756 conf/euromicro/2020 db/conf/euromicro/euromicro2020.html#PorresAL20 Ivan Porres Tanwir Ahmad Hergys Rexha Sébastien Lafond Dragos Truscan Automatic exploratory performance testing using a discriminator neural network. 105-113 2020 ICST Workshops https://doi.org/10.1109/ICSTW50294.2020.00030 conf/icst/2020w db/conf/icst/icstw2020.html#PorresARLT20

Irum Rauf Elena Troubitsyna Ivan Porres A systematic mapping study of API usability evaluation methods. 49-68 2019 33 Comput. Sci. Rev. https://doi.org/10.1016/j.cosrev.2019.05.001 https://www.wikidata.org/entity/Q127831859 db/journals/csr/csr33.html#RaufTP19

Tanwir Ahmad Junaid Iqbal Adnan Ashraf Dragos Truscan Ivan Porres Model-based testing using UML activity diagrams: A systematic mapping study. 98-112 2019 33 Comput. Sci. Rev. https://doi.org/10.1016/j.cosrev.2019.07.001 db/journals/csr/csr33.html#AhmadIATP19

Beatriz Pérez 0001 Ivan Porres Reasoning about UML/OCL class diagrams using constraint logic programming and formula. 152-177 2019 81 Inf. Syst. https://doi.org/10.1016/j.is.2018.08.005 db/journals/is/is81.html#PerezP19

Junaid Iqbal Adnan Ashraf Dragos Truscan Ivan Porres Exhaustive Simulation and Test Generation Using fUML Activity Diagrams. 96-110 2019 CAiSE https://doi.org/10.1007/978-3-030-21290-2_7 conf/caise/2019 db/conf/caise/caise2019.html#IqbalATP19 Tanwir Ahmad Adnan Ashraf Dragos Truscan Ivan Porres Exploratory Performance Testing Using Reinforcement Learning. 156-163 2019 SEAA https://doi.org/10.1109/SEAA.2019.00032 conf/euromicro/2019 db/conf/euromicro/euromicro2019.html#AhmadATP19 Junaid Iqbal Adnan Ashraf Dragos Truscan Ivan Porres MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models. 466-470 2019 SEAA https://doi.org/10.1109/SEAA.2019.00075 conf/euromicro/2019 db/conf/euromicro/euromicro2019.html#IqbalATP19

Adnan Ashraf Benjamin Byholm Ivan Porres Distributed virtual machine consolidation: A systematic mapping study. 118-130 2018 28 Comput. Sci. Rev. https://doi.org/10.1016/j.cosrev.2018.02.003 db/journals/csr/csr28.html#AshrafBP18

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. 167-198 2018 12 e Informatica Softw. Eng. J. 1 https://doi.org/10.5277/e-Inf180107 db/journals/eInformatica/eInformatica12.html#RahikkalaHLP18

Tanwir Ahmad Dragos Truscan Ivan Porres Identifying worst-case user scenarios for performance testing of web applications using Markov-chain workload models. 910-920 2018 87 Future Gener. Comput. Syst. https://doi.org/10.1016/j.future.2018.01.042 db/journals/fgcs/fgcs87.html#AhmadTP18

Benjamin Byholm Ivan Porres Fast algorithms for fragmentable items bin packing. 697-723 2018 24 J. Heuristics 5 https://doi.org/10.1007/s10732-018-9375-z db/journals/heuristics/heuristics24.html#ByholmP18

Adnan Ashraf Ivan Porres Multi-objective dynamic virtual machine consolidation in the cloud using ant colony system. 103-120 2018 33 Int. J. Parallel Emergent Distributed Syst. 1 https://doi.org/10.1080/17445760.2017.1278601 db/journals/paapp/paapp33.html#AshrafP18

Kristian Nybom Adnan Ashraf Ivan Porres A Systematic Mapping Study on API Documentation Generation Approaches. 462-469 2018 SEAA https://doi.org/10.1109/SEAA.2018.00081 https://doi.ieeecomputersociety.org/10.1109/SEAA.2018.00081 conf/euromicro/2018 db/conf/euromicro/euromicro2018.html#NybomAP18

Adnan Ashraf Benjamin Byholm Ivan Porres Distributed virtual machine consolidation: A systematic mapping study. 2018 abs/1803.03094 CoRR http://arxiv.org/abs/1803.03094 db/journals/corr/corr1803.html#abs-1803-03094

Junaid Iqbal Dragos Truscan Jüri Vain Ivan Porres Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward-induction. 6:1-6:10 2017 ECBS https://doi.org/10.1145/3123779.3123813 https://www.wikidata.org/entity/Q131117045 conf/ecbs/2017 db/conf/ecbs/ecbs2017.html#IqbalTVP17 Benjamin Byholm Ivan Porres Optimized Deployment Plans for Platform as a Service Clouds. 41-46 2017 UCC (Companion") https://doi.org/10.1145/3147234.3148112 conf/ucc/2017c db/conf/ucc/ucc2017c.html#ByholmP17

Adnan Ashraf Ivan Porres Multi-objective dynamic virtual machine consolidation in the cloud using ant colony system. 2017 abs/1701.00383 CoRR http://arxiv.org/abs/1701.00383 db/journals/corr/corr1701.html#AshrafP17

Adnan Ashraf Benjamin Byholm Ivan Porres Prediction-based VM provisioning and admission control for multi-tier web applications. 15 2016 5 J. Cloud Comput. https://doi.org/10.1186/s13677-016-0065-9 https://www.wikidata.org/entity/Q59460290 db/journals/jcloudc/jcloudc5.html#AshrafBP16

Marta Olszewska Jeanette Heidenberg Max Weijola Kirsi Mikkonen Ivan Porres Quantitatively measuring a large-scale agile transformation. 258-273 2016 117 J. Syst. Softw. https://doi.org/10.1016/j.jss.2016.03.029 https://www.wikidata.org/entity/Q110569717 db/journals/jss/jss117.html#OlszewskaHWMP16

Masoumeh Parsa Adnan Ashraf Dragos Truscan Ivan Porres On Optimization of Test Parallelization with Constraints. 164-171 2016 Software Engineering (Workshops) https://ceur-ws.org/Vol-1559/paper21.pdf conf/se/2016w db/conf/se/se2016w.html#ParsaATP16 Irum Rauf Pekka Perala Jouni Huotari Ivan Porres Perceived obstacles by novice developers adopting user interface APIs and tools. 223-227 2016 VL/HCC https://doi.org/10.1109/VLHCC.2016.7739689 https://doi.ieeecomputersociety.org/10.1109/VLHCC.2016.7739689 conf/vl/2016 db/conf/vl/vlhcc2016.html#RaufPHP16 Kristian Nybom Jens Smeds Ivan Porres On the Impact of Mixing Responsibilities Between Devs and Ops. 131-143 2016 XP https://doi.org/10.1007/978-3-319-33515-5_11 conf/xpu/2016 db/conf/xpu/xp2016.html#NybomSP16

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. 187-198 2015 8 IEEE Trans. Serv. Comput. 2 https://doi.org/10.1109/TSC.2014.2382555 http://doi.ieeecomputersociety.org/10.1109/TSC.2014.2382555 db/journals/tsc/tsc8.html#FarahnakianAPLP15

Ali Hanzala Khan Ivan Porres Consistency of UML class, object and statechart diagrams using ontology reasoners. 42-65 2015 26 J. Vis. Lang. Comput. https://doi.org/10.1016/j.jvlc.2014.11.006 db/journals/vlc/vlc26.html#KhanP15

Benjamin Byholm Fareed Jokhio Adnan Ashraf Sébastien Lafond Johan Lilius Ivan Porres Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud. 505-513 2015 PDP https://doi.org/10.1109/PDP.2015.49 https://doi.ieeecomputersociety.org/10.1109/PDP.2015.49 https://www.wikidata.org/entity/Q126962789 conf/pdp/2015 db/conf/pdp/pdp2015.html#ByholmJALLP15 Adnan Ashraf Benjamin Byholm Ivan Porres A Multi-objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud. 341-347 2015 UCC https://doi.ieeecomputersociety.org/10.1109/UCC.2015.54 conf/ucc/2015 db/conf/ucc/ucc2015.html#AshrafBP15 Jens Smeds Kristian Nybom Ivan Porres DevOps: A Definition and Perceived Adoption Impediments. 166-177 2015 XP https://doi.org/10.1007/978-3-319-18612-2_14 conf/xpu/2015 db/conf/xpu/xp2015.html#SmedsNP15 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 Smart Dosing: A mobile application for tracking the medication tray-filling and dispensation processes in hospital wards. 134-144 2015 Recent Advances in Ambient Assisted Living https://doi.org/10.3233/978-1-61499-597-5-134 series/aise/20 db/series/aise/aise20.html#KhanRDPKSMBRSTPL15 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. 104-111 2014 IEEE CLOUD https://doi.org/10.1109/CLOUD.2014.24 https://doi.ieeecomputersociety.org/10.1109/CLOUD.2014.24 conf/IEEEcloud/2014 db/conf/IEEEcloud/IEEEcloud2014.html#FarahnakianALPPPT14 Benjamin Byholm Ivan Porres Cost-Efficient, Reliable, Utility-Based Session Management in the Cloud. 102-111 2014 CCGRID https://doi.org/10.1109/CCGrid.2014.22 https://doi.ieeecomputersociety.org/10.1109/CCGrid.2014.22 conf/ccgrid/2014 db/conf/ccgrid/ccgrid2014.html#ByholmP14 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. 103-119 2014 IFM https://doi.org/10.1007/978-3-319-10181-1_7 conf/ifm/2014 db/conf/ifm/ifm2014.html#LaibinisBPTTP14 Adnan Ashraf Ivan Porres Using Ant Colony System to Consolidate Multiple Web Applications in a Cloud Environment. 482-489 2014 PDP https://doi.org/10.1109/PDP.2014.101 https://doi.ieeecomputersociety.org/10.1109/PDP.2014.101 conf/pdp/2014 db/conf/pdp/pdp2014.html#AshrafP14 Irum Rauf Faezeh Siavashi Dragos Truscan Ivan Porres An Integrated Approach for Designing and Validating REST Web Service Compositions. 104-115 2014 WEBIST (1) https://doi.org/10.5220/0004949601040115 conf/webist/2014-1 db/conf/webist/webist2014-1.html#RaufSTP14 Irum Rauf Faezeh Siavashi Dragos Truscan Ivan Porres Scenario-Based Design and Validation of REST Web Service Compositions. 145-160 2014 WEBIST (Revised Selected Papers) https://doi.org/10.1007/978-3-319-27030-2_10 conf/webist/2014sp db/conf/webist/webist2014sp.html#RaufSTP14a 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. 482-489 2013 CCGRID https://doi.org/10.1109/CCGrid.2013.21 https://doi.ieeecomputersociety.org/10.1109/CCGrid.2013.21 https://www.wikidata.org/entity/Q126962815 conf/ccgrid/2013 db/conf/ccgrid/ccgrid2013.html#AshrafJDLPL13 Ivan Porres Union and Difference of Models, 10 years later. 1-5 2013 MoDELS (Demos/Posters/StudentResearch) https://ceur-ws.org/Vol-1115/talk1.pdf conf/models/2013jp db/conf/models/jp2013.html#Porres13 Ali Hanzala Khan Irum Rauf Ivan Porres Consistency of UML Class and Statechart Diagrams with State Invariants. 14-24 2013 MODELSWARD https://doi.org/10.5220/0004320100140024 conf/modelsward/2013 db/conf/modelsward/modelsward2013.html#KhanRP13 Fareed Jokhio Adnan Ashraf Sébastien Lafond Ivan Porres Johan Lilius Prediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing. 254-261 2013 PDP https://doi.org/10.1109/PDP.2013.44 https://doi.ieeecomputersociety.org/10.1109/PDP.2013.44 https://www.wikidata.org/entity/Q126962810 conf/pdp/2013 db/conf/pdp/pdp2013.html#JokhioALPL13 Ivan Porres Jeanette Heidenberg Max Weijola Kristian Nordman Dragos Truscan Authoring IEC 61508 Based Software Development Process Models. 268-282 2013 PROFES https://doi.org/10.1007/978-3-642-39259-7_22 conf/profes/2013 db/conf/profes/profes2013.html#PorresHWNT13 Fredrik Abbors Tanwir Ahmad Dragos Truscan Ivan Porres Model-based Performance Testing of Web Services using Probabilistic Timed Automata. 99-104 2013 WEBIST conf/webist/2013 db/conf/webist/webist2013.html#AbborsATP13 Fredrik Abbors Tanwir Ahmad Dragos Truscan Ivan Porres Model-based performance testing in the cloud using the mbpet tool. 423-424 2013 ICPE https://doi.org/10.1145/2479871.2479937 conf/wosp/2013 db/conf/wosp/icpe2013.html#AbborsATP13 Jeanette Heidenberg Max Weijola Kirsi Mikkonen Ivan Porres A Metrics Model to Measure the Impact of an Agile Transformation in Large Software Development Organizations. 165-179 2013 XP https://doi.org/10.1007/978-3-642-38314-4_12 conf/xpu/2013 db/conf/xpu/xp2013.html#HeidenbergWMP13 Adnan Ashraf Benjamin Byholm Ivan Porres CRAMP: Cost-efficient Resource Allocation for Multiple web applications with Proactive scaling. 581-586 2012 CloudCom https://doi.org/10.1109/CloudCom.2012.6427605 https://doi.ieeecomputersociety.org/10.1109/CloudCom.2012.6427605 conf/cloudcom/2012 db/conf/cloudcom/cloudcom2012.html#AshrafBP12 Adnan Ashraf Benjamin Byholm Joonas Lehtinen Ivan Porres Feedback Control Algorithms to Deploy and Scale Multiple Web Applications per Virtual Machine. 431-438 2012 EUROMICRO-SEAA https://doi.org/10.1109/SEAA.2012.13 https://doi.ieeecomputersociety.org/10.1109/SEAA.2012.13 conf/euromicro/2012 db/conf/euromicro/euromicro2012.html#AshrafBLP12 Jeanette Heidenberg Max Weijola Kirsi Mikkonen Ivan Porres A Model for Business Value in Large-Scale Agile and Lean Software Development. 49-60 2012 EuroSPI https://doi.org/10.1007/978-3-642-31199-4_5 conf/eurospi/2012 db/conf/eurospi/eurospi2012.html#HeidenbergWMP12 Adnan Ashraf Benjamin Byholm Ivan Porres A Session-Based Adaptive Admission Control Approach for Virtualized Application Servers. 65-72 2012 UCC https://doi.org/10.1109/UCC.2012.22 https://doi.ieeecomputersociety.org/10.1109/UCC.2012.22 conf/ucc/2012 db/conf/ucc/ucc2012.html#AshrafBP12 Irum Rauf Ali Hanzala Khan Ivan Porres Analyzing Consistency of Behavioral REST Web Service Interfaces WWV 2012 77-92 https://doi.org/10.4204/EPTCS.98.8 http://arxiv.org/abs/1210.6115 journals/corr/abs-1210-5783 db/series/eptcs/eptcs98.html#abs-1210-6115 Johan Selänniemi Ivan Porres An Efficient Google Datastore Adapter for Rich Internet Applications. 410-417 2011 CLOSER conf/closer/2011 db/conf/closer/closer2011.html#SelanniemiP11 Niclas Snellman Adnan Ashraf Ivan Porres Towards Automatic Performance and Scalability Testing of Rich Internet Applications in the Cloud. 161-169 2011 EUROMICRO-SEAA https://doi.org/10.1109/SEAA.2011.33 https://doi.ieeecomputersociety.org/10.1109/SEAA.2011.33 conf/euromicro/2011 db/conf/euromicro/euromicro2011.html#SnellmanAP11 Irum Rauf Ivan Porres Towards Behaviorally Enriched Semantic RESTful Interfaces Using OWL2. 407-410 2011 ICWE https://doi.org/10.1007/978-3-642-22233-7_37 conf/icwe/2011 db/conf/icwe/icwe2011.html#RaufP11 Joerg Evermann Ivan Porres Doctoral Symposium at MoDELS 2011. 1-3 2011 MoDELS (Workshops) https://doi.org/10.1007/978-3-642-29645-1_1 conf/models/2011w db/conf/models/models2011w.html#EvermannP11 M. Mohsin Saleemi Natalia Díaz Rodríguez Johan Lilius Ivan Porres A Framework for Context-Aware Applications for Smart Spaces. 14-25 2011 NEW2AN https://doi.org/10.1007/978-3-642-22875-9_2 https://www.wikidata.org/entity/Q126962825 conf/new2an/2011 db/conf/new2an/new2an2011.html#SaleemiRLP11 Espen Suenson Johan Lilius Ivan Porres OWL Web Ontology Language as a Scripting Language for Smart Space Applications. 368-375 2011 RuleML Europe https://doi.org/10.1007/978-3-642-22546-8_30 https://www.wikidata.org/entity/Q126962830 conf/ruleml/2011e db/conf/ruleml/ruleml2011e.html#SuensonLP11 Ivan Porres Irum Rauf Modeling behavioral RESTful web service interfaces in UML. 1598-1605 2011 SAC https://doi.org/10.1145/1982185.1982521 conf/sac/2011 db/conf/sac/sac2011.html#PorresR11 Natalia Díaz Rodríguez Pasi Kankaanpää M. Mohsin Saleemi Johan Lilius Ivan Porres Programming biomedical smart space applications with BioImageXD and PythonRules. 10-11 2011 SWAT4LS https://doi.org/10.1145/2166896.2166902 https://www.wikidata.org/entity/Q126962821 conf/swat4ls/2011 db/conf/swat4ls/swat4ls2011.html#RodriguezKSLP11 Irum Rauf Ivan Porres Beyond CRUD. 117-135 2011 REST: From Research to Practice https://doi.org/10.1007/978-1-4419-8303-9_5 books/sp/Wilde11 db/books/collections/Wilde2011.html#RaufP11

Beatriz Pérez 0001 Ivan Porres Authoring and verification of clinical guidelines: A model driven approach. 520-536 2010 43 J. Biomed. Informatics 4 https://doi.org/10.1016/j.jbi.2010.02.009 https://www.wikidata.org/entity/Q38375285 db/journals/jbi/jbi43.html#PerezP10

Jeanette Heidenberg Ivan Porres Metrics Functions for Kanban Guards. 306-310 2010 ECBS https://doi.org/10.1109/ECBS.2010.43 https://doi.ieeecomputersociety.org/10.1109/ECBS.2010.43 conf/ecbs/2010 db/conf/ecbs/ecbs2010.html#HeidenbergP10 Irum Rauf Anna Ruokonen Tarja Systä Ivan Porres Modeling a composite RESTful web service with UML. 253-260 2010 ECSA Companion Volume https://doi.org/10.1145/1842752.1842801 conf/ecsa/2010c db/conf/ecsa/ecsa2010c.html#RaufRSP10 Ivan Porres Irum Rauf From Nondeterministic UML Protocol Statemachines to Class Contracts. 107-116 2010 ICST https://doi.org/10.1109/ICST.2010.62 https://doi.ieeecomputersociety.org/10.1109/ICST.2010.62 conf/icst/2010 db/conf/icst/icst2010.html#PorresR10 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. 2010 TWOMDE@TOOLS https://ceur-ws.org/Vol-604/paper4.pdf conf/tools/2010twomde db/conf/tools/twomde2010.html#LiuHKP10

Dragos Truscan Torbjörn Lundkvist Marcus Alanen Kim Sandström Ivan Porres Johan Lilius MDE for SoC design. 49-64 2009 5 Innov. Syst. Softw. Eng. 1 https://doi.org/10.1007/s11334-009-0077-4 https://www.wikidata.org/entity/Q126962841 db/journals/isse/isse5.html#TruscanLASPL09

Ivan Porres Irum Rauf Generating class contracts from UML protocol statemachines. 8:1-8:10 2009 MoDeVVa@MoDELS https://doi.org/10.1145/1656485.1656493 https://www.wikidata.org/entity/Q130993542 conf/models/2009modevva db/conf/models/modevva2009.html#PorresR09a Ivan Porres Irum Rauf Generating Class Contracts from Deterministic UML Protocol Statemachines. 172-185 2009 MoDELS (Workshops) https://doi.org/10.1007/978-3-642-12261-3_17 https://www.wikidata.org/entity/Q130991816 conf/models/2009w db/conf/models/models2009w.html#PorresR09

Marcus Alanen Ivan Porres A metamodeling language supporting subset and union properties. 103-124 2008 7 Softw. Syst. Model. 1 https://doi.org/10.1007/s10270-007-0049-9 https://www.wikidata.org/entity/Q126099458 db/journals/sosym/sosym7.html#AlanenP08

Jeanette Heidenberg Andreas Nåls Ivan Porres Statechart features and pre-release maintenance defects. 456-467 2008 19 J. Vis. Lang. Comput. 4 https://doi.org/10.1016/j.jvlc.2008.05.002 db/journals/vlc/vlc19.html#HeidenbergNP08

Beatriz Pérez 0001 Ivan Porres Verification of Clinical Guidelines by Model Checking. 114-119 2008 CBMS https://doi.org/10.1109/CBMS.2008.86 https://doi.ieeecomputersociety.org/10.1109/CBMS.2008.86 conf/cbms/2008 db/conf/cbms/cbms2008.html#PerezP08 Ivan Porres Eladio Domínguez Beatriz Pérez 0001 Áurea Rodríguez María Antonia Zapata A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems. 210-218 2008 ECBS https://doi.org/10.1109/ECBS.2008.35 https://doi.ieeecomputersociety.org/10.1109/ECBS.2008.35 conf/ecbs/2008 db/conf/ecbs/ecbs2008.html#PorresDPRZ08 Dragos Truscan Johan Lindqvist Johan Lilius Ivan Porres Timo Eriksson Juha Rakkola Antti Latva-Aho Testable Specifications of NoTA-based Modular Embedded Systems. 375-383 2008 ECBS https://doi.org/10.1109/ECBS.2008.38 https://doi.ieeecomputersociety.org/10.1109/ECBS.2008.38 https://www.wikidata.org/entity/Q126962864 conf/ecbs/2008 db/conf/ecbs/ecbs2008.html#TruscanLLPERL08

Johan Lindqvist Torbjörn Lundkvist Ivan Porres A Query Language With the Star Operator. 2007 6 Electron. Commun. Eur. Assoc. Softw. Sci. Technol. https://doi.org/10.14279/tuj.eceasst.6.55 db/journals/eceasst/eceasst6.html#LindqvistLP07

Marcus Alanen Torbjörn Lundkvist Ivan Porres Creating and reconciling diagrams after executing model transformations. 155-178 2007 68 Sci. Comput. Program. 3 https://doi.org/10.1016/j.scico.2007.05.002 db/journals/scp/scp68.html#AlanenLP07

Ivan Porres Eladio Domínguez Beatriz Pérez 0001 Áurea Rodríguez María Antonia Zapata Development of an Ubiquitous Decision Support System for Clinical Guidelines using MDA. 2007 conf/caise/2007fo CAiSE Forum https://ceur-ws.org/Vol-247/FORUM_03.pdf db/conf/caise/caisefo2007.html#PorresDPRZ07 Johan Lilius Ivan Porres Kim Sandström Dragos Truscan SystemC-based Simulation of the MICAS Architecture. 122-127 2007 FDL http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=245 conf/fdl/2007 db/conf/fdl/fdl2007.html#LiliusPST07 Jeanette Heidenberg Andreas Nåls Ivan Porres Statechart Features and Pre-Release Defects in Software Maintenance. 223-230 2007 conf/vl/2007 VL/HCC db/conf/vl/vlhcc2007.html#HeidenbergNP07 https://doi.org/10.1109/VLHCC.2007.20 https://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.20 Marcus Alanen Torbjörn Lundkvist Ivan Porres A Mapping Language from Models to DI Diagrams. 454-468 2006 conf/models/2006 MoDELS https://doi.org/10.1007/11880240_32 db/conf/models/models2006.html#AlanenLP06 Marcus Alanen Ivan Porres Basic Operations over Models Containing Subset and Union Properties. 469-483 2006 conf/models/2006 MoDELS https://doi.org/10.1007/11880240_33 db/conf/models/models2006.html#AlanenP06 Marcus Alanen Johan Lilius Ivan Porres Dragos Truscan Ian Oliver Kim Sandström Design Method Support for Domain Specific SoC design. 25-32 2006 MDB/MOMPES https://doi.org/10.1109/MBD-MOMPES.2006.8 https://doi.ieeecomputersociety.org/10.1109/MBD-MOMPES.2006.8 https://www.wikidata.org/entity/Q126962872 conf/mompes/2006 db/conf/mompes/mompes2006.html#AlanenLPTOS06 Ivan Porres María C. Valiente Process Definition and Project Tracking in Model Driven Engineering. 127-141 2006 conf/profes/2006 PROFES https://doi.org/10.1007/11767718_13 db/conf/profes/profes2006.html#PorresV06 Marcus Alanen Torbjörn Lundkvist Ivan Porres Reconciling diagrams after executing model transformations. 1267-1272 2006 conf/sac/2006 SAC https://doi.org/10.1145/1141277.1141573 db/conf/sac/sac2006.html#AlanenLP06

Johan Lilius Ricardo Jorge Machado 0001 Dragos Truscan João M. Fernandes 0001 Ivan Porres Guest Editors' Foreword. 198-199 2005 12 Nord. J. Comput. 3 db/journals/njc/njc12.html#LiliusMTFP05

Marcus Alanen Torbjörn Lundkvist Ivan Porres Comparison of Modeling Frameworks for Software Engineering. 321-342 2005 12 Nord. J. Comput. 4 db/journals/njc/njc12.html#AlanenLP05

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. 361-378 2005 12 Nord. J. Comput. 4 db/journals/njc/njc12.html#LiliusLLOPSSZ05

Ivan Porres Rule-based update transformations and their application to model refactorings. 368-385 2005 4 Softw. Syst. Model. 4 https://doi.org/10.1007/s10270-005-0088-z db/journals/sosym/sosym4.html#Porres05

Marcus Alanen Ivan Porres Model Interchange Using OMG Standards. 450-459 2005 conf/euromicro/2005 EUROMICRO-SEAA https://doi.ieeecomputersociety.org/10.1109/EURMIC.2005.40 db/conf/euromicro/euromicro2005.html#AlanenP05 Ralph-Johan Back Luka Milovanov Ivan Porres Software Development and Experimentation in an Academic Environment: The Gaudi Experience. 414-428 2005 conf/profes/2005 PROFES https://doi.org/10.1007/11497455_33 db/conf/profes/profes2005.html#BackMP05 Marcus Alanen Johan Lilius Ivan Porres Dragos Truscan On Modeling Techniques for Supporting Model-Driven Development of Protocol Processing Applications. 305-328 2005 Model-Driven Software Development https://doi.org/10.1007/3-540-28554-7_14 https://www.wikidata.org/entity/Q126962879 books/sp/05/BBG2005 db/books/collections/BBG2005.html#AlanenLPT05

Ivan Porres A toolkit for model manipulation. 262-277 2003 2 Softw. Syst. Model. 4 https://doi.org/10.1007/s10270-003-0034-x db/journals/sosym/sosym2.html#Porres03

Dag Björklund Johan Lilius Ivan Porres Rialto Profile in the SMW Toolkit. 233-234 2003 conf/acsd/2003 ACSD https://doi.org/10.1109/CSD.2003.1207719 https://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207719 https://www.wikidata.org/entity/Q126962884 db/conf/acsd/acsd2003.html#BjorklundLP03 Dag Björklund Johan Lilius Ivan Porres A Unified Approach to Code Generation from Behavioral Diagrams. 251-263 2003 FDL http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=736 https://doi.org/10.1007/1-4020-7991-5_2 conf/fdl/2003 db/conf/fdl/fdl2003.html#BjorklundLP03 Marcus Alanen Ivan Porres Difference and Union of Models. 2-17 https://doi.org/10.1007/978-3-540-45221-8_2 2003 conf/uml/2003 UML db/conf/uml/uml2003.html#AlanenP03 Ralph-Johan Back Dag Björklund Johan Lilius Luka Milovanov Ivan Porres A Workbench to Experiment on New Model Engineering Applications. 96-100 https://doi.org/10.1007/978-3-540-45221-8_9 2003 conf/uml/2003 UML db/conf/uml/uml2003.html#BackBLMP03 Ivan Porres Model Refactorings as Rule-Based Update Transformations. 159-174 https://doi.org/10.1007/978-3-540-45221-8_16 2003 conf/uml/2003 UML db/conf/uml/uml2003.html#Porres03

Ralph-Johan Back Luigia Petre Ivan Porres Continuous Action Systems as a Model for Hybrid Systems. 2-21 2001 8 Nord. J. Comput. 1 db/journals/njc/njc8.html#BackPP01

Dag Björklund Johan Lilius Ivan Porres Towards Efficient Code Synthesis from Statecharts. 29-41 2001 conf/uml/2001p pUML db/conf/uml/puml2001.html#BjorklundLP01 https://dl.gi.de/handle/20.500.12116/30864 http://subs.emis.de/LNI/Proceedings/Proceedings07/article131.html Ralph-Johan Back Luigia Petre Ivan Porres Generalizing Action Systems to Hybrid Systems. 202-213 https://doi.org/10.1007/3-540-45352-0_17 2000 conf/ftrtft/2000 FTRTFT db/conf/ftrtft/ftrtft2000.html#BackPP00 Fredrik Abbors Tanwir Ahmad Marcus Alanen Paolo Arcaini Adnan Ashraf Sepinoud Azimi Ralph-Johan Back Walstan Baptista Dag Björklund Sebu Björklund Benjamin Byholm Riitta Danielsson-Ojala Tewodros Deneke Andi Domi Eladio Domínguez Timo Eriksson Gidon Ernst Joerg Evermann Georgios Fainekos Fahimeh Farahnakian João M. Fernandes 0001 Federico Formica Sauvik Gon Jeanette Heidenberg Sören Höglund Jouni Huotari Sami Hyrynsalmi Junaid Iqbal Fareed Jokhio Pasi Kankaanpää Lotta Kauhanen Ali Kaya Ali H. Khan Ali Hanzala Khan N. A. Khan Tanmay Khandait Atanu Kundu 0002 Sébastien Lafond Linas Laibinis Antti Latva-Aho Joonas Lehtinen Ville Leppänen Johan Lilius Pasi Liljeberg Tomas Lillqvist Johan Lindqvist Ye Liu Torbjörn Lundkvist Ricardo J. Machado 0001Ricardo Jorge Machado 0001 Joachim Majors Claudio Menghi Maxime Methais Kirsi Mikkonen Luka Milovanov Andreas Nåls Kristian Nordman Kristian Nybom Ian Oliver Marta Olszewska Tapio Pahikkala Masoumeh Parsa Giulia Pedrielli Jarkko Peltomäki Pekka Perala Beatriz Pérez 0001 Luigia Petre Hanna Pirinen Juha Plosila Jurka Rahikkala Juha Rakkola Irum Rauf Kimmo Rautanen Rajarshi Ray 0001 Hergys Rexha Áurea Rodríguez Natalia Díaz Rodríguez Anna Ruokonen Tapio Salakoski Sanna Salanterä M. Mohsin Saleemi Johanna Salokannel Mirva Salokorpi Kim Sandström Filip Sebek Johan Selänniemi Faezeh Siavashi Jens Smeds Niclas Snellman Valentin Soloviev Frankie Spencer Per Erik Strandberg Gaadha Sudheerbabu Espen Suenson Glen Sveholm Tarja Systä Kuan Eeik Tan Hannu Tenhunen Alina Torbunova Elena Troubitsyna Dragos Truscan Ilona Tuominen Jüri VainJuri Vain María C. Valiente Inna VistbakkaInna Pereverzeva Masaki Waga Max Weijola Jesper Winsten Asim Pervez Zaka María Antonia Zapata Zhenya Zhang 0001