Bio

Software Engineer, IRT Application Services.

Journal Articles

  • ORBIT: An environment for component-based heterogeneous design and analysis ECBS '99, IEEE CONFERENCE AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS Abu-Ghazaleh, N. B., Rangarajan, M., Dieckman, D. D., Alexander, P., Wilsey, P. A. 1999: 122-128

    View details for Web of Science ID 000079623700016

  • DISCOE: Distributed design & analysis to preserve intellectual property 1998 IEEE INFORMATION TECHNOLOGY CONFERENCE, PROCEEDINGS Dieckman, D., Martin, D. E., Wilsey, P. A. 1998: 57-60

    View details for Web of Science ID 000076450700015

Conference Proceedings

  • 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
  • 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