Rahul Kumar

Affiliations:

Brigham Young University, Provo, Utah, USA

According to our database¹, Rahul Kumar authored at least 5 papers between 2003 and 2008.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2008

Verifying Communication Protocols Using Live Sequence Chart Specifications.

[BibT_eX]

[DOI]

Rahul Kumar

Eric G. Mercer

Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008

Improving Live Sequence Chart to Automata Transformation for Verification.

[BibT_eX]

[DOI]

Rahul Kumar

Eric G. Mercer

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

2007

Improving Translation of Live Sequence Charts to Temporal Logic.

[BibT_eX]

[DOI]

Rahul Kumar

Eric G. Mercer

Annette Bunker

Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007

2004

Load Balancing Parallel Explicit State Model Checking.

[BibT_eX]

[DOI]

Rahul Kumar

Eric G. Mercer

Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

2003

Benchmarking Explicit State Parallel Model Checkers.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003

Rahul Kumar

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...