Publications

Book

Journals

  • Julian Jarrett, Brian Blake, Iman Saleh:"Crowdsourcing, Mixed Elastic Systems and Human-Enhanced Computing–A Survey", IEEE Transactions on Services Computing, February 2017

  • Peter Bartalos, Yi Wei, M Brian Blake, Haluk Damgacioglu, Iman Saleh, Nurcin Celik: "Modeling Energy-Aware Web Services and Application", Journal of Network and Computer Applications, vol. 67, pp. 86-98, May 2016

  • M. Brian Blake, Iman Saleh, Yi Wei, Ian D. Schlesinger, Alexander Yale-Loehr, and Xuanzhe Liu: "Service Recommendations from Software Specifications: A Hybrid Syntactic and Semantic Approach", Journal of Information and Software Technology, Information and Software Technology, vol. 57, pp. 392-404, ISSN 0950-5849, January 2015

  • Iman Saleh, M.Brian Blake, Gregory Kulczycki and Yi Wei: “Formal Methods for the Specification and Testing of Data-Centric Web Services: A Case Study”, the International Journal of Services Computing, vol. 1, no. 1, pp. 39-51, Oct-Dec 2013

  • Wei Tan, M. Brian Blake, Iman Saleh, and Schahram Dustdar: "Social-Network-Sourced Big Data Analytics",  IEEE Internet Computing, vol.17, no.5, pp.62-69, Sept.-Oct. 2013, featured by the Special Technical Community on Social Networks

  • Iman Saleh, M.Brian Blake and Gregory Kulczycki, "Demystifying Data-Centric Web Services", IEEE Internet Computing, vol.13, no.5, pp.86-90, Sept.-Oct. 2009

  • Iman Saleh, Mohamed Eltoweissy, Adnan Agbaria and Hesham El-Sayed : "A Fault Tolerance Management Framework for Wireless Sensor Networks", Journal of Computers, Vol. 2, No. 4, June 2007

  • Iman Saleh and Mohamed Eltoweissy: "P3ARM-t: Privacy-Preserving Protocol for Association Rule Mining with t-Collusion Resistance", Journal of Computers, Vol. 2, No. 2, April 2007

Conferences

Iman Saleh, and Khaled Nagi. "HadoopMutator: A Cloud-Based Mutation Testing Framework." Software Reuse for Dynamic Systems in the Cloud and Beyond. 14th International Conference on Software Reuse, ICSR 2015, Springer pp. 172-187,  January 4-6, 2015

  • Julian Jarrett, Iman Saleh and M. Brian Blake, Rohan Malcolm, Sean Thorpe, Tyrone Grandison, "Combining Human and Machine Computing Elements for Analysis via Crowdsourcing", 10th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom'14, October 2014

  • Mohamed Abdellatif, Iman Saleh, M Brian Blake: "JPrivacy: A Java Privacy Profiling Framework for Big Data Applications", IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom), October 2014

  • Muhammad Nassar, Julian Jarrett, Iman Saleh and M. Brian Blake, "Generating Real-Time Profiles of Runtime Energy Consumption for Java Applications", 26th International Conference on Software Engineering and Knowledge Engineering, SEKE'14, July 2014

  • Iman Saleh, Gregory Kulczycki, and M.Brian Blake, "Towards the Implementation of Bug-Free Database Applications: A Formal Approach", First International SIGMOD Workshop on Reliable Data Services and Systems, (SIGMOD RDSS'14), June 2014

  • Damian Clarke, Iman Saleh and M. Brian Blake, "Modelling Service Workflow Outcomes by Assessing the Underlying Message Flows", 23rd IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE'14, June 2014

  • ​Iman Saleh, Gregory Kulczycki, M.Brian Blake and Yi Wei, "Static Detection of Implementation Errors Using Formal Code Specification", 11th International Conference on Software Engineering and Formal Methods, SEFM'13, September 2013

  • ​Iman Saleh, Gregory Kulczycki, M.Brian Blake and Yi Wei, "Formal Methods for Data-Centric Web Services: From Model to Implementation", IEEE International Conference on Web Services, ICWS'13,  June 2013

  • Yi Wei, M.Brian Blake and Iman Saleh, "Adaptive Resource Management for Service Workflows in Cloud Environments," 2nd International Workshop on Workflow Models, Systems, Services and Applications in the Cloud, CloudFlow'13, May 2013

  • Iman Saleh, Gregory Kulczycki and M.Brian Blake, "Formal Specification and Verification of Transactional Service Composition", 2011 IEEE World Congress on Services, SERVICES'11, July 2011

  • Iman Saleh, Gregory Kulczycki and M.Brian Blake, "Formal Specification and Verification of Data-Centric Service Composition", IEEE International Conference on Web Services, ICWS'10,  July 2010. Acceptance Rate 15.6%

  • Iman Saleh, "Formal Specification and Verification of Data-Centric Web Services", IEEE Services' PhD Symposium, July 2010

  • Iman Saleh, Gregory Kulczycki and M.Brian Blake, "Specification and Verification of Web Services Transactions", PhD Workshop on Innovative Database Research, SIGMOD'10, June 2010

  • Iman Saleh, Gregory Kulczycki and M.Brian Blake, "A Reusable Model for Data-Centric Web Services", 11th International Conference on Software Reuse, September 2009

  • Khaled El-Goarany, Iman Saleh and Gregory Kulczycki, "The Social Service Network - Web 2.0 Can Make Semantic Web Services Happen," cecandeee,pp.419-423, 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services, July 2008

  • Iman Saleh, Hesham El-Sayed and Mohamed Eltoweissy: "A Fault Tolerance Management Framework for Wireless Sensor Networks" Proceedings of the IEEE Conference on Innovations in Information Technology (IIT'06), Dubai, November, 2006

  • Iman Saleh, Adnan Agbaria and Mohamed Eltoweissy: "Fault-Tolerant Mobile Sink in Networked Sensor Systems" 3rd Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON'06), Reston, Virginia, 25 - 28 September, 2006

  • Iman Saleh, Adnan Agbaria and Mohamed Eltoweissy: "In-Network Fault Tolerance in Networked Sensor Systems" Proceedings of the 2nd ACM/SIGMOBILE Workshop on Dependability Issues in Wireless Ad Hoc Networks and Sensor Networks, Los Angeles, California, 25 September 2006

  • Iman Saleh, Alaa Mokhtar, Amin Shoukry and Mohamed Eltoweissy: "P3ARM: Privacy-Preserving Protocol for Association Rule Mining" Proceedings of the 7th Annual IEEE Information Assurance Workshop, United States Military Academy, West Point, New York, 21-23 June 2006

  • Iman Saleh, Noha Adly and Magdy Nagi: "DAR: A Digital Assets Repository for Library Collections" Proceedings of the 9th European Conference on Digital Libraries (ECDL'05), September 2005

Posters

  • Iman Saleh and Gregory Kulczycki, The Formal Specification and Verification of Data-Centric Web Services", CRA-W Graduate Cohort Workshop, Washington, 2010

  • Iman Saleh and Gregory Kulczycki, "WDDL: Web Service Data Description Language", Virginia Tech Graduate Education Week, Virginia, 2009

  • Khaled El-Goarany, Iman Saleh and Gregory Kulczycki,"SSN: The Social Service Network", Virginia Tech Graduate Education Week, Virginia, 2008.