Travelled to:1 × Canada
1 × United Kingdom
Collaborated with:G.T.Leavens D.A.Naumann H.Rajan J.Tao
Talks about:modular (2) verif (2) mandatori (1) techniqu (1) specifi (1) program (1) languag (1) tempor (1) servic (1) polici (1)
Person: Steve M. Shaner
DBLP: Shaner:Steve_M=
Contributed to:
2009
2007Wrote 2 papers:
- ESOP-2009-RajanTSL #composition #design #named #policy #verification #web #web service
- Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services (HR, JT, SMS, GTL), pp. 333–347.
- OOPSLA-2007-ShanerLN #composition #higher-order #source code #verification
- Modular verification of higher-order methods with mandatory calls specified by model programs (SMS, GTL, DAN), pp. 351–368.