Naseem Ibrahim, Ph.D.

Naseem Ibrahim, Ph.D.
Chair, Computer Science and Software Engineering
Associate Professor, Computer Science and Software Engineering
Office Phone
Office Location
173 Burke
PENN STATE BEHREND
242 BURKE CENTER
ERIE PA 16563
    Research Interests

    Software Engineering Service–oriented Computing Context-aware and Context-dependent Systems Trustworthy Software Development Component-based Development Formal Modelling and Verification Student-oriented Learning Green Service-oriented Computing

    Publications

    Automatic Composition of Things in the Internet of Things - December, 2020

    Towards Dynamic Composition of Things in the Internet of Things - December, 2020

    Composition of Things in the Internet of Things - December, 2019

    Ranking Things in the Internet of Things - December, 2018

    Publication and Discovery of Things in the Internet of Things, EAI Endorsed Transactions on Internet of Things (TIoT) - December, 2018

    Discovery of Things in the Internet of Things - July, 2018

    Publishing Things for the Internet of Things - July, 2018

    Service-oriented Architecture for the Internet of Things - December, 2017
    Collaborator: Branon Bench, Co-Author

    Composition and Verification of Student-oriented Courses, International Journal of Big Data Intelligence - August, 2017

    Smart Learner-Centric Learning Systems - March, 2017
    Collaborator: Ismail Al Ani, Co-Author

    A Service-oriented Architecture for the Provision and Ranking of Student-oriented Courses, EAI Endorsed Transactions on e-Learning - March, 2016

    An SOA for Student-oriented Courses, International Journal of Computing, Communications & Instrumentation Engineering. (IJCCIE) - January, 2016

    A Service-oriented Architecture for Student-oriented Courses. - December, 2015

    Ranking Energy-aware Services - December, 2015

    Specification and Composition of Student-oriented Services. - December, 2015

    XML Languages for Student-oriented Services - December, 2015

    A Context-dependent Service Model, EAI Endorsed Transactions on Context-aware Systems and Applications - December, 2014
    Collaborators: Vangalur Alagar; Mubarak Mohammad

    Trustworthy Context-dependent Services. - April, 2014

    An Architecture for Providing and Defining Student-Oriented Services. - December, 2013
    Collaborator: Ismail Khalil

    Toward Green Service-oriented Computing - December, 2013

    Domain Ontology for Trustworthy Context-dependent Services. - March, 2013

    Transforming Architectural Descriptions for Formal Analysis. - March, 2013
    Collaborators: Mubarak Mohammad ; Vangalur Alagar

    An Extended Service-oriented Architecture for Consumer-centric E-Commerce, The International Journal of Information and Communication Technology Research - January, 2013
    Collaborators: Kaiyu Wan, Primary Author; Vangalur Alagar

    Beyond Functional Verification of Web Services Compositions, Journal of Emerging Trends in Computing and Information Sciences - January, 2013
    Collaborator: Ismail Khalil

    Publishing and Discovering Context-dependent Services, Human-centric Computing and Information Sciences - January, 2013
    Collaborators: Vangalur Alagar; Mubarak Mohammad

    Composing Trustworthy Context-dependent Services - December, 2012

    Developing Context-dependent Service-oriented Applications - December, 2012

    Verifying Web Services Compositions Using UPPAAL - December, 2012
    Collaborator: Ismail Khalil

    Languages for the Publication and Discovery of Context-dependent Services - November, 2012
    Collaborator: Ismail Khalil

    Towards an Automated and Intelligent Construction Method Selection - June, 2012

    Adaptable Discovery and Ranking of Context-dependent Services - December, 2011
    Collaborators: Vangalur Alagar; Mubarak Mohammad

    Specification and Verification of Context-dependent Services, Electronic Proceedings in Theoretical Computer Science (EPTCS) - 2011
    Collaborators: Vangalur Alagar; Mubarak Mohammad

    Managing and Delivering Trustworthy Context-dependent Services - October, 2011
    Collaborators: Vangalur Alagar; Mubarak Mohammad

    An Architecture for Managing and Delivering Trustworthy Context-dependent Services. - July, 2011
    Collaborators: Mubarak Mohammad; Vangalur Alagar

    Education

    Ph D, Computer Science , Concordia University

    MS, Computer Science, Concordia University

    BS, Computer Science, Concordia University