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 subject:(Formal analysis). Showing records 1 – 30 of 267 total matches.

[1] [2] [3] [4] [5] [6] [7] [8] [9]

Search Limiters

Last 2 Years | English Only

Department

Degrees

Levels

Languages

Country

▼ Search Limiters


University of Sydney

1. Subotic, Pavle. Applying Elimination-Based Algorithms to Abstract Interpretation .

Degree: 2014, University of Sydney

 Unbounded abstract domains are used in static program analysis frameworks for representing ranges of variables, and their applications include elimination of assertions in programs, automatically… (more)

Subjects/Keywords: Static Analysis; Abstract Interpretation; Formal Verification; LLVM

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Subotic, P. (2014). Applying Elimination-Based Algorithms to Abstract Interpretation . (Thesis). University of Sydney. Retrieved from http://hdl.handle.net/2123/12052

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):

Subotic, Pavle. “Applying Elimination-Based Algorithms to Abstract Interpretation .” 2014. Thesis, University of Sydney. Accessed August 06, 2020. http://hdl.handle.net/2123/12052.

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

MLA Handbook (7th Edition):

Subotic, Pavle. “Applying Elimination-Based Algorithms to Abstract Interpretation .” 2014. Web. 06 Aug 2020.

Vancouver:

Subotic P. Applying Elimination-Based Algorithms to Abstract Interpretation . [Internet] [Thesis]. University of Sydney; 2014. [cited 2020 Aug 06]. Available from: http://hdl.handle.net/2123/12052.

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

Council of Science Editors:

Subotic P. Applying Elimination-Based Algorithms to Abstract Interpretation . [Thesis]. University of Sydney; 2014. Available from: http://hdl.handle.net/2123/12052

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


Virginia Tech

2. Nanjundappa, Mahesh. Formal Techniques for Design and Development of Safety Critical Embedded Systems from Polychronous Models.

Degree: PhD, Electrical and Computer Engineering, 2015, Virginia Tech

 Formally-based design and implementation techniques for complex safety-critical embedded systems are required not only to handle the complexity, but also to provide correctness guarantees. Traditional… (more)

Subjects/Keywords: Model-based Design; MBD; Software Synthesis; Formal techniques; Code generation; Formal analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nanjundappa, M. (2015). Formal Techniques for Design and Development of Safety Critical Embedded Systems from Polychronous Models. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/73483

Chicago Manual of Style (16th Edition):

Nanjundappa, Mahesh. “Formal Techniques for Design and Development of Safety Critical Embedded Systems from Polychronous Models.” 2015. Doctoral Dissertation, Virginia Tech. Accessed August 06, 2020. http://hdl.handle.net/10919/73483.

MLA Handbook (7th Edition):

Nanjundappa, Mahesh. “Formal Techniques for Design and Development of Safety Critical Embedded Systems from Polychronous Models.” 2015. Web. 06 Aug 2020.

Vancouver:

Nanjundappa M. Formal Techniques for Design and Development of Safety Critical Embedded Systems from Polychronous Models. [Internet] [Doctoral dissertation]. Virginia Tech; 2015. [cited 2020 Aug 06]. Available from: http://hdl.handle.net/10919/73483.

Council of Science Editors:

Nanjundappa M. Formal Techniques for Design and Development of Safety Critical Embedded Systems from Polychronous Models. [Doctoral Dissertation]. Virginia Tech; 2015. Available from: http://hdl.handle.net/10919/73483


Royal Holloway, University of London

3. Hoyland, Jonathan. An analysis of TLS 1.3 and its use in composite protocols.

Degree: PhD, 2018, Royal Holloway, University of London

 The TLS protocol is one of the most important protocols today. This thesis is a study of TLS 1.3 and its use in composite protocols.… (more)

Subjects/Keywords: Formal Analysis; TLS 1.3; TLS; Protocol analysis; Composite Protocols; Computer Security

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hoyland, J. (2018). An analysis of TLS 1.3 and its use in composite protocols. (Doctoral Dissertation). Royal Holloway, University of London. Retrieved from https://pure.royalholloway.ac.uk/portal/en/publications/an-analysis-of-tls-13-and-its-use-in-composite-protocols(0f7684c2-39dd-4e1c-a663-8f2a1f9cd88f).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.792887

Chicago Manual of Style (16th Edition):

Hoyland, Jonathan. “An analysis of TLS 1.3 and its use in composite protocols.” 2018. Doctoral Dissertation, Royal Holloway, University of London. Accessed August 06, 2020. https://pure.royalholloway.ac.uk/portal/en/publications/an-analysis-of-tls-13-and-its-use-in-composite-protocols(0f7684c2-39dd-4e1c-a663-8f2a1f9cd88f).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.792887.

MLA Handbook (7th Edition):

Hoyland, Jonathan. “An analysis of TLS 1.3 and its use in composite protocols.” 2018. Web. 06 Aug 2020.

Vancouver:

Hoyland J. An analysis of TLS 1.3 and its use in composite protocols. [Internet] [Doctoral dissertation]. Royal Holloway, University of London; 2018. [cited 2020 Aug 06]. Available from: https://pure.royalholloway.ac.uk/portal/en/publications/an-analysis-of-tls-13-and-its-use-in-composite-protocols(0f7684c2-39dd-4e1c-a663-8f2a1f9cd88f).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.792887.

Council of Science Editors:

Hoyland J. An analysis of TLS 1.3 and its use in composite protocols. [Doctoral Dissertation]. Royal Holloway, University of London; 2018. Available from: https://pure.royalholloway.ac.uk/portal/en/publications/an-analysis-of-tls-13-and-its-use-in-composite-protocols(0f7684c2-39dd-4e1c-a663-8f2a1f9cd88f).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.792887


Universidade Presbiteriana Mackenzie

4. Sullivan Bernardo de Almeida. Di Cavalcanti e os fantoches da modernidade: uma leitura semiótica.

Degree: 2008, Universidade Presbiteriana Mackenzie

Di Cavalcanti nasceu no Rio de Janeiro num momento em que a cidade passava por um processo radical de reurbanização promovido pelo Presidente Rodrigues Alves… (more)

