Vahid Rafe

Orcid: 0000-0003-3935-5151

According to our database1, Vahid Rafe authored at least 58 papers between 2004 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
Using data mining techniques to generate test cases from graph transformation systems specifications.
Autom. Softw. Eng., June, 2024

Fake news detection using dual BERT deep neural networks.
Multim. Tools Appl., May, 2024

Automatic program bug fixing by focusing on finding the shortest sequence of changes.
Artif. Intell. Rev., February, 2024

A three-phase approach to improve the functionality of t-way strategy.
Soft Comput., January, 2024

2023
Automatic bug localization using a combination of deep learning and model transformation through node classification.
Softw. Qual. J., December, 2023

A comprehensive review of the security flaws of hashing algorithms.
J. Comput. Virol. Hacking Tech., June, 2023

2022
Using Bayesian optimization algorithm for model-based integration testing.
Soft Comput., 2022

Using deep reinforcement learning to search reachability properties in systems specified through graph transformation.
Soft Comput., 2022

Fake news detection using parallel BERT deep neural networks.
CoRR, 2022

2021
Correction to: GALP: a hybrid artificial intelligence algorithm for generating covering array.
Soft Comput., 2021

GALP: a hybrid artificial intelligence algorithm for generating covering array.
Soft Comput., 2021

Using memetic algorithm for robustness testing of contract-based software models.
Artif. Intell. Rev., 2021

2020
An approach based on knowledge exploration for state space management in checking reachability of complex software systems.
Soft Comput., 2020

Using search-based techniques for testing executable software models specified through graph transformations.
Int. J. Mach. Learn. Cybern., 2020

A new metaheuristic approach based on agent systems principles.
J. Comput. Sci., 2020

An efficient approach to state space management in model checking of complex software systems using machine learning techniques.
J. Intell. Fuzzy Syst., 2020

Extracting Combinatorial Test parameters and their values using model checking and evolutionary algorithms.
Appl. Soft Comput., 2020

2019
MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation.
Soft Comput., 2019

Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation.
Reliab. Eng. Syst. Saf., 2019

Model-based test suite generation for graph transformation system using model simulation and search-based techniques.
Inf. Softw. Technol., 2019

2018
A Recommendation Method Based on Semantic Similarity and Complementarity Using Weighted Taxonomy: A Case on Construction Materials Dataset.
J. Inf. Knowl. Manag., 2018

Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations.
Inf. Softw. Technol., 2018

A tuned version of genetic algorithm for efficient test suite generation in interactive t-way testing strategy.
Inf. Softw. Technol., 2018

2017
Performance improvement for recommender systems using ontology.
Telematics Informatics, 2017

Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm.
J. Syst. Softw., 2017

A recommender system for tourism industry using cluster ensemble and prediction machine learning techniques.
Comput. Ind. Eng., 2017

2016
Security analysis of network protocols through model checking: a case study on mobile IPv6.
Secur. Commun. Networks, 2016

An Optimal Solution for Test Case Generation Using ROBDD Graph and PSO Algorithm.
Qual. Reliab. Eng. Int., 2016

A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems.
J. Intell. Fuzzy Syst., 2016

EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles.
Appl. Soft Comput., 2016

2015
Using graph transformation systems to formalize Tropos diagrams.
J. Vis. Lang. Comput., 2015

A security framework for developing service-oriented software architectures.
Secur. Commun. Networks, 2015

A hybrid optimization algorithm based on harmony search and differential evolution for continuous domain.
J. Intell. Fuzzy Syst., 2015

A hybrid heuristic workflow scheduling algorithm for cloud computing environments.
J. Exp. Theor. Artif. Intell., 2015

A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations.
Appl. Soft Comput., 2015

2014
A Reliable Architectural Style for Designing Pervasive Healthcare Systems.
J. Medical Syst., 2014

A heuristic solution for model checking graph transformation systems.
Appl. Soft Comput., 2014

2013
Scenario-driven analysis of systems specified through graph transformations.
J. Vis. Lang. Comput., 2013

Designing an Architectural Style for Pervasive Healthcare Systems.
J. Medical Syst., 2013

Performance Modeling and Analysis of Software Architectures Specified Through Graph Transformations.
Comput. Informatics, 2013

2012
ASM2Bogor: An approach for verification of models specified through Asmeta language.
J. Vis. Lang. Comput., 2012

A Qualitative Framework to Assess Hospital / Medical Websites.
J. Medical Syst., 2012

2011
Style-based modeling and verification of fault tolerance service oriented architectures.
Proceedings of the First World Conference on Information Technology, 2011

A formal framework to model and validate event-based software architecture.
Proceedings of the First World Conference on Information Technology, 2011

An Adaptive Method Based on High-Level Petri Nets for E-Learning.
J. Softw. Eng. Appl., 2011

Galoan: a multi-agent approach to herd cows.
Ann. Math. Artif. Intell., 2011

2010
Formal Analysis of UML 2.0 Activities Using Graph Transformation Systems.
Int. J. Softw. Eng. Knowl. Eng., 2010

2009
A Novel Approach to Verify Graph Schema-Based Software Systems.
Int. J. Softw. Eng. Knowl. Eng., 2009

Towards automated verification of layered graph transformation specifications.
IET Softw., 2009

Modeling Fault Tolerant Services in Service-Oriented Architecture.
Proceedings of the TASE 2009, 2009

Towards Automated Software Verification Using Model Checking Techniques.
Proceedings of the TASE 2009, 2009

A Graph Transformation-based Approach to Task Allocation in Wireless Sensor Actor Networks.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

2008
Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems.
Proceedings of the Theoretical Aspects of Computing, 2008

A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows.
Proceedings of the Advances in Computer Science and Engineering, 2008

2007
An Efficient Solution for Model Checking Graph Transformation Systems.
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, 2007

2006
An MDA-Based Modeling and Design of Service Oriented Architecture.
Proceedings of the Computational Science, 2006

2005
Providing Local ORB-Like Services to Collocated CORBA Components.
Proceedings of the 2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26, 2005

2004
CORBA Components Collocation Optimization Enhanced with Local ORB-Like Services Support.
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004


  Loading...