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 methods). Showing records 1 – 30 of 382 total matches.

[1] [2] [3] [4] [5] … [13]

Search Limiters

Last 2 Years | English Only

Department

Degrees

Levels

Languages

Country

▼ Search Limiters


Cornell University

1. Raman, Vasumathi. Explaining Unsynthesizability Of High-Level Robot Behaviors .

Degree: 2013, Cornell University

 As robots become increasingly capable and general-purpose, it is desirable for them to be easily controllable by a wide variety of users. The near future… (more)

Subjects/Keywords: Robotics; Formal Methods; Synthesis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Raman, V. (2013). Explaining Unsynthesizability Of High-Level Robot Behaviors . (Thesis). Cornell University. Retrieved from http://hdl.handle.net/1813/34373

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

Raman, Vasumathi. “Explaining Unsynthesizability Of High-Level Robot Behaviors .” 2013. Thesis, Cornell University. Accessed July 10, 2020. http://hdl.handle.net/1813/34373.

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

MLA Handbook (7th Edition):

Raman, Vasumathi. “Explaining Unsynthesizability Of High-Level Robot Behaviors .” 2013. Web. 10 Jul 2020.

Vancouver:

Raman V. Explaining Unsynthesizability Of High-Level Robot Behaviors . [Internet] [Thesis]. Cornell University; 2013. [cited 2020 Jul 10]. Available from: http://hdl.handle.net/1813/34373.

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

Council of Science Editors:

Raman V. Explaining Unsynthesizability Of High-Level Robot Behaviors . [Thesis]. Cornell University; 2013. Available from: http://hdl.handle.net/1813/34373

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


University of New South Wales

2. Cock, David. Leakage in Trustworthy Systems.

Degree: Computer Science & Engineering, 2014, University of New South Wales

 This dissertation presents a survey of the theoretical and practical techniques necessary to provably eliminate side-channel leakage through known mechanisms in component-based secure systems.We cover… (more)

Subjects/Keywords: Microkernels; Security; Formal methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cock, D. (2014). Leakage in Trustworthy Systems. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/53707 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:12402/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Cock, David. “Leakage in Trustworthy Systems.” 2014. Doctoral Dissertation, University of New South Wales. Accessed July 10, 2020. http://handle.unsw.edu.au/1959.4/53707 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:12402/SOURCE02?view=true.

MLA Handbook (7th Edition):

Cock, David. “Leakage in Trustworthy Systems.” 2014. Web. 10 Jul 2020.

Vancouver:

Cock D. Leakage in Trustworthy Systems. [Internet] [Doctoral dissertation]. University of New South Wales; 2014. [cited 2020 Jul 10]. Available from: http://handle.unsw.edu.au/1959.4/53707 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:12402/SOURCE02?view=true.

Council of Science Editors:

Cock D. Leakage in Trustworthy Systems. [Doctoral Dissertation]. University of New South Wales; 2014. Available from: http://handle.unsw.edu.au/1959.4/53707 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:12402/SOURCE02?view=true


University of Waikato

3. Liu, Bowen. Using behavioural specifications to support model-checking .

Degree: 2019, University of Waikato

 Safety-critical interactive systems provide many benefits for human daily life, but erroneous safety-critical interactive systems can lead to serious consequences to the users. Thus building… (more)

Subjects/Keywords: Formal methods; Cucumber; Behavioural Speficication

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liu, B. (2019). Using behavioural specifications to support model-checking . (Masters Thesis). University of Waikato. Retrieved from http://hdl.handle.net/10289/13028

Chicago Manual of Style (16th Edition):

Liu, Bowen. “Using behavioural specifications to support model-checking .” 2019. Masters Thesis, University of Waikato. Accessed July 10, 2020. http://hdl.handle.net/10289/13028.

MLA Handbook (7th Edition):

Liu, Bowen. “Using behavioural specifications to support model-checking .” 2019. Web. 10 Jul 2020.

Vancouver:

Liu B. Using behavioural specifications to support model-checking . [Internet] [Masters thesis]. University of Waikato; 2019. [cited 2020 Jul 10]. Available from: http://hdl.handle.net/10289/13028.

Council of Science Editors:

Liu B. Using behavioural specifications to support model-checking . [Masters Thesis]. University of Waikato; 2019. Available from: http://hdl.handle.net/10289/13028


University of South Africa

4. Adesina-Ojo, Ayodele Adeola. Towards the formalisation of object-oriented methodologies .

Degree: 2011, University of South Africa

Formal methods have been shown to be beneficial in increasing the quality of, and confidence in software systems. Despite the advantages of using formal methods(more)

Subjects/Keywords: Object-orientation; UML; Object-Oriented Formal Methods (OOFMs); Formal methods; Z++

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Adesina-Ojo, A. A. (2011). Towards the formalisation of object-oriented methodologies . (Doctoral Dissertation). University of South Africa. Retrieved from http://hdl.handle.net/10500/11957

Chicago Manual of Style (16th Edition):

Adesina-Ojo, Ayodele Adeola. “Towards the formalisation of object-oriented methodologies .” 2011. Doctoral Dissertation, University of South Africa. Accessed July 10, 2020. http://hdl.handle.net/10500/11957.

MLA Handbook (7th Edition):

Adesina-Ojo, Ayodele Adeola. “Towards the formalisation of object-oriented methodologies .” 2011. Web. 10 Jul 2020.

Vancouver:

Adesina-Ojo AA. Towards the formalisation of object-oriented methodologies . [Internet] [Doctoral dissertation]. University of South Africa; 2011. [cited 2020 Jul 10]. Available from: http://hdl.handle.net/10500/11957.

Council of Science Editors:

Adesina-Ojo AA. Towards the formalisation of object-oriented methodologies . [Doctoral Dissertation]. University of South Africa; 2011. Available from: http://hdl.handle.net/10500/11957


Universidade do Rio Grande do Sul

5. Barbosa, Raquel de Miranda. Especificação formal de organizações de sistemas multiagentes.

Degree: 2011, Universidade do Rio Grande do Sul

A abordagem de sistemas multiagentes tem sido cada vez mais utilizada para o desenvolvimento de sistemas complexos, o que despertou o interesse das pesquisas na… (more)

Subjects/Keywords: Formal methods; Inteligência artificial; MAS organizations; Sistemas multiagentes; RSL formal specification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Barbosa, R. d. M. (2011). Especificação formal de organizações de sistemas multiagentes. (Thesis). Universidade do Rio Grande do Sul. Retrieved from http://hdl.handle.net/10183/31122

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

Barbosa, Raquel de Miranda. “Especificação formal de organizações de sistemas multiagentes.” 2011. Thesis, Universidade do Rio Grande do Sul. Accessed July 10, 2020. http://hdl.handle.net/10183/31122.

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

MLA Handbook (7th Edition):

Barbosa, Raquel de Miranda. “Especificação formal de organizações de sistemas multiagentes.” 2011. Web. 10 Jul 2020.

Vancouver:

Barbosa RdM. Especificação formal de organizações de sistemas multiagentes. [Internet] [Thesis]. Universidade do Rio Grande do Sul; 2011. [cited 2020 Jul 10]. Available from: http://hdl.handle.net/10183/31122.

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

Council of Science Editors:

Barbosa RdM. Especificação formal de organizações de sistemas multiagentes. [Thesis]. Universidade do Rio Grande do Sul; 2011. Available from: http://hdl.handle.net/10183/31122

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


McMaster University

6. Kumar, Apurva. A Preparatory Study Towards a Body of Knowledge in the Field of Formal Methods for the Railway Domain.

Degree: MASc, 2015, McMaster University

Bodies or Books of Knowledge (BoKs) have only been transcribed in mature fields where practices and rules have been well established (settled) and are gathered… (more)

Subjects/Keywords: Formal Methods; Railway Software; Formal Concept Analysis; Body of Knowledge

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kumar, A. (2015). A Preparatory Study Towards a Body of Knowledge in the Field of Formal Methods for the Railway Domain. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/18416

Chicago Manual of Style (16th Edition):

Kumar, Apurva. “A Preparatory Study Towards a Body of Knowledge in the Field of Formal Methods for the Railway Domain.” 2015. Masters Thesis, McMaster University. Accessed July 10, 2020. http://hdl.handle.net/11375/18416.

MLA Handbook (7th Edition):

Kumar, Apurva. “A Preparatory Study Towards a Body of Knowledge in the Field of Formal Methods for the Railway Domain.” 2015. Web. 10 Jul 2020.

Vancouver:

Kumar A. A Preparatory Study Towards a Body of Knowledge in the Field of Formal Methods for the Railway Domain. [Internet] [Masters thesis]. McMaster University; 2015. [cited 2020 Jul 10]. Available from: http://hdl.handle.net/11375/18416.

Council of Science Editors:

Kumar A. A Preparatory Study Towards a Body of Knowledge in the Field of Formal Methods for the Railway Domain. [Masters Thesis]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/18416


The Ohio State University

7. Zaccai, Diego Sebastian. A Balanced Verification Effort for the Java Language.

Degree: PhD, Computer Science and Engineering, 2016, The Ohio State University

 Current tools used to verify software in languages with reference semantics, such as Java, are hampered by the possibility of aliases. Existing approaches to addressing… (more)

Subjects/Keywords: Computer Science; Formal Methods; Software Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zaccai, D. S. (2016). A Balanced Verification Effort for the Java Language. (Doctoral Dissertation). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1461243619

Chicago Manual of Style (16th Edition):

Zaccai, Diego Sebastian. “A Balanced Verification Effort for the Java Language.” 2016. Doctoral Dissertation, The Ohio State University. Accessed July 10, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1461243619.

MLA Handbook (7th Edition):

Zaccai, Diego Sebastian. “A Balanced Verification Effort for the Java Language.” 2016. Web. 10 Jul 2020.

Vancouver:

Zaccai DS. A Balanced Verification Effort for the Java Language. [Internet] [Doctoral dissertation]. The Ohio State University; 2016. [cited 2020 Jul 10]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1461243619.

Council of Science Editors:

Zaccai DS. A Balanced Verification Effort for the Java Language. [Doctoral Dissertation]. The Ohio State University; 2016. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1461243619


University of Waikato

8. Crickett, Scott. Design Patterns: Infrastructure and Examples .

Degree: 2017, University of Waikato

 Modern interactive systems can be incredibly complex, with a variety of screens, menus, widgets, etc. available to the user. Due to this, modelling these interactive… (more)

Subjects/Keywords: Computer Science; Formal Methods; Design Patterns

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Crickett, S. (2017). Design Patterns: Infrastructure and Examples . (Masters Thesis). University of Waikato. Retrieved from http://hdl.handle.net/10289/11703

Chicago Manual of Style (16th Edition):

Crickett, Scott. “Design Patterns: Infrastructure and Examples .” 2017. Masters Thesis, University of Waikato. Accessed July 10, 2020. http://hdl.handle.net/10289/11703.

MLA Handbook (7th Edition):

Crickett, Scott. “Design Patterns: Infrastructure and Examples .” 2017. Web. 10 Jul 2020.

Vancouver:

Crickett S. Design Patterns: Infrastructure and Examples . [Internet] [Masters thesis]. University of Waikato; 2017. [cited 2020 Jul 10]. Available from: http://hdl.handle.net/10289/11703.

Council of Science Editors:

Crickett S. Design Patterns: Infrastructure and Examples . [Masters Thesis]. University of Waikato; 2017. Available from: http://hdl.handle.net/10289/11703


University of Oklahoma

9. Ralston, Ryan. Translating Clojure to ACL2 for Verification.

Degree: PhD, 2016, University of Oklahoma

 Software spends a significant portion of its life-cycle in the maintenance phase and over 20% of the maintenance effort is fixing defects. Formal methods, including… (more)

Subjects/Keywords: Software Verification; Formal Methods; Theorem Proving

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ralston, R. (2016). Translating Clojure to ACL2 for Verification. (Doctoral Dissertation). University of Oklahoma. Retrieved from http://hdl.handle.net/11244/42982

Chicago Manual of Style (16th Edition):

Ralston, Ryan. “Translating Clojure to ACL2 for Verification.” 2016. Doctoral Dissertation, University of Oklahoma. Accessed July 10, 2020. http://hdl.handle.net/11244/42982.

MLA Handbook (7th Edition):

Ralston, Ryan. “Translating Clojure to ACL2 for Verification.” 2016. Web. 10 Jul 2020.

Vancouver:

Ralston R. Translating Clojure to ACL2 for Verification. [Internet] [Doctoral dissertation]. University of Oklahoma; 2016. [cited 2020 Jul 10]. Available from: http://hdl.handle.net/11244/42982.

Council of Science Editors:

Ralston R. Translating Clojure to ACL2 for Verification. [Doctoral Dissertation]. University of Oklahoma; 2016. Available from: http://hdl.handle.net/11244/42982


Cornell University

10. Xu, Bingxin. Guaranteeing High-Level Robot Behaviours With Past Memory And Future Unknown .

Degree: 2013, Cornell University

 This thesis presents the development of high-level guaranteed robot control for reactive behaviours by relaxing two assumptions: 1) the workspace is well-known in advance; 2)… (more)

Subjects/Keywords: high-level control; robot; formal methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xu, B. (2013). Guaranteeing High-Level Robot Behaviours With Past Memory And Future Unknown . (Thesis). Cornell University. Retrieved from http://hdl.handle.net/1813/33823

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

Xu, Bingxin. “Guaranteeing High-Level Robot Behaviours With Past Memory And Future Unknown .” 2013. Thesis, Cornell University. Accessed July 10, 2020. http://hdl.handle.net/1813/33823.

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

MLA Handbook (7th Edition):

Xu, Bingxin. “Guaranteeing High-Level Robot Behaviours With Past Memory And Future Unknown .” 2013. Web. 10 Jul 2020.

Vancouver:

Xu B. Guaranteeing High-Level Robot Behaviours With Past Memory And Future Unknown . [Internet] [Thesis]. Cornell University; 2013. [cited 2020 Jul 10]. Available from: http://hdl.handle.net/1813/33823.

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

Council of Science Editors:

Xu B. Guaranteeing High-Level Robot Behaviours With Past Memory And Future Unknown . [Thesis]. Cornell University; 2013. Available from: http://hdl.handle.net/1813/33823

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


Kansas State University

11. Zhang, Zhi. A formal approach to contract verification for high-integrity applications.

Degree: PhD, Department of Computing and Information Sciences, 2016, Kansas State University

 High-integrity applications are safety- and security-critical applications developed for a variety of critical tasks. The correctness of these applications must be thoroughly tested or formally… (more)

Subjects/Keywords: Formal Methods; Language Semantics; Program Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, Z. (2016). A formal approach to contract verification for high-integrity applications. (Doctoral Dissertation). Kansas State University. Retrieved from http://hdl.handle.net/2097/32880

Chicago Manual of Style (16th Edition):

Zhang, Zhi. “A formal approach to contract verification for high-integrity applications.” 2016. Doctoral Dissertation, Kansas State University. Accessed July 10, 2020. http://hdl.handle.net/2097/32880.

MLA Handbook (7th Edition):

Zhang, Zhi. “A formal approach to contract verification for high-integrity applications.” 2016. Web. 10 Jul 2020.

Vancouver:

Zhang Z. A formal approach to contract verification for high-integrity applications. [Internet] [Doctoral dissertation]. Kansas State University; 2016. [cited 2020 Jul 10]. Available from: http://hdl.handle.net/2097/32880.

Council of Science Editors:

Zhang Z. A formal approach to contract verification for high-integrity applications. [Doctoral Dissertation]. Kansas State University; 2016. Available from: http://hdl.handle.net/2097/32880


University of New South Wales

12. Avnit, Karin. Provably correct on-chip communication: a formal approach to automatic synthesis of SoC protocol converters.

Degree: Computer Science & Engineering, 2010, University of New South Wales

 The field of chip design is characterized by contradictory pressures to reduce time-to-market and maintain a high level of reliability. As a result, module reuse… (more)

Subjects/Keywords: System-on-Chip; Formal Methods; Protocol converter

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Avnit, K. (2010). Provably correct on-chip communication: a formal approach to automatic synthesis of SoC protocol converters. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/44701 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:8001/SOURCE01?view=true