Subjects/Keywords: Di Cavalcanti; expressionismo; análise formal; análise semiótica; Di Cavalcanti; expressionism; formal analysis; semiotics analysis; CIENCIAS HUMANAS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Almeida, S. B. d. (2008). Di Cavalcanti e os fantoches da modernidade: uma leitura semiótica. (Thesis). Universidade Presbiteriana Mackenzie. Retrieved from http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1704 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1705 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1706 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1707 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1708

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):

Almeida, Sullivan Bernardo de. “Di Cavalcanti e os fantoches da modernidade: uma leitura semiótica.” 2008. Thesis, Universidade Presbiteriana Mackenzie. Accessed August 06, 2020. http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1704 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1705 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1706 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1707 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1708.

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

MLA Handbook (7th Edition):

Almeida, Sullivan Bernardo de. “Di Cavalcanti e os fantoches da modernidade: uma leitura semiótica.” 2008. Web. 06 Aug 2020.

Vancouver:

Almeida SBd. Di Cavalcanti e os fantoches da modernidade: uma leitura semiótica. [Internet] [Thesis]. Universidade Presbiteriana Mackenzie; 2008. [cited 2020 Aug 06]. Available from: http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1704 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1705 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1706 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1707 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1708.

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

Council of Science Editors:

Almeida SBd. Di Cavalcanti e os fantoches da modernidade: uma leitura semiótica. [Thesis]. Universidade Presbiteriana Mackenzie; 2008. Available from: http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1704 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1705 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1706 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1707 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1708

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

5. Weng, Min-Hsien. Efficient compilation of a verification-friendly programming language .

Degree: 2019, University of Waikato

 This thesis develops a compiler to convert a program written in the verification friendly programming language Whiley into an efficient implementation in C. Our compiler… (more)

Subjects/Keywords: Optimizing Compiler, Program Efficiency, Static Analysis, Formal Verification, Parallel Programming; Program Efficiency; Static Analysis; Formal Verification; Parallel Programming; thesis by publication

Page 1 Page 2

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Weng, M. (2019). Efficient compilation of a verification-friendly programming language . (Doctoral Dissertation). University of Waikato. Retrieved from http://hdl.handle.net/10289/12432

Chicago Manual of Style (16th Edition):

Weng, Min-Hsien. “Efficient compilation of a verification-friendly programming language .” 2019. Doctoral Dissertation, University of Waikato. Accessed August 06, 2020. http://hdl.handle.net/10289/12432.

MLA Handbook (7th Edition):

Weng, Min-Hsien. “Efficient compilation of a verification-friendly programming language .” 2019. Web. 06 Aug 2020.

Vancouver:

Weng M. Efficient compilation of a verification-friendly programming language . [Internet] [Doctoral dissertation]. University of Waikato; 2019. [cited 2020 Aug 06]. Available from: http://hdl.handle.net/10289/12432.

Council of Science Editors:

Weng M. Efficient compilation of a verification-friendly programming language . [Doctoral Dissertation]. University of Waikato; 2019. Available from: http://hdl.handle.net/10289/12432


Louisiana State University

6. Lu, Zheng. Deductive formal verification of embedded systems.

Degree: PhD, Computer Sciences, 2012, Louisiana State University

 <div align = "justify"> We combine static analysis techniques with model-based deductive verification using SMT solvers to provide a framework that, given an analysis aspect… (more)

Subjects/Keywords: Coq; Static Code Analysis; Theorem Proving; Android; Formal Verification; SMT

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lu, Z. (2012). Deductive formal verification of embedded systems. (Doctoral Dissertation). Louisiana State University. Retrieved from etd-11102012-171915 ; https://digitalcommons.lsu.edu/gradschool_dissertations/1525

Chicago Manual of Style (16th Edition):

Lu, Zheng. “Deductive formal verification of embedded systems.” 2012. Doctoral Dissertation, Louisiana State University. Accessed August 06, 2020. etd-11102012-171915 ; https://digitalcommons.lsu.edu/gradschool_dissertations/1525.

MLA Handbook (7th Edition):

Lu, Zheng. “Deductive formal verification of embedded systems.” 2012. Web. 06 Aug 2020.

Vancouver:

Lu Z. Deductive formal verification of embedded systems. [Internet] [Doctoral dissertation]. Louisiana State University; 2012. [cited 2020 Aug 06]. Available from: etd-11102012-171915 ; https://digitalcommons.lsu.edu/gradschool_dissertations/1525.

Council of Science Editors:

Lu Z. Deductive formal verification of embedded systems. [Doctoral Dissertation]. Louisiana State University; 2012. Available from: etd-11102012-171915 ; https://digitalcommons.lsu.edu/gradschool_dissertations/1525


University of California – Berkeley

7. Chen, Zhijie. Abstract Semantics for Software Security Analysis.

Degree: Computer Science, 2015, University of California – Berkeley

 Program analysis and formal methods have enabled advanced automatic software security analysis such as security policy enforcement and vulnerability discovery. However, due to the complexity… (more)

Subjects/Keywords: Computer science; Formal Methods; Mobile; Program Analysis; Security; Software; Web

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, Z. (2015). Abstract Semantics for Software Security Analysis. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/7bn8t9xb

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):

Chen, Zhijie. “Abstract Semantics for Software Security Analysis.” 2015. Thesis, University of California – Berkeley. Accessed August 06, 2020. http://www.escholarship.org/uc/item/7bn8t9xb.

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

MLA Handbook (7th Edition):

Chen, Zhijie. “Abstract Semantics for Software Security Analysis.” 2015. Web. 06 Aug 2020.

Vancouver:

Chen Z. Abstract Semantics for Software Security Analysis. [Internet] [Thesis]. University of California – Berkeley; 2015. [cited 2020 Aug 06]. Available from: http://www.escholarship.org/uc/item/7bn8t9xb.

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

Council of Science Editors:

Chen Z. Abstract Semantics for Software Security Analysis. [Thesis]. University of California – Berkeley; 2015. Available from: http://www.escholarship.org/uc/item/7bn8t9xb

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


University of Pennsylvania

8. Wang, Anduo. Automated Formal Analysis of Internet Routing Configurations.

Degree: 2013, University of Pennsylvania

 Today's Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomous systems (ASes). To… (more)

Subjects/Keywords: Formal Verification; Internet Routing; Reduction; Routing Algebra; Safety Analysis; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wang, A. (2013). Automated Formal Analysis of Internet Routing Configurations. (Thesis). University of Pennsylvania. Retrieved from https://repository.upenn.edu/edissertations/814

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):

Wang, Anduo. “Automated Formal Analysis of Internet Routing Configurations.” 2013. Thesis, University of Pennsylvania. Accessed August 06, 2020. https://repository.upenn.edu/edissertations/814.

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

MLA Handbook (7th Edition):

Wang, Anduo. “Automated Formal Analysis of Internet Routing Configurations.” 2013. Web. 06 Aug 2020.

Vancouver:

Wang A. Automated Formal Analysis of Internet Routing Configurations. [Internet] [Thesis]. University of Pennsylvania; 2013. [cited 2020 Aug 06]. Available from: https://repository.upenn.edu/edissertations/814.

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

Council of Science Editors:

Wang A. Automated Formal Analysis of Internet Routing Configurations. [Thesis]. University of Pennsylvania; 2013. Available from: https://repository.upenn.edu/edissertations/814

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

9. Subramanian, Hema. Summarization Of Real Valued Biclusters.

Degree: MS, Engineering and Applied Science: Computer Science, 2011, University of Cincinnati

  With an explosion in database sizes, there is an increasing need for mining relevant information from them. Subspace clustering has been applied in various… (more)

Subjects/Keywords: Computer Science; biclusters; real-valued biclusters; bicluster reduction; formal concept analysis

Page 1 Page 2 Page 3 Page 4 Page 5

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Subramanian, H. (2011). Summarization Of Real Valued Biclusters. (Masters Thesis). University of Cincinnati. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=ucin1307442728

Chicago Manual of Style (16th Edition):

Subramanian, Hema. “Summarization Of Real Valued Biclusters.” 2011. Masters Thesis, University of Cincinnati. Accessed August 06, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1307442728.

MLA Handbook (7th Edition):

Subramanian, Hema. “Summarization Of Real Valued Biclusters.” 2011. Web. 06 Aug 2020.

Vancouver:

Subramanian H. Summarization Of Real Valued Biclusters. [Internet] [Masters thesis]. University of Cincinnati; 2011. [cited 2020 Aug 06]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1307442728.

Council of Science Editors:

Subramanian H. Summarization Of Real Valued Biclusters. [Masters Thesis]. University of Cincinnati; 2011. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1307442728


University of Cincinnati

10. Sinha, Aditya. Formal Concept Analysis for Search and Traversal in Multiple Databases with Effective Revision.

Degree: MS, Engineering : Computer Science, 2009, University of Cincinnati

 With an explosion in datasizes, new search technologies are required to aid the user inbetter understanding the data. We, in this thesis, present F.A.S.T.E.R -… (more)

Subjects/Keywords: Computer Science; Formal Concept Analysis; Databases; Lattice Theory; Concepts

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sinha, A. (2009). Formal Concept Analysis for Search and Traversal in Multiple Databases with Effective Revision. (Masters Thesis). University of Cincinnati. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=ucin1245088303

Chicago Manual of Style (16th Edition):

Sinha, Aditya. “Formal Concept Analysis for Search and Traversal in Multiple Databases with Effective Revision.” 2009. Masters Thesis, University of Cincinnati. Accessed August 06, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1245088303.

MLA Handbook (7th Edition):

Sinha, Aditya. “Formal Concept Analysis for Search and Traversal in Multiple Databases with Effective Revision.” 2009. Web. 06 Aug 2020.

Vancouver:

Sinha A. Formal Concept Analysis for Search and Traversal in Multiple Databases with Effective Revision. [Internet] [Masters thesis]. University of Cincinnati; 2009. [cited 2020 Aug 06]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1245088303.

Council of Science Editors:

Sinha A. Formal Concept Analysis for Search and Traversal in Multiple Databases with Effective Revision. [Masters Thesis]. University of Cincinnati; 2009. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1245088303


University of Manchester

11. Joseph, Daniel Arlington. Linking Information Resources with Automatic Semantic Extraction.

Degree: 2016, University of Manchester

 Knowledge is a critical dimension in the problem solving processes of human intelligence. Consequently, enabling intelligent systems to provide advanced services requires that their artificial… (more)

Subjects/Keywords: Formal Concept Analysis; Concept Relevancy; Taxonomy; Semantics; Recommender System

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Joseph, D. A. (2016). Linking Information Resources with Automatic Semantic Extraction. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:301037

Chicago Manual of Style (16th Edition):

Joseph, Daniel Arlington. “Linking Information Resources with Automatic Semantic Extraction.” 2016. Doctoral Dissertation, University of Manchester. Accessed August 06, 2020. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:301037.

MLA Handbook (7th Edition):

Joseph, Daniel Arlington. “Linking Information Resources with Automatic Semantic Extraction.” 2016. Web. 06 Aug 2020.

Vancouver:

Joseph DA. Linking Information Resources with Automatic Semantic Extraction. [Internet] [Doctoral dissertation]. University of Manchester; 2016. [cited 2020 Aug 06]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:301037.

Council of Science Editors:

Joseph DA. Linking Information Resources with Automatic Semantic Extraction. [Doctoral Dissertation]. University of Manchester; 2016. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:301037


University of Wollongong

12. Wray, Timothy Daniel. Pathways through online museum collections: designing serendipitous user experiences using formal concept analysis.

Degree: PhD, 2015, University of Wollongong

  Museums are no longer seen as warehouses of objects, but as institutions of knowledge. A growing number of museums are putting their collections online… (more)

Subjects/Keywords: interaction design; museums; digital media; formal concept analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wray, T. D. (2015). Pathways through online museum collections: designing serendipitous user experiences using formal concept analysis. (Doctoral Dissertation). University of Wollongong. Retrieved from ; https://ro.uow.edu.au/theses/4633

Chicago Manual of Style (16th Edition):

Wray, Timothy Daniel. “Pathways through online museum collections: designing serendipitous user experiences using formal concept analysis.” 2015. Doctoral Dissertation, University of Wollongong. Accessed August 06, 2020. ; https://ro.uow.edu.au/theses/4633.

MLA Handbook (7th Edition):

Wray, Timothy Daniel. “Pathways through online museum collections: designing serendipitous user experiences using formal concept analysis.” 2015. Web. 06 Aug 2020.

Vancouver:

Wray TD. Pathways through online museum collections: designing serendipitous user experiences using formal concept analysis. [Internet] [Doctoral dissertation]. University of Wollongong; 2015. [cited 2020 Aug 06]. Available from: ; https://ro.uow.edu.au/theses/4633.

Council of Science Editors:

Wray TD. Pathways through online museum collections: designing serendipitous user experiences using formal concept analysis. [Doctoral Dissertation]. University of Wollongong; 2015. Available from: ; https://ro.uow.edu.au/theses/4633


University of Waikato

13. Alsharif, Aman. Investigating Strategies to Support Reverse-Engineering of Interactive Systems .

Degree: 2013, University of Waikato

 Most software applications today provide a graphical user interface (GUI), which facilitates the use of the software by offering graphical and visual elements to the… (more)

Subjects/Keywords: Reverse-Engineering; Static Analysis; Interactive Systems; Formal Methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Alsharif, A. (2013). Investigating Strategies to Support Reverse-Engineering of Interactive Systems . (Masters Thesis). University of Waikato. Retrieved from http://hdl.handle.net/10289/8644

Chicago Manual of Style (16th Edition):

Alsharif, Aman. “Investigating Strategies to Support Reverse-Engineering of Interactive Systems .” 2013. Masters Thesis, University of Waikato. Accessed August 06, 2020. http://hdl.handle.net/10289/8644.

MLA Handbook (7th Edition):

Alsharif, Aman. “Investigating Strategies to Support Reverse-Engineering of Interactive Systems .” 2013. Web. 06 Aug 2020.

Vancouver:

Alsharif A. Investigating Strategies to Support Reverse-Engineering of Interactive Systems . [Internet] [Masters thesis]. University of Waikato; 2013. [cited 2020 Aug 06]. Available from: http://hdl.handle.net/10289/8644.

Council of Science Editors:

Alsharif A. Investigating Strategies to Support Reverse-Engineering of Interactive Systems . [Masters Thesis]. University of Waikato; 2013. Available from: http://hdl.handle.net/10289/8644


Universidade Nova

14. Toninho, Bernardo Parente Coutinho Fernandes. A Logic and tool for local reasoning about security protocols.

Degree: 2009, Universidade Nova

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

This thesis tackles the… (more)

Subjects/Keywords: Protocol analysis; Mathematical logic and formal languages; Spatial logics; Model-checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Toninho, B. P. C. F. (2009). A Logic and tool for local reasoning about security protocols. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2307

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):

Toninho, Bernardo Parente Coutinho Fernandes. “A Logic and tool for local reasoning about security protocols.” 2009. Thesis, Universidade Nova. Accessed August 06, 2020. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2307.

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

MLA Handbook (7th Edition):

Toninho, Bernardo Parente Coutinho Fernandes. “A Logic and tool for local reasoning about security protocols.” 2009. Web. 06 Aug 2020.

Vancouver:

Toninho BPCF. A Logic and tool for local reasoning about security protocols. [Internet] [Thesis]. Universidade Nova; 2009. [cited 2020 Aug 06]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2307.

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

Council of Science Editors:

Toninho BPCF. A Logic and tool for local reasoning about security protocols. [Thesis]. Universidade Nova; 2009. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2307

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


University of Oxford

15. Sieunarine, Clint Vaalmicki. Evolving access control : formal models and analysis.

Degree: PhD, 2011, University of Oxford

 Any model of access control has two fundamental aims: to ensure that resources are protected from inappropriate access and to ensure that access by authorised… (more)

Subjects/Keywords: 005.8; Computer science (mathematics) : evolving access control : formal model analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sieunarine, C. V. (2011). Evolving access control : formal models and analysis. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:46dde528-207c-4e86-a282-20e73a5de10c ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.558542

Chicago Manual of Style (16th Edition):

Sieunarine, Clint Vaalmicki. “Evolving access control : formal models and analysis.” 2011. Doctoral Dissertation, University of Oxford. Accessed August 06, 2020. http://ora.ox.ac.uk/objects/uuid:46dde528-207c-4e86-a282-20e73a5de10c ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.558542.

MLA Handbook (7th Edition):

Sieunarine, Clint Vaalmicki. “Evolving access control : formal models and analysis.” 2011. Web. 06 Aug 2020.

Vancouver:

Sieunarine CV. Evolving access control : formal models and analysis. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2020 Aug 06]. Available from: http://ora.ox.ac.uk/objects/uuid:46dde528-207c-4e86-a282-20e73a5de10c ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.558542.

Council of Science Editors:

Sieunarine CV. Evolving access control : formal models and analysis. [Doctoral Dissertation]. University of Oxford; 2011. Available from: http://ora.ox.ac.uk/objects/uuid:46dde528-207c-4e86-a282-20e73a5de10c ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.558542


University of Manchester

16. Joseph, Daniel. Linking information resources with automatic semantic extraction.

Degree: PhD, 2016, University of Manchester

 Knowledge is a critical dimension in the problem solving processes of human intelligence. Consequently, enabling intelligent systems to provide advanced services requires that their artificial… (more)

Subjects/Keywords: Recommender System; Semantics; Taxonomy; Formal Concept Analysis; Concept Relevancy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Joseph, D. (2016). Linking information resources with automatic semantic extraction. (Doctoral Dissertation). University of Manchester. Retrieved from https://www.research.manchester.ac.uk/portal/en/theses/linking-information-resources-with-automatic-semantic-extraction(ada2db36-4366-441a-a0a9-d76324a77e2c).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.748009

Chicago Manual of Style (16th Edition):

Joseph, Daniel. “Linking information resources with automatic semantic extraction.” 2016. Doctoral Dissertation, University of Manchester. Accessed August 06, 2020. https://www.research.manchester.ac.uk/portal/en/theses/linking-information-resources-with-automatic-semantic-extraction(ada2db36-4366-441a-a0a9-d76324a77e2c).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.748009.

MLA Handbook (7th Edition):

Joseph, Daniel. “Linking information resources with automatic semantic extraction.” 2016. Web. 06 Aug 2020.

Vancouver:

Joseph D. Linking information resources with automatic semantic extraction. [Internet] [Doctoral dissertation]. University of Manchester; 2016. [cited 2020 Aug 06]. Available from: https://www.research.manchester.ac.uk/portal/en/theses/linking-information-resources-with-automatic-semantic-extraction(ada2db36-4366-441a-a0a9-d76324a77e2c).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.748009.

Council of Science Editors:

Joseph D. Linking information resources with automatic semantic extraction. [Doctoral Dissertation]. University of Manchester; 2016. Available from: https://www.research.manchester.ac.uk/portal/en/theses/linking-information-resources-with-automatic-semantic-extraction(ada2db36-4366-441a-a0a9-d76324a77e2c).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.748009


Stockholm University

17. Anderberg, Ellinor. Where is the bakery? : The ethnomethodological conception of social order.

Degree: Sociology, 2011, Stockholm University

  The fundamental sociological problem of social order finds a somewhat ”unorthodox” solution in the ethnomethodological program, the main responsibility of which is ascribed to… (more)

Subjects/Keywords: ethnomethodology; social order; Garfinkel; Parsons; formal analysis; radical reflexivity; Sociology; Sociologi

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Anderberg, E. (2011). Where is the bakery? : The ethnomethodological conception of social order. (Thesis). Stockholm University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-56114

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):

Anderberg, Ellinor. “Where is the bakery? : The ethnomethodological conception of social order.” 2011. Thesis, Stockholm University. Accessed August 06, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-56114.

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

MLA Handbook (7th Edition):

Anderberg, Ellinor. “Where is the bakery? : The ethnomethodological conception of social order.” 2011. Web. 06 Aug 2020.

Vancouver:

Anderberg E. Where is the bakery? : The ethnomethodological conception of social order. [Internet] [Thesis]. Stockholm University; 2011. [cited 2020 Aug 06]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-56114.

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

Council of Science Editors:

Anderberg E. Where is the bakery? : The ethnomethodological conception of social order. [Thesis]. Stockholm University; 2011. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-56114

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


University of Toronto

18. Kincaid, Zachary. Parallel Proofs for Parallel Programs.

Degree: PhD, 2016, University of Toronto

 This dissertation addresses the problem of automated reasoning about multi-threaded programs. Multi-threaded programs are notoriously prone to error, making them an attractive target for formal(more)

Subjects/Keywords: Concurrency; Formal methods; Program analysis; Programming languages; Software verification; 0984

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kincaid, Z. (2016). Parallel Proofs for Parallel Programs. (Doctoral Dissertation). University of Toronto. Retrieved from http://hdl.handle.net/1807/76470

Chicago Manual of Style (16th Edition):

Kincaid, Zachary. “Parallel Proofs for Parallel Programs.” 2016. Doctoral Dissertation, University of Toronto. Accessed August 06, 2020. http://hdl.handle.net/1807/76470.

MLA Handbook (7th Edition):

Kincaid, Zachary. “Parallel Proofs for Parallel Programs.” 2016. Web. 06 Aug 2020.

Vancouver:

Kincaid Z. Parallel Proofs for Parallel Programs. [Internet] [Doctoral dissertation]. University of Toronto; 2016. [cited 2020 Aug 06]. Available from: http://hdl.handle.net/1807/76470.

Council of Science Editors:

Kincaid Z. Parallel Proofs for Parallel Programs. [Doctoral Dissertation]. University of Toronto; 2016. Available from: http://hdl.handle.net/1807/76470


University of North Texas

19. Gaither, Danielle. Improving Software Quality through Syntax and Semantics Verification of Requirements Models.

Degree: 2018, University of North Texas

 Software defects can frequently be traced to poorly-specified requirements. Many software teams manage their requirements using tools such as checklists and databases, which lack a… (more)

Subjects/Keywords: requirements analysis; formal methods; software engineering; Computer Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gaither, D. (2018). Improving Software Quality through Syntax and Semantics Verification of Requirements Models. (Thesis). University of North Texas. Retrieved from https://digital.library.unt.edu/ark:/67531/metadc1404542/

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):

Gaither, Danielle. “Improving Software Quality through Syntax and Semantics Verification of Requirements Models.” 2018. Thesis, University of North Texas. Accessed August 06, 2020. https://digital.library.unt.edu/ark:/67531/metadc1404542/.

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

MLA Handbook (7th Edition):

Gaither, Danielle. “Improving Software Quality through Syntax and Semantics Verification of Requirements Models.” 2018. Web. 06 Aug 2020.

Vancouver:

Gaither D. Improving Software Quality through Syntax and Semantics Verification of Requirements Models. [Internet] [Thesis]. University of North Texas; 2018. [cited 2020 Aug 06]. Available from: https://digital.library.unt.edu/ark:/67531/metadc1404542/.

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

Council of Science Editors:

Gaither D. Improving Software Quality through Syntax and Semantics Verification of Requirements Models. [Thesis]. University of North Texas; 2018. Available from: https://digital.library.unt.edu/ark:/67531/metadc1404542/

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

20. Mueller, Peter M. Toward a Theory of Formal Function in Stravinsky’s Neoclassical Keyboard Works .

Degree: 2018, University of Arizona

 Form in Stravinsky’s music continues to be a topic of great interest and varied approaches, including blocks, stratification, juxtaposition, and displacement. This document provides another… (more)

Subjects/Keywords: analysis; formal; function; Stravinsky

…methods of formal classification. In an analysis of the Symphonies of Wind Instruments… …works by Prokofiev and Poulenc). 14 In his approach to formal analysis of his own serial… …105 5.3. Formal layout of the “Rondoletto… …114 5.4. Formal layout of the first movement of the Sonate… …his Classical Form: A Theory of Formal Functions for the Instrumental Music of Haydn, Mozart… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mueller, P. M. (2018). Toward a Theory of Formal Function in Stravinsky’s Neoclassical Keyboard Works . (Doctoral Dissertation). University of Arizona. Retrieved from http://hdl.handle.net/10150/626657

Chicago Manual of Style (16th Edition):

Mueller, Peter M. “Toward a Theory of Formal Function in Stravinsky’s Neoclassical Keyboard Works .” 2018. Doctoral Dissertation, University of Arizona. Accessed August 06, 2020. http://hdl.handle.net/10150/626657.

MLA Handbook (7th Edition):

Mueller, Peter M. “Toward a Theory of Formal Function in Stravinsky’s Neoclassical Keyboard Works .” 2018. Web. 06 Aug 2020.

Vancouver:

Mueller PM. Toward a Theory of Formal Function in Stravinsky’s Neoclassical Keyboard Works . [Internet] [Doctoral dissertation]. University of Arizona; 2018. [cited 2020 Aug 06]. Available from: http://hdl.handle.net/10150/626657.

Council of Science Editors:

Mueller PM. Toward a Theory of Formal Function in Stravinsky’s Neoclassical Keyboard Works . [Doctoral Dissertation]. University of Arizona; 2018. Available from: http://hdl.handle.net/10150/626657


Georgia Tech

21. Jobredeaux, Romain J. Formal verification of control software.

Degree: PhD, Aerospace Engineering, 2015, Georgia Tech

 In a context of heightened requirements for safety-critical embedded systems and ever-increasing costs of verification and validation, this research proposes to advance the state of… (more)

Subjects/Keywords: Formal methods; LMI; Lyapunov; Static analysis; Control software; Theorem proving

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jobredeaux, R. J. (2015). Formal verification of control software. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/53841

Chicago Manual of Style (16th Edition):

Jobredeaux, Romain J. “Formal verification of control software.” 2015. Doctoral Dissertation, Georgia Tech. Accessed August 06, 2020. http://hdl.handle.net/1853/53841.

MLA Handbook (7th Edition):

Jobredeaux, Romain J. “Formal verification of control software.” 2015. Web. 06 Aug 2020.

Vancouver:

Jobredeaux RJ. Formal verification of control software. [Internet] [Doctoral dissertation]. Georgia Tech; 2015. [cited 2020 Aug 06]. Available from: http://hdl.handle.net/1853/53841.

Council of Science Editors:

Jobredeaux RJ. Formal verification of control software. [Doctoral Dissertation]. Georgia Tech; 2015. Available from: http://hdl.handle.net/1853/53841

22. Quiterio, César Takemoto. Cidade de Deus em perspectiva: uma análise do romance de Paulo Lins.

Degree: Mestrado, Teoria Literária e Literatura Comparada, 2012, University of São Paulo

A presente dissertação consiste numa tentativa de se desenvolver uma discussão ampliada a partir de uma análise de Cidade de Deus, de Paulo Lins. Tal… (more)

Subjects/Keywords: Análise formal; Dinâmica socio-histórica e cultural; Formal analysis; Novel; Paulo Lins; Paulo Lins; Romance; Sociohistorical and cultural dynamics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Quiterio, C. T. (2012). Cidade de Deus em perspectiva: uma análise do romance de Paulo Lins. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/8/8151/tde-14032013-103206/ ;

Chicago Manual of Style (16th Edition):

Quiterio, César Takemoto. “Cidade de Deus em perspectiva: uma análise do romance de Paulo Lins.” 2012. Masters Thesis, University of São Paulo. Accessed August 06, 2020. http://www.teses.usp.br/teses/disponiveis/8/8151/tde-14032013-103206/ ;.

MLA Handbook (7th Edition):

Quiterio, César Takemoto. “Cidade de Deus em perspectiva: uma análise do romance de Paulo Lins.” 2012. Web. 06 Aug 2020.

Vancouver:

Quiterio CT. Cidade de Deus em perspectiva: uma análise do romance de Paulo Lins. [Internet] [Masters thesis]. University of São Paulo; 2012. [cited 2020 Aug 06]. Available from: http://www.teses.usp.br/teses/disponiveis/8/8151/tde-14032013-103206/ ;.

Council of Science Editors:

Quiterio CT. Cidade de Deus em perspectiva: uma análise do romance de Paulo Lins. [Masters Thesis]. University of São Paulo; 2012. Available from: http://www.teses.usp.br/teses/disponiveis/8/8151/tde-14032013-103206/ ;


University of Victoria

23. Hajiabadi, Mohammad. Computational soundness of formal reasoning about indistinguishability and non-malleability of cryptographic expressions.

Degree: Dept. of Computer Science, 2011, University of Victoria

Analysis and verification of security protocols are typically carried out in two different models of cryptography: formal cryptography and computational cryptography. Formal cryptography, originally inspired… (more)

Subjects/Keywords: Formal and Computational Security Analysis; Computational Soundness; Dolev-Yao Non-Malleability; Indistinguishability of Expressions; Inductive and Co-Inductive Formal Semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hajiabadi, M. (2011). Computational soundness of formal reasoning about indistinguishability and non-malleability of cryptographic expressions. (Masters Thesis). University of Victoria. Retrieved from http://hdl.handle.net/1828/3496

Chicago Manual of Style (16th Edition):

Hajiabadi, Mohammad. “Computational soundness of formal reasoning about indistinguishability and non-malleability of cryptographic expressions.” 2011. Masters Thesis, University of Victoria. Accessed August 06, 2020. http://hdl.handle.net/1828/3496.

MLA Handbook (7th Edition):

Hajiabadi, Mohammad. “Computational soundness of formal reasoning about indistinguishability and non-malleability of cryptographic expressions.” 2011. Web. 06 Aug 2020.

Vancouver:

Hajiabadi M. Computational soundness of formal reasoning about indistinguishability and non-malleability of cryptographic expressions. [Internet] [Masters thesis]. University of Victoria; 2011. [cited 2020 Aug 06]. Available from: http://hdl.handle.net/1828/3496.

Council of Science Editors:

Hajiabadi M. Computational soundness of formal reasoning about indistinguishability and non-malleability of cryptographic expressions. [Masters Thesis]. University of Victoria; 2011. Available from: http://hdl.handle.net/1828/3496


Case Western Reserve University

24. Kiraly, Bret D. An Experimental Application of Formal Concept Analysis to Research Communities.

Degree: MSs (Engineering), EECS - Computer and Information Sciences, 2008, Case Western Reserve University

Formal concept analysis (FCA) is a tool that automatically converts relationships between two domains into an ontology for study. While powerful, this technique sometimes falls… (more)

Subjects/Keywords: Computer Science; formal concept analysis; FCA; VDL; social network analysis; research community

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kiraly, B. D. (2008). An Experimental Application of Formal Concept Analysis to Research Communities. (Masters Thesis). Case Western Reserve University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=case1228497076

Chicago Manual of Style (16th Edition):

Kiraly, Bret D. “An Experimental Application of Formal Concept Analysis to Research Communities.” 2008. Masters Thesis, Case Western Reserve University. Accessed August 06, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=case1228497076.

MLA Handbook (7th Edition):

