| |
| 2008 | ||
|---|---|---|
| 3 | EE | Timothy Bourke, Arcot Sowmya: Automatically transforming and relating Uppaal models of embedded systems. EMSOFT 2008: 59-68 |
| 2006 | ||
| 2 | EE | Timothy Bourke, Arcot Sowmya: A timing model for synchronous language implementations in simulink. EMSOFT 2006: 93-101 |
| 2005 | ||
| 1 | EE | Timothy Bourke, Arcot Sowmya: Formal Models in Industry Standard Tools: an Argos Block within Simulink. International Journal of Software Engineering and Knowledge Engineering 15(2): 389-396 (2005) |
| 1 | Arcot Sowmya | [1] [2] [3] |