Postgraduate research students

Arwa Hameed Alsubhi

Research title: Feature-Rich Typestate Analysis for Real-Time Embedded Systems

Publications

List by: Type | Date

Jump to: 2026 | 2024
Number of items: 2.

2026

Alsubhi, Arwa Hameed, Bruns, Friederike, Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J. ORCID logoORCID: https://orcid.org/0000-0003-3033-9091 (2026) TimedCoconut: platform-driven typestates extension for embedded C++. Art, Science, and Engineering of Programming, (Accepted for Publication)

2024

Alsubhi, Arwa Hameed and Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 (2024) Coconut: Typestates for Embedded Systems. In: 26th International Conference on Coordination Models and Languages (COORDINATION 2024), Groningen, The Netherlands, 17-21 June 2024, pp. 219-238. ISBN 9783031626975 (doi: 10.1007/978-3-031-62697-5_12)

This list was generated on Sat Oct 31 06:30:44 2026 GMT.
Jump to: Articles | Conference Proceedings
Number of items: 2.

Articles

Alsubhi, Arwa Hameed, Bruns, Friederike, Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J. ORCID logoORCID: https://orcid.org/0000-0003-3033-9091 (2026) TimedCoconut: platform-driven typestates extension for embedded C++. Art, Science, and Engineering of Programming, (Accepted for Publication)

Conference Proceedings

Alsubhi, Arwa Hameed and Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 (2024) Coconut: Typestates for Embedded Systems. In: 26th International Conference on Coordination Models and Languages (COORDINATION 2024), Groningen, The Netherlands, 17-21 June 2024, pp. 219-238. ISBN 9783031626975 (doi: 10.1007/978-3-031-62697-5_12)

This list was generated on Sat Oct 31 06:30:44 2026 GMT.

Supervisors