Kiraly, Bret D. “An Experimental Application of Formal Concept Analysis to Research Communities.” 2008. Web. 06 Aug 2020.

Vancouver:

Kiraly BD. An Experimental Application of Formal Concept Analysis to Research Communities. [Internet] [Masters thesis]. Case Western Reserve University; 2008. [cited 2020 Aug 06]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=case1228497076.

Council of Science Editors:

Kiraly BD. An Experimental Application of Formal Concept Analysis to Research Communities. [Masters Thesis]. Case Western Reserve University; 2008. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=case1228497076


University of North Texas

25. Talkington, Gregory Joshua. Shepherding Network Security Protocols as They Transition to New Atmospheres: A New Paradigm in Network Protocol Analysis.

Degree: 2019, University of North Texas

 The solutions presented in this dissertation describe a new paradigm in which we shepherd these network security protocols through atmosphere transitions, offering new ways to… (more)

Subjects/Keywords: Network Protocols; Open Authorization; Network Analysis; Static Analysis; Formal Models; Machine Learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Talkington, G. J. (2019). Shepherding Network Security Protocols as They Transition to New Atmospheres: A New Paradigm in Network Protocol Analysis. (Thesis). University of North Texas. Retrieved from https://digital.library.unt.edu/ark:/67531/metadc1609134/

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):

Talkington, Gregory Joshua. “Shepherding Network Security Protocols as They Transition to New Atmospheres: A New Paradigm in Network Protocol Analysis.” 2019. Thesis, University of North Texas. Accessed August 06, 2020. https://digital.library.unt.edu/ark:/67531/metadc1609134/.

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

MLA Handbook (7th Edition):

Talkington, Gregory Joshua. “Shepherding Network Security Protocols as They Transition to New Atmospheres: A New Paradigm in Network Protocol Analysis.” 2019. Web. 06 Aug 2020.

Vancouver:

Talkington GJ. Shepherding Network Security Protocols as They Transition to New Atmospheres: A New Paradigm in Network Protocol Analysis. [Internet] [Thesis]. University of North Texas; 2019. [cited 2020 Aug 06]. Available from: https://digital.library.unt.edu/ark:/67531/metadc1609134/.

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

Council of Science Editors:

Talkington GJ. Shepherding Network Security Protocols as They Transition to New Atmospheres: A New Paradigm in Network Protocol Analysis. [Thesis]. University of North Texas; 2019. Available from: https://digital.library.unt.edu/ark:/67531/metadc1609134/

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

26. Merzoug, Ibrahim. Validation formelle des systèmes numériques critiques : génération de l'espace d'états de réseaux de Petri exécutés en synchrone : Formal validation of critical digital systems : generation of state space of Petri nets executed in synchronous.

Degree: Docteur es, Systèmes automatiques et micro-électroniques, 2018, Montpellier

La méthodologie HILECOP a été élaborée pour la conception formelle de systèmes numériques complexes critiques ; elle couvre donc l'intégralité du processus, allant de la… (more)

Subjects/Keywords: Validation formelle; Vérification formelle; Analyse formelle; Réseaux de Petri; Génération d'Espace d'États; Formal validation; Formal verification; Formal analysis; Petri nets; State Space Generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Merzoug, I. (2018). Validation formelle des systèmes numériques critiques : génération de l'espace d'états de réseaux de Petri exécutés en synchrone : Formal validation of critical digital systems : generation of state space of Petri nets executed in synchronous. (Doctoral Dissertation). Montpellier. Retrieved from http://www.theses.fr/2018MONTS001

Chicago Manual of Style (16th Edition):

Merzoug, Ibrahim. “Validation formelle des systèmes numériques critiques : génération de l'espace d'états de réseaux de Petri exécutés en synchrone : Formal validation of critical digital systems : generation of state space of Petri nets executed in synchronous.” 2018. Doctoral Dissertation, Montpellier. Accessed August 06, 2020. http://www.theses.fr/2018MONTS001.

MLA Handbook (7th Edition):

Merzoug, Ibrahim. “Validation formelle des systèmes numériques critiques : génération de l'espace d'états de réseaux de Petri exécutés en synchrone : Formal validation of critical digital systems : generation of state space of Petri nets executed in synchronous.” 2018. Web. 06 Aug 2020.

Vancouver:

Merzoug I. Validation formelle des systèmes numériques critiques : génération de l'espace d'états de réseaux de Petri exécutés en synchrone : Formal validation of critical digital systems : generation of state space of Petri nets executed in synchronous. [Internet] [Doctoral dissertation]. Montpellier; 2018. [cited 2020 Aug 06]. Available from: http://www.theses.fr/2018MONTS001.

Council of Science Editors:

Merzoug I. Validation formelle des systèmes numériques critiques : génération de l'espace d'états de réseaux de Petri exécutés en synchrone : Formal validation of critical digital systems : generation of state space of Petri nets executed in synchronous. [Doctoral Dissertation]. Montpellier; 2018. Available from: http://www.theses.fr/2018MONTS001


Northeastern University

27. Liu, Peizun. Resource-aware Program Analysis Using Observation Sequences.

Degree: PhD, 2019, Northeastern University

 Most programs are, by design or not, parametric in the number of discrete resources, which can be either virtual components like threads, or logical entities… (more)

Subjects/Keywords: formal verification; interprocedural program analysis; observation sequence; program analysis; resource-parameterized; resource-unbounded analysis; Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liu, P. (2019). Resource-aware Program Analysis Using Observation Sequences. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/D20328155

Chicago Manual of Style (16th Edition):

Liu, Peizun. “Resource-aware Program Analysis Using Observation Sequences.” 2019. Doctoral Dissertation, Northeastern University. Accessed August 06, 2020. http://hdl.handle.net/2047/D20328155.

MLA Handbook (7th Edition):

Liu, Peizun. “Resource-aware Program Analysis Using Observation Sequences.” 2019. Web. 06 Aug 2020.

Vancouver:

Liu P. Resource-aware Program Analysis Using Observation Sequences. [Internet] [Doctoral dissertation]. Northeastern University; 2019. [cited 2020 Aug 06]. Available from: http://hdl.handle.net/2047/D20328155.

Council of Science Editors:

Liu P. Resource-aware Program Analysis Using Observation Sequences. [Doctoral Dissertation]. Northeastern University; 2019. Available from: http://hdl.handle.net/2047/D20328155


