P. Vijay Suman

According to our database, P. Vijay Suman authored at least 7 papers between 2008 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Effectiveness of Random Testing of Embedded Systems.

Padmanabhan Krishnan, R. Venkatesh, Prasad Bokil, Tukaram Muske, P. Vijay Suman

Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

An Introduction to Timed Automata.

Paritosh K. Pandya, P. Vijay Suman

Proceedings of the Modern Applications of Automata Theory., 2012

2010

Masking Boundary Value Coverage: Effectiveness and Efficiency.

P. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri, R. Venkatesh

Proceedings of the Testing, 2010

2009

Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions.

P. Vijay Suman, Paritosh K. Pandya

Proceedings of the Language and Automata Theory and Applications, 2009

2008

Timed and Hybrid Automata in SAL.

P. Vijay Suman, Paritosh K. Pandya

Proceedings of the SYNASC 2008, 2008

Timed Automata with Integer Resets: Language Inclusion and Expressiveness.

P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts.

Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang

Proceedings of the 45th Design Automation Conference, 2008