Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations. - Robert B. France; Jean-Michel Bruel; Maria M. Larrondo-Petrie; Emanuel S. Grant (AMAST, 1997)

Towards a Rigorous Object-Oriented Analysis and Design Method. - Robert B. France; Jean-Michel Bruel; Maria M. Larrondo-Petrie; Emanuel S. Grant; Minika Saksena (ICFEM, 1997)

Towards Semantic-Based Object-Oriented CASE Tools. - Robert B. France; Matthew P. Evett; Emanuel S. Grant (ASE, 1997)

UML2Z: An UML-Based Object-Oriented Modeling Tool for an Internet Integrated Formalization Process. - Emanuel S. Grant; Robert B. France; Ramchander Varadarajan; Adam Carheden; Jean-Michel Bruel (OOIS, 2000)

A Framework for Specifying Software Architecture Based on Multi-Formalisms. - Hassan Reza; Emanuel S. Grant (Software Engineering Research and Practice, 2003)

Model Oriented Software Architecture. - Hassan Reza; Emanuel S. Grant (COMPSAC Workshops, 2004)

A Formal Approach to Software Architecture of Agent-Base Systems. - Hassan Reza; Emanuel S. Grant (ITCC (1), 2004)

Framework for Domain-Specific Modeling Language Development. - Emanuel S. Grant; Hassan Reza (Software Engineering Research and Practice, 2004)

A Two-Way Modeling Approach to Architectural Design Based on Reusable Specifications. - Hassan Reza; Emanuel S. Grant (Software Engineering Research and Practice, 2004)

Quality-Oriented Software Architecture. - Hassan Reza; Emanuel S. Grant (ITCC (1), 2005)

Using Architectural Modeling for Integration Testing. - Hassan Reza; Emanuel S. Grant (Software Engineering Research and Practice, 2005)

Towards Analyzing UML Class Diagram Models to Object-Relational Database Systems Transformations. - Emanuel S. Grant; Rajani Chennamaneni; Hassan Reza (Databases and Applications, 2006)

The Role of Model-Oriented Software Architecture in Safety Engineering. - Hassan Reza; Emanuel S. Grant (Software Engineering Research and Practice, 2006)

Guest Editorial. - Hassan Reza; Emanuel S. Grant (J. Res. Pract. Inf. Technol., 2006)

A Model-Based Approach for Testing GUI Using Hierarchical Predicate Transition Nets. - Hassan Reza; Sandeep Endapally; Emanuel S. Grant (ITNG, 2007)

A Model-Based Testing Method for Multimodal Integration Testing. - Hassan Reza; Emanuel S. Grant (Software Engineering Research and Practice, 2007)

A method to test concurrent systems using architectural specification. - Hassan Reza; Emanuel S. Grant (J. Supercomput., 2007)

Towards Model Driven Testing for Mission Critical Software Systems. - Emanuel S. Grant; Hassan Reza (Software Engineering Research and Practice, 2008)

Assessing the Complexity of Software Architecture Using Coupling and Cohesion. - Hassan Reza; Joel Carver; Emanuel S. Grant (Software Engineering Research and Practice, 2008)

Use of SOA 3.0 in Strategic Information System Planning. - Atif Farid Mohammad; Emanuel S. Grant; Sanchit Goyal; Aashish Bhatia (EMS, 2009)

Toward Extending AADL-OSATE Toolset with Color Petri Nets (CPNs). - Hassan Reza; Emanuel S. Grant (ITNG, 2009)

A Comparison of Aspect-Oriented Approaches to Model Driven Engineering. - Devon M. Simmonds; Y. Raghu Reddy; Eunjee Song; Emanuel S. Grant (Software Engineering Research and Practice, 2009)

SOA and Security of Loosely Coupled Services in the Cloud using SOA 3.0. - Atif Farid Mohammad; Assion Lawson-Body; Emanuel S. Grant (Software Engineering Research and Practice, 2010)

Comparative analysis to validate benefits of formal and informal software model transformations. - Emanuel S. Grant; Kaden K. Daley (ICIS, 2014)

Technology-driven software engineering curriculum development. - Emanuel S. Grant; Venky Shankararaman (CSEE&T, 2014)

Big data architecture evolution: 2014 and beyond. - Atif Farid Mohammad; Hamid Mcheick; Emanuel S. Grant (DIVANet@MSWiM, 2014)

Case Method for Computing Education (CMCE): A Strategy for Teaching Software Engineering. - Emanuel S. Grant (QuASoQ/WAWSE/CMCE@APSEC, 2015)

A Model-Driven Case Study of Developing a Complex Domain-Specific System. - Emanuel S. Grant (J. Softw., 2015)

Pedagogical Benefits from an Exercise in Reverse Engineering for an Aviation Software Systems. - Emanuel S. Grant; Pann Ajjimaporn (CSEDU (2), 2018)

An Exercise in Reverse Engineering for Safety-Critical Systems: An Experience for the Classroom. - Emanuel S. Grant; Pann Ajjimaporn (CSEDU (Selected Papers), 2018)

A Review of Applications of Formal Specification in Safety-Critical System Development. - Emanuel S. Grant; Smruti Priyambada Nanda (ICCDA, 2020)

Toward Management of Uncertainty in Self-Adaptive Software Systems: IoT Case Study. - Shereen Ismail; Kruti Shah; Hassan Reza; Ronald Marsh; Emanuel S. Grant (Comput., 2021)

Towards Simplifying and Formalizing UML Class Diagram Generalization/Specialization Relationship with Mathematical Set Theory. - Kruti Shah; Emanuel S. Grant (ICISDM, 2022)

Towards Verifying UML Class Diagram and Formalizing Generalization/Specialization Relationship with Mathematical Set Theory. - Kruti Shah; Emanuel S. Grant (J. Softw., 2022)

Advancing Object-Oriented Model-Driven Software Engineering Pedagogy. - Emanuel S. Grant (CSEE&T, 2023)

Defining Model-Driven Safety-Critical Software Engineering, with International Standard. - Emanuel S. Grant (ICICT, 2024)

Survey of Soft Computing Methods to Predict Soccer Win/Loss Probability. - Kayanna A. Morgan; Emanuel S. Grant; Eunjin Kim (ICISDM, 2024)

Verification and Validation of Software System Class Models. - Kruti P. Shah; Emanuel S. Grant (ICISDM, 2024)