-
Dr. Ryan Leduc: Supervised the design of DESpot and contributed code and bug fixes to various portions.
-
Magdin Stoica: Primary author and architect of DESpot.
-
Xiao Ma: Created the DES graphical editor and DES simulator.
-
Alex Achinfiev: Added graphical DES simulation and various extensions.
-
Adam Brousseau: Added help browser, and various bug fixes and extensions.
-
Xu Han: Added improved algorithms and data structures to decrease computation and memory usage. He also added multithreading to some algorithms.
-
Raoguang Song: Added bddHISC algorithms.
-
Yu Wang: Added bddSD algorithms.
-
Brian Hogg: Contributed various bug fixes.
-
Husam Ibrahim: Extended bddHISC algorithms to handle low data events.
-
David Viscomi: Various bug fixes, and worked on EPS export.
-
David Kirby: Distributed Computation.
-
Parul Manchanda: Multi-level HISC.
-
Zain Ajaz: Per-component simulation for HISC projects as well as simulation of automatically generated counter examples.
-
Bini Jiang: Added DES templates.
-
Jacob Howard: Added regression test suite.
-
David Thompson: Added curved transition arrows for DES display, and worked on EPS export.
-
Amal Alsuwaidan: Added Fault-Tolerant Supervisory Control support.
-
Urvashi Agarwal and Mengyen Chuang: Added support for specifying decentralized supervisory control structure for a project, and verifying co-observability.
-
Mahi Faiyaz: Ported DESpot to QT 5.