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:(checking). Showing records 1 – 30 of 763 total matches.

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

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters


Penn State University

1. Zhang, Can. A model checking approach to countering the dynamics of infection propagation over network.

Degree: 2016, Penn State University

 With the outbreak of Ebola over the past year, attention has been paid on predicting and resolving the propagation of infectious disease over network of… (more)

Subjects/Keywords: Model checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, C. (2016). A model checking approach to countering the dynamics of infection propagation over network. (Thesis). Penn State University. Retrieved from https://submit-etda.libraries.psu.edu/catalog/28899

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

Zhang, Can. “A model checking approach to countering the dynamics of infection propagation over network.” 2016. Thesis, Penn State University. Accessed January 15, 2021. https://submit-etda.libraries.psu.edu/catalog/28899.

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

MLA Handbook (7th Edition):

Zhang, Can. “A model checking approach to countering the dynamics of infection propagation over network.” 2016. Web. 15 Jan 2021.

Vancouver:

Zhang C. A model checking approach to countering the dynamics of infection propagation over network. [Internet] [Thesis]. Penn State University; 2016. [cited 2021 Jan 15]. Available from: https://submit-etda.libraries.psu.edu/catalog/28899.

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

Council of Science Editors:

Zhang C. A model checking approach to countering the dynamics of infection propagation over network. [Thesis]. Penn State University; 2016. Available from: https://submit-etda.libraries.psu.edu/catalog/28899

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


Università della Svizzera italiana

2. de Sá Alt, Leonardo. Controlled and effective interpolation.

Degree: 2016, Università della Svizzera italiana

 Model checking is a well established technique to verify systems, exhaustively and automatically. The state space explosion, known as the main difficulty in model checking(more)

Subjects/Keywords: Model checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

de Sá Alt, L. (2016). Controlled and effective interpolation. (Thesis). Università della Svizzera italiana. Retrieved from http://doc.rero.ch/record/309121

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

de Sá Alt, Leonardo. “Controlled and effective interpolation.” 2016. Thesis, Università della Svizzera italiana. Accessed January 15, 2021. http://doc.rero.ch/record/309121.

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

MLA Handbook (7th Edition):

de Sá Alt, Leonardo. “Controlled and effective interpolation.” 2016. Web. 15 Jan 2021.

Vancouver:

de Sá Alt L. Controlled and effective interpolation. [Internet] [Thesis]. Università della Svizzera italiana; 2016. [cited 2021 Jan 15]. Available from: http://doc.rero.ch/record/309121.

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

Council of Science Editors:

de Sá Alt L. Controlled and effective interpolation. [Thesis]. Università della Svizzera italiana; 2016. Available from: http://doc.rero.ch/record/309121

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


Delft University of Technology

3. Tijhuis, L.J. (author). Context-Based Spelling Correction for the Dutch Language: Applied on spelling errors extracted from the Dutch Wikipedia revision history.

Degree: 2014, Delft University of Technology

In this thesis we did research on context-based spellchecking approaches for the Dutch language. Context-based approaches enable the detection of real-word spelling errors by using… (more)

