Search Results - KINIRY, Joseph R

  • Showing 1 - 17 results of 17
Refine Results
  1. 1
    An overview of JML tools and applications

    An overview of JML tools and applications by BURDY, Lilian, CHEON, Yoonsik, COK, David R, ERNST, Michael D, KINIRY, Joseph R, LEAVENS, Gary T, LEINO, K. Rustan M, POLL, Erik

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Cable modems: cable TV delivers the Internet

    Cable modems: cable TV delivers the Internet by Kiniry, J.R., Metz, C.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Toward instant gradeification

    Toward instant gradeification by Zimmerman, D M, Kiniry, J R, Fairmichael, F

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Formal techniques in a remote voting system

    Formal techniques in a remote voting system by Kiniry, Joseph R., Morkan, Alan E., Cochran, Dermot, Oostdijk, Martijn, Hubbers, Engelbert

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Wavelength division multiplexing: ultra high speed fiber optics

    Wavelength division multiplexing: ultra high speed fiber optics by Kiniry, J.R.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments

    Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments by Kiniry, Joseph R.

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    A cottage industry of software publishing : Implications for theories of composition

    A cottage industry of software publishing : Implications for theories of composition by CHANDY, K. M, SIVILOTTI, P. A. G, KINIRY, J. R

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Formally Counting Electronic Votes (But Still Only Trusting Paper)

    Formally Counting Electronic Votes (But Still Only Trusting Paper) by Kiniry, J.R.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    A rigorous methodology for analyzing and designing plug-ins

    A rigorous methodology for analyzing and designing plug-ins by Fasie, Marieta V., Haxthausen, Anne E., Kiniry, Joseph R.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    A Verification-Centric Software Development Process for Java

    A Verification-Centric Software Development Process for Java by Zimmerman, D.M., Kiniry, J.R.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    E-matching for Fun and Profit

    E-matching for Fun and Profit by Moskal, Michał, Łopuszański, Jakub, Kiniry, Joseph R.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Semantic Component Composition

    Semantic Component Composition by Kiniry, Joseph R

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Semantic Properties for Lightweight Specification in Knowledgeable Development Environments

    Semantic Properties for Lightweight Specification in Knowledgeable Development Environments by Kiniry, Joseph R

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Monitoring and Debugging Concurrent and Distributed Object-Oriented Systems

    Monitoring and Debugging Concurrent and Distributed Object-Oriented Systems by Kiniry, Joseph R

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    A Cottage industry of software publishing: Implications for theories of composition

    A Cottage industry of software publishing: Implications for theories of composition by Chandy, K. Mani, A.G. Sivilotti, Paolo, Kiniry, Joseph R.

    Get full text
    Book Chapter
    Save to List
    Saved in:
  16. 16
    Effectiveness of two and three mRNA COVID‐19 vaccine doses against Omicron‐ and Delta‐Related outpatient illness among adults, October 2021–February 2022

    Effectiveness of two and three mRNA COVID‐19 vaccine doses against Omicron‐ and Delta‐Related outpatient illness among adults, October 2021–February 2022 by Kim, Sara S., Chung, Jessie R., Talbot, H. Keipp, Grijalva, Carlos G., Wernli, Karen J., Kiniry, Erika, Martin, Emily T., Monto, Arnold S., Belongia, Edward A., McLean, Huong Q., Gaglani, Manjusha, Mamawala, Mufaddal, Nowalk, Mary Patricia, Moehling Geffel, Krissy, Tartof, Sara Y., Florea, Ana, Lee, Justin S., Tenforde, Mark W., Patel, Manish M., Flannery, Brendan, Bentz, Meghan L., Burgin, Alex, Burroughs, Mark, Davis, Morgan L., Howard, Dakota, Lacek, Kristine, Madden, Joseph C., Nobles, Sarah, Padilla, Jasmine, Sheth, Mili

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    ADEPT 2023 Workshop Summary

    ADEPT 2023 Workshop Summary by Tran, Hai Nam, Singhoff, Frank, Hugues, Jérôme, Dissaux, Pierre, Lewis, Bruce, Shackleton, Hazel, Kiniry, Joseph, Zeyda, Frank, Mittal, Rakshit, Blouin, Dominique, Bhobe, Anish, Pautet, Laurent, Bae, Kyungmin, Ölveczky, Peter Csaba, Larson, Brian R, Ahmad, Ehsan, Kosmidis, Leonidas, Valente, Hugo, A de Miguel, Miguel, Pérez, Ángel G, Alonso, Alejandro, Zamorano, Juan, A de la Puente, Juan

    Published in ACM SIGAda Ada Letters
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:

Search Tools: