Nurulhuda A. Manaf

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 5

Top Topics

Manually Generated

Stainless Steel

Highly Optimized

Top Venues

University of Surrey, Guildford, UK (PHD)

Education History

University of Surrey, Guildford, UK

PHD

Publications

Nor Najihah Zainal Abidin, Nurulhuda A. Manaf
"OR" of Rule-Based Specification for Service Choreography. SCC (2023)
Nor Najihah Zainal Abidin, Nurulhuda A. Manaf, Nur Amalina Jamaludin, Sotiris Moschoyiannis
Validation and Verification of Business Rules. RuleML+RR (Supplement) (2021)
Nurulhuda A. Manaf, Nor Najihah Zainal Abidin, Nur Amalina Jamaludin
Correctness of Automatically Generated Choreography Specifications. RuleML+RR (2021)
Sotiris Moschoyiannis, Leandros A. Maglaras, Nurulhuda A. Manaf
Trace-Based Verification of Rule-Based Service Choreographies. SOCA (2018)
Nurulhuda A. Manaf, Andreas Antoniades, Sotiris Moschoyiannis
SBVR2Alloy: An SBVR to Alloy Compiler. SOCA (2017)
Nurulhuda A. Manaf, Sotiris Moschoyiannis, Paul J. Krause
Service Choreography, SBVR, and Time. FOCLASA (2015)