Naseem Ibrahim, Ph.D.

Naseem Ibrahim, Ph.D.
Chair, Computer Science and Software Engineering
Associate Professor, Computer Science and Software Engineering
173 Burke

Mailing Address:
PENN STATE BEHREND
242 BURKE CENTER
ERIE PA 16563

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

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

Ph D, Computer Science , Concordia University

MS, Computer Science, Concordia University

BS, Computer Science, Concordia University