P. Vijay Suman

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Embedded Real Time Systems

Processing Power

Consumer Electronics

Embedded Systems

Top Venues

Publications

Padmanabhan Krishnan, R. Venkatesh, Prasad Bokil, Tukaram Muske, P. Vijay Suman
Effectiveness of Random Testing of Embedded Systems. HICSS (2012)
P. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri, R. Venkatesh
Masking Boundary Value Coverage: Effectiveness and Efficiency. TAIC PART (2010)
P. Vijay Suman, Paritosh K. Pandya
Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions. LATA (2009)
P. Vijay Suman, Paritosh K. Pandya
Timed and Hybrid Automata in SAL. SYNASC (2008)
P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa
Timed Automata with Integer Resets: Language Inclusion and Expressiveness. FORMATS (2008)
Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts. DAC (2008)