Steve M. Shaner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2007–2009
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ESOP | Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. | Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens |
| 2007 | OOPSLA | Modular verification of higher-order methods with mandatory calls specified by model programs. | Steve M. Shaner, Gary T. Leavens, David A. Naumann |