Search Results - Poppleton, Michael

Refine Results
  1. 1
    Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs

    Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs by Birch, Geoff, Fischer, Bernd, Poppleton, Michael

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B

    Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B by Dghaym, Dana, Dalvandi, Mohammadsadegh, Poppleton, Michael, Snook, Colin

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols

    Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols by Méry, Dominique, Poppleton, Michael

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Usability Assessment of a UML-Based Formal Modeling Method Using a Cognitive Dimensions Framework

    Usability Assessment of a UML-Based Formal Modeling Method Using a Cognitive Dimensions Framework by Razali, Rozilawati, Snook, Colin, Poppleton, Michael, Garratt, Paul

    Published in Human technology
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Rigorous engineering of product-line requirements: A case study in failure management

    Rigorous engineering of product-line requirements: A case study in failure management by Snook, Colin, Poppleton, Michael, Johnson, Ian

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Papers from the ABZ 2008 Conference

    Papers from the ABZ 2008 Conference by BORGER, Egon, BOWEN, Jonathan P, BUTLER, Michael, POPPLETON, Michael

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Usability assessment of a UML-based formal mModeling method using a cognitive dimensions framework

    Usability assessment of a UML-based formal mModeling method using a cognitive dimensions framework by Razali, Rozilawati, Snook, Colin, Poppleton, Michael, Garratt, Paul

    Published in Human technology
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Towards a principled and evolvable approach to software development for future wireless sensor networks

    Towards a principled and evolvable approach to software development for future wireless sensor networks by Poppleton, Michael R., Merrett, Geoff V.

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Adding value to WSN simulation through formal modelling and analysis

    Adding value to WSN simulation through formal modelling and analysis by Intana, Adisak, Poppleton, Michael R., Merrett, Geoff V.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Towards a principled and evolvable approach to software development for future wireless sensor networks

    Towards a principled and evolvable approach to software development for future wireless sensor networks by Poppleton, M. R., Merrett, G. V.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties

    Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties by Banach, R., Poppleton, M., Jeske, C., Stepney, S.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Retrenching the Purse: Finite Exception Logs, and Validating the Small

    Retrenching the Purse: Finite Exception Logs, and Validating the Small by Banach, R., Jeske, C., Poppleton, M., Stepney, S.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Requirements validation by lifting retrenchments in B

    Requirements validation by lifting retrenchments in B by Poppleton, M., Banach, R.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Design, optimization and analysis of large DNA and RNA nanostructures through interactive visualization, editing and molecular simulation

    Design, optimization and analysis of large DNA and RNA nanostructures through interactive visualization, editing and molecular simulation by Poppleton, Erik, Bohlin, Joakim, Matthies, Michael, Sharma, Shuchi, Zhang, Fei, Šulc, Petr

    Published in Nucleic acids research
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Radial glia cells are candidate stem cells of ependymoma

    Radial glia cells are candidate stem cells of ependymoma by Taylor, Michael D., Poppleton, Helen, Fuller, Christine, Su, Xiaoping, Liu, Yongxing, Jensen, Patricia, Magdaleno, Susan, Dalton, James, Calabrese, Christopher, Board, Julian, MacDonald, Tobey, Rutka, Jim, Guha, Abhijit, Gajjar, Amar, Curran, Tom, Gilbertson, Richard J.

    Published in Cancer cell
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    TacoxDNA: A user‐friendly web server for simulations of complex DNA structures, from single strands to origami

    TacoxDNA: A user‐friendly web server for simulations of complex DNA structures, from single strands to origami by Suma, Antonio, Poppleton, Erik, Matthies, Michael, Šulc, Petr, Romano, Flavio, Louis, Ard A., Doye, Jonathan P. K., Micheletti, Cristian, Rovigatti, Lorenzo

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Triangulated Wireframe Structures Assembled Using Single-Stranded DNA Tiles

    Triangulated Wireframe Structures Assembled Using Single-Stranded DNA Tiles by Matthies, Michael, Agarwal, Nayan P, Poppleton, Erik, Joshi, Foram M, Šulc, Petr, Schmidt, Thorsten L

    Published in ACS nano
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    Cross-species genomics matches driver mutations and cell compartments to model ependymoma

    Cross-species genomics matches driver mutations and cell compartments to model ependymoma by Gilbertson, Richard J, Johnson, Robert A, Wright, Karen D, Poppleton, Helen, Mohankumar, Kumarasamypet M, Finkelstein, David, Pounds, Stanley B, Rand, Vikki, Leary, Sarah E. S, White, Elsie, Eden, Christopher, Hogg, Twala, Northcott, Paul, Mack, Stephen, Neale, Geoffrey, Wang, Yong-Dong, Coyle, Beth, Atkinson, Jennifer, DeWire, Mariko, Kranenburg, Tanya A, Gillespie, Yancey, Allen, Jeffrey C, Merchant, Thomas, Boop, Fredrick A, Sanford, Robert. A, Gajjar, Amar, Ellison, David W, Taylor, Michael D, Grundy, Richard G

    Published in Nature (London)
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Accuracy of a Rationally Derived Method for Identifying Treatment Failure in Children and Adolescents

    Accuracy of a Rationally Derived Method for Identifying Treatment Failure in Children and Adolescents by Bishop, Matthew J, Bybee, Taige S, Lambert, Michael J, Burlingame, Gary M, Wells, M. Gawain, Poppleton, Landon E

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Radial glia cells are candidate stem cells of ependymoma

    Radial glia cells are candidate stem cells of ependymoma by Taylor, Michael D., Poppleton, Helen, Fuller, Christine, Su, Xiaoping, Liu, Yongxing, Jensen, Patricia, Magdaleno, Susan, Dalton, James, Calabrese, Christopher, Board, Julian, MacDonald, Tobey, Rutka, Jim, Guha, Abhijit, Gajjar, Amar, Curran, Tom, Gilbertson, Richard J.

    Published in Cancer cell
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: