 | 2005 |
|---|
| 4 |       | David H. Jones,
Michael Uschold:
Role of Rules and Rule Interchange in Semantic Integration & Interoperability.
Rule Languages for Interoperability 2005 |
| 2001 |
|---|
| 3 | | William Chan,
Richard J. Anderson,
Paul Beame,
David H. Jones,
David Notkin,
William E. Warner:
Optimizing Symbolic Model Checking for Statecharts.
IEEE Trans. Software Eng. 27(2): 170-190 (2001) |
| 1999 |
|---|
| 2 | | William Chan,
Richard J. Anderson,
Paul Beame,
David H. Jones,
David Notkin,
William E. Warner:
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.
ICSE 1999: 142-151 |
| 1998 |
|---|
| 1 |  | David H. Jones:
Semantic Integration of Embedded Systems Design Data in an Industrial Setting.
IADT 1998: 152-159 |