Subjects/Keywords: spell checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tijhuis, L. J. (. (2014). Context-Based Spelling Correction for the Dutch Language: Applied on spelling errors extracted from the Dutch Wikipedia revision history. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:39069582-d34b-4586-bb46-92ea49b07b57

Chicago Manual of Style (16th Edition):

Tijhuis, L J (author). “Context-Based Spelling Correction for the Dutch Language: Applied on spelling errors extracted from the Dutch Wikipedia revision history.” 2014. Masters Thesis, Delft University of Technology. Accessed January 15, 2021. http://resolver.tudelft.nl/uuid:39069582-d34b-4586-bb46-92ea49b07b57.

MLA Handbook (7th Edition):

Tijhuis, L J (author). “Context-Based Spelling Correction for the Dutch Language: Applied on spelling errors extracted from the Dutch Wikipedia revision history.” 2014. Web. 15 Jan 2021.

Vancouver:

Tijhuis LJ(. Context-Based Spelling Correction for the Dutch Language: Applied on spelling errors extracted from the Dutch Wikipedia revision history. [Internet] [Masters thesis]. Delft University of Technology; 2014. [cited 2021 Jan 15]. Available from: http://resolver.tudelft.nl/uuid:39069582-d34b-4586-bb46-92ea49b07b57.

Council of Science Editors:

Tijhuis LJ(. Context-Based Spelling Correction for the Dutch Language: Applied on spelling errors extracted from the Dutch Wikipedia revision history. [Masters Thesis]. Delft University of Technology; 2014. Available from: http://resolver.tudelft.nl/uuid:39069582-d34b-4586-bb46-92ea49b07b57

4. Pellegrino, Giancarlo. Détection d'anomalies logiques dans les logiciels d'entreprise multi-partis à travers des tests de sécurité : Detection of logic flaws in multi-party business applications via security testing.

Degree: Docteur es, Informatique et réseaux, 2013, Paris, ENST

Les logiciels multi-partis sont des applications distribuées sur le web qui mettent en oeuvre des fonctions collaboratives. Ces applications sont les principales cibles des attaquants… (more)

Subjects/Keywords: Authentification unique; Model checking; SSO; Model checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pellegrino, G. (2013). Détection d'anomalies logiques dans les logiciels d'entreprise multi-partis à travers des tests de sécurité : Detection of logic flaws in multi-party business applications via security testing. (Doctoral Dissertation). Paris, ENST. Retrieved from http://www.theses.fr/2013ENST0064

Chicago Manual of Style (16th Edition):

Pellegrino, Giancarlo. “Détection d'anomalies logiques dans les logiciels d'entreprise multi-partis à travers des tests de sécurité : Detection of logic flaws in multi-party business applications via security testing.” 2013. Doctoral Dissertation, Paris, ENST. Accessed January 15, 2021. http://www.theses.fr/2013ENST0064.

MLA Handbook (7th Edition):

Pellegrino, Giancarlo. “Détection d'anomalies logiques dans les logiciels d'entreprise multi-partis à travers des tests de sécurité : Detection of logic flaws in multi-party business applications via security testing.” 2013. Web. 15 Jan 2021.

Vancouver:

Pellegrino G. Détection d'anomalies logiques dans les logiciels d'entreprise multi-partis à travers des tests de sécurité : Detection of logic flaws in multi-party business applications via security testing. [Internet] [Doctoral dissertation]. Paris, ENST; 2013. [cited 2021 Jan 15]. Available from: http://www.theses.fr/2013ENST0064.

Council of Science Editors:

Pellegrino G. Détection d'anomalies logiques dans les logiciels d'entreprise multi-partis à travers des tests de sécurité : Detection of logic flaws in multi-party business applications via security testing. [Doctoral Dissertation]. Paris, ENST; 2013. Available from: http://www.theses.fr/2013ENST0064


Brno University of Technology

5. Chalk, Matěj. Nástroj pro abstraktní regulární model checking: Tool for Abstract Regular Model Checking.

Degree: 2019, Brno University of Technology

 Formal verification methods offer a large potential to provide automated software correctness checking (based on sound mathematical roots), which is of vital importance. One such… (more)

Subjects/Keywords: formální verifikace; model checking; regulární model checking; abstraktní regulární model checking; automaty; převodníky; symbolické automaty; formal verification; model checking; regular model checking; abstract regular model checking; automata; transducers; symbolic automata

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chalk, M. (2019). Nástroj pro abstraktní regulární model checking: Tool for Abstract Regular Model Checking. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/84907

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

Chalk, Matěj. “Nástroj pro abstraktní regulární model checking: Tool for Abstract Regular Model Checking.” 2019. Thesis, Brno University of Technology. Accessed January 15, 2021. http://hdl.handle.net/11012/84907.

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

MLA Handbook (7th Edition):

Chalk, Matěj. “Nástroj pro abstraktní regulární model checking: Tool for Abstract Regular Model Checking.” 2019. Web. 15 Jan 2021.

Vancouver:

Chalk M. Nástroj pro abstraktní regulární model checking: Tool for Abstract Regular Model Checking. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Jan 15]. Available from: http://hdl.handle.net/11012/84907.

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

Council of Science Editors:

Chalk M. Nástroj pro abstraktní regulární model checking: Tool for Abstract Regular Model Checking. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/84907

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


Universiteit Utrecht

6. Woudenberg, C. van. Does repeated checking really cause memory distrust?: Improving the computer task.

Degree: 2016, Universiteit Utrecht

 Repeatedly checking the same class of items results in sharp decreases in the meta-memory (i.e. confidence, detail and vividness) (e.g. van den Hout & Kindt,… (more)

Subjects/Keywords: Checking; OCD; computer task

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Woudenberg, C. v. (2016). Does repeated checking really cause memory distrust?: Improving the computer task. (Masters Thesis). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/335418

Chicago Manual of Style (16th Edition):

Woudenberg, C van. “Does repeated checking really cause memory distrust?: Improving the computer task.” 2016. Masters Thesis, Universiteit Utrecht. Accessed January 15, 2021. http://dspace.library.uu.nl:8080/handle/1874/335418.

MLA Handbook (7th Edition):

Woudenberg, C van. “Does repeated checking really cause memory distrust?: Improving the computer task.” 2016. Web. 15 Jan 2021.

Vancouver:

Woudenberg Cv. Does repeated checking really cause memory distrust?: Improving the computer task. [Internet] [Masters thesis]. Universiteit Utrecht; 2016. [cited 2021 Jan 15]. Available from: http://dspace.library.uu.nl:8080/handle/1874/335418.

Council of Science Editors:

Woudenberg Cv. Does repeated checking really cause memory distrust?: Improving the computer task. [Masters Thesis]. Universiteit Utrecht; 2016. Available from: http://dspace.library.uu.nl:8080/handle/1874/335418

7. Kang, Eun-Young. Abstractions booléennes pour la vérification des systèmes temps-réel : Tools supported real-time system verification with combination of abstraction/deduction and Model checking.

Degree: Docteur es, Informatique, 2007, Université Henri Poincaré – Nancy I

Cette thèse présente un schéma formel et efficace pour la vérification de systèmes temps-réel. Ce schéma repose sur la combinaison par abstraction de techniques déductives… (more)

Subjects/Keywords: Model checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kang, E. (2007). Abstractions booléennes pour la vérification des systèmes temps-réel : Tools supported real-time system verification with combination of abstraction/deduction and Model checking. (Doctoral Dissertation). Université Henri Poincaré – Nancy I. Retrieved from http://www.theses.fr/2007NAN10089

Chicago Manual of Style (16th Edition):

Kang, Eun-Young. “Abstractions booléennes pour la vérification des systèmes temps-réel : Tools supported real-time system verification with combination of abstraction/deduction and Model checking.” 2007. Doctoral Dissertation, Université Henri Poincaré – Nancy I. Accessed January 15, 2021. http://www.theses.fr/2007NAN10089.

MLA Handbook (7th Edition):

Kang, Eun-Young. “Abstractions booléennes pour la vérification des systèmes temps-réel : Tools supported real-time system verification with combination of abstraction/deduction and Model checking.” 2007. Web. 15 Jan 2021.

Vancouver:

Kang E. Abstractions booléennes pour la vérification des systèmes temps-réel : Tools supported real-time system verification with combination of abstraction/deduction and Model checking. [Internet] [Doctoral dissertation]. Université Henri Poincaré – Nancy I; 2007. [cited 2021 Jan 15]. Available from: http://www.theses.fr/2007NAN10089.

Council of Science Editors:

Kang E. Abstractions booléennes pour la vérification des systèmes temps-réel : Tools supported real-time system verification with combination of abstraction/deduction and Model checking. [Doctoral Dissertation]. Université Henri Poincaré – Nancy I; 2007. Available from: http://www.theses.fr/2007NAN10089


Delft University of Technology

8. Bosma, Sander (author). Incremental Type Checking in IncA.

Degree: 2018, Delft University of Technology

When using an integrated development environment, it is desirable to get real-time feedback on the correctness of the program. That is, we want to see… (more)

Subjects/Keywords: type checking; incremental; Static Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bosma, S. (. (2018). Incremental Type Checking in IncA. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:95fd2998-1b39-4dd1-aba4-b2f73b443828

Chicago Manual of Style (16th Edition):

Bosma, Sander (author). “Incremental Type Checking in IncA.” 2018. Masters Thesis, Delft University of Technology. Accessed January 15, 2021. http://resolver.tudelft.nl/uuid:95fd2998-1b39-4dd1-aba4-b2f73b443828.

MLA Handbook (7th Edition):

Bosma, Sander (author). “Incremental Type Checking in IncA.” 2018. Web. 15 Jan 2021.

Vancouver:

Bosma S(. Incremental Type Checking in IncA. [Internet] [Masters thesis]. Delft University of Technology; 2018. [cited 2021 Jan 15]. Available from: http://resolver.tudelft.nl/uuid:95fd2998-1b39-4dd1-aba4-b2f73b443828.

Council of Science Editors:

Bosma S(. Incremental Type Checking in IncA. [Masters Thesis]. Delft University of Technology; 2018. Available from: http://resolver.tudelft.nl/uuid:95fd2998-1b39-4dd1-aba4-b2f73b443828


University of Limerick

9. Pantelic, Vera. Inspection of concurrent systems: combining tables, theorem proving and model checking.

Degree: 2006, University of Limerick

non-peer-reviewed

A process for rigorous inspection of concurrent systems using tabular specification was developed and applied to the classic Readers/Writers concurrent program by Jin in… (more)

Subjects/Keywords: model checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pantelic, V. (2006). Inspection of concurrent systems: combining tables, theorem proving and model checking. (Thesis). University of Limerick. Retrieved from http://hdl.handle.net/10344/159

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

Pantelic, Vera. “Inspection of concurrent systems: combining tables, theorem proving and model checking.” 2006. Thesis, University of Limerick. Accessed January 15, 2021. http://hdl.handle.net/10344/159.

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

MLA Handbook (7th Edition):

Pantelic, Vera. “Inspection of concurrent systems: combining tables, theorem proving and model checking.” 2006. Web. 15 Jan 2021.

Vancouver:

Pantelic V. Inspection of concurrent systems: combining tables, theorem proving and model checking. [Internet] [Thesis]. University of Limerick; 2006. [cited 2021 Jan 15]. Available from: http://hdl.handle.net/10344/159.

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

Council of Science Editors:

Pantelic V. Inspection of concurrent systems: combining tables, theorem proving and model checking. [Thesis]. University of Limerick; 2006. Available from: http://hdl.handle.net/10344/159

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


Virginia Tech

10. Adhikari, Kiran. Verifying a Quantitative Relaxation of Linearizability via Refinement.

Degree: MS, Computer Engineering, 2013, Virginia Tech

 Concurrent data structures have found increasingly widespread use in both multicore and distributed computing environments, thereby escalating the priority for verifying their correctness. The thread… (more)

Subjects/Keywords: Quasi Linearizability; Refinement; Model Checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Adhikari, K. (2013). Verifying a Quantitative Relaxation of Linearizability via Refinement. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/23222

Chicago Manual of Style (16th Edition):

Adhikari, Kiran. “Verifying a Quantitative Relaxation of Linearizability via Refinement.” 2013. Masters Thesis, Virginia Tech. Accessed January 15, 2021. http://hdl.handle.net/10919/23222.

MLA Handbook (7th Edition):

Adhikari, Kiran. “Verifying a Quantitative Relaxation of Linearizability via Refinement.” 2013. Web. 15 Jan 2021.

Vancouver:

Adhikari K. Verifying a Quantitative Relaxation of Linearizability via Refinement. [Internet] [Masters thesis]. Virginia Tech; 2013. [cited 2021 Jan 15]. Available from: http://hdl.handle.net/10919/23222.

Council of Science Editors:

Adhikari K. Verifying a Quantitative Relaxation of Linearizability via Refinement. [Masters Thesis]. Virginia Tech; 2013. Available from: http://hdl.handle.net/10919/23222


University of Canterbury

11. Keating, Daniel. Model Checking Time Triggered CAN Protocols.

Degree: M. Eng., Electrical Engineering, 2011, University of Canterbury

 Model checking is used to aid in the design and verification of complex concurrent systems. An abstracted finite state model of a system and a… (more)

Subjects/Keywords: TTCAN; CAN; model checking; SPIN

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Keating, D. (2011). Model Checking Time Triggered CAN Protocols. (Masters Thesis). University of Canterbury. Retrieved from http://dx.doi.org/10.26021/3492

Chicago Manual of Style (16th Edition):

Keating, Daniel. “Model Checking Time Triggered CAN Protocols.” 2011. Masters Thesis, University of Canterbury. Accessed January 15, 2021. http://dx.doi.org/10.26021/3492.

MLA Handbook (7th Edition):

Keating, Daniel. “Model Checking Time Triggered CAN Protocols.” 2011. Web. 15 Jan 2021.

Vancouver:

Keating D. Model Checking Time Triggered CAN Protocols. [Internet] [Masters thesis]. University of Canterbury; 2011. [cited 2021 Jan 15]. Available from: http://dx.doi.org/10.26021/3492.

Council of Science Editors:

Keating D. Model Checking Time Triggered CAN Protocols. [Masters Thesis]. University of Canterbury; 2011. Available from: http://dx.doi.org/10.26021/3492


Princeton University

12. Ahn, Sunha. AUTOMATED FIRMWARE VERIFICATION USING FIRMWARE-HARDWARE INTERACTION PATTERNS .

Degree: PhD, 2016, Princeton University

 Firmware refers to low-level software that is tied to a specific hardware platform. For instance, low-level drivers that physically interface with the peripherals are an… (more)

Subjects/Keywords: Firmware; Model checking; Testing; Verifiation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ahn, S. (2016). AUTOMATED FIRMWARE VERIFICATION USING FIRMWARE-HARDWARE INTERACTION PATTERNS . (Doctoral Dissertation). Princeton University. Retrieved from http://arks.princeton.edu/ark:/88435/dsp01s4655k00v

Chicago Manual of Style (16th Edition):

Ahn, Sunha. “AUTOMATED FIRMWARE VERIFICATION USING FIRMWARE-HARDWARE INTERACTION PATTERNS .” 2016. Doctoral Dissertation, Princeton University. Accessed January 15, 2021. http://arks.princeton.edu/ark:/88435/dsp01s4655k00v.

MLA Handbook (7th Edition):

Ahn, Sunha. “AUTOMATED FIRMWARE VERIFICATION USING FIRMWARE-HARDWARE INTERACTION PATTERNS .” 2016. Web. 15 Jan 2021.

Vancouver:

Ahn S. AUTOMATED FIRMWARE VERIFICATION USING FIRMWARE-HARDWARE INTERACTION PATTERNS . [Internet] [Doctoral dissertation]. Princeton University; 2016. [cited 2021 Jan 15]. Available from: http://arks.princeton.edu/ark:/88435/dsp01s4655k00v.

Council of Science Editors:

Ahn S. AUTOMATED FIRMWARE VERIFICATION USING FIRMWARE-HARDWARE INTERACTION PATTERNS . [Doctoral Dissertation]. Princeton University; 2016. Available from: http://arks.princeton.edu/ark:/88435/dsp01s4655k00v

13. Sakho, Mouhamadou Tafsir. ⌈-Pomset pour la modélisation et la vérification de systèmes parallèles : ⌈-Pomset for modelling and verifying parallel systems.

Degree: Docteur es, Mathématiques-Informatique, 2014, Orléans; Université polytechnique de l'Ouest Africain (Dakar, Sénégal)

Un comportement distribué peut être décrit avec un multi-ensemble partiellement ordonné (pomset). Bien que compacts et très intuitifs, ces modèles sont difficiles à vérifier. La… (more)

Subjects/Keywords: Pomset; Model-checking; Satisfiabilité; Traces; Pomset; Model-checking; Satisfiability; Trace; 004.3

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sakho, M. T. (2014). ⌈-Pomset pour la modélisation et la vérification de systèmes parallèles : ⌈-Pomset for modelling and verifying parallel systems. (Doctoral Dissertation). Orléans; Université polytechnique de l'Ouest Africain (Dakar, Sénégal). Retrieved from http://www.theses.fr/2014ORLE2068

Chicago Manual of Style (16th Edition):

Sakho, Mouhamadou Tafsir. “⌈-Pomset pour la modélisation et la vérification de systèmes parallèles : ⌈-Pomset for modelling and verifying parallel systems.” 2014. Doctoral Dissertation, Orléans; Université polytechnique de l'Ouest Africain (Dakar, Sénégal). Accessed January 15, 2021. http://www.theses.fr/2014ORLE2068.

MLA Handbook (7th Edition):

Sakho, Mouhamadou Tafsir. “⌈-Pomset pour la modélisation et la vérification de systèmes parallèles : ⌈-Pomset for modelling and verifying parallel systems.” 2014. Web. 15 Jan 2021.

Vancouver:

Sakho MT. ⌈-Pomset pour la modélisation et la vérification de systèmes parallèles : ⌈-Pomset for modelling and verifying parallel systems. [Internet] [Doctoral dissertation]. Orléans; Université polytechnique de l'Ouest Africain (Dakar, Sénégal); 2014. [cited 2021 Jan 15]. Available from: http://www.theses.fr/2014ORLE2068.

Council of Science Editors:

Sakho MT. ⌈-Pomset pour la modélisation et la vérification de systèmes parallèles : ⌈-Pomset for modelling and verifying parallel systems. [Doctoral Dissertation]. Orléans; Université polytechnique de l'Ouest Africain (Dakar, Sénégal); 2014. Available from: http://www.theses.fr/2014ORLE2068

14. Declerck, David. Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles : Verification via Model Checking of Parameterized Concurrent Programs on Weak Memory Models.

Degree: Docteur es, Informatique, 2018, Université Paris-Saclay (ComUE)

Les multiprocesseurs et microprocesseurs multicœurs modernes mettent en oeuvre des modèles mémoires dits faibles ou relâchés, dans dans lesquels l'ordre apparent des opérations mémoire ne… (more)

Subjects/Keywords: Mémoire faible; Model checking; Vérification; Weak memory; Model checking; Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Declerck, D. (2018). Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles : Verification via Model Checking of Parameterized Concurrent Programs on Weak Memory Models. (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2018SACLS336

Chicago Manual of Style (16th Edition):

Declerck, David. “Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles : Verification via Model Checking of Parameterized Concurrent Programs on Weak Memory Models.” 2018. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed January 15, 2021. http://www.theses.fr/2018SACLS336.

MLA Handbook (7th Edition):

Declerck, David. “Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles : Verification via Model Checking of Parameterized Concurrent Programs on Weak Memory Models.” 2018. Web. 15 Jan 2021.

Vancouver:

Declerck D. Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles : Verification via Model Checking of Parameterized Concurrent Programs on Weak Memory Models. [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2018. [cited 2021 Jan 15]. Available from: http://www.theses.fr/2018SACLS336.

Council of Science Editors:

Declerck D. Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles : Verification via Model Checking of Parameterized Concurrent Programs on Weak Memory Models. [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2018. Available from: http://www.theses.fr/2018SACLS336

15. Bozianu, Rodica. Synthesis of Interactive Reactive Systems : Synthèse des systèmes réactifs interactifs.

Degree: Docteur es, Informatique, 2016, Université Paris-Est

Nous étudions le problème de la synthèse automatique de programmes dans des architectures multi-composants tels qu'elles respectent les spécifications par construction. Le principal objectif de… (more)

Subjects/Keywords: Synthèse; Model Checking; Verification; Jeux; Synthesis; Model Checking; Verification; Games

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bozianu, R. (2016). Synthesis of Interactive Reactive Systems : Synthèse des systèmes réactifs interactifs. (Doctoral Dissertation). Université Paris-Est. Retrieved from http://www.theses.fr/2016PESC1026

Chicago Manual of Style (16th Edition):

Bozianu, Rodica. “Synthesis of Interactive Reactive Systems : Synthèse des systèmes réactifs interactifs.” 2016. Doctoral Dissertation, Université Paris-Est. Accessed January 15, 2021. http://www.theses.fr/2016PESC1026.

MLA Handbook (7th Edition):

Bozianu, Rodica. “Synthesis of Interactive Reactive Systems : Synthèse des systèmes réactifs interactifs.” 2016. Web. 15 Jan 2021.

Vancouver:

Bozianu R. Synthesis of Interactive Reactive Systems : Synthèse des systèmes réactifs interactifs. [Internet] [Doctoral dissertation]. Université Paris-Est; 2016. [cited 2021 Jan 15]. Available from: http://www.theses.fr/2016PESC1026.

Council of Science Editors:

Bozianu R. Synthesis of Interactive Reactive Systems : Synthèse des systèmes réactifs interactifs. [Doctoral Dissertation]. Université Paris-Est; 2016. Available from: http://www.theses.fr/2016PESC1026

16. Fronc, Lukasz. Compilation de réseaux de Petri : modèles haut niveau et symétries de processus : Compilation of Petri nets : high-level models and process symmetries.

Degree: Docteur es, Informatique, 2013, Evry-Val d'Essonne

Cette thèse s'intéresse à la vérification de systèmes automatisables par model-checking. La question sous-jacente autour de laquelle se construit la contribution est la recherche d'un… (more)

Subjects/Keywords: Model-checking; Model-checking; High-level Petri nets; Compilation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fronc, L. (2013). Compilation de réseaux de Petri : modèles haut niveau et symétries de processus : Compilation of Petri nets : high-level models and process symmetries. (Doctoral Dissertation). Evry-Val d'Essonne. Retrieved from http://www.theses.fr/2013EVRY0034

Chicago Manual of Style (16th Edition):

Fronc, Lukasz. “Compilation de réseaux de Petri : modèles haut niveau et symétries de processus : Compilation of Petri nets : high-level models and process symmetries.” 2013. Doctoral Dissertation, Evry-Val d'Essonne. Accessed January 15, 2021. http://www.theses.fr/2013EVRY0034.

MLA Handbook (7th Edition):

Fronc, Lukasz. “Compilation de réseaux de Petri : modèles haut niveau et symétries de processus : Compilation of Petri nets : high-level models and process symmetries.” 2013. Web. 15 Jan 2021.

Vancouver:

Fronc L. Compilation de réseaux de Petri : modèles haut niveau et symétries de processus : Compilation of Petri nets : high-level models and process symmetries. [Internet] [Doctoral dissertation]. Evry-Val d'Essonne; 2013. [cited 2021 Jan 15]. Available from: http://www.theses.fr/2013EVRY0034.

Council of Science Editors:

Fronc L. Compilation de réseaux de Petri : modèles haut niveau et symétries de processus : Compilation of Petri nets : high-level models and process symmetries. [Doctoral Dissertation]. Evry-Val d'Essonne; 2013. Available from: http://www.theses.fr/2013EVRY0034


University of Melbourne

17. Nguyen, Cattram. Diagnostic methods for checking multiple imputation models.

Degree: 2014, University of Melbourne

 Multiple imputation is an increasingly popular method for handling missing data. A key task in the imputation process is the specification of a model for… (more)

Subjects/Keywords: missing data; multiple imputation, posterior predictive checking; diagnostics; model checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nguyen, C. (2014). Diagnostic methods for checking multiple imputation models. (Doctoral Dissertation). University of Melbourne. Retrieved from http://hdl.handle.net/11343/45205

Chicago Manual of Style (16th Edition):

Nguyen, Cattram. “Diagnostic methods for checking multiple imputation models.” 2014. Doctoral Dissertation, University of Melbourne. Accessed January 15, 2021. http://hdl.handle.net/11343/45205.

MLA Handbook (7th Edition):

Nguyen, Cattram. “Diagnostic methods for checking multiple imputation models.” 2014. Web. 15 Jan 2021.

Vancouver:

Nguyen C. Diagnostic methods for checking multiple imputation models. [Internet] [Doctoral dissertation]. University of Melbourne; 2014. [cited 2021 Jan 15]. Available from: http://hdl.handle.net/11343/45205.

Council of Science Editors:

Nguyen C. Diagnostic methods for checking multiple imputation models. [Doctoral Dissertation]. University of Melbourne; 2014. Available from: http://hdl.handle.net/11343/45205

18. Oliveira, João Paulo dos Santos. Rabbit: A novel approach to find data-races during state-space exploration .

Degree: 2012, Universidade Federal de Pernambuco

 Data-races are an important kind of error in concurrent shared-memory programs. Software model checking is a popular approach to find them. This research proposes a… (more)

Subjects/Keywords: Concorrency; Software Verification; Model Checking; Race conditions

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Oliveira, J. P. d. S. (2012). Rabbit: A novel approach to find data-races during state-space exploration . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/10891

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

Oliveira, João Paulo dos Santos. “Rabbit: A novel approach to find data-races during state-space exploration .” 2012. Thesis, Universidade Federal de Pernambuco. Accessed January 15, 2021. http://repositorio.ufpe.br/handle/123456789/10891.

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

MLA Handbook (7th Edition):

Oliveira, João Paulo dos Santos. “Rabbit: A novel approach to find data-races during state-space exploration .” 2012. Web. 15 Jan 2021.

Vancouver:

Oliveira JPdS. Rabbit: A novel approach to find data-races during state-space exploration . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2012. [cited 2021 Jan 15]. Available from: http://repositorio.ufpe.br/handle/123456789/10891.

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

Council of Science Editors:

Oliveira JPdS. Rabbit: A novel approach to find data-races during state-space exploration . [Thesis]. Universidade Federal de Pernambuco; 2012. Available from: http://repositorio.ufpe.br/handle/123456789/10891

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

19. Iza, Lyla. La formalisation du graphe MDG dans l'assistant d'aide à la preuve COQ et la preuve de correction de ses algorithmes.

Degree: 2014, Université M'Hamed Bougara Boumerdès

93 p. : ill. ; 30 cm

La vérification formelle des systèmes critiques est réalisée, en utilisant une de ces deux approches : les modèle… (more)

Subjects/Keywords: Lambda calcul; Informatique : Programmation; Modèles checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Iza, L. (2014). La formalisation du graphe MDG dans l'assistant d'aide à la preuve COQ et la preuve de correction de ses algorithmes. (Thesis). Université M'Hamed Bougara Boumerdès. Retrieved from http://dlibrary.univ-boumerdes.dz:8080123456789/2133

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

Iza, Lyla. “La formalisation du graphe MDG dans l'assistant d'aide à la preuve COQ et la preuve de correction de ses algorithmes.” 2014. Thesis, Université M'Hamed Bougara Boumerdès. Accessed January 15, 2021. http://dlibrary.univ-boumerdes.dz:8080123456789/2133.

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

MLA Handbook (7th Edition):

Iza, Lyla. “La formalisation du graphe MDG dans l'assistant d'aide à la preuve COQ et la preuve de correction de ses algorithmes.” 2014. Web. 15 Jan 2021.

Vancouver:

Iza L. La formalisation du graphe MDG dans l'assistant d'aide à la preuve COQ et la preuve de correction de ses algorithmes. [Internet] [Thesis]. Université M'Hamed Bougara Boumerdès; 2014. [cited 2021 Jan 15]. Available from: http://dlibrary.univ-boumerdes.dz:8080123456789/2133.

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

Council of Science Editors:

Iza L. La formalisation du graphe MDG dans l'assistant d'aide à la preuve COQ et la preuve de correction de ses algorithmes. [Thesis]. Université M'Hamed Bougara Boumerdès; 2014. Available from: http://dlibrary.univ-boumerdes.dz:8080123456789/2133

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


University of Utah

20. Vo, Anh. Scalable formal dynamic verification of MPI programs through distributed causality tracking.

Degree: PhD, Computer Science, 2011, University of Utah

 Almost all high performance computing applications are written in MPI, which will continue to be the case for at least the next several years. Given… (more)

Subjects/Keywords: Causality tracking; Correctness checking; MPI; Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vo, A. (2011). Scalable formal dynamic verification of MPI programs through distributed causality tracking. (Doctoral Dissertation). University of Utah. Retrieved from http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/177/rec/2131

Chicago Manual of Style (16th Edition):

Vo, Anh. “Scalable formal dynamic verification of MPI programs through distributed causality tracking.” 2011. Doctoral Dissertation, University of Utah. Accessed January 15, 2021. http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/177/rec/2131.

MLA Handbook (7th Edition):

Vo, Anh. “Scalable formal dynamic verification of MPI programs through distributed causality tracking.” 2011. Web. 15 Jan 2021.

Vancouver:

Vo A. Scalable formal dynamic verification of MPI programs through distributed causality tracking. [Internet] [Doctoral dissertation]. University of Utah; 2011. [cited 2021 Jan 15]. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/177/rec/2131.

Council of Science Editors:

Vo A. Scalable formal dynamic verification of MPI programs through distributed causality tracking. [Doctoral Dissertation]. University of Utah; 2011. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/177/rec/2131


Vanderbilt University

21. Li, Yi. Linux Device Driver Synthesis and Verification.

Degree: MS, Computer Science, 2015, Vanderbilt University

 The device driver is a program which provides a software interface to a hardware device, enabling operating systems and other computer programs to access hardware… (more)

Subjects/Keywords: driver synthesis; model checking; domain specific language

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, Y. (2015). Linux Device Driver Synthesis and Verification. (Thesis). Vanderbilt University. Retrieved from http://hdl.handle.net/1803/14577

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

Li, Yi. “Linux Device Driver Synthesis and Verification.” 2015. Thesis, Vanderbilt University. Accessed January 15, 2021. http://hdl.handle.net/1803/14577.

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

MLA Handbook (7th Edition):

Li, Yi. “Linux Device Driver Synthesis and Verification.” 2015. Web. 15 Jan 2021.

Vancouver:

Li Y. Linux Device Driver Synthesis and Verification. [Internet] [Thesis]. Vanderbilt University; 2015. [cited 2021 Jan 15]. Available from: http://hdl.handle.net/1803/14577.

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

Council of Science Editors:

Li Y. Linux Device Driver Synthesis and Verification. [Thesis]. Vanderbilt University; 2015. Available from: http://hdl.handle.net/1803/14577

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

22. Naujokat, Stefan. Automatische Generierung von Prozessen im jABC.

Degree: 2009, Technische Universität Dortmund

 Serviceorientierung ist ein zentrales Element zur Wiederverwendung in der Softwareentwicklung und die Modellierung von ausführbaren Prozessen aus Services (Orchestrierung) ermöglicht auch Anwendungsexperten, die in der… (more)

Subjects/Keywords: Datenflussanalyse; Lose Spezifikation; Model checking; Prozesssynthese; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Naujokat, S. (2009). Automatische Generierung von Prozessen im jABC. (Thesis). Technische Universität Dortmund. Retrieved from http://hdl.handle.net/2003/29822

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

Naujokat, Stefan. “Automatische Generierung von Prozessen im jABC.” 2009. Thesis, Technische Universität Dortmund. Accessed January 15, 2021. http://hdl.handle.net/2003/29822.

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

MLA Handbook (7th Edition):

Naujokat, Stefan. “Automatische Generierung von Prozessen im jABC.” 2009. Web. 15 Jan 2021.

Vancouver:

Naujokat S. Automatische Generierung von Prozessen im jABC. [Internet] [Thesis]. Technische Universität Dortmund; 2009. [cited 2021 Jan 15]. Available from: http://hdl.handle.net/2003/29822.

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

Council of Science Editors:

Naujokat S. Automatische Generierung von Prozessen im jABC. [Thesis]. Technische Universität Dortmund; 2009. Available from: http://hdl.handle.net/2003/29822

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


University of Waterloo

23. Merritt, Olivia. To Look, or Not to Look? Attention to Threat and Avoidance of Threat While Checking.

Degree: 2018, University of Waterloo

 It has been argued that people with obsessive-compulsive disorder (OCD) exhibit facilitated attention to threat (early attentional capture) and difficulty disengaging from it (persistent attentional… (more)

Subjects/Keywords: checking compulsions; attentional avoidance; phenomenology; attention

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Merritt, O. (2018). To Look, or Not to Look? Attention to Threat and Avoidance of Threat While Checking. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/13729

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

Merritt, Olivia. “To Look, or Not to Look? Attention to Threat and Avoidance of Threat While Checking.” 2018. Thesis, University of Waterloo. Accessed January 15, 2021. http://hdl.handle.net/10012/13729.

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

MLA Handbook (7th Edition):

Merritt, Olivia. “To Look, or Not to Look? Attention to Threat and Avoidance of Threat While Checking.” 2018. Web. 15 Jan 2021.

Vancouver:

Merritt O. To Look, or Not to Look? Attention to Threat and Avoidance of Threat While Checking. [Internet] [Thesis]. University of Waterloo; 2018. [cited 2021 Jan 15]. Available from: http://hdl.handle.net/10012/13729.

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

Council of Science Editors:

Merritt O. To Look, or Not to Look? Attention to Threat and Avoidance of Threat While Checking. [Thesis]. University of Waterloo; 2018. Available from: http://hdl.handle.net/10012/13729

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

24. Friggens, David. On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures.

Degree: 2013, Victoria University of Wellington

 Concurrent data structure algorithms have traditionally been designed using locks to regulate the behaviour of interacting threads, thus restricting access to parts of the shared… (more)

Subjects/Keywords: Nonblocking algorithms; Model checking; Canonical abstraction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Friggens, D. (2013). On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures. (Doctoral Dissertation). Victoria University of Wellington. Retrieved from http://hdl.handle.net/10063/2702

Chicago Manual of Style (16th Edition):

Friggens, David. “On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures.” 2013. Doctoral Dissertation, Victoria University of Wellington. Accessed January 15, 2021. http://hdl.handle.net/10063/2702.

MLA Handbook (7th Edition):

Friggens, David. “On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures.” 2013. Web. 15 Jan 2021.

Vancouver:

Friggens D. On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures. [Internet] [Doctoral dissertation]. Victoria University of Wellington; 2013. [cited 2021 Jan 15]. Available from: http://hdl.handle.net/10063/2702.

Council of Science Editors:

Friggens D. On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures. [Doctoral Dissertation]. Victoria University of Wellington; 2013. Available from: http://hdl.handle.net/10063/2702

25. Naujokat, Stefan. Automatische Generierung von Prozessen im jABC.

Degree: 2012, Technische Universität Dortmund

 Serviceorientierung ist ein zentrales Element zur Wiederverwendung in der Softwareentwicklung und die Modellierung von ausführbaren Prozessen aus Services (Orchestrierung) ermöglicht auch Anwendungsexperten, die in der… (more)

Subjects/Keywords: Datenflussanalyse; Lose Spezifikation; Model checking; Prozesssynthese; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Naujokat, S. (2012). Automatische Generierung von Prozessen im jABC. (Masters Thesis). Technische Universität Dortmund. Retrieved from http://dx.doi.org/10.17877/DE290R-10351

Chicago Manual of Style (16th Edition):

Naujokat, Stefan. “Automatische Generierung von Prozessen im jABC.” 2012. Masters Thesis, Technische Universität Dortmund. Accessed January 15, 2021. http://dx.doi.org/10.17877/DE290R-10351.

MLA Handbook (7th Edition):

Naujokat, Stefan. “Automatische Generierung von Prozessen im jABC.” 2012. Web. 15 Jan 2021.

Vancouver:

Naujokat S. Automatische Generierung von Prozessen im jABC. [Internet] [Masters thesis]. Technische Universität Dortmund; 2012. [cited 2021 Jan 15]. Available from: http://dx.doi.org/10.17877/DE290R-10351.

Council of Science Editors:

Naujokat S. Automatische Generierung von Prozessen im jABC. [Masters Thesis]. Technische Universität Dortmund; 2012. Available from: http://dx.doi.org/10.17877/DE290R-10351

26. Lopes, Arnaud Da Costa. Propriétés de jeux multi-agents : Multi-agent games properties.

Degree: Docteur es, Informatique, 2011, Cachan, Ecole normale supérieure

Nous etendons les logiques temporelles du temps alternant ATL et ATL* au moyen de contextes strategiques et de contraintes sur la memoire : la premiere… (more)

Subjects/Keywords: Logique temporelle; Vérification formelle; Model-checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lopes, A. D. C. (2011). Propriétés de jeux multi-agents : Multi-agent games properties. (Doctoral Dissertation). Cachan, Ecole normale supérieure. Retrieved from http://www.theses.fr/2011DENS0034

Chicago Manual of Style (16th Edition):

Lopes, Arnaud Da Costa. “Propriétés de jeux multi-agents : Multi-agent games properties.” 2011. Doctoral Dissertation, Cachan, Ecole normale supérieure. Accessed January 15, 2021. http://www.theses.fr/2011DENS0034.

MLA Handbook (7th Edition):

Lopes, Arnaud Da Costa. “Propriétés de jeux multi-agents : Multi-agent games properties.” 2011. Web. 15 Jan 2021.

Vancouver:

Lopes ADC. Propriétés de jeux multi-agents : Multi-agent games properties. [Internet] [Doctoral dissertation]. Cachan, Ecole normale supérieure; 2011. [cited 2021 Jan 15]. Available from: http://www.theses.fr/2011DENS0034.

Council of Science Editors:

Lopes ADC. Propriétés de jeux multi-agents : Multi-agent games properties. [Doctoral Dissertation]. Cachan, Ecole normale supérieure; 2011. Available from: http://www.theses.fr/2011DENS0034


Tampere University

27. Biswas, Prasun. Model-to-Model Transformation Of Nuclear Industry I&C Logic To Assist Model Checking .

Degree: 2020, Tampere University

 The demand for electricity has increased proportionately with massive urbanisation and in-dustrialisation. Nuclear energy is a strong candidate which can be one of the solutions… (more)

Subjects/Keywords: Model Transformation ; Formal Verification ; Model Checking ; NuSMV

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Biswas, P. (2020). Model-to-Model Transformation Of Nuclear Industry I&C Logic To Assist Model Checking . (Masters Thesis). Tampere University. Retrieved from https://trepo.tuni.fi/handle/10024/121539

Chicago Manual of Style (16th Edition):

Biswas, Prasun. “Model-to-Model Transformation Of Nuclear Industry I&C Logic To Assist Model Checking .” 2020. Masters Thesis, Tampere University. Accessed January 15, 2021. https://trepo.tuni.fi/handle/10024/121539.

MLA Handbook (7th Edition):

Biswas, Prasun. “Model-to-Model Transformation Of Nuclear Industry I&C Logic To Assist Model Checking .” 2020. Web. 15 Jan 2021.

Vancouver:

Biswas P. Model-to-Model Transformation Of Nuclear Industry I&C Logic To Assist Model Checking . [Internet] [Masters thesis]. Tampere University; 2020. [cited 2021 Jan 15]. Available from: https://trepo.tuni.fi/handle/10024/121539.

Council of Science Editors:

Biswas P. Model-to-Model Transformation Of Nuclear Industry I&C Logic To Assist Model Checking . [Masters Thesis]. Tampere University; 2020. Available from: https://trepo.tuni.fi/handle/10024/121539


University of Waikato

28. Shaw, Adrian Mark. Partial Order Reduction with Compositional Verification .

Degree: 2014, University of Waikato

 This thesis expands the usage of partial order reduction methods in reducing the state space of large models in model checking. The work done can… (more)

Subjects/Keywords: Partial order reduction; Model checking; compositional verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shaw, A. M. (2014). Partial Order Reduction with Compositional Verification . (Masters Thesis). University of Waikato. Retrieved from http://hdl.handle.net/10289/9001

Chicago Manual of Style (16th Edition):

Shaw, Adrian Mark. “Partial Order Reduction with Compositional Verification .” 2014. Masters Thesis, University of Waikato. Accessed January 15, 2021. http://hdl.handle.net/10289/9001.

MLA Handbook (7th Edition):

Shaw, Adrian Mark. “Partial Order Reduction with Compositional Verification .” 2014. Web. 15 Jan 2021.

Vancouver:

Shaw AM. Partial Order Reduction with Compositional Verification . [Internet] [Masters thesis]. University of Waikato; 2014. [cited 2021 Jan 15]. Available from: http://hdl.handle.net/10289/9001.

Council of Science Editors:

Shaw AM. Partial Order Reduction with Compositional Verification . [Masters Thesis]. University of Waikato; 2014. Available from: http://hdl.handle.net/10289/9001


Universidade Nova

29. Beyene, Tewodros Awgichew. Constraint-based verification of imperative programs.

Degree: 2011, Universidade Nova

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational… (more)

Subjects/Keywords: Program verification; Model checking; Constraint programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Beyene, T. A. (2011). Constraint-based verification of imperative programs. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/7965

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

Beyene, Tewodros Awgichew. “Constraint-based verification of imperative programs.” 2011. Thesis, Universidade Nova. Accessed January 15, 2021. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/7965.

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

MLA Handbook (7th Edition):

Beyene, Tewodros Awgichew. “Constraint-based verification of imperative programs.” 2011. Web. 15 Jan 2021.

Vancouver:

Beyene TA. Constraint-based verification of imperative programs. [Internet] [Thesis]. Universidade Nova; 2011. [cited 2021 Jan 15]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/7965.

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

Council of Science Editors:

Beyene TA. Constraint-based verification of imperative programs. [Thesis]. Universidade Nova; 2011. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/7965

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


Universidade Nova

30. Alves, Gonçalo Franco Pita Louro. A framework for semantic checking of information systems.

Degree: 2012, Universidade Nova

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

In this day and age, enterprises often find that their business benefits… (more)

Subjects/Keywords: Semantic interoperability; Ontology validation; Consistency checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Alves, G. F. P. L. (2012). A framework for semantic checking of information systems. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/8753

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

Alves, Gonçalo Franco Pita Louro. “A framework for semantic checking of information systems.” 2012. Thesis, Universidade Nova. Accessed January 15, 2021. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/8753.

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

MLA Handbook (7th Edition):

Alves, Gonçalo Franco Pita Louro. “A framework for semantic checking of information systems.” 2012. Web. 15 Jan 2021.

Vancouver:

Alves GFPL. A framework for semantic checking of information systems. [Internet] [Thesis]. Universidade Nova; 2012. [cited 2021 Jan 15]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/8753.

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

Council of Science Editors:

Alves GFPL. A framework for semantic checking of information systems. [Thesis]. Universidade Nova; 2012. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/8753

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

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

.