
Darryl Dieckman
Affiliate, Technology & Digital Solutions
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
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
IEEE COMPUTER SOC. 1999: 122–128
View details for Web of Science ID 000079623700016
- 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 1998
-
DISCOE: Distributed design & analysis to preserve intellectual property
1998 IEEE Information Technology Conference on Information Environment for the Future
I E E E. 1998: 57–60
View details for Web of Science ID 000076450700015