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

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 (3rd Quarter/Summer), 2018

Publishing Things for the Internet of Things - July (3rd Quarter/Summer), 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 (1st Quarter/Winter), 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 (2nd Quarter/Spring), 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 (1st Quarter/Winter), 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 (1st Quarter/Winter), 2013
Collaborator: Ismail Khalil

Publishing and Discovering Context-dependent Services, Human-centric Computing and Information Sciences - January (1st Quarter/Winter), 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 (4th Quarter/Autumn), 2011
Collaborators: Vangalur Alagar; Mubarak Mohammad

An Architecture for Managing and Delivering Trustworthy Context-dependent Services. - July (3rd Quarter/Summer), 2011
Collaborators: Mubarak Mohammad; Vangalur Alagar

Education

Ph D, Computer Science , Concordia University

MS, Computer Science, Concordia University

BS, Computer Science, Concordia University