Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"Worcester Polytechnic Institute" +contributor:("Daniel J. Dougherty, Advisor"). Showing records 1 – 5 of 5 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. VanValkenburg, MaryAnn E. Alloy-Guided Verification of Cooperative Autonomous Driving Behavior.

Degree: MS, 2020, Worcester Polytechnic Institute

  Alloy is a lightweight formal modeling tool that generates instances of a software specification to check properties of the design. This work demonstrates the… (more)

Subjects/Keywords: Alloy; Formal modeling; Cooperative autonomous driving (CAD); Formal verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

VanValkenburg, M. E. (2020). Alloy-Guided Verification of Cooperative Autonomous Driving Behavior. (Thesis). Worcester Polytechnic Institute. Retrieved from etd-3956 ; https://digitalcommons.wpi.edu/etd-theses/1354

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

VanValkenburg, MaryAnn E. “Alloy-Guided Verification of Cooperative Autonomous Driving Behavior.” 2020. Thesis, Worcester Polytechnic Institute. Accessed January 18, 2021. etd-3956 ; https://digitalcommons.wpi.edu/etd-theses/1354.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

VanValkenburg, MaryAnn E. “Alloy-Guided Verification of Cooperative Autonomous Driving Behavior.” 2020. Web. 18 Jan 2021.

Vancouver:

VanValkenburg ME. Alloy-Guided Verification of Cooperative Autonomous Driving Behavior. [Internet] [Thesis]. Worcester Polytechnic Institute; 2020. [cited 2021 Jan 18]. Available from: etd-3956 ; https://digitalcommons.wpi.edu/etd-theses/1354.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

VanValkenburg ME. Alloy-Guided Verification of Cooperative Autonomous Driving Behavior. [Thesis]. Worcester Polytechnic Institute; 2020. Available from: etd-3956 ; https://digitalcommons.wpi.edu/etd-theses/1354

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

2. Giannakopoulos, Theophilos John. Multi-Decision Policy and Policy Combinator Specifications.

Degree: MS, 2012, Worcester Polytechnic Institute

  Margrave is a specification language and analysis tool for access control policies with semantics based in order-sorted logic. The clear logical roots of Margrave's… (more)

Subjects/Keywords: formal methods; access control; policy combinators; policies; specifications; Margrave

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Giannakopoulos, T. J. (2012). Multi-Decision Policy and Policy Combinator Specifications. (Thesis). Worcester Polytechnic Institute. Retrieved from etd-022112-163738 ; https://digitalcommons.wpi.edu/etd-theses/166

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Giannakopoulos, Theophilos John. “Multi-Decision Policy and Policy Combinator Specifications.” 2012. Thesis, Worcester Polytechnic Institute. Accessed January 18, 2021. etd-022112-163738 ; https://digitalcommons.wpi.edu/etd-theses/166.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Giannakopoulos, Theophilos John. “Multi-Decision Policy and Policy Combinator Specifications.” 2012. Web. 18 Jan 2021.

Vancouver:

Giannakopoulos TJ. Multi-Decision Policy and Policy Combinator Specifications. [Internet] [Thesis]. Worcester Polytechnic Institute; 2012. [cited 2021 Jan 18]. Available from: etd-022112-163738 ; https://digitalcommons.wpi.edu/etd-theses/166.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Giannakopoulos TJ. Multi-Decision Policy and Policy Combinator Specifications. [Thesis]. Worcester Polytechnic Institute; 2012. Available from: etd-022112-163738 ; https://digitalcommons.wpi.edu/etd-theses/166

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

3. Nelson, Tim. First-Order Models for Configuration Analysis.

Degree: PhD, 2013, Worcester Polytechnic Institute

  Our world teems with networked devices. Their configuration exerts an ever-expanding influence on our daily lives. Yet correctly configuring systems, networks, and access-control policies… (more)

Subjects/Keywords: static analysis; model finding; security; firewalls; configuration; scenarios; logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nelson, T. (2013). First-Order Models for Configuration Analysis. (Doctoral Dissertation). Worcester Polytechnic Institute. Retrieved from etd-042513-142414 ; https://digitalcommons.wpi.edu/etd-dissertations/452

