Showing 1 - 16 results of 16 for search 'Daniel N. Jackson.', query time: 0.04s Refine Results
  1. 1
    Developing a simulator to aid in the design of a safety interlock for self-driving cars

    Developing a simulator to aid in the design of a safety interlock for self-driving cars by Leong Feng Ping, Angela.

    Published 2021
    Other Authors: “…Daniel N. Jackson.…”
    Get full text
    Thesis
  2. 2
    Subtyping in alloy

    Subtyping in alloy by Torlak, Emina, 1979-

    Published 2005
    Other Authors: “…Daniel N. Jackson.…”
    Get full text
    Thesis
  3. 3
    Finding bugs in software with a constraint solver

    Finding bugs in software with a constraint solver by Vaziri-Farahani, Mandana

    Published 2006
    Other Authors: “…Daniel N. Jackson.…”
    Get full text
    Thesis
  4. 4
    Declarative symbolic pure-logic model checking

    Declarative symbolic pure-logic model checking by Shlyakhter, Ilya, 1975-

    Published 2006
    Other Authors: “…Daniel N. Jackson.…”
    Get full text
    Thesis
  5. 5
    Core extraction and non-example generation : debugging and understanding logical models

    Core extraction and non-example generation : debugging and understanding logical models by Seater, Robert Morrison

    Published 2006
    Other Authors: “…Daniel N. Jackson.…”
    Get full text
    Thesis
  6. 6
    Automating modular program verification by refining specifications

    Automating modular program verification by refining specifications by Taghdiri, Mana, 1979-

    Published 2008
    Other Authors: “…Daniel N. Jackson.…”
    Get full text
    Thesis
  7. 7
    Modeling By Example

    Modeling By Example by Mendel, Lucy (Lucy R.)

    Published 2009
    Other Authors: “…Daniel N. Jackson.…”
    Get full text
    Thesis
  8. 8
    A lightweight specification language for bounded program verification

    A lightweight specification language for bounded program verification by Yessenov, Kuat T

    Published 2010
    Other Authors: “…Daniel N. Jackson.…”
    Get full text
    Thesis
  9. 9
    Directed random testing

    Directed random testing by Pacheco, Carlos, Ph.D. Massachusetts Institute of Technology

    Published 2010
    Other Authors: “…Daniel N. Jackson.…”
    Get full text
    Thesis
  10. 10
    A relational framework for bounded program verification

    A relational framework for bounded program verification by Dennis, Gregory D. (Gregory David), 1980-

    Published 2010
    Other Authors: “…Daniel N. Jackson.…”
    Get full text
    Thesis
  11. 11
    A Framework for Dependability analysis of software systems with trusted bases

    A Framework for Dependability analysis of software systems with trusted bases by Kang, Eunsuk

    Published 2010
    Other Authors: “…Daniel N. Jackson.…”
    Get full text
    Thesis
  12. 12
    Executable specifications for Java programs

    Executable specifications for Java programs by Milicevic, Aleksandar, Ph. D. Massachusetts Institute of Technology

    Published 2011
    Other Authors: “…Daniel N. Jackson.…”
    Get full text
    Thesis
  13. 13
    Ormolu : generating runtime monitors from alloy models

    Ormolu : generating runtime monitors from alloy models by Reeves, Dwayne Lloyd

    Published 2013
    Other Authors: “…Daniel N. Jackson.…”
    Get full text
    Thesis
  14. 14
    Automated extraction of abstract object models

    Automated extraction of abstract object models by Waingold, Allison Leah, 1980-

    Published 2014
    Other Authors: “…Daniel N. Jackson.…”
    Get full text
    Thesis
  15. 15
    TSAFE : building a trusted computing base for air traffic control software

    TSAFE : building a trusted computing base for air traffic control software by Dennis, Gregory D. (Gregory David), 1980-

    Published 2014
    Other Authors: “…Daniel N. Jackson.…”
    Get full text
    Thesis
  16. 16
    Advancing declarative programming

    Advancing declarative programming by Milicevic, Aleksandar, Ph. D. Massachusetts Institute of Technology

    Published 2015
    Other Authors: “…Daniel N. Jackson.…”
    Get full text
    Thesis

Search Tools: