| |
| 1996 | ||
|---|---|---|
| 4 | EE | Henri B. Weinberg, Nancy A. Lynch: Correctness of vehicle control systems-a case study. IEEE Real-Time Systems Symposium 1996: 62-72 |
| 1995 | ||
| 3 | Henri B. Weinberg, Nancy A. Lynch, Norman M. Delisle: Verification of Automated Vehicle Protection Systems. Hybrid Systems 1995: 101-113 | |
| 2 | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg: Hybrid I/O Automata. Hybrid Systems 1995: 496-510 | |
| 1992 | ||
| 1 | Henri B. Weinberg, Lenore D. Zuck: Timed Ethernet: Real-Time Formal Specification of Ethernet. CONCUR 1992: 370-385 | |
| 1 | Norman M. Delisle | [3] |
| 2 | Nancy A. Lynch | [2] [3] [4] |
| 3 | Roberto Segala | [2] |
| 4 | Frits W. Vaandrager | [2] |
| 5 | Lenore D. Zuck | [1] |