Index Catalog // Digital WPI

Start Over

Filtering by: Advisor Dougherty, Daniel J. Resource type Thesis

1 - 5 of 5

List Gallery Masonry Slideshow

Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

Keyword:

Formal modeling, Formal verification, Alloy, 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
User Evaluation Framework for Model Finding Research

Keyword:

model finders, logic, formal methods, Verification, user studies, user evaluation, model finding, and Case Studies

Creator:

Danas, Ryan

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2016-08-31

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science
Multi-Decision Policy and Policy Combinator Specifications

Keyword:

specifications, policies, policy combinators, Access Control, formal methods, and Margrave

Creator:

Giannakopoulos, Theophilos John

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2012-02-21

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science
Noninterference in Concurrent Game Structures

Keyword:

Security, confidentiality, and noninterference

Creator:

Mardziel, Piotr

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2007-05-02

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science
Formalization and Verification of Rewriting-Based Security Polices

Keyword:

Access Control, Maude, and term rewriting

Creator:

Veselinov, Roman Nikolov

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2008-04-30

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science