Biography
Dr. Hassan Reza holds the position of Professor of Software Engineering at the University of North Dakota, while also maintaining affiliations with North Dakota State University and UND Biomedical Engineering. He currently serves as a technical member of the Center of Excellence for Unmanned Aircraft Systems (UAS) since its establishment, the UND Research Institute for Autonomous Systems (RIAS), and the UND member of the National Academy of Inventors.
Dr. Reza's contributions extend to his role as Principal Investigator (PI) or Co-PI, resulting in the successful acquisition of funding totaling up to $16 million from prestigious entities such as the Department of Defense (DOD), National Institutes of Health (NIH), National Aeronautics and Space Administration (NASA), National Science Foundation (NSF), NASA-EPSCore, and Rockwell Collins.
His expertise spans a broad range of domains, including architectural modeling of data and software-intensive systems, design tactics for implementing AI-enabled systems, model-based engineering of cyber-physical systems (with a focus on avionics and medical applications), software testing methodologies, engineering of safety- and security-critical systems, and the application of blockchain and AI-based technologies.
- CSCI455: Introduction to Database Management Systems (Spring 2021)
- CSCI463: Advanced Software Engineering (Spring 2021)
- CSCI582: Software Architecture (Fall 2020)
- CSCI465: Principles of Translations (Fall 2020)
- CSCI565: Advanced Software Engineering (Summer 2020) (Pearson Online)
- CSCI455: Introduction to Database Management Systems (Spring 2020)
- CSCI463: Introduction to Software Engineering (Spring 2020)
- CSCI465: Principles of Translation (Fall 2019)
- CSCI565: Advanced Software Engineering (Fall 2019)
- CSCI565: Advanced Software Engineering (Fall 2019) (Pearson Online)
- CSCI565: Advanced Software Engineering (Fall 2019) (UND Online)
- CSCI455: Introduction to Database Management Systems (Spring 2019)
- CSCI582: Software Architecture (Spring 2019)
- CSCI465: Principles of Translations (Fall 2018)
- CSCI565: Advanced Software Engineering (Fall 2018)
- CSCI565: Advanced Software Engineering (Fall 2018) (Pearson Online)
- CSCI565: Advanced Software Engineering (Fall 2018) (UND Online)
- CSCI465: Principles of Translations (Fall 2017)
- CSCI455 Introduction to Database Management Systems (Spring 2018)
- CSCI463: Introduction to Software Engineering (Spring 2018)
- CSCI455: Introduction to Database Management Systems (Spring 2017)
- CSCI582: Software Architecture (Spring 2017)
- CSCI565: Advanced Software Engineering (Fall 2016)
- CSCI465: Principles of Translations (Fall 2015)
- CSCI455 Introduction to Database Management Systems (Spring 2016)
- CSCI582: Software Architecture (Spring 2015)
- CSCI455: Database Management Systems (Spring 2015)
- CSCI565: Advanced Software Engineering (Fall 2014)
- CSCI455: Database Management Systems (Spring 2014)
- CSCI463: Introduction to Software Engineering (Spring 2014)
- CSCI465: Principles of Translations (Fall 2013)
- CSCI455 Introduction to Database Management Systems (Spring 2013)
- CSCi582: Software Architecture (Spring 2013)
- CSCI565: Advanced Software Engineering (Fall 2012)
- CSCI588: Data Structure, Design, and Algorithms (Fall2012)
- CSCI455: Database Management Systems (Spring 2012)
- CSCI463: Introduction to Software Engineering (Spring 2012)
- CSCI465: Principles of Translations (Fall 2011)
- CSCI565: Advanced Software Engineering (Spring2011)
- CSCI455: Database Management Systems (Spring 2011)
- CSci582: Software Architecture (Fall 2010)
- CSCI455 Introduction to Database Management Systems (Spring 2010)
- CSCI465: Principles of Translations (Fall 2009)
- CSCI565: Advanced Software Engineering (Spring 2009)
- CSCI455: Introduction to Database Management Systems (Fall 2008)
- CSCI582: Software Architecture (Fall 2008)
- CSCI565: Advanced Software Engineering (Spring 2008)
- CSCI501: Special Topics in Computer Science: Model-Based Software Engineering (Spring 2008)
- CSCI465: Principles of Translations (Fall 2007)
- CSCI455: Introduction to Database Management Systems (Fall 2007)
- CSCI565: Advanced Software Engineering (Spring 2007)
- CSCI455: Introduction to Database Management Systems (Fall 2006)
- CSCI501: Special Topics in Computer Science: Software Architecture (Fall 2006)
- CSCI562: Formal Specification Methods (Spring 2006))
- CSCI465: Principles of Translations (Fall 2005))
- CSCI455: Introduction to Database Management Systems (Fall 2005)
- CSCI565: Advanced Software Engineering (Fall 2005)
- CSCI562: Formal Specification Methods (Spring 2004)
- CSCI455: Introduction to Database Management Systems (Fall 2004)
- CSCI501: Special Topics in Computer Science: Software Architecture (Fall 2003)
- CSCI455: Introduction to Database Management Systems (Fall 2003)
- CSCI536: Advanced Compiler Design (Fall 2002)
- CSCI455: Introduction to Database Management Systems (Fall 2002)
- CSCI463: Introduction to Software Engineering (Spring 2003)
- CSCI289: Social Implications of Computer Technology (Spring 2003)
- CSCI427: Advanced Data Communications (Spring 2002)
- CSCI513: Advanced Database systems (Spring 2002)
- CSCI327: Data Communications (Fall 2001)
- CSCI455: Introduction to Database Management Systems (Fall 2001)
- CSCI120: Computer Programming I: Visual Basic (Fall 2000)
- CSCI435: Formal Languages & Automata (Fall 2000)
- CSCI120: Computer Programming I: Visual Basic (Summer 2000)
- CSCI250: Assembly Language Programming (Summer 1999)
- CSCI110: Computer Programming I: Visual Basic (Summer 1999)
My current research foci include:
- Blockchain-based Engineering:
- Supply and Chain Systems (SCS)
- Electronic Medical Record-keeping Systems (EMRs)
- Trustworthiness of AI Systems
- Validation of Safety-Critical Systems Using Machine Learning Methods (CNN, DNN, etc.)
- Safety & Security Assurance of Avionic & Medical Cyber-Physical Systems
- Mgt of Uncertainly in Adaptive Systems
- Mohammed Mahmoud, Mark Hoffmann, Hassan Reza: Developing a New Storage Format and a Warp-Based SpMV Kernel for Configuration Interaction Sparse Matrices on the GPU. Computation 6(3): 45 (2018)
- Bisoyi SK, Reza H (2017) Toward Securing Cyber-Physical Systems Using Exact Cover Set. J Inform Tech Software Engineering 7: 198. doi: 10.4172/2165-7866.1000198
- Bajpayee, P. (author), Reza, H (co-author). Toward Quality Attribute Driven Approach to Software Architectural Design. Journal of Software Engineering and Applications, 2017, 10, 483-499, SSN Online: 1945-3124 ISSN Print: 1945-3116, (H-Index: 30)
- Reza, H (author), Sonawane, M (co-author). Using Steganography to Improve Security of Mobile Technologies and Cloud Computing, Journal of Information Security (JIS), 07(04):245 259 · February 2016 (H-Index: 22)
- Seifert, D (author), Reza, H (co-author). A Security Analysis of Cyber-Physical Systems Architecture for Healthcare, Computers 2016, 5, 27; doi:10.3390/computers5040027, pp:1-24, 2016
- Straub, J (author), Reza, H (co-author). A Blackboard-Style Decision-Making System for Multi-Tier Craft Control and its Evaluation, Journal of Experimental & Theoretical Artificial Intelligence, pp: 1-15; Published Online: 10.1080/0952813X.2015.1020569, (H-index:32), http://dx.doi.org/10.1080/0952813X.2015.1020569, April 15. (H-Index: 33; Impact Factor: 1.00)
- Reza, H (author), and Chatterjee, A (co-author). Mapping AADL to Petri Net Tool-Sets Using PNML Framework. Journal of Software Engineering and Applications (JSA), no.7, 920-933. http://dx.doi.org/10.4236/jsea.2014.711082, October 2014. (H-Index:30)
- Reza, H (author), and Washington, H (co-author). Security Trade-off Analysis of Service-oriented Software Architecture. World Journal of Computer Application and Technology. vol.1, no.3, pp: 110-120., DOI: 10.13189/wjcat.2013.010402, December 2013.
- Reza, H (author), Karodiya, N (co-author). (2013). Dynamic Architectural Framework for Cloud Computing. Computer Science and Information Technology, 1(1), DOI: 10.13189/csit.2013.010102, 2013.
- Pedersen, L (author), Reza, H (co-author). Using Pit to improve security in low-level programs. The Journal of Supercomputing (JoS) vol.53, no.3, pp: 394-410, March 2010. (H-Index: 42)
- Reza, H (author), Emanuel S. Grant (co-author). A method to test concurrent systems using architectural specification. The Journal of Supercomputing, vol. 39, no.3, pp: 347-357, March 2007. (H-Index: 42 )
- Reza, H (author), and Grant, E.S (co-author). Software Architectures and Formal Framework for Developing Agent-Based systems. Journal of Scientific Practical & Computing (JSPC), vol.1, no.1, pp: 2-15, March 2007.
- Reza, H (author). A Methodology for Architectural Design of Concurrent and Distributed Software Systems. The Journal of Supercomputing (JoS), vol.37, no.3, pp: 227-248, 2006. (H-Index: 42; )
- AbdEIRahman ElSaid; Hassan Reza; Debesh Adhikari; Fatima El JamiyA General Model-Based Engineering Approach to MRO Business Software Applications Using Acme 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC'18) (H-index 25)
-
Fatima El Jamiy ; Hassan Reza; AbdElRahman ElSaid. A New Software Architecture Style for Hadoop Systems 2018 International Conference on Advances in Computing and Communication Engineering (ICACCE'18) (h-index 4)
- Sanjaya Pandey, Subik Pokharel, Hassan Reza: Towards Cyber-Physical Requirement Engineering Elicitation Tool Support. WAC 2018: 1-5
- Mohammed Mahmoud; Mark Hoffmann; Hassan Reza: An Efficient Storage Format for Storing Configuration Interaction Sparse Matrices on CPU/GPU. 2017 International Conference on Computational Science and Computational Intelligence (CSCI'17).
- Debesh Adhikari, Eungin Kim, Hassan Reza.A Fuzzy Adaptive Differential Evolution for Multi-Objective 3D UAV Path Optimization. Conference: 2017 IEEE Congress on Evolutionary Computation (CEC), at Donostia - San Sebastián, Spain, 2017 (H-Index-62)
- Hassan Reza, Rashmi Sehgal, Nicholas Alexander Jeremy Straub Toward Model-Based Requirement Engineering Tool Support. Proceedings of the 2017 IEEE Aerospace Conference, Big Sky, MT, 2017 (H-Index:41)
- Hassan Reza (author), Jeremy Straub (co-author), Nicholas Alexander (co-author), Christoffer Korvald (co-author), Justin Hubber (co-author), and Abhinav Chawla (co-author). Toward Requirements Engineering of Cyber-Physical Systems: Modeling CubeSat. Proceedings of the 2016 IEEE Aerospace Conference, Big Sky, MT (H-Index:41)
- Reza, H (author), Aguilar, M (co-author), Faraji-Jalal, S (co-author). Regression testing of GPU/MIC Systems for HPCC, International Conference Software Engineering (ICSE/SE4HPCS), Italy, Florence, pp: 30-37, May 2015 (H-Index 3).
- Straub, J (author), Reza, H (co-author). The Use of the Blackboard Architecture for a Decision-Making System for the Control of Craft with Various Actuator and Movement Capabilities. The International Conference on Information Technology: Next Generation (ITNG14), IEEE Computer Society, pp: 514-519, April 2014, USA. (H-Index:16)
- Yocum, I (author), Reza, H (co-author), Kemp, W (co-author), Rinehart, J(co-author), and Dennis, B(co-author). Reverse Engineering of Legacy Agricultural Phenology Modeling System. The International Conference on Information Technology: Next Generation (ITNG14), IEEE Computer Society, pp: 508-513. April 2014, USA. (H-Index:16)
- Nori, R (author), Karodia, N (co-author), and Reza, H (co-author). Portability Testing of Scientific Computing Software Systems. The IEEE INTERNATIONAL CONFERENCE on ELECTRO/INFORMATION TECHNOLOGY (EIT’13), pp:1-10, May 2013. (H-Index:8)
- White, J (author), Reza, H (co-author). Deriving DO-178C Requirements within the Appropriate Level of Hierarchy. In the Proceeding of International Conference on Software Engineering Advances (ICSEA’12), pp: 430-435, November 2012. (H-Index:7)
- Yong Lai (author), Hassan Reza (co-author). A light test-driven approach to test indie software products. International Conference on Software Engineering Research and Practice 2012 (SERP’12), pp: 245-251, July 2012. (H-Index:16)
- Reza, H (co-author) and Mazumder, N (co-author). A Secure Software Architecture for Mobile Computing. International Conference on Information Technology New Generation (ITNG’12), pp: 566-571, April 2012. (H-Index:16)
- Reza, H (author) and Cheng, L (co-author). Context-Based Testing of COTs Using Petri Nets. International Conference on Information Technology New Generation (ITNG’12), IEEE Computer Society, pp: 572-577, April 2012. (H-Index:16)
- Reza, H (author), Ogaard, K (co-author). Modeling UAS Swarm System Using Conceptual and Dynamic Architectural Modeling Concepts. International Conference in Conceptual Structure (ICCS’11) published in Lecture Notes in Artificial Intelligent (LNAI), vol.6828, Andrews et al (Eds.) Conceptual Structures for Discovering Knowledge (CSDK), Springer Verlag, pp: 331-338, July 2011(H-Index: 29).
- Reza, H (author), Ogaard, K (co-author). Modeling of UAS Swarms Using Dynamic and Re-Configurable Software Architecture. Proceeding of International Conference on System Engineering (ICSEng’11), pp: 377-382, August 2011. (H-index: 12)
- Reza, H (author), Kerlin, K.D (co-author). A Model-Based Testing Using Scenarios and Constraints-based Modular Petri Nets. The International Conference on Information Technology: Next Generation (ITNG 2011), IEEE Computer Society, pp: 568-573, April 2011. (H-Index:16)
- Reza, H (author), Zarns, K (co-author). Testing Relational Database Using SQLLint. The International Conference on Information Technology: Next Generation (ITNG’11), IEEE Computer Society, pp: 608-613, April 2011. (H-Index:16)
- Reza, H (author), Feifei Gu (co-Author), Askelson, M (co-author). Model-Based Engineering of Ground-Based Risk Mitigation System. The Proceeding of the International Conference on Software Engineering Research and Practice 2011 (SERP’11), pp: 673-681, July 2011. (H-Index:15)
- Reza, H (author), Helps W (Co-author). Toward Security Analysis of Service-Oriented Software Architecture. International Conference on Software Engineering Research and Practice 2011 (SERP’11), pp: 260-265, July 2011. (H-Index:15)
- Mohammad, A (author), Reza, H (co-author). Cloud Computing and Security Attributes of Cloud Architecture. International Conference on Software Engineering Research and Practice 2011 (SERP’11), pp:660-660, July 2011(H-Index:15)
- Reza, H (co-author), Lande, S (co-author). Model-Based Testing Using Software Architecture. The International Conference on Information Technology: Next Generation (ITNG’10), IEEE Computer Society. pp: 188-193, April 2010. (H-Index:16)
- Reza, H (author), Van Gilst, D (co-author). A Framework for Testing RESTful Web Services. The International Conference on Information Technology: Next Generation (ITNG’10), IEEE Computer Society, pp: 216-221, April 2010. (H-Index:16)
- Reza, H (author), Marsh, R (co-author) Askelson, M (co-author). A Fault-Tolerant Architecture Using AADLs and Error Model Annex for Unmanned Aircraft Systems (UAS). Software Engineering Research and Practice (SERP’10), pp: 180-184, July 2012. (H-Index: 15)
- Reza, H (author), Gu, F (co-author), Shafai, B (co-author). Toward Model-Based Testing: Combining AADLS with High-Level Petri Nets. Software Engineering Research and Practice 2010 (SERP’10), pp: 619-623 38, July 2010. (H-Index:15)
- Reza, H (author), Grant, E.S. Toward Extending AADL-OSATE Toolset with Color Petri Nets (CPNs). The International Conference on Information Technology: Next Generation (ITNG’09), IEEE Computer Society, pp: 1085-1088, April 2009. (H-Index:16)
- Reza, H (co-author), Pimple, M (co-author), Krishna, V (co-author), Hildle, J (co-author): A Safety Analysis Method Using Fault Tree Analysis and Petri Nets. The International Conference on Information Technology: Next Generation (ITNG’09), IEEE Computer Society, pp: 1089-1094, April 2009. (H-Index:16)
- Reza, H (author), and Pedersen, L (co-author). The Impact of a Portable Programming Language Pit. Software Engineering Research and Practice (SERP’09), pp: 24-430, July 2009. (H-Index:15)
- Reza, H (author), Ogaard, K (co-author), Malge, A (co-author). A Model-Based Testing Technique to Test Web Applications Using Statecharts. The International Conference on Information Technology: Next Generation (ITNG’08), IEEE Computer Society, pp: 183-188, April 2008, (H-Index:16)
- Reza, H (author), Buettner, S (co-author), Varun Krishna, V (co-author). A Method to Test Component Off-the-Shelf (COTS) Used in Safety Critical Systems Information Technology: Next Generation (ITNG’08), IEEE Computer Society, pp: 189-194, April 2008. (H-Index:16)
- Reza, H (author), Carver, J (co-author), and Grant, E.S (co-author). Assessing the Complexity of Software Architecture Using Coupling and Cohesion. Software Engineering Research and Practice (SERP’08), pp: 150-156, June 2008. (H-Index: 15)
- Fathi, M (author), Zadeh, L (co-author), Silverberg, G (co-author), Montis, R (co-author), Reza, H (co-author), Garmestani, H (co-author). Knowledge Management and Reuse in Industrial Approaches: Know-how Reuse and Transfer. IEEE International Conference on Information Reuse and Integration (IRI’07), pp: nil19-nil20, 2007. (H-Index: 12)
- GrantS (author), Reza, H (co-author). Towards Model-Driven Testing for Mission Critical Software Systems. Software Engineering Research and Practice (SERP’07), pp: 221-224, 2007.
- Voigt, R (author), Fazal, K (co-author), Reza, H (co-author). Specification-based Testing Method Using Testing Flow Graphs. In Proceedings of the Second International Conference on Software Engineering Advances (ICSEA’07), IEEE Computer Society 2007, ISBN 0-7695-2937-2, 48, August 2007. (H-Index:7)
- Kholgade, S (author), White, J (co-author), and Reza, H (co-author). Comparing the Specification of a Near-Real-Time Commanding System Using Statecharts and AADL. The International Conference on Information Technology: Next Generation (ITNG’07), IEEE Computer Society, pp: 355-360, 2007. (H-Index:16)
- Reza, H (author), Endapally, S (co-author), Grant, E.S (co-author). A Model-Based Approach for Testing GUI Using Hierarchical Predicate Transition Nets. The International Conference on Information Technology: Next Generation (ITNG’07), IEEE Computer Society, pp: 366-370, 2007. (H-Index:16)
- Reza, H (author), Grant, E.S (co-author). A Model-Based Testing Method for Multimodal Integration Testing. Software Engineering Research and Practice (SERP’07), pp:360-363, 2007
- Grant, E.S (author), Chennamaneni, R (co-author), and Reza, H (co-author). Towards Analyzing UML Class Diagram Models to Object-Relational Database Systems Transformations. IASTED International Conference on Databases and Applications, pp: 129-134, February 2006, (H-Index:11)
- Pedersen, L (author), Reza, H (co-author). A Formal Specification of a Programming Language: Design of Pit. The IEEE Leveraging Applications of Formal Methods, Second International Symposium (ISoLA’06), pp: 111-118, April 2006. (H-Index:12)
- Anandhan, A (author), Dhandapani, S (co-author), Reza, H (co-author), Namasivayam, K (co-author).Web Usability Testing - CARE Methodology. The International Conference on Information Technology: Next Generation (ITNG’06), IEEE Computer Society, pp:495-500, April 2006. (H-Index:16)
- Reza, H (author), Jurgens, D (co-author), White, J (co-author), Anderson, J (co-author), and Peterson, J (co-author). An Architectural Design Selection Tool Based on Design Tactics, Scenarios and Nonfunctional Requirements. The IEEE Electro/Information Technology Conference (EIT’05), May 2005. (H-Index:8)
- Reza, H (author), and Grant, E.S (co-author): Using Architectural Modeling for Integration Testing. Software Engineering Research and Practice (SERP’05), pp: 330-337, June 2005. (H-Index:15)
- Reza, H (author), Emanuel S. Grant, E.S (co-author): Quality-Oriented Software Architecture. The IEEE International Information Technology Coding and Computing (ITCC’05), IEEE Computer Society, pp: 140-145, April 2005. (H-Index:25)
- Reza, H (author) and Grant, E.S (co-author). A Two-Way Modeling Approach to Architectural Design Based on Reusable Specifications. The 2004 International Conference on Software Engineering Research and Practice (SERP’04), June 2004. (H-Index:15)
- Grant, E (author), Narayanan K (co-author), Reza, H (co-author). Rigorously Defined Domain Modeling Languages. Proceedings of the 4th Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA’04), 2004. (H-Index:59)
- Reza, H (author), and Grant, E.S (co-author). Model-Oriented Approach to Software Architecture. The 28th IEEE Annual International Computer Software and Application Conference (COMPSAC’04), Hong Kong, pp: 1-5, September 2004. (H-Index:34)
- Grant, E.S (author), and Reza, H (co-author). Framework for Domain-Specific Modeling Language Development. The 2004 International Conference on Software Engineering Research and Practice (SERP’04), June 2004. (H-Index:15)
- Reza, H (author), and Grant, E.S (co-author). A Formal Approach to Software Architecture of Collaborative Agents. The IEEE International Conference on Information Technology: Coding and Computing (ITCC’04), IEEE Computer Society, pp: 591-595, 2004. (H-Index:25)
- Reza, H (author), and He, X (co-author). An Integrated Method to Software Architecture. The IEEE International Conference on Software Engineering and Knowledge Engineering (SEKE’03), July 2003. (H-Index:27)
- Reza, H (author) and He, X (co-author). Pattern-Based Software Architecture: A Case Study. The IEEE International Conference on Information Technology: Coding and Computing (ITCC’03), April 2003. (H-Index:25)
- Reza, H (author), and Grant, E.S (co-author). A Method to Specify Software Architecture of a System. The 2003 International Conference on Software Engineering Research and Practice (SERP’03), June 2003. (H-Index:15)
- Reza, H (co-author). Associate Editor of the Proceedings of the International Conference Software Engineering Research and Practice (SERP’03). CSREA Press, Volume I, USA, June 2003. (H-Index:15)
- Reza, H (author), and He, X (co-author). Petri Nets Patterns: Elements of Reusable Petri Net Specifications. Proceedings of International Conference on Software Engineering and Research Practice (SERP’02), pp: 173 – 179, 2002. (H-Index:15)
- Korvald, C (author), Kim, E (co-author), Reza, H (co-author). Evaluation and implementation of machine learning techniques in usability testing for websites. The Midwest Instruction and Computing Symposium (MICS 2014), April 2014.
- Huber, J (author), and Reza, H (co-author). A Proposed Method for Achieving Increased Software Maintainability through Documentation. Midwest Instruction and Computing Symposium (MICS 2014). April 2014.
- Journal Editorial:
- Reza, H (co-author), Whittle, J (co-author). Guest editorial: Special section on Software Engineering Research and Practice 2007 (SERP'07). Software Quality Journal (SQJ), vol.15, no.1, pp: 3-5, 2007. (H-Index: 22; Impact Factor: 1.143)
- Reza, H, Grant, S.E.
Guest Editorial. Journal of Research and Practice in Information Technology (JRPIT), Special section on Software Engineering Research and Practice 2006 (SERP'06) vo.38. no.4, 2006. (H-Index: N/A; Impact Factor: 0.465) - Edited Conference Proceedings Books:
- Arabnia, H (co-author), and Reza, H (co-author). Editors of the Proceedings of the International Conference Software Engineering Research and Practice (SERP’12). CSREA Press, USA, July 2012.
- Arabnia, H (co-author), and Reza, H (co-author). Editors of the Proceedings of the International Conference Software Engineering Research and Practice (SERP’11). CSREA Press, Volume I, USA, June 2011.
- Arabnia, H (co-author), and Reza, H (co-author). Editors of the Proceedings of the International Conference Software Engineering Research and Practice (SERP’11). CSREA Press, Volume II, USA, June 2011.
- Arabnia, H (co-author), and Reza, H (co-author). Editors of the Proceedings of the International Conference Software Engineering Research and Practice (SERP’10). CSREA Press, Volume I, USA, July 2010.
- Arabnia, H (co-author), and Reza, H (co-author). Editors of the Proceedings of the International Conference Software Engineering Research and Practice (SERP’10). CSREA Press, Volume II, USA, July 2010.
- Arabnia, H (co-author) and Reza, H (co-author). Editors of the Proceedings of the International Conference Software Engineering Research and Practice (SERP’09). CSREA Press, Volume I, USA, July 2009.
- Arabnia, H (co-author) and Reza, H (co-author). Editors of the Proceedings of the International Conference Software Engineering Research and Practice (SERP’09). CSREA Press, Volume II, USA, July 2009.
- Arabnia, H (co-author), and Reza, H (co-author). Editors of the Proceedings of the International Conference Software Engineering Research and Practice (SERP’08). CSREA Press, Volume I, USA, June 2008.
- Arabnia, H (co-author), and Reza, H (co-author). Editors of the Proceedings of the International Conference Software Engineering Research and Practice (SERP’08). CSREA Press, Volume II, USA, June 2008
- Arabnia, H (co-author), and Reza, H (co-author). Editors of the Proceedings of the International Conference Software Engineering Research and Practice (SERP’07). CSREA Press, Volume I, USA, June 2007.
- Arabnia, H (co-author), and Reza, H (co-author). Editors of the Proceedings of the International Conference Software Engineering Research and Practice (SERP’07). CSREA Press, Volume II, USA, June 2007.
- Arabnia, A (co-author), and Reza (co-author). Editors of the Proceedings of the International Conference Software Engineering Research and Practice (SERP’06). CSREA Press, Volume I, USA, June 2006.
- Arabnia, H (co-author), and H. Reza, H (co-author). Editors of the Proceedings of the International Conference Software Engineering Research and Practice (SERP’06). CSREA Press, Volume II, USA, June 2006.
- Arabnia, H (co-author), and Reza, H (co-author). Editors of the Proceedings of the International Conference Software Engineering Research and Practice (SERP’05). CSREA Press, Volume I, USA, June 2005.
- Arabnia, H (co-author) and Reza, H (co-author). Editors of the Proceedings of the International Conference Software Engineering Research and Practice (SERP’05). CSREA Press, Volume II, USA, June 2005.
- Arabnia, H (co-author), and Reza, H (co-author). Editors of the Proceedings of the International Conference Software Engineering Research and Practice (SERP’04). CSREA Press, Volume I, USA, June 2004.
- Arabnia, H (co-author), and Reza, H (co-author). Editors of the Proceedings of the International Conference Software Engineering Research and Practice (SERP’04). CSREA Press, Volume II, USA, June 2004.
- Published Reviewed in ACM Computing Review-Journal:
- Software architecture optimization methods: a systematic literature review
Aleti A., Buhnova B., Grunske L., Koziolek A., Meedeniya I. IEEE Transactions on Software Engineering 39 (5): 658-683, 2013. Type: Article; Review #: CR141661 (1401-0080) - Software architecture in practice (3rd ed.)
Bass L., Clements P., Kazman R., Addison-Wesley Professional, Upper Saddle River, NJ, 2013. 640 pp. Type: Book (978-0-321815-73-6), Review #: CR141070 (1307-0564) - Software architecture knowledge management: theory and practice
Babar M., Dingsøyr T., Lago P., van Vliet H., Springer Publishing Company, Incorporated, Secaucus, NJ, 2009. 279 pp. Type: Book (9783642023736) Date Reviewed: Jan 28 2010, Review #: CR137677 (1101-0011) - Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. Betin Can A., Bultan T., Lindvall M., Lux B., Topp S. Automated Software Engineering 14 (2): 129-178, 2007. Type: Article, Review #: CR135749 (0905-0468).
- Formal methods applications and technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop, PDMC 2006, Revised Selected Papers (Lecture Notes in Computer Science 4346), Review #: CR134759 (0808-0733)
- Understanding enterprise SOA. Pulier E., Taylor H., Manning Publications Co., Greenwich, CT, 2005. Type: Book (9781932394597). Review #: CR133231 (0708-0772)
- Automatic Inclusion of Middleware Performance Attributes into Architectural UML Software Models
Verdickt T., Dhoedt B., Gielen F., Demeester P. IEEE Transactions on Software Engineering 31 (8): 695-711, 2005. Type: Article, Review #: CR132045 (0606-0609) - An Active-Architecture Approach to COTS Integration. Warboys B., Snowdon B., Greenwood R., Seet W., Robertson I., Morrison R., Balasubramaniam D., Kirby G., Mickan K. IEEE Software 22 (4): 20-27, 2005. Type: Article, Review #: CR131739 (0604-0440)
- Architecture-driven problem decomposition. Rapanotti L., Hall J., Jackson M., Nuseibeh B.Requirements Engineering (Proceedings of the 12th IEEE International Requirements Engineering Conference (RE’04), Sep 6-10, 2004) 80-89. 2004. Type: Proceedings, Review #: CR131227 (0603-0279)
- Checking of models built using a graphically based formal modeling language. Walters R. Journal of Systems and Software 76 (1): 55-64, 2005. Type: Article, Review #: CR131727 (0603-0283).
Lightweight enterprise architectures. Theuerkorn F., Auerbach Publications, Boston, MA, 2004. Type: Book (9780849321146), Review #: CR131052 (0602-0149) - Formal methods for software architectures: Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems. Bernardo M., Inverardi P., Springer-Verlag, London, UK, 2003. 287 pp. Type: Book (9783540200833), Review #: CR129808 (0502-0172)
- A model-checking verification environment for mobile processes. Ferrari G., Gnesi S., Montanari U., Pistore M. ACM Transactions on Software Engineering and Methodology 12 (4): 440-473, 2004. Type: Article. Review #: CR130025 (0501-0045)
- Bridging models across the software lifecycle. Medvidovic N., Grünbacher P., Egyed A., Boehm B . Journal of Systems and Software 68 (3): 199-215, 2003. Type: Article, Review #: CR129274 (0410-1185)
- Using Software Architecture for Code Testing. Muccini H., Bertolino A., Inverardi P. IEEE Transactions on Software Engineering 30 (3): 160-171, 2004. Type: Article, Review #: CR129534 (0410-1186)
- On Formalization of the Whole-Part Relationship in the Unified Modeling Language
Barbier F., Henderson-Sellers B., Le Parc-Lacayrelle A., Bruel J. IEEE Transactions on Software Engineering 29 (5): 459-470, 2003. Type: Article, Review #: CR129280 (0409-1078) - Linking usability to software architecture patterns through general scenarios
Bass L., John B. Journal of Systems and Software 66 (3): 187-197, 2003. Type: Article, Review #: CR128843 (0405-0633) - Quality-driven software architecture, van Vliet H. Journal of Systems and Software 66(3): 269-284, 2003. Type: Article (print)
- Software In The description logic handbook. New York, NY: Cambridge University Press, 2003. Type: Book Chapter (print)
- Formal methods application: an empirical tale of software, Clarkson M. IEEE Transactions on Software Engineering 28(3): 308-320. Type: Article (print)
- Software engineering Welty C.In The description logic handbook. New York, NY: Cambridge University Press, 2003. Type: Book Chapter, Review #: CR128406 (0402-0200)
- Application of an agent software architecture for the SEBPC CARD project: implications for software defects. Ingham J., Boldyreff C. In Systems engineering for business process change. New York, NY: Springer-Verlag New York, Inc., 2002. Type: Book Chapter, Review #: CR127863 (0310-1096)
- Certificates:
- Certificate of Recognition, UND IP Commercialization & Economic Development, University of
North Dakota, License#09-06, March 2012 - Certificate of Completion, DO-178B/254 Training, HighRely Reliable Embedded Solutions,
HTTP://www.highrely.com/Atego-acquires-highrely.php., 2009 - Certificate of Completion, Model-Based Engineering with SAE AADL, Software Engineering
Institute (SEI), Carnegie Mellon University (CMU), http://www.sei.cmu.edu/; Pittsburg, PA,
2007 - Awards:
- Received Recognition of Distinguished Contribution to Panel Session award. IEEE International Conference on Information Reuse and Integration (IRI’07), Panel Award, Las Vegas, 2007
- Received UND Achievement Award for Teaching, Research, and services, 2010
- Recognized for Innovative Contributions to UND Research, University of North Dakota, March 2012
- Received Achievement Award from the 2012 International Multi-conference in Computer Science and Computer Engineering. June 2012
- Nominations:
- Nominated for an Outstanding Graduate Faculty Teaching Award March 2007
- Nominated for an Outstanding Faculty Development for Service Award by UND Department of Computer Science and UND School of Aerospace Science, 2006
- Nominated for an Outstanding Graduate Faculty Teaching Award March 2012
- Nominated for an Outstanding Graduate/Professional Teaching Award 2024
Ph.D., Computer Science, North Dakota State University, Fargo, North Dakota, 2002
M.S., Computer Science, Loyola University Chicago, Chicago, Illinois, 1991
B.S., Computer Science, Chicago State University, Chicago, Illinois, 1988
- Professor, School of Electrical Engineering and Computer Science (SEECS), College of Mines and Engineering, University of North Dakota, Grand Forks, ND (8/18 to Present)
- Associate Professor, School of Aerospace Sciences, Department of Computer Science, University of North Dakota, Grand Forks, ND (8/07 to 8/18)
- Assistant Professor, School of Aerospace Sciences, Department of Computer Science, University of North Dakota, Grand Forks, ND (8/01- 8/07)
- Visiting Assistant Professor, School of Aerospace Sciences, Department of Computer Science, University of North Dakota, Grand Forks, ND (8/00- 8/01)
- Instructor, Computer Science Department, University of North Dakota, Grand Forks, ND (6/00 - 8/00)
- Instructor, Computer Science Department, University of North Dakota, Grand Forks, ND (6/99- 8/99)
- Teaching Assistant, Department of Computer Science, North Dakota State University, Fargo, ND (8/98 - 8/00)
- Research Assistant, Department of Computer Science, North Dakota State University, Fargo, ND (8/97- 8/00)
- Teaching Assistant, Department of Computer Science and Electrical Engineering, University of Vermont, Burlington, Vermont (1/91-5/91)
- Micro-Lab Technician, Network Technician, and Programmer consultant, Loyola University Chicago, IL (8/88-6/90)
- Math Tutor, Chicago State University, Chicago, Il, (8/87-7/88)
PhD Students:
- Shereen Ismail (ABD)
- Amrita Chatterjee (ABD)
- Ananth N.R Chandra (ABD)
- MD Saifur Rahman (PhD)
- Nicolas Nyakundi (Passed GQE)
- Shawn Renolds
- Mark Arinaitwe
- Megan Eichelberger
- Daniel Farrel
- Shahzad Haghshenas Jazi
- Brian Harley
- Arun Jaganathen
- Peter Paananen
- Malik Aziz