Author = Hassan Haghighi
Number of Articles: 5
1. Macrophage+: a Game With a Purpose for Applying Human Intelligence in Control Mechanisms

Articles in Press, Accepted Manuscript, Available Online from 12 January 2020

Ali Tarihi; Hassan Haghighi; Fereidoon Shams Aliee; Amirmehdi Setarenejad


2. Constructing automated test oracle for low observable software

Volume 27, Issue 3, Winter and Spring 2020, Pages 1333-1351

Meysam Valueian; Niousha Attar; Hassan Haghighi; Mojtaba Vahidi-Asl


3. From Object-Z Specification to Groovy Implementation

Volume 25, Issue 6, November and December 2018, Pages 3415-3441

Farzin Zaker; Hassan Haghighi; Eslam Nazemi


4. SCW+: A Service Oriented Framework for Cloud Workflow Systems

Volume 23, Issue 3, June 2016, Pages 1195-1216

Milad Torkashvan; Hassan Haghighi


5. A Formal Mapping fromObject-Z Specification to C++ Code

Volume 20, Issue 6, December 2013, Pages 1953-1977

Mehrnaz Najafi; Hassan Haghighi