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

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

Search Limiters

Last 2 Years | English Only

Department

Degrees

Levels

Languages

Country

▼ Search Limiters

1. Sogokon, Andrew. Direct methods for deductive verification of temporal properties in continuous dynamical systems.

Degree: PhD, 2016, University of Edinburgh

 This thesis is concerned with the problem of formal verification of correctness specifications for continuous and hybrid dynamical systems. Our main focus will be on… (more)

Subjects/Keywords: 004.2; hybrid systems; ODEs; formal verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sogokon, A. (2016). Direct methods for deductive verification of temporal properties in continuous dynamical systems. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/20952

Chicago Manual of Style (16th Edition):

Sogokon, Andrew. “Direct methods for deductive verification of temporal properties in continuous dynamical systems.” 2016. Doctoral Dissertation, University of Edinburgh. Accessed November 17, 2019. http://hdl.handle.net/1842/20952.

MLA Handbook (7th Edition):

Sogokon, Andrew. “Direct methods for deductive verification of temporal properties in continuous dynamical systems.” 2016. Web. 17 Nov 2019.

Vancouver:

Sogokon A. Direct methods for deductive verification of temporal properties in continuous dynamical systems. [Internet] [Doctoral dissertation]. University of Edinburgh; 2016. [cited 2019 Nov 17]. Available from: http://hdl.handle.net/1842/20952.

Council of Science Editors:

Sogokon A. Direct methods for deductive verification of temporal properties in continuous dynamical systems. [Doctoral Dissertation]. University of Edinburgh; 2016. Available from: http://hdl.handle.net/1842/20952


University of Manchester

2. Carter, Rebekah. Verification of liveness properties on hybrid dynamical systems.

Degree: PhD, 2013, University of Manchester

 A hybrid dynamical system is a mathematical model for a part of the real world where discrete and continuous parts interact with each other. Typically… (more)

Subjects/Keywords: 511; Hybrid systems; Formal verification; Liveness

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Carter, R. (2013). Verification of liveness properties on hybrid dynamical systems. (Doctoral Dissertation). University of Manchester. Retrieved from https://www.research.manchester.ac.uk/portal/en/theses/verification-of-liveness-properties-on-hybrid-dynamical-systems(8817319c-a63f-4cf3-927d-a2ddf69139b4).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.576886

Chicago Manual of Style (16th Edition):

Carter, Rebekah. “Verification of liveness properties on hybrid dynamical systems.” 2013. Doctoral Dissertation, University of Manchester. Accessed November 17, 2019. https://www.research.manchester.ac.uk/portal/en/theses/verification-of-liveness-properties-on-hybrid-dynamical-systems(8817319c-a63f-4cf3-927d-a2ddf69139b4).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.576886.

MLA Handbook (7th Edition):

Carter, Rebekah. “Verification of liveness properties on hybrid dynamical systems.” 2013. Web. 17 Nov 2019.

Vancouver:

Carter R. Verification of liveness properties on hybrid dynamical systems. [Internet] [Doctoral dissertation]. University of Manchester; 2013. [cited 2019 Nov 17]. Available from: https://www.research.manchester.ac.uk/portal/en/theses/verification-of-liveness-properties-on-hybrid-dynamical-systems(8817319c-a63f-4cf3-927d-a2ddf69139b4).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.576886.

Council of Science Editors:

Carter R. Verification of liveness properties on hybrid dynamical systems. [Doctoral Dissertation]. University of Manchester; 2013. Available from: https://www.research.manchester.ac.uk/portal/en/theses/verification-of-liveness-properties-on-hybrid-dynamical-systems(8817319c-a63f-4cf3-927d-a2ddf69139b4).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.576886


University of Illinois – Urbana-Champaign

3. Olson, Lars E. Reflective Database Access Control.

Degree: PhD, Computer Science, 2009, University of Illinois – Urbana-Champaign

 Reflective Database Access Control (RDBAC) is a model in which a database privilege is expressed as a database query itself, rather than as a static… (more)

Subjects/Keywords: Access Control; Database Systems; Formal Security Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Olson, L. E. (2009). Reflective Database Access Control. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/13853

Chicago Manual of Style (16th Edition):

Olson, Lars E. “Reflective Database Access Control.” 2009. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 17, 2019. http://hdl.handle.net/2142/13853.

MLA Handbook (7th Edition):

Olson, Lars E. “Reflective Database Access Control.” 2009. Web. 17 Nov 2019.

Vancouver:

Olson LE. Reflective Database Access Control. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2009. [cited 2019 Nov 17]. Available from: http://hdl.handle.net/2142/13853.

Council of Science Editors:

Olson LE. Reflective Database Access Control. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2009. Available from: http://hdl.handle.net/2142/13853


University of Edinburgh

4. Zoń, Natalia. Stochastic modelling of spatial collective adaptive systems.

Degree: PhD, 2019, University of Edinburgh

 Collective Adaptive Systems (CAS) are composed of individual agents with internal knowledge and rules which organize themselves into ensembles. These ensembles can often be observed… (more)

Subjects/Keywords: formal modelling; CARMA; Collective Adaptive Systems; CAS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zoń, N. (2019). Stochastic modelling of spatial collective adaptive systems. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/35958

Chicago Manual of Style (16th Edition):

Zoń, Natalia. “Stochastic modelling of spatial collective adaptive systems.” 2019. Doctoral Dissertation, University of Edinburgh. Accessed November 17, 2019. http://hdl.handle.net/1842/35958.

MLA Handbook (7th Edition):