Chicago Manual of Style (16th Edition):

Nelson, Tim. “First-Order Models for Configuration Analysis.” 2013. Doctoral Dissertation, Worcester Polytechnic Institute. Accessed January 18, 2021. etd-042513-142414 ; https://digitalcommons.wpi.edu/etd-dissertations/452.

MLA Handbook (7th Edition):

Nelson, Tim. “First-Order Models for Configuration Analysis.” 2013. Web. 18 Jan 2021.

Vancouver:

Nelson T. First-Order Models for Configuration Analysis. [Internet] [Doctoral dissertation]. Worcester Polytechnic Institute; 2013. [cited 2021 Jan 18]. Available from: etd-042513-142414 ; https://digitalcommons.wpi.edu/etd-dissertations/452.

Council of Science Editors:

Nelson T. First-Order Models for Configuration Analysis. [Doctoral Dissertation]. Worcester Polytechnic Institute; 2013. Available from: etd-042513-142414 ; https://digitalcommons.wpi.edu/etd-dissertations/452

4. Saghafi, Salman. A Framework for Exploring Finite Models.

Degree: PhD, 2015, Worcester Polytechnic Institute

  This thesis presents a framework for understanding first-order theories by investigating their models. A common application is to help users, who are not necessarily… (more)

Subjects/Keywords: exploration; finite model-finding; first-order logic; provenance information; Chase; Geometric Logic; Razor; Aluminum

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Saghafi, S. (2015). A Framework for Exploring Finite Models. (Doctoral Dissertation). Worcester Polytechnic Institute. Retrieved from etd-043015-110044 ; https://digitalcommons.wpi.edu/etd-dissertations/458

Chicago Manual of Style (16th Edition):

Saghafi, Salman. “A Framework for Exploring Finite Models.” 2015. Doctoral Dissertation, Worcester Polytechnic Institute. Accessed January 18, 2021. etd-043015-110044 ; https://digitalcommons.wpi.edu/etd-dissertations/458.

MLA Handbook (7th Edition):

Saghafi, Salman. “A Framework for Exploring Finite Models.” 2015. Web. 18 Jan 2021.

Vancouver:

Saghafi S. A Framework for Exploring Finite Models. [Internet] [Doctoral dissertation]. Worcester Polytechnic Institute; 2015. [cited 2021 Jan 18]. Available from: etd-043015-110044 ; https://digitalcommons.wpi.edu/etd-dissertations/458.

Council of Science Editors:

Saghafi S. A Framework for Exploring Finite Models. [Doctoral Dissertation]. Worcester Polytechnic Institute; 2015. Available from: etd-043015-110044 ; https://digitalcommons.wpi.edu/etd-dissertations/458

5. Adler, Jonathan D. Graph Decompositions and Monadic Second Order Logic.

Degree: MS, 2009, Worcester Polytechnic Institute

  A tree decomposition is a tool which allows for analysis of the underlying tree structure of graphs which are not trees. Given a class… (more)

Subjects/Keywords: clique width; tree decompositions; logic; graph theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Adler, J. D. (2009). Graph Decompositions and Monadic Second Order Logic. (Thesis). Worcester Polytechnic Institute. Retrieved from etd-042709-164059 ; https://digitalcommons.wpi.edu/etd-theses/364

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Adler, Jonathan D. “Graph Decompositions and Monadic Second Order Logic.” 2009. Thesis, Worcester Polytechnic Institute. Accessed January 18, 2021. etd-042709-164059 ; https://digitalcommons.wpi.edu/etd-theses/364.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Adler, Jonathan D. “Graph Decompositions and Monadic Second Order Logic.” 2009. Web. 18 Jan 2021.

Vancouver:

Adler JD. Graph Decompositions and Monadic Second Order Logic. [Internet] [Thesis]. Worcester Polytechnic Institute; 2009. [cited 2021 Jan 18]. Available from: etd-042709-164059 ; https://digitalcommons.wpi.edu/etd-theses/364.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Adler JD. Graph Decompositions and Monadic Second Order Logic. [Thesis]. Worcester Polytechnic Institute; 2009. Available from: etd-042709-164059 ; https://digitalcommons.wpi.edu/etd-theses/364

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.