Rahul Kumar

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Rahul Kumar, Eric G. Mercer
Verifying Communication Protocols Using Live Sequence Chart Specifications. Electron. Notes Theor. Comput. Sci. 250 (2) (2009)
Rahul Kumar, Eric G. Mercer, Annette Bunker
Improving Translation of Live Sequence Charts to Temporal Logic. Electron. Notes Theor. Comput. Sci. 250 (1) (2009)
Rahul Kumar, Eric G. Mercer
Improving Live Sequence Chart to Automata Transformation for Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Rahul Kumar, Eric G. Mercer
Load Balancing Parallel Explicit State Model Checking. Electron. Notes Theor. Comput. Sci. 128 (3) (2005)
Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn
Benchmarking Explicit State Parallel Model Checkers. Electron. Notes Theor. Comput. Sci. 89 (1) (2003)