• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Edited special issues of journals (1):

• Johan Lilius, Richardo J. Machado, Dragos Truscan, Joao M. Fernandes, Ivan (guest editors) Porres (Eds.), Selected Papers of the 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2005). Nordic Journal of Computing 12(3), 2005.

Articles in journals (25):

• Tanwir Ahmad, Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres, Model-based testing using UML activity diagrams: A systematic mapping study. Computer Science Review 33, 98–112, 2019.
• Tanwir Ahmad, Dragos Truscan, Ivan Porres, Identifying Worst-Case User Scenarios for Performance Testing of Web Applications Using Markov-Chain Workload Models. Future Generation Computer Systems: The International Journal of Grid Computing: Theory Methods and Applications , 11, 2018.
• Adnan Ashraf, Benjamin Byholm, Ivan Porres, Distributed virtual machine consolidation: A systematic mapping study. Computer Science Review 28, 118–130, 2018.
• Adnan Ashraf, Ivan Porres, Multi-Objective Dynamic Virtual Machine Consolidation in the Cloud Using Ant Colony System. International Journal of Parallel, Emergent and Distributed Systems 33(1), 103–120, 2018.
• Benjamin Byholm, Ivan Porres, Fast algorithms for fragmentable items bin packing. Journal of Heuristics , 1–27, 2018.
• Arata Oda, Vilhelmiina Parikka, Liisa Lehtonen, Ivan Porres, Hanna Soukka, Nasal High‐Flow Therapy Decreased Electrical Activity of the Diaphragm in Preterm Infants During the Weaning Phase. Acta Paediatrica , 1–5, 2018.
• Beatriz Perez, Ivan Porres, Reasoning about UML/OCL class diagrams using constraint logic programming and formula. Information Systems , 1–26, 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 Software Engineering Journal 12(1), 168–198, 2018.
• Adnan Ashraf, Benjamin Byholm, Ivan Porres, Prediction-Based VM Provisioning and Admission Control for Multi-Tier Web Applications. Journal of Cloud Computing 5(1), 1–21, 2016.
• Marta Olszewska, Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres, Quantitatively Measuring a Large-Scale Agile Transformation. Journal of Systems and Software 117, 258–273, 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 Transactions on Services Computing PP(99), 13, 2015.
• Ali Hanzala Khan, Ivan Porres, Consistency of UML Class, Object and Statechart Diagrams Using Ontology Reasoners. Journal of Visual Languages and Computing , 0, 2014.
• Timo Aho, Adnan Ashraf, Marc Englund, Joni Katajamäki, Johannes Koskinen, Janne Lautamäki, Antti Nieminen, Ivan Porres, Ilkka Turunen, Designing IDE as a Service . Communications of Cloud Software 1, 1–10, 2011.
• Irum Rauf, Ivan Porres, Designing Level 3 Behavioral RESTful Web Service Interfaces. Applied Computing Review 11 , 19–31, 2011.
• Beatriz Perez, Ivan Porres, Authoring and verification of clinical guidelines: A model driven approach. Journal of Biomedical Informatics 43(4), 520–536, 2010.
• Dragoş Truşcan, Torbjörn Lundkvist, Marcus Alanen, Kim Sandström, Ivan Porres, Ivan Lilius, MDE for Soc Design. Innovations in Systems and Software Engineering 5(1), 49–64, 2009.
• Marcus Alanen, Ivan Porres, A Metamodeling Language Supporting Subset and Union Properties. Software and Systems Modeling 7(1), 103–124, 2008.
• Jeanette Heidenberg, Andreas Nåls, Ivan Porres, Statechart Features and Pre-Release Maintenance Defects. Journal of Visual Languages and Computing 19(4), 456–467 , 2008.
• Marcus Alanen, Torbjörn Lundkvist, Ivan Porres, Creating and Reconciling Diagrams After Executing Model Transformations. Science of Computer Programming 68(3), 128–151, 2007.
• Ralph-Johan Back, Luka Milovanov, Ivan Porres, Development andExperimentation in an Academic Environment: The Gaudí Factory. Systems and Software. Elsevier. , 2007.
• Marcus Alanen, Torbjörn Lundkvist, Ivan Porres, Comparison of Modeling Frameworks for Software Engineering. Nordic Journal of Computing 12(4), 321–342, 2005.
• Johan Lilius, Tomas Lillqvist, Torbjörn Lundkvist, Ian Oliver, Ivan Porres, Kim Sandström, Glenn Sveholm, Asim Pervez Zaka, An Architecture Exploration Environment for System on Chip Design. Nordic Journal of Computing 12(4), 361–378, 2005.
• Ivan Porres, Rule-Based Update Transformations and Their Application to Model Refactorings. Software and Systems Modeling 4(4), 368–385, 2005.
• Ivan Porres, A Toolkit for Model Manipulation . Software and Systems Modeling 2(4), 262–277, 2003.
• Ralph-Johan Back, Luigia Petre, Ivan Porres, Continuous Action Systems as a Model for Hybrid Systems. Nordic Journal of Computing 8(1), 2–21, 2001.

