| Modeling behavioral RESTful web service interfaces in UML I Porres, I Rauf Proceedings of the 2011 ACM Symposium on Applied Computing, 1598-1605, 2011 | 36 | 2011 |
| Modeling a composite RESTful web service with UML I Rauf, A Ruokonen, T Systa, I Porres Proceedings of the Fourth European Conference on Software Architecture …, 2010 | 26 | 2010 |
| Designing level 3 behavioral RESTful web service interfaces I Rauf, I Porres ACM SIGAPP Applied Computing Review 11 (3), 19-31, 2011 | 17 | 2011 |
| Uml based modeling of web service composition-a survey I Rauf, MZZ Iqbal, ZI Malik 2008 Sixth International Conference on Software Engineering Research …, 2008 | 15 | 2008 |
| From nondeterministic UML protocol statemachines to class contracts I Porres, I Rauf 2010 Third International Conference on Software Testing, Verification and …, 2010 | 11 | 2010 |
| A systematic mapping study of API usability evaluation methods I Rauf, E Troubitsyna, I Porres Computer Science Review 33, 49-68, 2019 | 7 | 2019 |
| Beyond CRUD I Rauf, I Porres REST: FROM RESEARCH TO PRA, 118, 2011 | 6 | 2011 |
| Generating class contracts from UML protocol statemachines I Porres, I Rauf Proceedings of the 6th International Workshop on Model-Driven Engineering …, 2009 | 6 | 2009 |
| Analyzing consistency of behavioral rest web service interfaces I Rauf, AH Khan, I Porres arXiv preprint arXiv:1210.6115, 2012 | 5 | 2012 |
| Formal verification of stateful services with REST APIs using Event-B I Rauf, I Vistbakka, E Troubitsyna 2018 IEEE International Conference on Web Services (ICWS), 131-138, 2018 | 4 | 2018 |
| Generating cloud monitors from models to secure clouds E Troubitsyna, I Rauf 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems …, 2018 | 4 | 2018 |
| Design and validation of stateful composite RESTful web services I Rauf Turku Centre for Computer Science (TUCS), 2014 | 4 | 2014 |
| Scenario-based design and validation of REST web service compositions I Rauf, F Siavashi, D Truscan, I Porres International Conference on Web Information Systems and Technologies, 145-160, 2014 | 4 | 2014 |
| An Integrated Approach for Designing and Validating REST Web Service Compositions. I Rauf, F Siavashi, D Truscan, I Porres WEBIST (1), 104-115, 2014 | 4 | 2014 |
| From uml protocol statemachines to class contracts I Porres, I Rauf Procceedings of the International Conference on Software Test, Verification …, 2010 | 4 | 2010 |
| Towards a model-driven security assurance of open source components I Rauf, E Troubitsyna International Workshop on Software Engineering for Resilient Systems, 65-80, 2017 | 3 | 2017 |
| An Integrated Approach to Design and Validate REST Web Service Compositions I Rauf, F Siavashi, D Truscan, I Porres Technical Report 1097, 2013 | 3 | 2013 |
| Consistency of UML Class and Statechart Diagrams with State Invariants. AH Khan, I Rauf, I Porres MODELSWARD, 14-24, 2013 | 3 | 2013 |
| Generating class contracts from deterministic UML protocol statemachines I Porres, I Rauf International Conference on Model Driven Engineering Languages and Systems …, 2009 | 2 | 2009 |
| Model based testing of web service composition using UML profile I Rauf, MZZ Iqbal, ZI Malik Model-based Testing in Practice, 75, 2009 | 2 | 2009 |
Ivan PorresÅbo Akademi UniversityVerified email at abo.fi
