
Publications
Book
Iman Saleh, "Formalizing Data-Centric Web Services", Springer International Publishing, 2015
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.