Zoń, Natalia. “Stochastic modelling of spatial collective adaptive systems.” 2019. Web. 17 Nov 2019.

Vancouver:

Zoń N. Stochastic modelling of spatial collective adaptive systems. [Internet] [Doctoral dissertation]. University of Edinburgh; 2019. [cited 2019 Nov 17]. Available from: http://hdl.handle.net/1842/35958.

Council of Science Editors:

Zoń N. Stochastic modelling of spatial collective adaptive systems. [Doctoral Dissertation]. University of Edinburgh; 2019. Available from: http://hdl.handle.net/1842/35958


Université de Grenoble

5. 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 November 17, 2019. 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. 17 Nov 2019.

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 2019 Nov 17]. 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


McMaster University

6. Pang, Linna. An Engineering Methodology for the Formal Verification of Function Block Based Systems.

Degree: PhD, 2015, McMaster University

Many industrial control systems use programmable logic controllers (PLCs) since they provide a highly reliable, off-the-shelf hardware platform. On the programming side, function blocks (FBs)… (more)

Subjects/Keywords: Critical systems; Formal specification; Formal verification; Function blocks; Tabular expressions; IEC 61131-3; PVS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pang, L. (2015). An Engineering Methodology for the Formal Verification of Function Block Based Systems. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/18127

Chicago Manual of Style (16th Edition):

Pang, Linna. “An Engineering Methodology for the Formal Verification of Function Block Based Systems.” 2015. Doctoral Dissertation, McMaster University. Accessed November 17, 2019. http://hdl.handle.net/11375/18127.

MLA Handbook (7th Edition):

Pang, Linna. “An Engineering Methodology for the Formal Verification of Function Block Based Systems.” 2015. Web. 17 Nov 2019.

Vancouver:

Pang L. An Engineering Methodology for the Formal Verification of Function Block Based Systems. [Internet] [Doctoral dissertation]. McMaster University; 2015. [cited 2019 Nov 17]. Available from: http://hdl.handle.net/11375/18127.

Council of Science Editors:

Pang L. An Engineering Methodology for the Formal Verification of Function Block Based Systems. [Doctoral Dissertation]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/18127


Cornell University

7. DeCastro, Jonathan Anthony. Guaranteeing Reactive Missions for Complex Robotic Systems .

Degree: 2017, Cornell University

 With the availability of robots capable of performing complex missions, formal approaches to controller synthesis are gaining increasing attention as a means for synthesizing controllers… (more)

Subjects/Keywords: Computer science; Controller synthesis; Formal logic; Formal verification; Mission planning; Nonlinear dynamical systems; Robotics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

DeCastro, J. A. (2017). Guaranteeing Reactive Missions for Complex Robotic Systems . (Thesis). Cornell University. Retrieved from http://hdl.handle.net/1813/51652

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

DeCastro, Jonathan Anthony. “Guaranteeing Reactive Missions for Complex Robotic Systems .” 2017. Thesis, Cornell University. Accessed November 17, 2019. http://hdl.handle.net/1813/51652.

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

MLA Handbook (7th Edition):

DeCastro, Jonathan Anthony. “Guaranteeing Reactive Missions for Complex Robotic Systems .” 2017. Web. 17 Nov 2019.

Vancouver:

DeCastro JA. Guaranteeing Reactive Missions for Complex Robotic Systems . [Internet] [Thesis]. Cornell University; 2017. [cited 2019 Nov 17]. Available from: http://hdl.handle.net/1813/51652.

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

Council of Science Editors:

DeCastro JA. Guaranteeing Reactive Missions for Complex Robotic Systems . [Thesis]. Cornell University; 2017. Available from: http://hdl.handle.net/1813/51652

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

8. Almajed, Yasser M. A framework for an adaptive early warning and response system for insider privacy breaches.

Degree: PhD, 2015, De Montfort University

 Organisations such as governments and healthcare bodies are increasingly responsible for managing large amounts of personal information, and the increasing complexity of modern information systems(more)

Subjects/Keywords: 658.4; Insider threats; Privacy; Usage Control; Early Warning Systems; Adaptive Software Systems; Policy Specification; Policy Enforcement; Formal Semantics; Formal verification

Page 1 Page 2 Page 3

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Almajed, Y. M. (2015). A framework for an adaptive early warning and response system for insider privacy breaches. (Doctoral Dissertation). De Montfort University. Retrieved from http://hdl.handle.net/2086/11129

Chicago Manual of Style (16th Edition):

Almajed, Yasser M. “A framework for an adaptive early warning and response system for insider privacy breaches.” 2015. Doctoral Dissertation, De Montfort University. Accessed November 17, 2019. http://hdl.handle.net/2086/11129.

MLA Handbook (7th Edition):

Almajed, Yasser M. “A framework for an adaptive early warning and response system for insider privacy breaches.” 2015. Web. 17 Nov 2019.

Vancouver:

Almajed YM. A framework for an adaptive early warning and response system for insider privacy breaches. [Internet] [Doctoral dissertation]. De Montfort University; 2015. [cited 2019 Nov 17]. Available from: http://hdl.handle.net/2086/11129.

Council of Science Editors:

Almajed YM. A framework for an adaptive early warning and response system for insider privacy breaches. [Doctoral Dissertation]. De Montfort University; 2015. Available from: http://hdl.handle.net/2086/11129


University of Colorado

9. Chakarov, Aleksandar Nevenov. Deductive Verification of Infinite-State Stochastic Systems Using Martingales.

Degree: PhD, Computer Science, 2016, University of Colorado

  The focus of this dissertation is the analysis of and verification of discrete time stochastic systems using martingales. Martingale theory yields a powerful set… (more)

