Ivan Porres
Title
Cited by
Cited by
Year
Difference and union of models
M Alanen, I Porres
International Conference on the Unified Modeling Language, 2-17, 2003
3922003
vUML: A tool for verifying UML models
J Lilius, I Porres Paltor
Automated Software Engineering, 1999. 14th IEEE International Conference on …, 1999
3711999
Formalising UML state machines for model checking
J Lilius, I Porres Paltor
«UML»’99—The Unified Modeling Language, 756-756, 1999
3011999
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
2432014
A relation between context-free grammars and meta object facility metamodels
M Alanen, I Porres
Turku Centre for Computer Science, 2004
1292004
DevOps: a definition and perceived adoption impediments
J Smeds, K Nybom, I Porres
International Conference on Agile Software Development, 166-177, 2015
1182015
Model refactorings as rule-based update transformations
I Porres
International Conference on the Unified Modeling Language, 159-174, 2003
1102003
The semantics of UML state machines
J Lilius, I Porres Paltor
1081999
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
952013
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
792006
A toolkit for model manipulation
I Porres
Software and Systems Modeling 2 (4), 262-277, 2003
62*2003
Authoring and verification of clinical guidelines: A model driven approach
B Pérez, I Porres
Journal of biomedical informatics 43 (4), 520-536, 2010
482010
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
472013
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
462014
Rule-based update transformations and their application to model refactorings
I Porres
Software & Systems Modeling 4 (4), 368-385, 2005
452005
Analysing UML use cases as contracts
RJ Back, L Petre, I Porres Paltor
Proceedings of the 2nd international conference on The unified modeling …, 1999
451999
Formalising UML use cases in the refinement calculus
RJ Back, L Petre, I Porres Paltor
Turku Centre for Computer Science, 1999
441999
A metamodeling language supporting subset and union properties
M Alanen, I Porres
Software & Systems Modeling 7 (1), 103-124, 2008
412008
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
402018
Digital sound recorder: A case study on designing embedded systems using the UML notation
I Porres Paltor, J Lilius
Turku Centre for Computer Science, 1999
38*1999
The system can't perform the operation now. Try again later.
Articles 1–20