Chicago Manual of Style (16th Edition):

Avnit, Karin. “Provably correct on-chip communication: a formal approach to automatic synthesis of SoC protocol converters.” 2010. Doctoral Dissertation, University of New South Wales. Accessed July 10, 2020. http://handle.unsw.edu.au/1959.4/44701 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:8001/SOURCE01?view=true.

MLA Handbook (7th Edition):

Avnit, Karin. “Provably correct on-chip communication: a formal approach to automatic synthesis of SoC protocol converters.” 2010. Web. 10 Jul 2020.

Vancouver:

Avnit K. Provably correct on-chip communication: a formal approach to automatic synthesis of SoC protocol converters. [Internet] [Doctoral dissertation]. University of New South Wales; 2010. [cited 2020 Jul 10]. Available from: http://handle.unsw.edu.au/1959.4/44701 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:8001/SOURCE01?view=true.

Council of Science Editors:

Avnit K. Provably correct on-chip communication: a formal approach to automatic synthesis of SoC protocol converters. [Doctoral Dissertation]. University of New South Wales; 2010. Available from: http://handle.unsw.edu.au/1959.4/44701 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:8001/SOURCE01?view=true


University of Illinois – Urbana-Champaign

13. Katelman, Michael. A meta-language for functional verification.

Degree: PhD, 0112, 2012, University of Illinois – Urbana-Champaign

 This dissertation perceives a similarity between two activities: that of coordinating the search for simulation traces toward reaching verification closure, and that of coordinating the… (more)

Subjects/Keywords: Programming Languages; Formal Methods; Hardware Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Katelman, M. (2012). A meta-language for functional verification. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/29614

Chicago Manual of Style (16th Edition):

Katelman, Michael. “A meta-language for functional verification.” 2012. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed July 10, 2020. http://hdl.handle.net/2142/29614.

MLA Handbook (7th Edition):

Katelman, Michael. “A meta-language for functional verification.” 2012. Web. 10 Jul 2020.

Vancouver:

Katelman M. A meta-language for functional verification. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2020 Jul 10]. Available from: http://hdl.handle.net/2142/29614.

Council of Science Editors:

Katelman M. A meta-language for functional verification. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/29614


Clemson University

14. Smith, Hampton. Engineering Specifications and Mathematics for Verified Software.

Degree: PhD, Computer Science, 2013, Clemson University

 Developing a verifying compiler – a compiler that proves that components are correct with respect to their specifications – is a grand challenge for the computing community.… (more)

Subjects/Keywords: Formal Methods; Specficiation; Verification; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Smith, H. (2013). Engineering Specifications and Mathematics for Verified Software. (Doctoral Dissertation). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_dissertations/1132

Chicago Manual of Style (16th Edition):

Smith, Hampton. “Engineering Specifications and Mathematics for Verified Software.” 2013. Doctoral Dissertation, Clemson University. Accessed July 10, 2020. https://tigerprints.clemson.edu/all_dissertations/1132.

MLA Handbook (7th Edition):

Smith, Hampton. “Engineering Specifications and Mathematics for Verified Software.” 2013. Web. 10 Jul 2020.

Vancouver:

Smith H. Engineering Specifications and Mathematics for Verified Software. [Internet] [Doctoral dissertation]. Clemson University; 2013. [cited 2020 Jul 10]. Available from: https://tigerprints.clemson.edu/all_dissertations/1132.

Council of Science Editors:

Smith H. Engineering Specifications and Mathematics for Verified Software. [Doctoral Dissertation]. Clemson University; 2013. Available from: https://tigerprints.clemson.edu/all_dissertations/1132


Loughborough University

15. Roslan, Rosmira. Formal transformation methods for automated fault tree generation from UML diagrams.

Degree: PhD, 2019, Loughborough University

 With a growing complexity in safety critical systems, engaging Systems Engineering with System Safety Engineering as early as possible in the system life cycle becomes… (more)

Subjects/Keywords: Formal transformation methods; Fault Tree; UML Diagrams

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Roslan, R. (2019). Formal transformation methods for automated fault tree generation from UML diagrams. (Doctoral Dissertation). Loughborough University. Retrieved from https://doi.org/10.26174/thesis.lboro.11638011.v1 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.799192

Chicago Manual of Style (16th Edition):

Roslan, Rosmira. “Formal transformation methods for automated fault tree generation from UML diagrams.” 2019. Doctoral Dissertation, Loughborough University. Accessed July 10, 2020. https://doi.org/10.26174/thesis.lboro.11638011.v1 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.799192.

MLA Handbook (7th Edition):

Roslan, Rosmira. “Formal transformation methods for automated fault tree generation from UML diagrams.” 2019. Web. 10 Jul 2020.

Vancouver:

Roslan R. Formal transformation methods for automated fault tree generation from UML diagrams. [Internet] [Doctoral dissertation]. Loughborough University; 2019. [cited 2020 Jul 10]. Available from: https://doi.org/10.26174/thesis.lboro.11638011.v1 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.799192.

Council of Science Editors:

Roslan R. Formal transformation methods for automated fault tree generation from UML diagrams. [Doctoral Dissertation]. Loughborough University; 2019. Available from: https://doi.org/10.26174/thesis.lboro.11638011.v1 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.799192


Université de Grenoble

16. Qamar, Muhammad Nafees. Spécification et animation de modèles de conception de la sécurité avec Z : Specification and animation of security design models using Z.

Degree: Docteur es, Informatique, 2011, Université de Grenoble

L'écriture de spécifications pour des logiciels en général et en particulier pour des applications sécurisées demande de développer des techniques qui facilitent la détection et… (more)

Subjects/Keywords: Information systems; Formal methods; Z; UML; Information systems; Formal methods; Z; UML; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Qamar, M. N. (2011). Spécification et animation de modèles de conception de la sécurité avec Z : Specification and animation of security design models using Z. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2011GRENM057

Chicago Manual of Style (16th Edition):

Qamar, Muhammad Nafees. “Spécification et animation de modèles de conception de la sécurité avec Z : Specification and animation of security design models using Z.” 2011. Doctoral Dissertation, Université de Grenoble. Accessed July 10, 2020. http://www.theses.fr/2011GRENM057.

MLA Handbook (7th Edition):

Qamar, Muhammad Nafees. “Spécification et animation de modèles de conception de la sécurité avec Z : Specification and animation of security design models using Z.” 2011. Web. 10 Jul 2020.

Vancouver:

Qamar MN. Spécification et animation de modèles de conception de la sécurité avec Z : Specification and animation of security design models using Z. [Internet] [Doctoral dissertation]. Université de Grenoble; 2011. [cited 2020 Jul 10]. Available from: http://www.theses.fr/2011GRENM057.

Council of Science Editors:

Qamar MN. Spécification et animation de modèles de conception de la sécurité avec Z : Specification and animation of security design models using Z. [Doctoral Dissertation]. Université de Grenoble; 2011. Available from: http://www.theses.fr/2011GRENM057

17. FARIAS, Adalberto Cajueiro de. Abstraction of infinite and communicating CSPZ processes .

Degree: 2009, Universidade Federal de Pernambuco

 Esta tese trata de um problema muito comum em verificação formal: explosão de estados. O problema desabilita a verificação automática de propriedades através da verificação… (more)

Subjects/Keywords: Formal methods; Formal specification; CSPZ; Data abstraction; Data refinement, Process refinement; Model checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

FARIAS, A. C. d. (2009). Abstraction of infinite and communicating CSPZ processes . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/1364

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

FARIAS, Adalberto Cajueiro de. “Abstraction of infinite and communicating CSPZ processes .” 2009. Thesis, Universidade Federal de Pernambuco. Accessed July 10, 2020. http://repositorio.ufpe.br/handle/123456789/1364.

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

MLA Handbook (7th Edition):

FARIAS, Adalberto Cajueiro de. “Abstraction of infinite and communicating CSPZ processes .” 2009. Web. 10 Jul 2020.

Vancouver:

FARIAS ACd. Abstraction of infinite and communicating CSPZ processes . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2009. [cited 2020 Jul 10]. Available from: http://repositorio.ufpe.br/handle/123456789/1364.

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

Council of Science Editors:

FARIAS ACd. Abstraction of infinite and communicating CSPZ processes . [Thesis]. Universidade Federal de Pernambuco; 2009. Available from: http://repositorio.ufpe.br/handle/123456789/1364

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

18. Bockenek, Joshua A. USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow.

Degree: MS, Electrical and Computer Engineering, 2017, Virginia Tech

 Writing bug-free code is fraught with difficulty, and existing tools for the formal verification of programs do not scale well to large, complicated codebases such… (more)

Subjects/Keywords: Formal Verification; Formal Methods; Isabelle; Unifying Theories of Programming; Verification Condition Generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bockenek, J. A. (2017). USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/81710

Chicago Manual of Style (16th Edition):

Bockenek, Joshua A. “USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow.” 2017. Masters Thesis, Virginia Tech. Accessed July 10, 2020. http://hdl.handle.net/10919/81710.

MLA Handbook (7th Edition):

Bockenek, Joshua A. “USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow.” 2017. Web. 10 Jul 2020.

Vancouver:

Bockenek JA. USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow. [Internet] [Masters thesis]. Virginia Tech; 2017. [cited 2020 Jul 10]. Available from: http://hdl.handle.net/10919/81710.

Council of Science Editors:

Bockenek JA. USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow. [Masters Thesis]. Virginia Tech; 2017. Available from: http://hdl.handle.net/10919/81710

19. Hjort, Rikard. Formally Verifying WebAssembly with KWasm Towards an Automated Prover for Wasm Smart Contracts .

Degree: Chalmers tekniska högskola / Institutionen för data och informationsvetenskap, 2020, Chalmers University of Technology

 A smart contract is immutable, public bytecode which handles valuable assets. This makes it a prime target for formal methods. WebAssembly (Wasm) is emerging as… (more)

Subjects/Keywords: K; K framework; WebAssembly; Wasm; Ethereum; Ewasm; formal methods; formal verification; semantics; specification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hjort, R. (2020). Formally Verifying WebAssembly with KWasm Towards an Automated Prover for Wasm Smart Contracts . (Thesis). Chalmers University of Technology. Retrieved from http://hdl.handle.net/20.500.12380/300761

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

Hjort, Rikard. “Formally Verifying WebAssembly with KWasm Towards an Automated Prover for Wasm Smart Contracts .” 2020. Thesis, Chalmers University of Technology. Accessed July 10, 2020. http://hdl.handle.net/20.500.12380/300761.

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

MLA Handbook (7th Edition):

Hjort, Rikard. “Formally Verifying WebAssembly with KWasm Towards an Automated Prover for Wasm Smart Contracts .” 2020. Web. 10 Jul 2020.

Vancouver:

Hjort R. Formally Verifying WebAssembly with KWasm Towards an Automated Prover for Wasm Smart Contracts . [Internet] [Thesis]. Chalmers University of Technology; 2020. [cited 2020 Jul 10]. Available from: http://hdl.handle.net/20.500.12380/300761.

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

Council of Science Editors:

Hjort R. Formally Verifying WebAssembly with KWasm Towards an Automated Prover for Wasm Smart Contracts . [Thesis]. Chalmers University of Technology; 2020. Available from: http://hdl.handle.net/20.500.12380/300761

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


Universitat Politècnica de València

20. Peiró Frasquet, Salvador. Metodología para hipervisores seguros utilizando técnicas de validación formal .

Degree: 2016, Universitat Politècnica de València

 [EN] The availability of new processors with more processing power for embedded systems has raised the development of applications that tackle problems of greater complexity.… (more)

Subjects/Keywords: Secure Hypervisor construction using formal verification; Partitioned system; Hypervisor; Formal methods; Security; Validation and verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Peiró Frasquet, S. (2016). Metodología para hipervisores seguros utilizando técnicas de validación formal . (Doctoral Dissertation). Universitat Politècnica de València. Retrieved from http://hdl.handle.net/10251/63152

Chicago Manual of Style (16th Edition):

Peiró Frasquet, Salvador. “Metodología para hipervisores seguros utilizando técnicas de validación formal .” 2016. Doctoral Dissertation, Universitat Politècnica de València. Accessed July 10, 2020. http://hdl.handle.net/10251/63152.

MLA Handbook (7th Edition):

Peiró Frasquet, Salvador. “Metodología para hipervisores seguros utilizando técnicas de validación formal .” 2016. Web. 10 Jul 2020.

Vancouver:

Peiró Frasquet S. Metodología para hipervisores seguros utilizando técnicas de validación formal . [Internet] [Doctoral dissertation]. Universitat Politècnica de València; 2016. [cited 2020 Jul 10]. Available from: http://hdl.handle.net/10251/63152.

Council of Science Editors:

Peiró Frasquet S. Metodología para hipervisores seguros utilizando técnicas de validación formal . [Doctoral Dissertation]. Universitat Politècnica de València; 2016. Available from: http://hdl.handle.net/10251/63152

21. Diego Henrique Oliveira de Souza. Joker: um realizador de desenhos animados para linguagens formais.

Degree: 2011, Universidade Federal do Rio Grande do Norte

Usando métodos formais, o desenvolvedor pode aumentar a confiabilidade e corretude do software. Além disso, o desenvolvedor pode concentrar-se mais nos requisitos funcionais. Porém há… (more)

Subjects/Keywords: Interface Gráfica; Animação; Java; Especificação formal; Métodos formais.; SISTEMAS DE COMPUTACAO; Graphical User Interface; Animation; Java; Formal Specifications; Formal Methods.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Souza, D. H. O. d. (2011). Joker: um realizador de desenhos animados para linguagens formais. (Thesis). Universidade Federal do Rio Grande do Norte. Retrieved from http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=4515

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

Souza, Diego Henrique Oliveira de. “Joker: um realizador de desenhos animados para linguagens formais.” 2011. Thesis, Universidade Federal do Rio Grande do Norte. Accessed July 10, 2020. http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=4515.

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

MLA Handbook (7th Edition):

Souza, Diego Henrique Oliveira de. “Joker: um realizador de desenhos animados para linguagens formais.” 2011. Web. 10 Jul 2020.

Vancouver:

Souza DHOd. Joker: um realizador de desenhos animados para linguagens formais. [Internet] [Thesis]. Universidade Federal do Rio Grande do Norte; 2011. [cited 2020 Jul 10]. Available from: http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=4515.

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

Council of Science Editors:

Souza DHOd. Joker: um realizador de desenhos animados para linguagens formais. [Thesis]. Universidade Federal do Rio Grande do Norte; 2011. Available from: http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=4515

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


Universidade do Rio Grande do Norte

22. Souza, Diego Henrique Oliveira de. Joker: um realizador de desenhos animados para linguagens formais .

Degree: 2011, Universidade do Rio Grande do Norte

 Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However,… (more)

Subjects/Keywords: Interface Gráfica; Animação; Java; Especificação formal; Métodos formais.; Graphical User Interface; Animation; Java; Formal Specifications; Formal Methods.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Souza, D. H. O. d. (2011). Joker: um realizador de desenhos animados para linguagens formais . (Masters Thesis). Universidade do Rio Grande do Norte. Retrieved from http://repositorio.ufrn.br/handle/123456789/18024

Chicago Manual of Style (16th Edition):

Souza, Diego Henrique Oliveira de. “Joker: um realizador de desenhos animados para linguagens formais .” 2011. Masters Thesis, Universidade do Rio Grande do Norte. Accessed July 10, 2020. http://repositorio.ufrn.br/handle/123456789/18024.

MLA Handbook (7th Edition):

Souza, Diego Henrique Oliveira de. “Joker: um realizador de desenhos animados para linguagens formais .” 2011. Web. 10 Jul 2020.

Vancouver:

Souza DHOd. Joker: um realizador de desenhos animados para linguagens formais . [Internet] [Masters thesis]. Universidade do Rio Grande do Norte; 2011. [cited 2020 Jul 10]. Available from: http://repositorio.ufrn.br/handle/123456789/18024.

Council of Science Editors:

Souza DHOd. Joker: um realizador de desenhos animados para linguagens formais . [Masters Thesis]. Universidade do Rio Grande do Norte; 2011. Available from: http://repositorio.ufrn.br/handle/123456789/18024


Universidade do Rio Grande do Norte