Articles in proceedings (85):

• Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres, Exhaustive Simulation and Test Generation Using fUML Activity Diagrams. In: P. Giorgini, B. Weber (Eds.), Advanced Information Systems Engineering, Lecture Notes in Computer Science 11483, 96–110, Springer, Cham, 2019.
• Kristian Nybom, Adnan Ashraf, Ivan Porres, A Systematic Mapping Study on API Documentation Generation Approaches. In: Tomas Bures, Lefteris Angelis (Eds.), 44th Euromicro Conference on Software Engineering and Advanced Applications, 462–469, IEEE Computer Society, 2018.
• Benjamin Byholm, Ivan Porres, Optimized Deployment Plans for Platform As a Service Clouds. In: Geoffrey Fox, Yong Chen (Eds.), Companion Proceedings of the 10th International Conference on Utility and Cloud Computing, UCC '17 Companion, 41–46, ACM, 2017.
• Junaid Iqbal, Dragos Truscan, Juri Vain, Ivan Porres, Reconstructing Timed Symbolic Traces from Rtioco-Based Timed Test Sequences Using Backward-Induction. In: George Angelos Papadopoulos, Ondrej Rysavy, Valentino Vranić (Eds.), Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 6:1–6:10, ACM, 2017.
• Kristian Nybom, Jens Smeds, Ivan Porres, On the Impact of Mixing Responsibilities Between Devs and Ops. In: Helen Sharp, Tracy Hall (Eds.), Agile Processes, in Software Engineering, and Extreme Programming: 17th International Conference, XP 2016, 131–143, Springer International Publishing, 2016.
• Masoumeh Parsa, Adnan Ashraf, Dragos Truscan, Ivan Porres, On Optimization of Test Parallelization with Constraints. In: Lukas Alperowitz, Andreas Steffens (Eds.), 1st Workshop on Continuous Software Engineering co-located with Software Engineering, 164–171, CEUR-WS.org, 2016.
• Irum Rauf, Pekka Perälä, Jouni Huotari, Ivan Porres, Perceived Obstacles by Novice Developers Adopting User Interface APIs and Tools. In: Alan Blackwell, Beryl Plimmer, Gem Stapleton (Eds.), 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2016, 223–227, IEEE, 2016.
• Adnan Ashraf, Benjamin Byholm, Ivan Porres, A Multi-Objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud. In: Omer Rana, Manish Parashar (Eds.), 8th IEEE/ACM International Conference on Utility and Cloud Computing, 341–347, IEEE, 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. In: Masoud Daneshtalab, Marco Aldinucci, Ville Leppänen, Johan Lilius, Mats Brorsson (Eds.), 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, Euromicro International Conference on Parallel, Distributed and Network-Based Computing, 505–513, IEEE Computer Society Conference Publishing Services, 2015.
• Jens Smeds, Kristian Nybom, Ivan Porres, DevOps: A Definition and Perceived Adoption Impediments. In: Casper Lassenius, Torgeir Dingsøyr, Maria Paasivaara (Eds.), Agile Processes, in Software Engineering, and Extreme Programming: 16th International Conference, XP 2015, Lecture Notes in Business Information Processing 212, 166–177, Springer International Publishing, 2015.
• Adnan Ashraf, Ivan Porres, Using Ant Colony System to Consolidate Multiple Web Applications in a Cloud Environment. In: Marco Aldinucci, Daniele D’Agostino, Peter Kilpatrick (Eds.), 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 482–489, IEEE Computer Society, 2014.
• Benjamin Byholm, Iván Porres, Cost-Efficient, Reliable, Utility-Based Session Management in the Cloud. In: Pavan Balaji, Ian Foster, Xian-He Sun, Kirk W. Cameron, Dimitrios S. Nikolopoulos (Eds.), 14th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, 102–111, IEEE Computer Society, 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. In: Carl Kesselman (Ed.), 7th IEEE International Conference on Cloud Computing, 104–111, IEEE, 2014.
• Nauman 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. In: Juan Carlos Augusto, Klaus-Hendrick Wolf (Eds.), 6th International Workshop on Intelligent Environments Supporting Healthcare and Well-being (WISHWell'14), Lecture Notes in Computer Science, 1–10, Springer, 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. In: E. Albert, E. Sekerinski (Eds.), Integrated Formal Methods, 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, Lecture Notes in Computer Science 8739, 103–119, Springer, 2014.
• Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres, An Integrated Approach for Designing and Validating REST Web Service Compositions. In: Valerie Monfort, Karl-Heinz Krempels (Eds.), 10th International Conference on Web Information Systems and Technologies, 1, 104–115, SCITEPRESS Digital Library, 2014.
• Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres, Model-Based Performance Testing of Web Services Using Probabilistic Timed Automata. In: Karl-Heinz Krempels, Alexander Stocker (Eds.), Proceedings of the 9th International Conference on Web Information Systems and Technologies, 99–104, Webist, 2013.
• Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres, Model-Based Performance Testing in the Cloud Using the MBPeT Tool. In: Seelam Seetharami (Ed.), Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE '13), International Conference on Performance Engineering 1, 423–424, ACM, 2013.
• Adnan Ashraf, Fareed Jokhio, Tewodros Deneke, Sebastien Lafond, Ivan Porres, Johan Lilius, Stream-Based Admission Control and Scheduling for Video Transcoding in Cloud Computing. In: Pavan Balaji, Dick Epema, Thomas Fahringer (Eds.), 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), 482–489, IEEE Computer Society, 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. In: Hubert Baumeister, Barbara Weber (Eds.), Agile Processes in Software Engineering and Extreme Programming, Lecture Notes in Business Information Processing 149, 165–179, Springer Heidelberg, 2013.
• Fareed Ahmed Jokhio, Adnan Ashraf, Sébastien Lafond, Ivan Porres, Johan Lilius, Prediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing. In: Peter Kilpatrick, Peter Milligan, Rainer Stotzka (Eds.), Proceedings of the 21st International Euromicro Conference on Parallel, Distributed and Network-based Processing, Belfast, UK 27 February - 1 March 2013, 254–261, IEEE Computer society, 2013.
• Ali Hanzala Khan, Irum Rauf, Ivan Porres, Consistency of UML Class and Statechart Diagrams with State Invariants. In: Joaquim Filipe, Rui César das Neves (Eds.), First International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2013, 1, 1–11, SciTePress Digital Library, 2013.
• Ivan Porres, Union and Difference of Models, 10 Years Later. In: Manuel Wimmer (Ed.), Invited Talks, Demonstration Session, Poster Session, and ACM Student Research Competition @ MODELS'13, Ceur Workshop Proceedings 1115, 1–5, CEUR, 2013.
• Ivan Porres, Jeanette Heidenberg, Max Weijola, Kristian Nordman, Dragos Truscan, Authoring IEC 61508 Based Software Development Process Models. In: Jens Heidrich, Markku Oivo, Andreas Jedlitschka, Maria Teresa Baldassarre (Eds.), Product-Focused Software Process Improvement, LNCS 7983, 268–282, Springer Berlin Heidelberg, 2013.