Ivan Porres
Ivan Porres
Adresse e-mail validée de abo.fi
Titre
Citée par
Citée par
Année
Difference and union of models
M Alanen, I Porres
International Conference on the Unified Modeling Language, 2-17, 2003
3782003
vUML: A tool for verifying UML models
J Lilius, I Porres Paltor
Automated Software Engineering, 1999. 14th IEEE International Conference on …, 1999
3691999
Formalising UML state machines for model checking
J Lilius, I Porres Paltor
«UML»’99—The Unified Modeling Language, 756-756, 1999
2931999
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
2082014
A relation between context-free grammars and meta object facility metamodels
M Alanen, I Porres
Turku Centre for Computer Science, 2004
1232004
Model refactorings as rule-based update transformations
I Porres
International Conference on the Unified Modeling Language, 159-174, 2003
1082003
The semantics of UML state machines
J Lilius, I Porres Paltor
1061999
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
902013
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
752006
DevOps: a definition and perceived adoption impediments
J Smeds, K Nybom, I Porres
International Conference on Agile Software Development, 166-177, 2015
732015
A toolkit for model manipulation
I Porres
Software and Systems Modeling 2 (4), 262-277, 2003
59*2003
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
482013
Authoring and verification of clinical guidelines: A model driven approach
B Pérez, I Porres
Journal of biomedical informatics 43 (4), 520-536, 2010
462010
Analysing UML use cases as contracts
RJ Back, L Petre, I Porres Paltor
Proceedings of the 2nd international conference on The unified modeling …, 1999
461999
Rule-based update transformations and their application to model refactorings
I Porres
Software & Systems Modeling 4 (4), 368-385, 2005
452005
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
442014
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
422008
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
Modeling behavioral RESTful web service interfaces in UML
I Porres, I Rauf
Proceedings of the 2011 ACM Symposium on Applied Computing, 1598-1605, 2011
352011
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20