Login / Signup
Mahesh Prabhu
Publication Activity (10 Years)
Years Active: 2012-2014
Publications (10 Years): 0
Top Topics
Virtual Camera
Model Based Diagnosis
Alternating Time Temporal Logic
Timed Automata
Top Venues
ICME
ETS
ITC
</>
Publications
</>
Guntur Ravindra
,
Mahesh Prabhu
,
Nilesh Thakkar
Automated virtual camera during mobile video playback.
ICME
(2014)
Mahesh Prabhu
,
Jacob A. Abraham
Application of under-approximation techniques to functional test generation targeting hard to detect stuck-at faults.
ITC
(2013)
Mahesh Prabhu
,
Jacob A. Abraham
Functional test generation for hard to detect stuck-at faults using RTL model checking.
ETS
(2012)