Bio


Software Engineer, TDS Application Services

Work Experience


  • Software Engineer, Stanford University

    Stanford Profiles and CAP API developer.

    Location

    palo alto, ca

All Publications


  • Formal modeling of active network nodes using PVS ACM SIGSOFT Workshop on Formal Methods in Software Practice Dieckman, D., Kong, C., Alexander, P. 2000: 49–59

    View details for DOI 10.1145/349360.351130

  • ORBIT: An environment for component-based heterogeneous design and analysis IEEE Conference and Workshop on Engineering of Computer-Based Systems Abu-Ghazaleh, N. B., Rangarajan, M., Dieckman, D. D., Alexander, P., Wilsey, P. A. IEEE COMPUTER SOC. 1999: 122–128
  • ActiveSPEC - A Framework for the Specification and Verification of Active Network Services and Security Policies In Thirteenth IEEE Annual Symposium on Logic in Computer Science. IEEE Dieckman, D., Alexander, P., Wilsey, P. A. 1998
  • DISCOE: Distributed design & analysis to preserve intellectual property 1998 IEEE Information Technology Conference on Information Environment for the Future Dieckman, D., Martin, D. E., Wilsey, P. A. I E E E. 1998: 57–60