Thomas Sidle

Publication Activity (10 Years)

Years Active: 1974-2005
Publications (10 Years): 0

Publications

Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad, Debashis Sahoo, Thomas Sidle
Error Detection Using BMC in a Parallel Environment. CHARME (2005)
Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle
Dynamic abstraction using SAT-based BMC. DAC (2005)
Christian Stangier, Thomas Sidle
Invariant Checking Combining Forward and Backward Traversal. FMCAD (2004)
Thomas Sidle
Weaknesses of commercial data base management systems in engineering applications. DAC (1980)
F. Beuger, Thomas Sidle, L. W. Leyking, A. G. Livitsanos
A programmable configurator. DAC (1974)