Elena Teica

Publication Activity (10 Years)

Years Active: 1998-2001
Publications (10 Years): 0

Publications

Elena Teica, Rajesh Radhakrishnan, Ranga Vemuri
On the verification of synthesized designs using automatically generated transformational witnesses. DATE (2001)
Rajesh Radhakrishnan, Elena Teica, Ranga Vemuri
Verification of Basic Block Schedules Using RTL Transformations. CHARME (2001)
Naren Narasimhan, Elena Teica, Rajesh Radhakrishnan, Sriram Govindarajan, Ranga Vemuri
Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis. Formal Methods Syst. Des. 19 (3) (2001)
Rajesh Radhakrishnan, Elena Teica, Ranga Vemuri
An approach to high-level synthesis system validation using formally verified transformations. HLDVT (2000)
Naren Narasimhan, Elena Teica, Rajesh Radhakrishnan, Sriram Govindarajan, Ranga Vemuri
Theorem proving guided development of formal assertions in a resource-constrained scheduler for high-level synthesis. ICCD (1998)