Subjects/Keywords: Formal Methdos; Martingales; Stochastic Systems; Verification; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chakarov, A. N. (2016). Deductive Verification of Infinite-State Stochastic Systems Using Martingales. (Doctoral Dissertation). University of Colorado. Retrieved from http://scholar.colorado.edu/csci_gradetds/130

Chicago Manual of Style (16th Edition):

Chakarov, Aleksandar Nevenov. “Deductive Verification of Infinite-State Stochastic Systems Using Martingales.” 2016. Doctoral Dissertation, University of Colorado. Accessed November 17, 2019. http://scholar.colorado.edu/csci_gradetds/130.

MLA Handbook (7th Edition):

Chakarov, Aleksandar Nevenov. “Deductive Verification of Infinite-State Stochastic Systems Using Martingales.” 2016. Web. 17 Nov 2019.

Vancouver:

Chakarov AN. Deductive Verification of Infinite-State Stochastic Systems Using Martingales. [Internet] [Doctoral dissertation]. University of Colorado; 2016. [cited 2019 Nov 17]. Available from: http://scholar.colorado.edu/csci_gradetds/130.

Council of Science Editors:

Chakarov AN. Deductive Verification of Infinite-State Stochastic Systems Using Martingales. [Doctoral Dissertation]. University of Colorado; 2016. Available from: http://scholar.colorado.edu/csci_gradetds/130


University of Lund

10. Rendsvig, Rasmus Kraemmer. Logical Dynamics and Dynamical Systems.

Degree: 2018, University of Lund

 This thesis is on information dynamics modeled using *dynamic epistemic logic* (DEL). It takes the simple perspective of identifying models with maps, which under a… (more)

Subjects/Keywords: Formal epistemology; Modal logic; Dynamic epistemic logic; Dynamical systems; General topology

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rendsvig, R. K. (2018). Logical Dynamics and Dynamical Systems. (Doctoral Dissertation). University of Lund. Retrieved from http://lup.lub.lu.se/record/08f57b4b-428c-4af9-b31b-2762e8fd7c00 ; http://portal.research.lu.se/ws/files/38754134/Rendsvig_2018_Logical_Dynamics_and_Dynamical_Systems.pdf

Chicago Manual of Style (16th Edition):

Rendsvig, Rasmus Kraemmer. “Logical Dynamics and Dynamical Systems.” 2018. Doctoral Dissertation, University of Lund. Accessed November 17, 2019. http://lup.lub.lu.se/record/08f57b4b-428c-4af9-b31b-2762e8fd7c00 ; http://portal.research.lu.se/ws/files/38754134/Rendsvig_2018_Logical_Dynamics_and_Dynamical_Systems.pdf.

MLA Handbook (7th Edition):

Rendsvig, Rasmus Kraemmer. “Logical Dynamics and Dynamical Systems.” 2018. Web. 17 Nov 2019.

Vancouver:

Rendsvig RK. Logical Dynamics and Dynamical Systems. [Internet] [Doctoral dissertation]. University of Lund; 2018. [cited 2019 Nov 17]. Available from: http://lup.lub.lu.se/record/08f57b4b-428c-4af9-b31b-2762e8fd7c00 ; http://portal.research.lu.se/ws/files/38754134/Rendsvig_2018_Logical_Dynamics_and_Dynamical_Systems.pdf.

Council of Science Editors:

Rendsvig RK. Logical Dynamics and Dynamical Systems. [Doctoral Dissertation]. University of Lund; 2018. Available from: http://lup.lub.lu.se/record/08f57b4b-428c-4af9-b31b-2762e8fd7c00 ; http://portal.research.lu.se/ws/files/38754134/Rendsvig_2018_Logical_Dynamics_and_Dynamical_Systems.pdf


Luleå University of Technology

11. Öhlund, Jonthan. L-systems och Varierande Växt Hastigheter.

Degree: 2015, Luleå University of Technology

This report presents the implementation of some of the parts of the L-system framework as presented in the book, The Algorithmic Beauty of Plants,… (more)

Subjects/Keywords: Technology; Teknik; L-systems; Model Generation; Formal Grammar

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Öhlund, J. (2015). L-systems och Varierande Växt Hastigheter. (Thesis). Luleå University of Technology. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-42323

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

Öhlund, Jonthan. “L-systems och Varierande Växt Hastigheter.” 2015. Thesis, Luleå University of Technology. Accessed November 17, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-42323.

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

MLA Handbook (7th Edition):

Öhlund, Jonthan. “L-systems och Varierande Växt Hastigheter.” 2015. Web. 17 Nov 2019.

Vancouver:

Öhlund J. L-systems och Varierande Växt Hastigheter. [Internet] [Thesis]. Luleå University of Technology; 2015. [cited 2019 Nov 17]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-42323.

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

Council of Science Editors:

Öhlund J. L-systems och Varierande Växt Hastigheter. [Thesis]. Luleå University of Technology; 2015. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-42323

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


University of Waikato

12. 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 November 17, 2019. http://hdl.handle.net/10289/8644.

MLA Handbook (7th Edition):

Alsharif, Aman. “Investigating Strategies to Support Reverse-Engineering of Interactive Systems .” 2013. Web. 17 Nov 2019.

Vancouver:

Alsharif A. Investigating Strategies to Support Reverse-Engineering of Interactive Systems . [Internet] [Masters thesis]. University of Waikato; 2013. [cited 2019 Nov 17]. 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


Iowa State University

13. Gunasekharan, Maheedhar. A Framework for Selecting the Minimal Set of Preferred Responses to Counter Detected Intrusions.

