Follow
Ivan Porres
Title
Cited by
Cited by
Year
Difference and union of models
M Alanen, I Porres
«UML» 2003-The Unified Modeling Language. Modeling Languages and …, 2003
4352003
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
4102014
vUML: A tool for verifying UML models
J Lilius, I Porres Paltor
Automated Software Engineering, 1999. 14th IEEE International Conference on …, 1999
4081999
Formalising UML state machines for model checking
J Lilius, I Porres Paltor
«UML»’99—The Unified Modeling Language, 756-756, 1999
3221999
DevOps: a definition and perceived adoption impediments
J Smeds, K Nybom, I Porres
Agile Processes in Software Engineering and Extreme Programming: 16th …, 2015
2482015
A relation between context-free grammars and meta object facility metamodels
M Alanen, I Porres
Turku Centre for Computer Science, 2004
1332004
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
1242019
The semantics of UML state machines
J Lilius, I Porres Paltor
1221999
Model refactorings as rule-based update transformations
I Porres
International Conference on the Unified Modeling Language, 159-174, 2003
1182003
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
1172013
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
1022016
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
912006
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
802018
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
752016
Consistency of UML class, object and statechart diagrams using ontology reasoners
AH Khan, I Porres
Journal of Visual Languages & Computing 26, 42-65, 2015
622015
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
622013
A toolkit for model manipulation
I Porres
Software and Systems Modeling 2 (4), 262-277, 2003
62*2003
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
602014
Authoring and verification of clinical guidelines: A model driven approach
B Pérez, I Porres
Journal of biomedical informatics 43 (4), 520-536, 2010
562010
Analysing UML use cases as contracts
RJ Back, L Petre, I Porres Paltor
Proceedings of the 2nd international conference on The unified modeling …, 1999
531999
The system can't perform the operation now. Try again later.
Articles 1–20