Difference and union of models M Alanen, I Porres «UML» 2003-The Unified Modeling Language. Modeling Languages and …, 2003 | 436 | 2003 |
Using ant colony system to consolidate VMs for green cloud computing F Farahnakian, A Ashraf, T Pahikkala, P Liljeberg, J Plosila, I Porres, ... IEEE transactions on services computing 8 (2), 187-198, 2014 | 417 | 2014 |
vUML: A tool for verifying UML models J Lilius, I Porres Paltor Automated Software Engineering, 1999. 14th IEEE International Conference on …, 1999 | 407 | 1999 |
Formalising UML state machines for model checking J Lilius, I Porres Paltor «UML»’99—The Unified Modeling Language, 756-756, 1999 | 326 | 1999 |
DevOps: a definition and perceived adoption impediments J Smeds, K Nybom, I Porres Agile Processes in Software Engineering and Extreme Programming: 16th …, 2015 | 250 | 2015 |
A relation between context-free grammars and meta object facility metamodels M Alanen, I Porres Turku Centre for Computer Science, 2004 | 133 | 2004 |
Model-based testing using UML activity diagrams: A systematic mapping study T Ahmad, J Iqbal, A Ashraf, D Truscan, I Porres Computer Science Review 33, 98-112, 2019 | 125 | 2019 |
The semantics of UML state machines J Lilius, I Porres Paltor | 121 | 1999 |
Model refactorings as rule-based update transformations I Porres International Conference on the Unified Modeling Language, 159-174, 2003 | 119 | 2003 |
Prediction-based dynamic resource allocation for video transcoding in cloud computing F Jokhio, A Ashraf, S Lafond, I Porres, J Lilius 2013 21st Euromicro International Conference on Parallel, Distributed, and …, 2013 | 118 | 2013 |
Quantitatively measuring a large-scale agile transformation M Olszewska, J Heidenberg, M Weijola, K Mikkonen, I Porres Journal of Systems and Software 117, 258-273, 2016 | 102 | 2016 |
Model checking dynamic and hierarchical UML state machines T Jussila, J Dubrovin, T Junttila, T Latvala, I Porres, JKU Linz Proc. MoDeV2a: Model Development, Validation and Verification, 94-110, 2006 | 91 | 2006 |
Multi-objective dynamic virtual machine consolidation in the cloud using ant colony system A Ashraf, I Porres International Journal of Parallel, Emergent and Distributed Systems 33 (1 …, 2018 | 77 | 2018 |
On the impact of mixing responsibilities between devs and ops K Nybom, J Smeds, I Porres Agile Processes, in Software Engineering, and Extreme Programming: 17th …, 2016 | 76 | 2016 |
A toolkit for model manipulation I Porres Software and Systems Modeling 2 (4), 262-277, 2003 | 63* | 2003 |
Consistency of UML class, object and statechart diagrams using ontology reasoners AH Khan, I Porres Journal of Visual Languages & Computing 26, 42-65, 2015 | 62 | 2015 |
Stream-based admission control and scheduling for video transcoding in cloud computing A Ashraf, F Jokhio, T Deneke, S Lafond, I Porres, J Lilius 2013 13th IEEE/ACM International Symposium on Cluster, Cloud, and Grid …, 2013 | 62 | 2013 |
Energy-aware dynamic VM consolidation in cloud data centers using ant colony system F Farahnakian, A Ashraf, P Liljeberg, T Pahikkala, J Plosila, I Porres, ... 2014 IEEE 7th International Conference on Cloud Computing, 104-111, 2014 | 60 | 2014 |
Authoring and verification of clinical guidelines: A model driven approach B Pérez, I Porres Journal of biomedical informatics 43 (4), 520-536, 2010 | 56 | 2010 |
Analysing UML use cases as contracts RJ Back, L Petre, I Porres Paltor Proceedings of the 2nd international conference on The unified modeling …, 1999 | 52 | 1999 |