Degree: 2016, Iowa State University

 Over the past decades, cyber attacks have grown in frequency as well as in sophistication. Often, they elude the counter-measures that are in place due… (more)

Subjects/Keywords: Formal security methods; Intrusion response systems; Security and privacy; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gunasekharan, M. (2016). A Framework for Selecting the Minimal Set of Preferred Responses to Counter Detected Intrusions. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/15311

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

Gunasekharan, Maheedhar. “A Framework for Selecting the Minimal Set of Preferred Responses to Counter Detected Intrusions.” 2016. Thesis, Iowa State University. Accessed November 17, 2019. https://lib.dr.iastate.edu/etd/15311.

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

MLA Handbook (7th Edition):

Gunasekharan, Maheedhar. “A Framework for Selecting the Minimal Set of Preferred Responses to Counter Detected Intrusions.” 2016. Web. 17 Nov 2019.

Vancouver:

Gunasekharan M. A Framework for Selecting the Minimal Set of Preferred Responses to Counter Detected Intrusions. [Internet] [Thesis]. Iowa State University; 2016. [cited 2019 Nov 17]. Available from: https://lib.dr.iastate.edu/etd/15311.

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

Council of Science Editors:

Gunasekharan M. A Framework for Selecting the Minimal Set of Preferred Responses to Counter Detected Intrusions. [Thesis]. Iowa State University; 2016. Available from: https://lib.dr.iastate.edu/etd/15311

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


Florida International University

14. Chang, Lily. A Nested Petri Net Framework for Modeling and Analyzing Multi-Agent Systems.

Degree: Computer Science, 2011, Florida International University

  In the past two decades, multi-agent systems (MAS) have emerged as a new paradigm for conceptualizing large and complex distributed software systems. A multi-agent… (more)

Subjects/Keywords: Formal Methods; Petri Nets; Multi-Agent Systems; Agent-Oriented Modeling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chang, L. (2011). A Nested Petri Net Framework for Modeling and Analyzing Multi-Agent Systems. (Thesis). Florida International University. Retrieved from http://digitalcommons.fiu.edu/etd/339 ; 10.25148/etd.FI11040601 ; FI11040601

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

Chang, Lily. “A Nested Petri Net Framework for Modeling and Analyzing Multi-Agent Systems.” 2011. Thesis, Florida International University. Accessed November 17, 2019. http://digitalcommons.fiu.edu/etd/339 ; 10.25148/etd.FI11040601 ; FI11040601.

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

MLA Handbook (7th Edition):

Chang, Lily. “A Nested Petri Net Framework for Modeling and Analyzing Multi-Agent Systems.” 2011. Web. 17 Nov 2019.

Vancouver:

Chang L. A Nested Petri Net Framework for Modeling and Analyzing Multi-Agent Systems. [Internet] [Thesis]. Florida International University; 2011. [cited 2019 Nov 17]. Available from: http://digitalcommons.fiu.edu/etd/339 ; 10.25148/etd.FI11040601 ; FI11040601.

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

Council of Science Editors:

Chang L. A Nested Petri Net Framework for Modeling and Analyzing Multi-Agent Systems. [Thesis]. Florida International University; 2011. Available from: http://digitalcommons.fiu.edu/etd/339 ; 10.25148/etd.FI11040601 ; FI11040601

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


University of Pennsylvania

15. 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 November 17, 2019. 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. 17 Nov 2019.

Vancouver:

Moarref S. Compositional Reactive Synthesis for Multi-Agent Systems. [Internet] [Thesis]. University of Pennsylvania; 2016. [cited 2019 Nov 17]. 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

16. Brown, Tamaike. Refining Transformation Rules For Converting UML Operations To Z Schema.

Degree: MS, Computer Science, 2015, University of North Dakota

  The UML (Unified Modeling Language) has its origin in mainstream software engineering and is often used informally by software designers. One of the limitations… (more)

Subjects/Keywords: Extended Bankus Naur form; formal specification; Model transformation; safety critical systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Brown, T. (2015). Refining Transformation Rules For Converting UML Operations To Z Schema. (Masters Thesis). University of North Dakota. Retrieved from https://commons.und.edu/theses/1747

Chicago Manual of Style (16th Edition):

Brown, Tamaike. “Refining Transformation Rules For Converting UML Operations To Z Schema.” 2015. Masters Thesis, University of North Dakota. Accessed November 17, 2019. https://commons.und.edu/theses/1747.

MLA Handbook (7th Edition):

Brown, Tamaike. “Refining Transformation Rules For Converting UML Operations To Z Schema.” 2015. Web. 17 Nov 2019.

Vancouver:

Brown T. Refining Transformation Rules For Converting UML Operations To Z Schema. [Internet] [Masters thesis]. University of North Dakota; 2015. [cited 2019 Nov 17]. Available from: https://commons.und.edu/theses/1747.

Council of Science Editors:

Brown T. Refining Transformation Rules For Converting UML Operations To Z Schema. [Masters Thesis]. University of North Dakota; 2015. Available from: https://commons.und.edu/theses/1747


University of Waterloo

17. Ashmore, Rylo. Local Reasoning for Parameterized First Order Protocols.

Degree: 2019, University of Waterloo

 First Order Logic (FOL) is a powerful reasoning tool for program verification. Recent work on Ivy shows that FOL is well suited for verification of… (more)

Subjects/Keywords: formal methods; verification; local reasoning; Ivy; distributed systems; first order logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ashmore, R. (2019). Local Reasoning for Parameterized First Order Protocols. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/14886

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

