Nurulhuda A. Manaf

According to our database, Nurulhuda A. Manaf authored at least 7 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

"OR" of Rule-Based Specification for Service Choreography.

Nor Najihah Zainal Abidin, Nurulhuda A. Manaf

Proceedings of the Services Computing - SCC 2023, 2023

2021

Correctness of Automatically Generated Choreography Specifications.

Nurulhuda A. Manaf, Nor Najihah Zainal Abidin, Nur Amalina Jamaludin

Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021

Validation and Verification of Business Rules.

Nor Najihah Zainal Abidin, Nurulhuda A. Manaf, Nur Amalina Jamaludin, Sotiris Moschoyiannis

Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8, 2021

2018

Generating verifiable service choreographies from SBVR models.

Nurulhuda A. Manaf

PhD thesis, 2018

Trace-Based Verification of Rule-Based Service Choreographies.

Sotiris Moschoyiannis, Leandros Maglaras, Nurulhuda A. Manaf

Proceedings of the 11th IEEE Conference on Service-Oriented Computing and Applications, 2018

2017

SBVR2Alloy: An SBVR to Alloy Compiler.

Nurulhuda A. Manaf, Andreas Antoniades, Sotiris Moschoyiannis

Proceedings of the 10th IEEE Conference on Service-Oriented Computing and Applications, 2017

2015

Service Choreography, SBVR, and Time.

Nurulhuda A. Manaf, Sotiris Moschoyiannis, Paul J. Krause

Proceedings of the Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2015