Diyaa-Addein Atiya

According to our database, Diyaa-Addein Atiya authored at least 4 papers between 2003 and 2005.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2005

Simpler Reasoning About System Properties: a Proof-by-Refinement Technique.

Diyaa-Addein Atiya, Steve King, Jim Woodcock

Proceedings of the REFINE 2005 Workshop, 2005

Extending Ravenscar with CSP Channels.

Diyaa-Addein Atiya, Steve King

Proceedings of the Reliable Software Technology, 2005

2004

Verification of concurrent safety-critical systems : the compliance-notation approach.

Diyaa-Addein Atiya

PhD thesis, 2004

2003

A Circus Semantics for Ravenscar Protected Objects.

Diyaa-Addein Atiya, Steve King, Jim Woodcock

Proceedings of the FME 2003: Formal Methods, 2003