Hassan Reza

Orcid: 0000-0002-7593-9624

According to our database1, Hassan Reza authored at least 71 papers between 2003 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Conceptual Software Framework to Monitor Harmful Algal Blooms (HABs) in Lakes.
Proceedings of the 14th IEEE Annual Computing and Communication Workshop and Conference, 2024

Hierarchical Software Framework for Safe Unmanned Aerial Systems Integration into National Airspace (NAS).
Proceedings of the 14th IEEE Annual Computing and Communication Workshop and Conference, 2024

2023
Securing Wireless Sensor Networks Using Machine Learning and Blockchain: A Review.
Future Internet, June, 2023

Rapid Assessment of Fish Freshness for Multiple Supply-Chain Nodes Using Multi-Mode Spectroscopy and Fusion-Based Artificial Intelligence.
Sensors, 2023

Toward an Intelligent Blockchain IoT-Enabled Fish Supply Chain: A Review and Conceptual Framework.
Sensors, 2023

Scenario-Based Approach to Systematically Derive Test Cases for Systems.
Proceedings of the IEEE International Conference on Electro Information Technology, 2023

Towards Blockchain-based Adaptive Trust Management in Wireless Sensor Networks.
Proceedings of the IEEE International Conference on Electro Information Technology, 2023

A Blockchain-based IoT Security Solution Using Multichain.
Proceedings of the 13th IEEE Annual Computing and Communication Workshop and Conference, 2023

A Hybrid Deep Neural Network Model to Forecast Day-Ahead Electricity Prices in the USA Energy Market.
Proceedings of the 2023 IEEE World AI IoT Congress (AIIoT), 2023

2022
A Review of Knowledge Graph Completion.
Inf., 2022

A Systematic Survey on Cybersickness in Virtual Environments.
Comput., 2022

A Systematic Review Towards Big Data Analytics in Social Media.
Big Data Min. Anal., 2022

Security Challenges of Blockchain-Based Supply Chain Systems.
Proceedings of the 13th IEEE Annual Ubiquitous Computing, 2022

A Lightweight Multilayer Machine Learning Detection System for Cyber-attacks in WSN.
Proceedings of the 12th IEEE Annual Computing and Communication Workshop and Conference, 2022

A Face Recognition Method Using Deep Learning to Identify Mask and Unmask Objects.
Proceedings of the 2022 IEEE World AI IoT Congress (AIIoT), 2022

Evaluation of Naïve Bayesian Algorithms for Cyber-Attacks Detection in Wireless Sensor Networks.
Proceedings of the 2022 IEEE World AI IoT Congress (AIIoT), 2022

Towards A Lightweight Identity Management and Secure Authentication for IoT Using Blockchain.
Proceedings of the 2022 IEEE World AI IoT Congress (AIIoT), 2022

2021
Toward Management of Uncertainty in Self-Adaptive Software Systems: IoT Case Study.
Comput., 2021

A lightweight Distributed Database Management in WSN.
Proceedings of the International Symposium on Networks, Computers and Communications, 2021

A Survey of Machine Learning Approach to Software Cost Estimation.
Proceedings of the IEEE International Conference on Electro Information Technology, 2021

2020
Adaptive Dynamic Probabilistic Elitist Ant Colony Optimization in Traveling Salesman Problem.
SN Comput. Sci., 2020

Systematic Mapping Study of Non-Functional Requirements in Big Data System.
Proceedings of the 2020 IEEE International Conference on Electro Information Technology, 2020

Toward Modeling and Verification of Uncertainty in Cyber-Physical Systems.
Proceedings of the 2020 IEEE International Conference on Electro Information Technology, 2020

2018
Developing a New Storage Format and a Warp-Based SpMV Kernel for Configuration Interaction Sparse Matrices on the GPU.
Comput., 2018

Towards Cyber-Physical Requirement Engineering Elicitation Tool Support.
Proceedings of the 2018 World Automation Congress, 2018

2017
A fuzzy adaptive differential evolution for multi-objective 3D UAV path optimization.
Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017

2016
A Security Analysis of Cyber-Physical Systems Architecture for Healthcare.
Comput., 2016