23. Souza, Diego Henrique Oliveira de. Joker: um realizador de desenhos animados para linguagens formais .

Degree: 2011, Universidade do Rio Grande do Norte

 Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However,… (more)

Subjects/Keywords: Interface Gráfica; Animação; Java; Especificação formal; Métodos formais.; Graphical User Interface; Animation; Java; Formal Specifications; Formal Methods.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Souza, D. H. O. d. (2011). Joker: um realizador de desenhos animados para linguagens formais . (Thesis). Universidade do Rio Grande do Norte. Retrieved from http://repositorio.ufrn.br/handle/123456789/18024

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

Souza, Diego Henrique Oliveira de. “Joker: um realizador de desenhos animados para linguagens formais .” 2011. Thesis, Universidade do Rio Grande do Norte. Accessed July 10, 2020. http://repositorio.ufrn.br/handle/123456789/18024.

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

MLA Handbook (7th Edition):

Souza, Diego Henrique Oliveira de. “Joker: um realizador de desenhos animados para linguagens formais .” 2011. Web. 10 Jul 2020.

Vancouver:

Souza DHOd. Joker: um realizador de desenhos animados para linguagens formais . [Internet] [Thesis]. Universidade do Rio Grande do Norte; 2011. [cited 2020 Jul 10]. Available from: http://repositorio.ufrn.br/handle/123456789/18024.

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

Council of Science Editors:

Souza DHOd. Joker: um realizador de desenhos animados para linguagens formais . [Thesis]. Universidade do Rio Grande do Norte; 2011. Available from: http://repositorio.ufrn.br/handle/123456789/18024

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


Virginia Tech

24. Moustafa, Iman Saleh. Formal Specification and Verification of Data-Centric Web Services.

Degree: PhD, Computer Science, 2012, Virginia Tech

 In this thesis, we develop and evaluate a formal model and contracting framework for data-centric Web services. The central component of our framework is a… (more)

Subjects/Keywords: Formal Methods; Data Modeling; Software Specification and Verification; Formal Methods; Data Modeling; Software Specification and Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Moustafa, I. S. (2012). Formal Specification and Verification of Data-Centric Web Services. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/26294

Chicago Manual of Style (16th Edition):

Moustafa, Iman Saleh. “Formal Specification and Verification of Data-Centric Web Services.” 2012. Doctoral Dissertation, Virginia Tech. Accessed July 10, 2020. http://hdl.handle.net/10919/26294.

MLA Handbook (7th Edition):

Moustafa, Iman Saleh. “Formal Specification and Verification of Data-Centric Web Services.” 2012. Web. 10 Jul 2020.

Vancouver:

Moustafa IS. Formal Specification and Verification of Data-Centric Web Services. [Internet] [Doctoral dissertation]. Virginia Tech; 2012. [cited 2020 Jul 10]. Available from: http://hdl.handle.net/10919/26294.

Council of Science Editors:

Moustafa IS. Formal Specification and Verification of Data-Centric Web Services. [Doctoral Dissertation]. Virginia Tech; 2012. Available from: http://hdl.handle.net/10919/26294

25. Ksystra, Aikaterini. Enabling reasoning and verification support for intelligent agent systems, using formal methods.

Degree: 2017, National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ)

Formal methods are techniques, languages and tools based on mathematics, which provide an unambiguous, strict mathematical description or specication which is used for eective design,… (more)

Subjects/Keywords: Έξυπνα συστήματα; Τυπικές μέθοδοι; Intelligent agents; Formal methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ksystra, A. (2017). Enabling reasoning and verification support for intelligent agent systems, using formal methods. (Thesis). National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Retrieved from http://hdl.handle.net/10442/hedi/42255

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

Ksystra, Aikaterini. “Enabling reasoning and verification support for intelligent agent systems, using formal methods.” 2017. Thesis, National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Accessed July 10, 2020. http://hdl.handle.net/10442/hedi/42255.

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

MLA Handbook (7th Edition):

Ksystra, Aikaterini. “Enabling reasoning and verification support for intelligent agent systems, using formal methods.” 2017. Web. 10 Jul 2020.

Vancouver:

Ksystra A. Enabling reasoning and verification support for intelligent agent systems, using formal methods. [Internet] [Thesis]. National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ); 2017. [cited 2020 Jul 10]. Available from: http://hdl.handle.net/10442/hedi/42255.

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

Council of Science Editors:

Ksystra A. Enabling reasoning and verification support for intelligent agent systems, using formal methods. [Thesis]. National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ); 2017. Available from: http://hdl.handle.net/10442/hedi/42255

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


Carnegie Mellon University

26. Tschantz, Michael Carl. Formalizing and Enforcing Purpose Restrictions.

Degree: 2012, Carnegie Mellon University

 Privacy policies often place restrictions on the purposes for which a governed entity may use personal information. For example, regulations, such as the Health Insurance… (more)

Subjects/Keywords: Privacy; Formal Methods; Auditing; Compliance Checking; Planning; MDPs; POMDPs; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tschantz, M. C. (2012). Formalizing and Enforcing Purpose Restrictions. (Thesis). Carnegie Mellon University. Retrieved from http://repository.cmu.edu/dissertations/128

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

Tschantz, Michael Carl. “Formalizing and Enforcing Purpose Restrictions.” 2012. Thesis, Carnegie Mellon University. Accessed July 10, 2020. http://repository.cmu.edu/dissertations/128.

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

MLA Handbook (7th Edition):

Tschantz, Michael Carl. “Formalizing and Enforcing Purpose Restrictions.” 2012. Web. 10 Jul 2020.