Ashmore, Rylo. “Local Reasoning for Parameterized First Order Protocols.” 2019. Thesis, University of Waterloo. Accessed November 17, 2019. http://hdl.handle.net/10012/14886.

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

MLA Handbook (7th Edition):

Ashmore, Rylo. “Local Reasoning for Parameterized First Order Protocols.” 2019. Web. 17 Nov 2019.

Vancouver:

Ashmore R. Local Reasoning for Parameterized First Order Protocols. [Internet] [Thesis]. University of Waterloo; 2019. [cited 2019 Nov 17]. Available from: http://hdl.handle.net/10012/14886.

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

Council of Science Editors:

Ashmore R. Local Reasoning for Parameterized First Order Protocols. [Thesis]. University of Waterloo; 2019. Available from: http://hdl.handle.net/10012/14886

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


University of Texas – Austin

18. Ghasemi, Mahsa. Synthesis of reactive controllers for reconfigurable networked systems.

Degree: MSin Engineering, Mechanical Engineering, 2017, University of Texas – Austin

 Moving toward more autonomous fault-tolerant systems with robustness against unpredicted environment behavior, this thesis defines a set of high-level specifications on an abstract model of… (more)

Subjects/Keywords: Networked systems; Formal synthesis; Linear temporal logic; Maximum satisfiability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ghasemi, M. (2017). Synthesis of reactive controllers for reconfigurable networked systems. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/62937

Chicago Manual of Style (16th Edition):

Ghasemi, Mahsa. “Synthesis of reactive controllers for reconfigurable networked systems.” 2017. Masters Thesis, University of Texas – Austin. Accessed November 17, 2019. http://hdl.handle.net/2152/62937.

MLA Handbook (7th Edition):

Ghasemi, Mahsa. “Synthesis of reactive controllers for reconfigurable networked systems.” 2017. Web. 17 Nov 2019.

Vancouver:

Ghasemi M. Synthesis of reactive controllers for reconfigurable networked systems. [Internet] [Masters thesis]. University of Texas – Austin; 2017. [cited 2019 Nov 17]. Available from: http://hdl.handle.net/2152/62937.

Council of Science Editors:

Ghasemi M. Synthesis of reactive controllers for reconfigurable networked systems. [Masters Thesis]. University of Texas – Austin; 2017. Available from: http://hdl.handle.net/2152/62937


University of New South Wales

19. O'Connor, Liam. Type Systems for Systems Types.

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

 This thesis presents a framework aimed at significantly reducing the cost of proving functional correctness for low-level operating systems components, designed around a new programming… (more)

Subjects/Keywords: Uniqueness Types; Cogent; Refinement; Isabelle/HOL; Formal Verification; File Systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

O'Connor, L. (2019). Type Systems for Systems Types. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/64238 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:61747/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

O'Connor, Liam. “Type Systems for Systems Types.” 2019. Doctoral Dissertation, University of New South Wales. Accessed November 17, 2019. http://handle.unsw.edu.au/1959.4/64238 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:61747/SOURCE02?view=true.

MLA Handbook (7th Edition):

O'Connor, Liam. “Type Systems for Systems Types.” 2019. Web. 17 Nov 2019.

Vancouver:

O'Connor L. Type Systems for Systems Types. [Internet] [Doctoral dissertation]. University of New South Wales; 2019. [cited 2019 Nov 17]. Available from: http://handle.unsw.edu.au/1959.4/64238 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:61747/SOURCE02?view=true.

Council of Science Editors:

O'Connor L. Type Systems for Systems Types. [Doctoral Dissertation]. University of New South Wales; 2019. Available from: http://handle.unsw.edu.au/1959.4/64238 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:61747/SOURCE02?view=true


Jönköping University

20. Bejnarowicz, Adrianna. Employees’ Participation in a Company’s CSR : How do formal and informal cultural systems affect employees’ participation in a company’s CSR activities.

Degree: Business Administration, 2018, Jönköping University

  Abstract   Purpose: This paper aims to investigate how formal and informal cultural systems within an organization, affect the CSR related actions employees are taking at… (more)

Subjects/Keywords: CSR; Employee engagement; Culture; CSR implementation; Formal cultural systems; Informal cultural systems; Business Administration; Företagsekonomi

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bejnarowicz, A. (2018). Employees’ Participation in a Company’s CSR : How do formal and informal cultural systems affect employees’ participation in a company’s CSR activities. (Thesis). Jönköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-40012

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

Bejnarowicz, Adrianna. “Employees’ Participation in a Company’s CSR : How do formal and informal cultural systems affect employees’ participation in a company’s CSR activities.” 2018. Thesis, Jönköping University. Accessed November 17, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-40012.

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

MLA Handbook (7th Edition):

Bejnarowicz, Adrianna. “Employees’ Participation in a Company’s CSR : How do formal and informal cultural systems affect employees’ participation in a company’s CSR activities.” 2018. Web. 17 Nov 2019.

Vancouver:

Bejnarowicz A. Employees’ Participation in a Company’s CSR : How do formal and informal cultural systems affect employees’ participation in a company’s CSR activities. [Internet] [Thesis]. Jönköping University; 2018. [cited 2019 Nov 17]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-40012.

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

Council of Science Editors:

Bejnarowicz A. Employees’ Participation in a Company’s CSR : How do formal and informal cultural systems affect employees’ participation in a company’s CSR activities. [Thesis]. Jönköping University; 2018. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-40012

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


Penn State University

21. Sustersic, John Phillip. The Control, Communication, and Computation Language (C3L): Completing the Design Cycle in Complex Distributed System Development.

