Darryl D. Dieckman

According to our database, Darryl D. Dieckman authored at least 3 papers between 1999 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2000

Formal modeling of active network nodes using PVS.

Cindy Kong, Perry Alexander, Darryl D. Dieckman

Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

On the Design of ORBIT.

Murali Rangarajan, Iqbal Mutabanna, Darryl D. Dieckman, Badar Farooqi, Amitvikram Rajkhowa, Sarjoun Doumit, Arun Venkataraman, Cindy Kong, Roshan Kamath, Perry Alexander, Nael B. Abu-Ghazaleh

Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

1999

ORBIT: An Environment for Component-Based Heterogeneous Design and Analysis.

Nael B. Abu-Ghazaleh, Murali Rangarajan, Darryl D. Dieckman, Perry Alexander, Philip A. Wilsey

Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999