| |
| 1997 | ||
|---|---|---|
| 4 | Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.: Modeling and Verifying Active Structural Control Systems. Sci. Comput. Program. 29(1-2): 99-122 (1997) | |
| 1995 | ||
| 3 | EE | Wael M. Elseaidy, Rance Cleaveland: A tool for modeling and verifying real-time systems. ICECCS 1995: 70- |
| 1994 | ||
| 2 | Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.: Verifying an Intelligent Structural Control System: A Case Study. IEEE Real-Time Systems Symposium 1994: 271-275 | |
| 1992 | ||
| 1 | EE | Wael M. Elseaidy: Static and dynamic analysis of real-time systems. ACM Southeast Regional Conference 1992: 368-376 |
| 1 | John W. Baugh Jr. | [2] [4] |
| 2 | Rance Cleaveland | [2] [3] [4] |