Degree: PhD, Computer Science and Engineering, 2008, Penn State University

 Innovations in computing and communications have enabled autonomous electromechanical devices that change their internal states in response to real-time interactions with other devices, software agents,… (more)

Subjects/Keywords: Parallelizing Compiler; Distributed Systems Programming; Formal Semantics; Embedded Systems; Computer Languages; Mine Counter Measures

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sustersic, J. P. (2008). The Control, Communication, and Computation Language (C3L): Completing the Design Cycle in Complex Distributed System Development. (Doctoral Dissertation). Penn State University. Retrieved from https://etda.libraries.psu.edu/catalog/9305

Chicago Manual of Style (16th Edition):

Sustersic, John Phillip. “The Control, Communication, and Computation Language (C3L): Completing the Design Cycle in Complex Distributed System Development.” 2008. Doctoral Dissertation, Penn State University. Accessed November 17, 2019. https://etda.libraries.psu.edu/catalog/9305.

MLA Handbook (7th Edition):

Sustersic, John Phillip. “The Control, Communication, and Computation Language (C3L): Completing the Design Cycle in Complex Distributed System Development.” 2008. Web. 17 Nov 2019.

Vancouver:

Sustersic JP. The Control, Communication, and Computation Language (C3L): Completing the Design Cycle in Complex Distributed System Development. [Internet] [Doctoral dissertation]. Penn State University; 2008. [cited 2019 Nov 17]. Available from: https://etda.libraries.psu.edu/catalog/9305.

Council of Science Editors:

Sustersic JP. The Control, Communication, and Computation Language (C3L): Completing the Design Cycle in Complex Distributed System Development. [Doctoral Dissertation]. Penn State University; 2008. Available from: https://etda.libraries.psu.edu/catalog/9305


University of Colorado

22. Zutshi, Aditya. Reachability Analysis of Cyber-Physical Systems Using Symbolic-Numeric Techniques.

Degree: PhD, Electrical, Computer & Energy Engineering, 2016, University of Colorado

  In this thesis, we address the problem of reachability analysis in cyber-physical systems. These are systems engineered by interfacing computational components with the physical… (more)

Subjects/Keywords: Cyber Physical Systems; Formal Methods; Hybrid Systems; Safety; Verification; Computer Sciences; Electrical and Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zutshi, A. (2016). Reachability Analysis of Cyber-Physical Systems Using Symbolic-Numeric Techniques. (Doctoral Dissertation). University of Colorado. Retrieved from https://scholar.colorado.edu/eeng_gradetds/26

Chicago Manual of Style (16th Edition):

Zutshi, Aditya. “Reachability Analysis of Cyber-Physical Systems Using Symbolic-Numeric Techniques.” 2016. Doctoral Dissertation, University of Colorado. Accessed November 17, 2019. https://scholar.colorado.edu/eeng_gradetds/26.

MLA Handbook (7th Edition):

Zutshi, Aditya. “Reachability Analysis of Cyber-Physical Systems Using Symbolic-Numeric Techniques.” 2016. Web. 17 Nov 2019.

Vancouver:

Zutshi A. Reachability Analysis of Cyber-Physical Systems Using Symbolic-Numeric Techniques. [Internet] [Doctoral dissertation]. University of Colorado; 2016. [cited 2019 Nov 17]. Available from: https://scholar.colorado.edu/eeng_gradetds/26.

Council of Science Editors:

Zutshi A. Reachability Analysis of Cyber-Physical Systems Using Symbolic-Numeric Techniques. [Doctoral Dissertation]. University of Colorado; 2016. Available from: https://scholar.colorado.edu/eeng_gradetds/26


University of Edinburgh

23. Georgoulas, Anastasios-Andreas. Formal language for statistical inference of uncertain stochastic systems.

Degree: PhD, 2016, University of Edinburgh

 Stochastic models, in particular Continuous Time Markov Chains, are a commonly employed mathematical abstraction for describing natural or engineered dynamical systems. While the theory behind… (more)

Subjects/Keywords: 006.3; probabilistic programming paradigm; ProPPA; infinite-state systems; stochastic systems; statistical machine learning; formal modelling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Georgoulas, A. (2016). Formal language for statistical inference of uncertain stochastic systems. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/25430

Chicago Manual of Style (16th Edition):

Georgoulas, Anastasios-Andreas. “Formal language for statistical inference of uncertain stochastic systems.” 2016. Doctoral Dissertation, University of Edinburgh. Accessed November 17, 2019. http://hdl.handle.net/1842/25430.

MLA Handbook (7th Edition):

Georgoulas, Anastasios-Andreas. “Formal language for statistical inference of uncertain stochastic systems.” 2016. Web. 17 Nov 2019.

Vancouver:

Georgoulas A. Formal language for statistical inference of uncertain stochastic systems. [Internet] [Doctoral dissertation]. University of Edinburgh; 2016. [cited 2019 Nov 17]. Available from: http://hdl.handle.net/1842/25430.

Council of Science Editors:

Georgoulas A. Formal language for statistical inference of uncertain stochastic systems. [Doctoral Dissertation]. University of Edinburgh; 2016. Available from: http://hdl.handle.net/1842/25430


University of Illinois – Urbana-Champaign

24. Bae, Kyungmin. Rewriting-based model checking methods.

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

 Model checking is an automatic technique for verifying concurrent systems. The properties of the system to be verified are typically expressed as temporal logic formulas,… (more)