Vancouver:

Tschantz MC. Formalizing and Enforcing Purpose Restrictions. [Internet] [Thesis]. Carnegie Mellon University; 2012. [cited 2020 Jul 10]. Available from: http://repository.cmu.edu/dissertations/128.

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

Council of Science Editors:

Tschantz MC. Formalizing and Enforcing Purpose Restrictions. [Thesis]. Carnegie Mellon University; 2012. Available from: http://repository.cmu.edu/dissertations/128

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


University of California – Berkeley

27. Sadigh, Dorsa. Safe and Interactive Autonomy: Control, Learning, and Verification.

Degree: Electrical Engineering & Computer Sciences, 2017, University of California – Berkeley

 The goal of my research is to enable safe and reliable integration of human-robot systems in our society by providing a unified framework for modeling… (more)

Subjects/Keywords: Engineering; Control theory; Formal methods; Human-Robot Interaction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sadigh, D. (2017). Safe and Interactive Autonomy: Control, Learning, and Verification. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/06g4b5xs

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

Sadigh, Dorsa. “Safe and Interactive Autonomy: Control, Learning, and Verification.” 2017. Thesis, University of California – Berkeley. Accessed July 10, 2020. http://www.escholarship.org/uc/item/06g4b5xs.

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

MLA Handbook (7th Edition):

Sadigh, Dorsa. “Safe and Interactive Autonomy: Control, Learning, and Verification.” 2017. Web. 10 Jul 2020.

Vancouver:

Sadigh D. Safe and Interactive Autonomy: Control, Learning, and Verification. [Internet] [Thesis]. University of California – Berkeley; 2017. [cited 2020 Jul 10]. Available from: http://www.escholarship.org/uc/item/06g4b5xs.

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

Council of Science Editors:

Sadigh D. Safe and Interactive Autonomy: Control, Learning, and Verification. [Thesis]. University of California – Berkeley; 2017. Available from: http://www.escholarship.org/uc/item/06g4b5xs

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


University of California – Berkeley

28. 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 July 10, 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. 10 Jul 2020.

Vancouver:

Chen Z. Abstract Semantics for Software Security Analysis. [Internet] [Thesis]. University of California – Berkeley; 2015. [cited 2020 Jul 10]. 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 Alberta

29. Delfani, Parisa. Behavioral Verification of Small Networks of State-Machines Built with Arduino-like Processors.

Degree: MS, Department of Computing Science, 2012, University of Alberta

 Inexpensive yet versatile limited-capability processors enable computing to be embedded in many kinds of devices and situations. Most applications are simple purpose-programmed reactive systems that… (more)

Subjects/Keywords: Software Engineering; Model Checking; Sensor Networks; Formal Methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Delfani, P. (2012). Behavioral Verification of Small Networks of State-Machines Built with Arduino-like Processors. (Masters Thesis). University of Alberta. Retrieved from https://era.library.ualberta.ca/files/t722hb17m

Chicago Manual of Style (16th Edition):

Delfani, Parisa. “Behavioral Verification of Small Networks of State-Machines Built with Arduino-like Processors.” 2012. Masters Thesis, University of Alberta. Accessed July 10, 2020. https://era.library.ualberta.ca/files/t722hb17m.

MLA Handbook (7th Edition):

Delfani, Parisa. “Behavioral Verification of Small Networks of State-Machines Built with Arduino-like Processors.” 2012. Web. 10 Jul 2020.

Vancouver:

Delfani P. Behavioral Verification of Small Networks of State-Machines Built with Arduino-like Processors. [Internet] [Masters thesis]. University of Alberta; 2012. [cited 2020 Jul 10]. Available from: https://era.library.ualberta.ca/files/t722hb17m.

Council of Science Editors:

Delfani P. Behavioral Verification of Small Networks of State-Machines Built with Arduino-like Processors. [Masters Thesis]. University of Alberta; 2012. Available from: https://era.library.ualberta.ca/files/t722hb17m


University of Pennsylvania

30. Moarref, Salar. Compositional Reactive Synthesis for Multi-Agent Systems.

Degree: 2016, University of Pennsylvania

 With growing complexity of systems and guarantees they are required to provide, the need for automated and formal design approaches that can guarantee safety and… (more)

Subjects/Keywords: Compositional Synthesis; Formal Methods; Multi-Agent Systems; Reactive Synthesis; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Moarref, S. (2016). Compositional Reactive Synthesis for Multi-Agent Systems. (Thesis). University of Pennsylvania. Retrieved from https://repository.upenn.edu/edissertations/1902

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

Moarref, Salar. “Compositional Reactive Synthesis for Multi-Agent Systems.” 2016. Thesis, University of Pennsylvania. Accessed July 10, 2020. https://repository.upenn.edu/edissertations/1902.

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

MLA Handbook (7th Edition):

Moarref, Salar. “Compositional Reactive Synthesis for Multi-Agent Systems.” 2016. Web. 10 Jul 2020.

Vancouver:

Moarref S. Compositional Reactive Synthesis for Multi-Agent Systems. [Internet] [Thesis]. University of Pennsylvania; 2016. [cited 2020 Jul 10]. Available from: https://repository.upenn.edu/edissertations/1902.

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

Council of Science Editors:

Moarref S. Compositional Reactive Synthesis for Multi-Agent Systems. [Thesis]. University of Pennsylvania; 2016. Available from: https://repository.upenn.edu/edissertations/1902

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

[1] [2] [3] [4] [5] … [13]

.