Publications

by: Dr. Irum Rauf

Journal Articles

Rauf, I., Petre, M., Tun, T., Lopez, T., Lunn, P., Van der Linden, D., Towse, J., Sharp, H., Levine, M., Rashid, A. and Nuseibeh, B., 2021. The case for adaptive security interventions. ACM Transactions on Software Engineering and Methodology (TOSEM), 31(1), pp.1-52.
Rauf, I., Troubitsyna, E. and Porres, I., 2019. A systematic mapping study of API usability evaluation methods. Computer Science Review, 33, pp.49-68.

Conference items

Rauf, Irum; Gooch, Daniel; , Price, Linda; Katz, Dmitri; Pearce, Oliver and Price, Blaine, Children’s perspectives on pain-logging: Insights from a Co-Design Approach. Accepted to ACM Conference on Designing Interactive Systems (DIS) 2024.
Rauf, Irum; Petre, Marian; Tun, Thein; Lopez, Tamara and Nuseibeh, Bashar (2023). Security Thinking in Online Freelance Software Development. In: IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Society (ICSE-SEIS), 14-20 May 2023, Melbourne, Australia, pp. 13–24.
Rauf, I., Lopez, T., Sharp, H., Petre, M., Tun, T., Levine, M., Towse, J., van der Linden, D., Rashid, A. and Nuseibeh, B., 2022, May. Influences of developers' perspectives on their engagement with security in code. In Proceedings of the 15th International Conference on Cooperative and Human Aspects of Software Engineering (pp. 86-95).
Rauf, I., Lopez, T., Sharp, H. and Petre, M., 2022. Challenges of Recruiting Developers in Multidisciplinary Studies. In : 1st International Workshop on Recruiting Participants for Empirical Software Engineering (RoPES’22) (17 May 2022, Virtual)
Rauf, I., van der Linden, D., Levine, M., Towse, J., Nuseibeh, B. and Rashid, A., 2020, June. Security but not for security's sake: The impact of social considerations on app developers' choices. In Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops (pp. 141-144).
Yu, Y., Wang, X. and Rauf, I., 2020. Teaching the Art of Computer Programming at a Distance by Generating Dialogues using Deep Neural Networks. In : 28th ICDE World Conference on Online Learning (3-7 Nov 2019, Dublin, Ireland) (pp. 1071-1081)
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.

Book Chapters

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.

PhD Thesis

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