Subjects/Keywords: Model checking; Rewriting logic; Formal methods; Temporal logic; Infinite-state systems; Cyber-physical systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bae, K. (2014). Rewriting-based model checking methods. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/50553

Chicago Manual of Style (16th Edition):

Bae, Kyungmin. “Rewriting-based model checking methods.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 17, 2019. http://hdl.handle.net/2142/50553.

MLA Handbook (7th Edition):

Bae, Kyungmin. “Rewriting-based model checking methods.” 2014. Web. 17 Nov 2019.

Vancouver:

Bae K. Rewriting-based model checking methods. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2019 Nov 17]. Available from: http://hdl.handle.net/2142/50553.

Council of Science Editors:

Bae K. Rewriting-based model checking methods. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/50553

25. González Del Foyo, Pedro Manuel. Verificação formal de sistemas discretos distribuídos.

Degree: PhD, Engenharia de Controle e Automação Mecânica, 2009, University of São Paulo

O presente trabalho trata da verificação e design de sistemas complexos, especificamente da verificação de sistemas de tempo real concorrentes e distribuídos. Propõe-se uma técnica… (more)

Subjects/Keywords: Discrete event systems; Formal verification; Model-checking; Redes de Petri temporizadas; Sistemas discretos; Time Petri nets; Verificação de modelos; Verificação formal

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

González Del Foyo, P. M. (2009). Verificação formal de sistemas discretos distribuídos. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082010-164641/ ;

Chicago Manual of Style (16th Edition):

González Del Foyo, Pedro Manuel. “Verificação formal de sistemas discretos distribuídos.” 2009. Doctoral Dissertation, University of São Paulo. Accessed November 17, 2019. http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082010-164641/ ;.

MLA Handbook (7th Edition):

González Del Foyo, Pedro Manuel. “Verificação formal de sistemas discretos distribuídos.” 2009. Web. 17 Nov 2019.

Vancouver:

González Del Foyo PM. Verificação formal de sistemas discretos distribuídos. [Internet] [Doctoral dissertation]. University of São Paulo; 2009. [cited 2019 Nov 17]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082010-164641/ ;.

Council of Science Editors:

González Del Foyo PM. Verificação formal de sistemas discretos distribuídos. [Doctoral Dissertation]. University of São Paulo; 2009. Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082010-164641/ ;

26. Tojal, Joaquim José e Silva de Carvalho. Towards a formally verified microkernel using the VCC verifier.

Degree: 2010, RCAAP

 In this thesis we present the design by contract modular approach to formal verification of an industrial real-time microkernel which was not designed with formal(more)

Subjects/Keywords: Concurrency; Critical system; Design by contract; Embedded systems; Formal verification; Formal methods; Microkernel; Real-time; Operating system; Software reliability; xLuna; Safety

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tojal, J. J. e. S. d. C. (2010). Towards a formally verified microkernel using the VCC verifier. (Thesis). RCAAP. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/3717

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

Tojal, Joaquim José e Silva de Carvalho. “Towards a formally verified microkernel using the VCC verifier.” 2010. Thesis, RCAAP. Accessed November 17, 2019. http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/3717.

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

MLA Handbook (7th Edition):

Tojal, Joaquim José e Silva de Carvalho. “Towards a formally verified microkernel using the VCC verifier.” 2010. Web. 17 Nov 2019.

Vancouver:

Tojal JJeSdC. Towards a formally verified microkernel using the VCC verifier. [Internet] [Thesis]. RCAAP; 2010. [cited 2019 Nov 17]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/3717.

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

Council of Science Editors:

Tojal JJeSdC. Towards a formally verified microkernel using the VCC verifier. [Thesis]. RCAAP; 2010. Available from: http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/3717

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


Université de Bordeaux I

27. Loulou-Aloulou, Monia. Approche formelle pour la spécification, la vérification et le déploiement des politiques de sécurité dynamiques dans les systèmes à base d’agents mobiles : Parliamentary diplomacy.

Degree: Docteur es, Informatique, 2010, Université de Bordeaux I

Nous avons développé dans le cadre de cette thèse deux aspects complémentaires liés à la sécurité des systèmes d’agents mobiles : l'aspect statique et l'aspect… (more)

Subjects/Keywords: Systèmes à base d’agents mobiles; Sécurité; Adaptabilité; Techniques formelles; Mobile agent systems; Security; Adaptability; Formal specification; Formal checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Loulou-Aloulou, M. (2010). Approche formelle pour la spécification, la vérification et le déploiement des politiques de sécurité dynamiques dans les systèmes à base d’agents mobiles : Parliamentary diplomacy. (Doctoral Dissertation). Université de Bordeaux I. Retrieved from http://www.theses.fr/2010BOR14088

Chicago Manual of Style (16th Edition):

Loulou-Aloulou, Monia. “Approche formelle pour la spécification, la vérification et le déploiement des politiques de sécurité dynamiques dans les systèmes à base d’agents mobiles : Parliamentary diplomacy.” 2010. Doctoral Dissertation, Université de Bordeaux I. Accessed November 17, 2019. http://www.theses.fr/2010BOR14088.

MLA Handbook (7th Edition):

Loulou-Aloulou, Monia. “Approche formelle pour la spécification, la vérification et le déploiement des politiques de sécurité dynamiques dans les systèmes à base d’agents mobiles : Parliamentary diplomacy.” 2010. Web. 17 Nov 2019.

Vancouver:

Loulou-Aloulou M. Approche formelle pour la spécification, la vérification et le déploiement des politiques de sécurité dynamiques dans les systèmes à base d’agents mobiles : Parliamentary diplomacy. [Internet] [Doctoral dissertation]. Université de Bordeaux I; 2010. [cited 2019 Nov 17]. Available from: http://www.theses.fr/2010BOR14088.

