Vahid Rafe

According to our database1, Vahid Rafe
  • authored at least 35 papers between 2004 and 2018.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
A tuned version of genetic algorithm for efficient test suite generation in interactive t-way testing strategy.
Information & Software Technology, 2018

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

Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm.
Journal of Systems and Software, 2017

A recommender system for tourism industry using cluster ensemble and prediction machine learning techniques.
Computers & Industrial Engineering, 2017

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

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

A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems.
Journal of Intelligent and Fuzzy Systems, 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.
Security and Communication Networks, 2015

A hybrid optimization algorithm based on harmony search and differential evolution for continuous domain.
Journal of Intelligent and Fuzzy Systems, 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 Systems, 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 Systems, 2013

Performance Modeling and Analysis of Software Architectures Specified Through Graph Transformations.
Computing and 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 Systems, 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.
JSEA, 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.
International Journal of Software Engineering and Knowledge Engineering, 2010

2009
A Novel Approach to Verify Graph Schema-Based Software Systems.
International Journal of Software Engineering and Knowledge Engineering, 2009

Towards automated verification of layered graph transformation specifications.
IET Software, 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
An Efficient Solution for Model Checking Graph Transformation Systems.
Electr. Notes Theor. Comput. Sci., 2008

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

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...