2015
A Blackboard-style decision-making system for multi-tier craft control and its evaluation.
J. Exp. Theor. Artif. Intell., 2015

Regression Testing of GPU/MIC Systems for HPCC.
Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for High Performance Computing in Science, 2015

2014
Reverse Engineering of Legacy Agricultural Phenology Modeling System.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

The Use of the Blackboard Architecture for a Decision Making System for the Control of Craft with Various Actuator and Movement Capabilities.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

2013
Portability testing of scientific computing software systems.
Proceedings of the IEEE International Conference on Electro-Information Technology , 2013

2012
A Secure Software Architecture for Mobile Computing.
Proceedings of the Ninth International Conference on Information Technology: New Generations, 2012

Context-Based Testing of COTs Using Petri Nets.
Proceedings of the Ninth International Conference on Information Technology: New Generations, 2012

2011
Testing Relational Database Using SQLLint.
Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

A Model-Based Testing Using Scenarios and Constraints-based Modular Petri Nets.
Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

Modeling of UAS Swarms Using Dynamic and Re-Configurable Software Architecture.
Proceedings of the 21st International Conference on Systems Engineering (ICSEng 2011), 2011

Modeling UAS Swarm System Using Conceptual and Dynamic Architectural Modeling Concepts.
Proceedings of the Conceptual Structures for Discovering Knowledge, 2011

2010
Using Pit to improve security in low-level programs.
J. Supercomput., 2010

A Fault Tolerant Architecture Using AADLs and Error Model Annexfor for Unmanned Aircraft Systems (UAS).
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

Toward Model Based Testing: Combining AADLS with High Level Petri Nets.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

Model Based Testing Using Software Architecture.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

A Framework for Testing RESTful Web Services.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

2009
The Impact of a Portable Programming Language Pit.
Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009

A Safety Analysis Method Using Fault Tree Analysis and Petri Nets.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Toward Extending AADL-OSATE Toolset with Color Petri Nets (CPNs).
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

2008
Assessing the Complexity of Software Architecture Using Coupling and Cohesion.
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

Towards Model Driven Testing for Mission Critical Software Systems.
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

A Model Based Testing Technique to Test Web Applications Using Statecharts.
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

A Method to Test Component Off-the-Shelf (COTS) Used in Safety Critical Systems.
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

2007
A method to test concurrent systems using architectural specification.
J. Supercomput., 2007

Guest editorial: Special section on Software Engineering Research and Practice 2005 (SERP'05).
Softw. Qual. J., 2007

A Model-Based Testing Method for Multimodal Integration Testing.
Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

A Model-Based Approach for Testing GUI Using Hierarchical Predicate Transition Nets.
Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007

Comparing the Specification of a Near-Real Time Commanding System Using Statecharts and AADL.
Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007

Specification-based Testing Method Using Testing Flow Graphs.
Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

2006
A Methodology for Architectural Design of Concurrent and Distributed Software Systems.
J. Supercomput., 2006

Guest Editorial.
J. Res. Pract. Inf. Technol., 2006

The Role of Model-Oriented Software Architecture in Safety Engineering.
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

Web Usability Testing - CARE Methodology.
Proceedings of the Third International Conference on Information Technology: New Generations (ITNG 2006), 2006

A Formal Specification of a Programming Language: Design of Pit.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Towards Analyzing UML Class Diagram Models to Object-Relational Database Systems Transformations.
Proceedings of the IASTED International Conference on Databases and Applications, 2006

2005
Using Architectural Modeling for Integration Testing.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Quality-Oriented Software Architecture.
Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

2004
A Two-Way Modeling Approach to Architectural Design Based on Reusable Specifications.
Proceedings of the International Conference on Software Engineering Research and Practice, 2004

Framework for Domain-Specific Modeling Language Development.
Proceedings of the International Conference on Software Engineering Research and Practice, 2004

A Formal Approach to Software Architecture of Agent-Base Systems.
Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04), 2004

Model Oriented Software Architecture.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003
A Framework for Specifying Software Architecture Based on Multi-Formalisms.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003

An Integrated Method to Software Architecture.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Pattern-Based Software Architecture: A Case Study.
Proceedings of the 2003 International Symposium on Information Technology (ITCC 2003), 2003


  Loading...