Index Catalog // Digital WPI

Start Over

Filtering by: Advisor Dougherty, Daniel J. Publisher Worcester Polytechnic Institute

1. Information Sharing at Bank of America

Creator:: Gallagher, Kimberly G., Navins, Kimberly G., Zhang, Chao, Angulo, Marco V., and Bora, Burcu
Advisor:: Abraham, Jon P., Gerstenfeld, Arthur, and Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2009-12-17
Resource Type:: Major Qualifying Project

2. Information Sharing at Bank of America

Creator:: Bora, Burcu
Advisor:: Abraham, Jon P., Dougherty, Daniel J., and Gerstenfeld, Arthur
Publisher:: Worcester Polytechnic Institute
Date Created:: 2010-04-23
Resource Type:: Major Qualifying Project

3. Sales Training and Swaption Pricing under New Regulatory Environment

Creator:: Wang, Boya
Advisor:: Gerstenfeld, Arthur, Dougherty, Daniel J., and Xie, Weiwei
Publisher:: Worcester Polytechnic Institute
Date Created:: 2010-03-09
Resource Type:: Major Qualifying Project

4. A Coq Formalization of Unification Modulo Exclusive-Or

Creator:: Xu, Yichi
Advisor:: Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2023-04-26
Resource Type:: Thesis
Degree:: MS

5. Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases

Creator:: Veloz Baez, Freddy
Advisor:: Dougherty, Daniel J. and Shue, Craig A.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2022-04-27
Resource Type:: Thesis
Degree:: MS
Unit:: Computer Science

6. X2S

Creator:: Nordin, Richard J.
Advisor:: Mani, Murali and Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2004-01-01
Resource Type:: Major Qualifying Project

7. Timing diagram to Buchi automation translation

Creator:: Schudy, Warren J. and Cooper, Peter Sidney
Advisor:: Dougherty, Daniel J. and Fisler, Kathryn
Publisher:: Worcester Polytechnic Institute
Date Created:: 2003-01-01
Resource Type:: Major Qualifying Project

8. Theory Assistant 2

Creator:: Johnson, Nathan Aaron
Advisor:: Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2003-01-01
Resource Type:: Major Qualifying Project

9. Theory assistant

Creator:: Landry, Adam Michael, McKay, Kerry Ann, and Chadwick, Zachary
Advisor:: Dougherty, Daniel J. and Ciaraldi, Michael J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2003-01-01
Resource Type:: Major Qualifying Project

10. Normalization for metadata

Creator:: Susco, David James, Keay, David A., and Shahu Doku, Ermelinda
Advisor:: Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2005-01-01
Resource Type:: Major Qualifying Project

11. Model checking for role-based access control

Creator:: Griffel, Eric Michael and Sader, Paul M.
Advisor:: Martin, William J. and Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2007-01-01
Resource Type:: Major Qualifying Project

12. Live score synchronization II

Creator:: Jordan, Diane Rosalie and Johnson, Mark Daniel
Advisor:: Dougherty, Daniel J. and Ciaraldi, Michael J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2003-01-01
Resource Type:: Major Qualifying Project

13. A Tactic For Setoid Congruence

Creator:: Ehrlich, Kyle
Advisor:: Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2021-05-05
Resource Type:: Major Qualifying Project

14. Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

Keyword:: Formal verification, Alloy, Formal modeling, and Cooperative autonomous driving (CAD)
Creator:: VanValkenburg, MaryAnn E.
Advisor:: Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2020-05-18
Resource Type:: Thesis
Degree:: MS
Unit:: Computer Science

15. Formal Verification of Boolean Unification Algorithms with Coq

Creator:: McDonald, Matthew Joseph, Antonatos, Spyridon, St. Pierre, Joseph Keenan, and Richardson, Dylan
Advisor:: Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2019-04-24
Resource Type:: Major Qualifying Project

16. A Formalization of Strand Spaces in Coq

Creator:: Nguyen, Hai Hoang
Advisor:: Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2015-04-30
Resource Type:: Major Qualifying Project

17. Build and Release Optimization of the Structured Credit Desktop

Creator:: Li, Han, Rodriguez, Byron E, and Mehta, Jaymin Rajen
Advisor:: Dougherty, Daniel J. and Gerstenfeld, Arthur
Publisher:: Worcester Polytechnic Institute
Date Created:: 2011-01-12
Resource Type:: Major Qualifying Project

18. BNP Paribas: Equity Smart Order Router

Creator:: Lai, Huan Tu and Wang, Xiaoyun
Advisor:: Dougherty, Daniel J., Abraham, Jon P., and Gerstenfeld, Arthur
Publisher:: Worcester Polytechnic Institute
Date Created:: 2010-11-29
Resource Type:: Major Qualifying Project

19. BNP Paribas: Enterprise Architecture

Creator:: Servi, Joseph Franklin and He, Zhen
Advisor:: Dougherty, Daniel J., Gerstenfeld, Arthur, and Abraham, Jon P.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2012-01-13
Resource Type:: Major Qualifying Project

20. BNP Paribas: Systems Analysis and Concept Development

Creator:: Scarborough, Aubrey Marie, Sherrerd, Timothy Scott, and Dean, Brendan Padraic
Advisor:: Gerstenfeld, Arthur and Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2009-12-16
Resource Type:: Major Qualifying Project