Council of Science Editors:

Loulou-Aloulou M. Approche formelle pour la spécification, la vérification et le déploiement des politiques de sécurité dynamiques dans les systèmes à base d’agents mobiles : Parliamentary diplomacy. [Doctoral Dissertation]. Université de Bordeaux I; 2010. Available from: http://www.theses.fr/2010BOR14088

28. Mokrani, Hocine. Assistance au raffinement dans la conception des systèmes embarqués : Assisting formal refinement and verification in embedded system design.

Degree: Docteur es, Electronique et communications, 2014, Paris, ENST

La dernière décennie, la complexité des technologies embarqués a explosé et les flots de conception industrielle habituels ne suffisent plus pour proposer des produits fiables… (more)

Subjects/Keywords: Systèmes embarqués; Modèle formel; Raffinement formel; Propriétés linéaires; Embedded systems; Formal model; Formal refinement; Linear properties

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mokrani, H. (2014). Assistance au raffinement dans la conception des systèmes embarqués : Assisting formal refinement and verification in embedded system design. (Doctoral Dissertation). Paris, ENST. Retrieved from http://www.theses.fr/2014ENST0029

Chicago Manual of Style (16th Edition):

Mokrani, Hocine. “Assistance au raffinement dans la conception des systèmes embarqués : Assisting formal refinement and verification in embedded system design.” 2014. Doctoral Dissertation, Paris, ENST. Accessed November 17, 2019. http://www.theses.fr/2014ENST0029.

MLA Handbook (7th Edition):

Mokrani, Hocine. “Assistance au raffinement dans la conception des systèmes embarqués : Assisting formal refinement and verification in embedded system design.” 2014. Web. 17 Nov 2019.

Vancouver:

Mokrani H. Assistance au raffinement dans la conception des systèmes embarqués : Assisting formal refinement and verification in embedded system design. [Internet] [Doctoral dissertation]. Paris, ENST; 2014. [cited 2019 Nov 17]. Available from: http://www.theses.fr/2014ENST0029.

Council of Science Editors:

Mokrani H. Assistance au raffinement dans la conception des systèmes embarqués : Assisting formal refinement and verification in embedded system design. [Doctoral Dissertation]. Paris, ENST; 2014. Available from: http://www.theses.fr/2014ENST0029

29. Silva, Paulo Salem da. Verification of behaviourist multi-agent systems by means of formally guided simulations.

Degree: PhD, Ciência da Computação, 2011, University of São Paulo

 Multi-agent systems (MASs) can be used to model phenomena that can be decomposed into several interacting agents which exist within an environment. In particular, they… (more)

Subjects/Keywords: ambientes; behaviourism; comportamentalismo; environments; formal methods; formal verification; métodos formais; model-based testing; multi-agent systems; simulação; simulation; sistemas multi-agentes; teste baseado em modelos; verificação formal

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Silva, P. S. d. (2011). Verification of behaviourist multi-agent systems by means of formally guided simulations. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/ ;

Chicago Manual of Style (16th Edition):

Silva, Paulo Salem da. “Verification of behaviourist multi-agent systems by means of formally guided simulations.” 2011. Doctoral Dissertation, University of São Paulo. Accessed November 17, 2019. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/ ;.

MLA Handbook (7th Edition):

Silva, Paulo Salem da. “Verification of behaviourist multi-agent systems by means of formally guided simulations.” 2011. Web. 17 Nov 2019.

Vancouver:

Silva PSd. Verification of behaviourist multi-agent systems by means of formally guided simulations. [Internet] [Doctoral dissertation]. University of São Paulo; 2011. [cited 2019 Nov 17]. Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/ ;.

Council of Science Editors:

Silva PSd. Verification of behaviourist multi-agent systems by means of formally guided simulations. [Doctoral Dissertation]. University of São Paulo; 2011. Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/ ;


Linnaeus University

30. Alamine, Maria. Can "lagom" save you in a Confucian world? : A study of how national cultural differences affect the use of management control systems of Swedish firms in China.

Degree: Marketing, 2017, Linnaeus University

  The purpose of this thesis is to analyze and provide a deeper understanding of how the national culture of China affects the use of… (more)

Subjects/Keywords: International business; culture; China; Chinese business culture; guanxi; management control systems; formal control systems; informal control systems; Business Administration; Företagsekonomi

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Alamine, M. (2017). Can "lagom" save you in a Confucian world? : A study of how national cultural differences affect the use of management control systems of Swedish firms in China. (Thesis). Linnaeus University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-64883

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

Alamine, Maria. “Can "lagom" save you in a Confucian world? : A study of how national cultural differences affect the use of management control systems of Swedish firms in China.” 2017. Thesis, Linnaeus University. Accessed November 17, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-64883.

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

MLA Handbook (7th Edition):

Alamine, Maria. “Can "lagom" save you in a Confucian world? : A study of how national cultural differences affect the use of management control systems of Swedish firms in China.” 2017. Web. 17 Nov 2019.

Vancouver:

Alamine M. Can "lagom" save you in a Confucian world? : A study of how national cultural differences affect the use of management control systems of Swedish firms in China. [Internet] [Thesis]. Linnaeus University; 2017. [cited 2019 Nov 17]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-64883.

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

Council of Science Editors:

Alamine M. Can "lagom" save you in a Confucian world? : A study of how national cultural differences affect the use of management control systems of Swedish firms in China. [Thesis]. Linnaeus University; 2017. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-64883

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

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

.