Dr. Aziz Fellah

Associate Professor

Education

• Ph.D. Computer Science, Kent State University, Kent, Ohio, USA
• M.S. Computer Science, Case Western Reserve University, Cleveland, Ohio, USA
• B.S. Computer Science/Software Engineering (5-year degree), University of Constantine, Constantine, Algeria

Courses Taught

Academic Interests

• Programming and Formal Languages, Software Engineering, Theoretical Computer Science
• Stream Programming Languages, Program Comprehension
• Language-based Software Engineering, Language-based Information-flow Security
• Model Checking and Software Algorithmic Verification, Formal Methods, Parallel Computational Models

Scholarly Activity

Selected Publications

• A. Fellah and A. Bandi, “Microservice-based Architectures: An Evolutionary Software Development Model’’, in proceedings of the 33rd International Conference on Computer Applications in Industry and Engineering (CAINE 2020), pp. 1-8, Las Vegas, Oct. 2020.
• Bandi and A. Fellah, “Cognitive Informatics in Emergency Disaster Management Systems”, in proceedings of the 29th International Conference on Software and Data Engineering, Las Vegas, pp. 21-28, Oct. 2020,
• A. Fellah, A. Bandi, and M. Yousef, “Moving Towards Program Comprehension in Software Development: A Case Study”, in proceedings of the 4th International Conference on Computing Methodologies and Communication (ICCMC 2020), pp. 660-665, Feb. 2020.
• A. Bandi, D. Case, N. Eloe, and A. Fellah, “Challenges of Mentoring Graduate Directed Projects: Profession-based Learning Through Collaboration” Panel Discussion:  Consortium for Computing Sciences in Colleges Computing Sciences in Colleges, St. Louis, MO. 2019.
• C.  Badami, D. Case, N. Eloe, A. Fellah, D. Hawley, C. Hoot, and D. Linville, “Blended Courses in Computer Science and Information Systems Education: Adapting to Changing Educational Methods and Needs’’ Panel Discussion: Consortium for Computing Sciences in Colleges. St. Louis, MO. April 2019.
• A. Fellah and A. Bandi, “Learning Language Equations and Regular Languages using Alternating Finite Automata”, CCSC Rocky Mountain Region 29th Annual Conference, Journal of Computing Science in Colleges 35(2), pp. 19-28, Sioux Falls, SD. Oct. 2019.
• A. Fellah and A. Bandi, “Automata-Based Timed Event Program Comprehension for Real-Time Systems,” in proceedings of FASSI 5th International Conference on Fundamentals and Advances in Software Systems Integration, Nice, France: IARIA, pp. 21-28, Oct. 2019.
• A. Fellah and A. Bandi, “On Architectural Decay Prediction in Real-Time Software Systems,” in proceedings of ISCA 28th International Conference on Software Engineering and Data Engineering, San Diego, California, pp. 98-108, Oct. 2019.
• A. Bandi, D. Case, N. Eloe, and A. Fellah, “Challenges of Mentoring Graduate Directed Projects: Profession-based Learning Through Collaboration: Panel Discussion.  Consortium for Computing Sciences in Colleges. St. Louis, MO. 2019.
• A. Bandi, and A. Fellah, “Socio-Analyzer: A Sentiment Analysis Using Social Media Data,” in proceedings of ISCA 28th International Conference on Software Engineering and Data Engineering, San Diego, California, pp. 61-67, Oct. 2019.
• A.  Bandi, A. Fellah, and H. Bondalapati, “Embedding Security Concepts in Introductory Programming Courses,” Journal of Computing Sciences in Colleges, 34(4), pp. 78-89, April. 2019.
• S. Beck, C. Cline, A. Fellah, D.  Hawley, and M. Oudshoorn, “Outcomes in Computer Science and Information Systems Education: Incorporating University, College and School Outcomes into the Course’’. Panel at CCSC Central Plains Conference, Maryville, MO, 2018.
• A.  Bandi, A. Fellah, H. Bondalapati, and M. Corson, “Mobile Usability Testing: Gathering Evidence for Designing User Interfaces for Emergency Disaster Management Systems,” in proceedings of ISCA 28th International Conference on Software Engineering and Data Engineering, New Orleans, Louisiana, USA: ISCA, Oct. 2018. 
• A. Fellah, and A. Bandi, “The Essence of Recursion: Reduction, Delegation, and Visualization”, Consortium for Computing Sciences in Colleges. Journal of Computing Science in Colleges, 33(5), pp. 115-123, April. 2018.
• R. Zeng, A. Bandi, and A. Fellah, “Designing a Brain-computer Interface using EMOTIV Headset and Programming Languages”, in proceedings of the Second International Conference Methodologies and Communication (IEEE, ICCMC 2018), Feb. 2018.
• A. Bandi, and A.  Fellah, “Crafting a Data Visualization Course for the Tech Industry”. Journal of Computing Sciences in Colleges, 33(2), pp. 46-56, Dec. 2017.
• Rogers, A. Fellah, and D. Wong, “Flash, Buzz, Zap and Ouch! The Sounds and Sights of the Internet of Things in the Classroom”, in proceedings of the  Annual Conference - Consortium for Computing Sciences in Colleges (CCSC),  Nebraska, April 2017.
• Bandi, and A. Fellah, “Design Issues for Converting Websites to Mobile Sites and Apps: A Case Study, in proceedings of International Conference on Computing Methodologies and Communication (IEEE, ICCMC 2017). Erode, India, July 2017. 
• Fellah, “Real-Time Languages and Timed Temporal Logics: Relationships and Specifications”, Procedia, Computer Science Journal, Elsevier Vol. 62, pp. 47-54, Sept. 2015.
• A. Fellah, “Real-Time Languages, Timed Alternating Automata, and Timed Temporal Logics: Relationships and Specifications”, in proceedings of International Conference on Soft Computing and Software Engineering (SCSE 2015), Berkeley, California, March 2015.
• A. Fellah, “Extended Timed Alternating Finite Automata: Revisited”, in proceedings of International Conference on Foundations of Computer Science, Las Vegas, USA, July 2013.
• A. Fellah and A. Maamir, “A Domain Independent Methodology for Near-Duplicate Detection”, in proceedings of International Conference on Applied Computing, Madrid, Spain, pp. 139-146 Oct. 2012.
• A. Fellah, “Timed Event Systems and Automata”, in proceedings of International Conference on Control and Applications, pp. 133-140, Jun 1-3, Vancouver, BC, 2011.
• A. Fellah, “An Automata Based Framework to Software Model Checking”, in proceedings of the Annual ACM Symposium on Applied Computing (SAC), (Software Verification and Testing), pp. 2498-2502, Sierre, Switzerland, March 22-26, 2011.
• A. Fellah, “Timed State-Event Automata and Alternation for Software Model Checking”, in proceedings of the IADIS, Applied Computing, pp. 226-233, Rome, Italy, Nov. 19-22, 2009.
• A. Maamir, A. Fellah, and L. Salem, “Fine Granularity Access Rights for Information Flow Control in Object Oriented Systems”, International Journal of Security and its Applications, Vol. 2, No. 3, pp. 81-91, July 2008.
• A. Maamir, A. Fellah, and L. Salem, “Controlling Information Flow in Object Oriented Systems”, International Journal of Information and Security, Vol. 2, pp. 140-146, June 2008.
• A. Maamir, A. Fellah, and L. Salem, “Fine Granularity Access Rights for Information Flow Control”, in proceedings of International Conference on Information Security and Assurance, Busan, Korea, pp. 122-128, April 2008.
• M. Madi and A. Fellah, “Efficient Page-Level Information Retrieval for Compressed Readable Documents”, in proceedings of the IADIS International Conference Applied Computing, Algarve, Portugal, pp. 156-163, April, 2008.
• A. Fellah, Z. Friggstad, and S. Noureddine, “Deterministic Timed AFA: A New Class of Timed Alternating Finite Automata”, Journal of Computer Science, Vol. 5. No. 1, pp. 1-8, 2007.
• A. Fellah, “On Model Checking and Related Automata Problems”, Third Annual Scientific Forum, University of Sharjah, UAE, May 2-3, 2007.
• A. Fellah, “Alternation and Time for Concurrent Software Architectures and Distributed Timed-Related Web Services”, in proceedings of the International Conference on Methodology Tools, Software Applications (M&S MTSA'06), pp. 103{110, Calgary, July 31-Aug. 2, 2006.
• A. Fellah, “Generalized Timed Alternating Finite Automata”, in proceedings of the 7th International Workshop on Boolean Problems, Freiberg, Sachsen, Germany, pp. 159-164, Sept. 20-22, 2006.
• A. Fellah, Z. Friggstad, and S. Noureddine, “Some Succinctness Properties of Omega DTAFA”, in proceedings of the International Conference on Software Engineering & Distributed Systems, pp. 500-506, Madrid, Spain, Feb. 15-17, 2006.
• A. Fellah, Z. Friggstad, and S. Noureddine, “Some Succinctness Properties of Omega DTAFA”, Transactions on Computers, Vol. 5 (4), pp. 740-745, 2006.
• A. Fellah, “Boolean Web-Service Automata: A Parallel Model for Distributed Web Service Operations”, in proceeding of IEEE Conference on Communications, Computers and Signal Processing, pp. 416-420, Victoria, BC., Canada, pp. 24-26, 2005.
• S. Noureddine and A. Fellah, “Pinpointing the Real Zeros of Analytical Functions”, Chapter in High Performance Computational Science and Engineering (HPCSE), Kluwer Academic Publishers,  Springer,  pp. 123-142, 2005.
• A. Fellah, “On Deterministic Timed Alternating Finite Automata”, in proceedings of  International Conference & Workshop on Boolean Problems, pp. 63-70, Freiberg, Germany, Sept. 2004.
• A. Fellah and C. Harding, “Language Equations for Timed Alternating Finite Automata”, International Journal of Computer Mathematics, Vol. 80 (9), pp. 1075-1091, 2003.
• A. Maamir and A. Fellah, “Adding Flexibility in Information Flow Control for Object-Oriented Systems Using Versions”, International Journal of Software Engineering and Knowledge Engineering, Vol. 13 (3), pp. 313-325, 2003.
• A. Fellah and R. Mawson, “Distributed Multidimensional Suffix Arrays for String Search”, in proceedings of IEEE International Conference on Communications, Computers and Signal Processing, pp. 792-795, Victoria, BC, Canada, Aug. 2003.
• A. Fellah, A. Maamir, and I. Rahwan, “Information Flow Control Using Versions in Object-Oriented Systems”, High Performance Computing Systems and Applications, Chapter 13, Kluwer Academic Publisher, pp. 271-284 2003.
• A. Fellah, “Distributed Object-Based Memory Paging on Computer Clusters”, Int’l Symposium on Performance Evaluation of Computer and Telecommunication Systems, pp. 240-245, San Diego, California, July 2002.
• A. Fellah, “Concurrent and Distributed Data Structures for Multikeys Sorting on Computer Clusters”,  in IEEE proceedings of the 16th International Symposium on High Performance Computing Systems and Applications, pp. 281-28, Moncton, Canada, June 2002.
• A. Fellah, “Multikey Sorting and Searching on Computer Clusters”,  in proceedings of the International  Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE). Algorithms and High-Performance Computations, Alcante, Spain, Sep. 2002.
•  A. Fellah, “Improving Distributed Object-Oriented Virtual Memory Paging Using Computer Clusters”,  in proceeding of the International  Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE). Algorithms and High-Performance Computations, Alcante, Spain, Sept. 2002.
• A. Fellah, M. Abaza, and A. Maamir, “Efficient Data and Workload Balancing for Multikey Sorting on Hypercube Multicomputers”, in proceedings of the Conference on Applied Informatics, pp. 355-358, Innsbruck, Austria, Feb. 2001.
•  A. Fellah, A. Maamir, and M. Abaza, ”On Multikey Sorting”, International  Journal of Advances in Engineering Software, Vol. 31, pp. 493-498, 2000.

Other Professional Experience

• Peer reviewer for computer science conferences, journals and research grants.
• Chair of the Committee of B.Sc./M.S. Programs in Software Engineering
• Departmental Teaching Award for Teaching Excellence.
• Chair and Coordinator of Research.
• Coordinator of Undergraduate Research.
• Intellaren Consultant, Prog. Lang. & Software Systems.
• PR and Student Society Liaison Coordinator.
• Member of the Scholarship Committee.
• Coordinator of KCP&L and Evergy Annual Competition.
• Chair of the Open House for Recruitment and Retention Committee.
• Member of the Department and College Tenure Track/Promotion Committee.
• Member of the Graduate Program Committee.
• ACM Regional and International Collegiate Programming Contest: Member, Co-Chair, Judge, Coach.
• High School Provincial Programming Competition: Coordinator.
• Middle School Provincial Scratch Programming Competition: Coordinator.
• Computer Science Coordinator.
• Extensive experience with computing accreditation (i.e., ABET, CSAC).
• Committee member, supervisor/co-supervisor, and reviewer of theses and proposals.
• Substantial involvement in various computing academic programs.
• Substantial research funding.