Louisiana State University

28. Chen, Hongyi. Program analysis : termination proofs for Linear Simple Loops.

Degree: PhD, Computer Sciences, 2012, Louisiana State University

 Termination proof synthesis for simple loops, i.e., loops with only conjoined constraints in the loop guard and variable updates in the loop body, is the… (more)

Subjects/Keywords: Formal Verification; Static Analysis; Termination Proofs; Linear Simple Loops; Disjunctive Ranking Relation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, H. (2012). Program analysis : termination proofs for Linear Simple Loops. (Doctoral Dissertation). Louisiana State University. Retrieved from etd-01222013-102917 ; https://digitalcommons.lsu.edu/gradschool_dissertations/3093

Chicago Manual of Style (16th Edition):

Chen, Hongyi. “Program analysis : termination proofs for Linear Simple Loops.” 2012. Doctoral Dissertation, Louisiana State University. Accessed August 06, 2020. etd-01222013-102917 ; https://digitalcommons.lsu.edu/gradschool_dissertations/3093.

MLA Handbook (7th Edition):

Chen, Hongyi. “Program analysis : termination proofs for Linear Simple Loops.” 2012. Web. 06 Aug 2020.

Vancouver:

Chen H. Program analysis : termination proofs for Linear Simple Loops. [Internet] [Doctoral dissertation]. Louisiana State University; 2012. [cited 2020 Aug 06]. Available from: etd-01222013-102917 ; https://digitalcommons.lsu.edu/gradschool_dissertations/3093.

Council of Science Editors:

Chen H. Program analysis : termination proofs for Linear Simple Loops. [Doctoral Dissertation]. Louisiana State University; 2012. Available from: etd-01222013-102917 ; https://digitalcommons.lsu.edu/gradschool_dissertations/3093


University of California – Irvine

29. Oh, Hyungik. A Life Event Detection System Using Real-Time Heterogeneous Context Monitoring and Formal Concept Analysis.

Degree: Computer Science, 2015, University of California – Irvine

 The real-time detection of personal life events has great potential to provide human-friendly services. Using detected life events in the fields of health care, smart… (more)

Subjects/Keywords: Computer science; Context-Awareness; Event Detection; Formal Concept Analysis; Mobile Computing; User Logging

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Oh, H. (2015). A Life Event Detection System Using Real-Time Heterogeneous Context Monitoring and Formal Concept Analysis. (Thesis). University of California – Irvine. Retrieved from http://www.escholarship.org/uc/item/8cp2626t

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):

Oh, Hyungik. “A Life Event Detection System Using Real-Time Heterogeneous Context Monitoring and Formal Concept Analysis.” 2015. Thesis, University of California – Irvine. Accessed August 06, 2020. http://www.escholarship.org/uc/item/8cp2626t.

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

MLA Handbook (7th Edition):

Oh, Hyungik. “A Life Event Detection System Using Real-Time Heterogeneous Context Monitoring and Formal Concept Analysis.” 2015. Web. 06 Aug 2020.

Vancouver:

Oh H. A Life Event Detection System Using Real-Time Heterogeneous Context Monitoring and Formal Concept Analysis. [Internet] [Thesis]. University of California – Irvine; 2015. [cited 2020 Aug 06]. Available from: http://www.escholarship.org/uc/item/8cp2626t.

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

Council of Science Editors:

Oh H. A Life Event Detection System Using Real-Time Heterogeneous Context Monitoring and Formal Concept Analysis. [Thesis]. University of California – Irvine; 2015. Available from: http://www.escholarship.org/uc/item/8cp2626t

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

30. Bühler, David. EVA, an Evolved Value Analysis for Frama-C : structuring an abstract interpreter through value and state abstractions : Structurer un interpréteur abstrait autour d'abstractions d'états et de valeurs : EVA, une analyse de valeurs évoluée pour Frama-C.

Degree: Docteur es, Informatique, 2017, Rennes 1

 Cette thèse propose un nouveau cadre pour la composition de domaines abstraits. L'idée principale en est l'organisation d'une sémantique abstraite suivant la distinction usuelle entre… (more)

Subjects/Keywords: Méthodes formelles (Informatique); Analyse statique; Interprétation abstraite; Formal methods (Computer science); Static analysis; Abstract interpretation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bühler, D. (2017). EVA, an Evolved Value Analysis for Frama-C : structuring an abstract interpreter through value and state abstractions : Structurer un interpréteur abstrait autour d'abstractions d'états et de valeurs : EVA, une analyse de valeurs évoluée pour Frama-C. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2017REN1S016

Chicago Manual of Style (16th Edition):

Bühler, David. “EVA, an Evolved Value Analysis for Frama-C : structuring an abstract interpreter through value and state abstractions : Structurer un interpréteur abstrait autour d'abstractions d'états et de valeurs : EVA, une analyse de valeurs évoluée pour Frama-C.” 2017. Doctoral Dissertation, Rennes 1. Accessed August 06, 2020. http://www.theses.fr/2017REN1S016.

MLA Handbook (7th Edition):

Bühler, David. “EVA, an Evolved Value Analysis for Frama-C : structuring an abstract interpreter through value and state abstractions : Structurer un interpréteur abstrait autour d'abstractions d'états et de valeurs : EVA, une analyse de valeurs évoluée pour Frama-C.” 2017. Web. 06 Aug 2020.

Vancouver:

Bühler D. EVA, an Evolved Value Analysis for Frama-C : structuring an abstract interpreter through value and state abstractions : Structurer un interpréteur abstrait autour d'abstractions d'états et de valeurs : EVA, une analyse de valeurs évoluée pour Frama-C. [Internet] [Doctoral dissertation]. Rennes 1; 2017. [cited 2020 Aug 06]. Available from: http://www.theses.fr/2017REN1S016.

Council of Science Editors:

Bühler D. EVA, an Evolved Value Analysis for Frama-C : structuring an abstract interpreter through value and state abstractions : Structurer un interpréteur abstrait autour d'abstractions d'états et de valeurs : EVA, une analyse de valeurs évoluée pour Frama-C. [Doctoral Dissertation]. Rennes 1; 2017. Available from: http://www.theses.fr/2017REN1S016

[1] [2] [3] [4] [5] [6] [7] [8] [9]

.