PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Rafe, Vahid"

Author of the publication

copydeleteadd this publication to your clipboard
Towards automated verification of layered graph transformation specifications.

, , , and . IET Software, 3 (4): 276-291 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Vahid Pourostad University of Stuttgart

Samaneh Vahid Dastjerdi University of Stuttgart

Dr. Vahid Aref University of Stuttgart

 

Other publications of authors with the same name

Modeling Fault Tolerant Services in Service-Oriented Architecture., , , and . TASE, page 319-320. IEEE Computer Society, (2009)Formal Analysis of UML 2.0 Activities Using Graph Transformation Systems., , and . International Journal of Software Engineering and Knowledge Engineering, 20 (5): 679-694 (2010)A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems., , and . Journal of Intelligent and Fuzzy Systems, 31 (1): 137-149 (2016)Model-based test suite generation for graph transformation system using model simulation and search-based techniques., and . Information & Software Technology, (2019)Designing an Architectural Style for Pervasive Healthcare Systems., and . J. Medical Systems, 37 (2): 9927 (2013)A formal framework to model and validate event-based software architecture., , , and . WCIT, volume 3 of Procedia Computer Science, page 961-966. Elsevier, (2011)A hybrid optimization algorithm based on harmony search and differential evolution for continuous domain., , and . Journal of Intelligent and Fuzzy Systems, 29 (5): 2169-2176 (2015)ASM2Bogor: An approach for verification of models specified through Asmeta language., and . J. Vis. Lang. Comput., 23 (5): 287-298 (2012)Performance improvement for recommender systems using ontology., , , and . Telematics and Informatics, 34 (8): 1772-1792 (2017)A Recommendation Method Based on Semantic Similarity and Complementarity Using Weighted Taxonomy: A Case on Construction Materials Dataset., , , and . JIKM, 17 (1): 1-26 (2018)