Advanced search options

Advanced Search Options 🞨

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

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"McMaster University" +contributor:("Maibaum, Thomas"). Showing records 1 – 5 of 5 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


McMaster University

1. Naqvi, Syeda Zahra Ali. Checking Compliance with ISO 26262 using Conceptual Modeling as a Tool.

Degree: MASc, 2018, McMaster University

With the advancement in technology in the automotive sector, there is an increase in the need of safety assurance of road vehicles. ISO 26262 is… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Naqvi, S. Z. A. (2018). Checking Compliance with ISO 26262 using Conceptual Modeling as a Tool. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/23057

Chicago Manual of Style (16th Edition):

Naqvi, Syeda Zahra Ali. “Checking Compliance with ISO 26262 using Conceptual Modeling as a Tool.” 2018. Masters Thesis, McMaster University. Accessed August 17, 2019. http://hdl.handle.net/11375/23057.

MLA Handbook (7th Edition):

Naqvi, Syeda Zahra Ali. “Checking Compliance with ISO 26262 using Conceptual Modeling as a Tool.” 2018. Web. 17 Aug 2019.

Vancouver:

Naqvi SZA. Checking Compliance with ISO 26262 using Conceptual Modeling as a Tool. [Internet] [Masters thesis]. McMaster University; 2018. [cited 2019 Aug 17]. Available from: http://hdl.handle.net/11375/23057.

Council of Science Editors:

Naqvi SZA. Checking Compliance with ISO 26262 using Conceptual Modeling as a Tool. [Masters Thesis]. McMaster University; 2018. Available from: http://hdl.handle.net/11375/23057


McMaster University

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

Degree: MASc, 2015, McMaster University

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

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

Chicago Manual of Style (16th Edition):

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

MLA Handbook (7th Edition):

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

Vancouver:

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

Council of Science Editors:

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


McMaster University

3. Patcas, Lucian. Implementability of Requirements for Safety-Critical Embedded Systems.

Degree: PhD, 2015, McMaster University

Computer systems are used for controlling physical processes in many safety-critical applications. These systems are embedded into the larger system of the application and are… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Patcas, L. (2015). Implementability of Requirements for Safety-Critical Embedded Systems. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/16602

Chicago Manual of Style (16th Edition):

Patcas, Lucian. “Implementability of Requirements for Safety-Critical Embedded Systems.” 2015. Doctoral Dissertation, McMaster University. Accessed August 17, 2019. http://hdl.handle.net/11375/16602.

MLA Handbook (7th Edition):

Patcas, Lucian. “Implementability of Requirements for Safety-Critical Embedded Systems.” 2015. Web. 17 Aug 2019.

Vancouver:

Patcas L. Implementability of Requirements for Safety-Critical Embedded Systems. [Internet] [Doctoral dissertation]. McMaster University; 2015. [cited 2019 Aug 17]. Available from: http://hdl.handle.net/11375/16602.

Council of Science Editors:

Patcas L. Implementability of Requirements for Safety-Critical Embedded Systems. [Doctoral Dissertation]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/16602


McMaster University

4. Cassano, Valentin. A Logical Basis for Reasoning with Default Rules.

Degree: PhD, 2015, McMaster University

This thesis is an investigation into the foundations of reasoning with default rules as presented by Reiter in his seminal 1980 article: `A Logic for… (more)

Subjects/Keywords: Logic; Formal Logic; Nonmonotonic Reasoning; Default Reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cassano, V. (2015). A Logical Basis for Reasoning with Default Rules. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/18052

Chicago Manual of Style (16th Edition):

Cassano, Valentin. “A Logical Basis for Reasoning with Default Rules.” 2015. Doctoral Dissertation, McMaster University. Accessed August 17, 2019. http://hdl.handle.net/11375/18052.

MLA Handbook (7th Edition):

Cassano, Valentin. “A Logical Basis for Reasoning with Default Rules.” 2015. Web. 17 Aug 2019.

Vancouver:

Cassano V. A Logical Basis for Reasoning with Default Rules. [Internet] [Doctoral dissertation]. McMaster University; 2015. [cited 2019 Aug 17]. Available from: http://hdl.handle.net/11375/18052.

Council of Science Editors:

Cassano V. A Logical Basis for Reasoning with Default Rules. [Doctoral Dissertation]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/18052

5. Demasi, Ramiro. Synthesizing Fault-Tolerant Programs from Deontic Logic Specifications.

Degree: PhD, 2014, McMaster University

This dissertation concentrates on the problem of synthesizing fault-tolerant components from specifications, i.e., the problem of automatically constructing a fault- tolerant component implementation from a… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Demasi, R. (2014). Synthesizing Fault-Tolerant Programs from Deontic Logic Specifications. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/16234

Chicago Manual of Style (16th Edition):

Demasi, Ramiro. “Synthesizing Fault-Tolerant Programs from Deontic Logic Specifications.” 2014. Doctoral Dissertation, McMaster University. Accessed August 17, 2019. http://hdl.handle.net/11375/16234.

MLA Handbook (7th Edition):

Demasi, Ramiro. “Synthesizing Fault-Tolerant Programs from Deontic Logic Specifications.” 2014. Web. 17 Aug 2019.

Vancouver:

Demasi R. Synthesizing Fault-Tolerant Programs from Deontic Logic Specifications. [Internet] [Doctoral dissertation]. McMaster University; 2014. [cited 2019 Aug 17]. Available from: http://hdl.handle.net/11375/16234.

Council of Science Editors:

Demasi R. Synthesizing Fault-Tolerant Programs from Deontic Logic Specifications. [Doctoral Dissertation]. McMaster University; 2014. Available from: http://hdl.handle.net/11375/16234

.