Dr Irum Rauf

I am a Research Associate at The Open University, U.K.  I am a member of the Software Engineering And Design(SEAD)group. My current research interests lie at the intersections of  software engineering, software security discipline and working on human experiences with technology.  I believe that software and other technologies do not exist in isolation - its the way humans use them and how they are developed with the integration of knowledge from various disciplines that bring value to the end-product.

Email:irum.rauf@open.ac.uk

Address: School of Computing & Communications | The Open University | Milton Keynes MK7 6AA | UK

Research Projects

• Why Johnny doesn't write secure software? Secure software development by the masses- EPSRC-funded project
• CoRA: Continuous Resilience Assurance of Complex Software-Intensive Systems - (funded by the Academy of Finland)
• Open-CPS: Open Integrated Framework for Accelerating Development of Resilient CPS- (funded by the Academy of Finland)
• DIMECC Cyber Trust Program (http://cybertrust.fi/) - Finnish National Research program
• N4S (http://www.n4s.fi/en/) project at the DIGILE, the Finnish Strategic Centre for Science, Technology and Innovation in the Field of ICT.

Publications

Articles in journals:

• Irum Rauf,  Elena Troubitsyna, Ivan Porres, A systematic mapping study of API usability evaluation methods, Computing Science Review, Vol:33, 49-68, 2019
• Irum Rauf, Ivan Porres, Designing Level 3 Behavioral RESTful Web Service Interfaces. Applied Computing Review11 , 19–31, 2011.

Chapters in edited books:

• Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres, Scenario-Based Design and Validation of REST Web Service Compositions. In: Valérie Monfort, Karl-Heinz Krempels (Eds.), Web Information Systems and Technologies, Lecture Notes in Business Information Processing 226, 1–16, Springer, 2015.
• Irum Rauf, Ivan Porres, Beyond CRUD. In: Erik Wilde, Cesare Pautasso (Eds.), REST: From Research to Practice, 117–135, Springer, 2011.

Articles in proceedings:

• Yu, Yijun; Wang, Xiaozhu; Dil, Anton and Rauf, Irum, Teaching the Art of Computer Programming at a Distance by Generating Dialogues using Deep Neural Networks (2019), In : 28th ICDE World Conference on Online Learning (3-7 Nov 2019, Dublin, Ireland) ((In Press))
• Rauf, Irum; van der Linden, Dirk; Levine, Mark; Towse, John; Nuseibeh, Bashar and Rashid, Awais, Security but not for security’s sake: The impact of social considerations on app developers’ choices, In : IEEE/ACM 42nd International Conference on Software Engineering Workshops (ICSEW'20) (5-11 Oct 2020, Seoul, Republic of Korea)
• Irum Rauf  and Inna Vistbakka and  Elena Troubitsyna, Formal Verification of Stateful Services with REST APIs Using Event-B. In: 2018 IEEE International Conference on Web Services, ICWS 2018, San Francisco, CA, USA, July 2-7, 2018. Thuraisingham, Bhavani and Fan, Yushun (Eds.). IEEE, 2018
• Irum Rauf and  Elena Troubitsyna, Generating Cloud Monitors from Models to Secure Clouds,48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2018.
• Irum Rauf, Elena Troubitsyna, Securing Open Source Clouds Using Models. In: Fuyuki Ishikawa, Patrizio Pelliccione, Elena Troubitsyna (Eds.), nd Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, 50–65, Electronic Proceedings in Theoretical Computer Science, 2018.
• Irum Rauf and  Elena Troubitsyna, Towards a Model-Driven Security Assurance of Open Source Components. In: 9th International Workshop on Software Engineering for Resilient Systems (SERENE 2017) September 4-5, 2017, Geneva, Switzerland. Proceedings. Romanovsky, Alexander and Troubitsyna, Elena (Eds.). LNCS-10479 SpringerLink, 2017
• Irum Rauf, Muhammad Usman Warraich, Studying Emotional Wellness with Wearables for Young Elderly, Accepted as Research in Progress,In The 11th Mediterranean Conference on Information Systems, 2017, Genoa,Italy
• Irum Rauf, Pekka Perälä, Jouni Huotari, Ivan Porres, Perceived Obstacles by Novice Developers Adopting User Interface APIs and Tools. In: Alan Blackwell, Beryl Plimmer, Gem Stapleton (Eds.), 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2016, 223–227, IEEE, 2016.
•  Faezeh Siavashi, Dragos Truscan, Irum Rauf, Juri Vain, On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services. In: Leszek Maciaszek, Jorge Cardoso, André Ludwig, Marten van Sinderen, Enrique Cabello (Eds.), Proceedings of the 11th International Joint Conference on Software Technologies, 1, 15–26, SCITEPRESS-Science and Technology Publications, 2016.
• Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres, An Integrated Approach for Designing and Validating REST Web Service Compositions. In: Valerie Monfort, Karl-Heinz Krempels (Eds.), 10th International Conference on Web Information Systems and Technologies, 1, 104–115, SCITEPRESS Digital Library, 2014.
• Ali Hanzala Khan, Irum Rauf, Ivan Porres, Consistency of UML Class and Statechart Diagrams with State Invariants. In: Joaquim Filipe, Rui César das Neves (Eds.), First International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2013, 1, 1–11, SciTePress Digital Library, 2013.
• Irum Rauf, Ali Hanzala Khan, Ivan Porres, Analyzing Consistency of Behavioral REST Web Service Interfaces. In: Josep Silva, Francesco Tiezzi (Eds.), The 8th International Workshop on Automated Specification and Verification of Web Systems, Electronic Proceedings in Theoretical Computer Science, 1–15, EPTCS, 2012.
• Ivan Porres, Irum Rauf, Modeling Behavioral RESTful Web Service Interfaces in UML. In: William Chu, W. Eric Wong, Mathew J. Palakal, Chih-Cheng Hung (Eds.), Proceedings of 26th Annual ACM Symposium on Applied Computing Track on Service Oriented Architectures and Programming(SAC 2011), 1598–1605, ACM New York, NY, USA ©2011, 2011.
• Irum Rauf, Ivan Porres, Towards Behaviorally Enriched Semantic RESTful Interfaces using OWL2. In: Sören Auer, Oscar Diaz, George A. Papadopoulos (Eds.), Proceedings of International Conference on Web Engineering 2011(ICWE 2011), 6757/2011, 407–410, Springer-Verlag Berlin, Heidelberg ©2011 , 2011.
• Ivan Porres, Irum Rauf, From Nondeterministic UML Protocol Statemachines to Class Contractss. In: Marie-Claude Gaudel, Ana Rosa Cavalli, Sudipto Ghosh (Eds.), Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation, 107–116 , IEEE Computer Society Washington, DC, USA , 2010.
• Ivan Porres, Irum Rauf, Generating Class Contracts from Deterministic UML Protocol Statemachines. In: Sudipto Ghosh (Ed.), Models in Software Engineering, 172–185, Springer, 2010.
• • Irum Rauf, Ivan Porres, Anna Ruokonen, Tarja Systa, Modeling a Composite RESTful Web Service with UML. In: Andrzej Wasowski, Dragos Truscan (Eds.), Proceedings of the Fourth European Conference on Software Architecture: Companion Volume, 253–260 , ACM, 2010.
• Irum Rauf, Muhammad Zohaib Z Iqbal, Zafar I Malik, Model Based Testing of Web Service Composition Using UML Profile. In: Thomas Bauer, Hajo Eichler, Axel Rennoch, Sebastian Wieczorek (Eds.), In proceedings of 2nd Workshop on Model-based Testing in Practice, Enschede, Netherlands, 75 –84, CTIT Workshop Proceedings Series WP0 9 -0, 2009.
• Irum Rauf, M. Zohaib Iqbal, Zafar. I. Malik, UML based Modeling of Web Service Composition - A Survey. In: Walter Dosch, Roger Lee, Petr Tuma, Thierry Coupaye (Eds.), 6th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2008) , 301 – 307, IEEE Computer Society, 2008.
• Irum Rauf, Aamer Nadeem, Masud Khokhar, Formalizing Object Oriented Design Patterns with Object-Z. In: M. Mansoor Ahmed, Mansoor Malik (Eds.), Multitopic Conference, 2006. INMIC '06, 269 – 274, IEEE, 2006.

Ph.D. thesis:

• Irum Rauf, Design and Validation of Stateful Composite RESTful Web Services. TUCS Dissertations 177. 2014.

Technical reports:

• Irum Rauf, Inna Vitsbaka, Elena Troubitsyna,  Formal Verification of Stateful Services with REST APIs using Event-B. TUCS Technical Reports 1192, 2018.
• Irum Rauf, Ivan Porres, A Systematic Review of API Usability Evaluation Methods. TUCS Technical Reports 1141, TUCS, 2015.
•  Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres, An Integrated Approach to Design and Validate REST Web Service Compositions. TUCS Technical Reports 1097, TUCS, 2013.