Seguir
Ivan Porres
Título
Citado por
Citado por
Año
Difference and union of models
M Alanen, I Porres
«UML» 2003-The Unified Modeling Language. Modeling Languages and …, 2003
4342003
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
4082014
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
2422015
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
1222019
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
1162013
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
1012016
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
792018
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
742016
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
Consistency of UML class, object and statechart diagrams using ontology reasoners
AH Khan, I Porres
Journal of Visual Languages & Computing 26, 42-65, 2015
602015
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
592014
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20