Wael M. Elseaidy

According to our database, Wael M. Elseaidy authored at least 4 papers between 1992 and 1997.

Collaborative distances:

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

1997

Modeling and Verifying Active Structural Control Systems.

Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.

Sci. Comput. Program., 1997

1995

A tool for modeling and verifying real-time systems.

Wael M. Elseaidy, Rance Cleaveland

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

1994

Verifying an Intelligent Structural Control System: A Case Study.

Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

1992

Static and dynamic analysis of real-time systems.

Wael M. Elseaidy

Proceedings of the 30th Annual Southeast Regional Conference, 1992