Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Kristin Y.
    Last name: Rozier
    DBLP: 67/519
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 23  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Eric Rozier, Kristin Y. Rozier, Ulya Bayram.
    Characterizing Data Dependence Constraints for Dynamic Reliability Using n-Queens Attack Domains.
    LITES 2017, Volume 4 (0) 2017
    Journal article
    Patrick Moosbrugger, Kristin Y. Rozier, Johann Schumann.
    R2U2: monitoring and diagnosis of security threats for unmanned aerial systems.
    Formal Methods in System Design 2017, Volume 51 (0) 2017
    Conference paper
    Rohit Dureja, Kristin Y. Rozier.
    FuseIC3: An algorithm for checking large design spaces.
    2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017 2017 (0) 2017
    Conference paper
    Kristin Y. Rozier.
    On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems.
    RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA 2017 (0) 2017
    Conference paper
    Kristin Y. Rozier, Johann Schumann.
    R2U2: Tool Overview.
    RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA 2017 (0) 2017
    Conference paper
    Kristin Y. Rozier.
    Specification: The Biggest Bottleneck in Formal Methods and Autonomy.
    Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers 2016 (0) 2016
    Conference paper
    Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier.
    Runtime Analysis with R2U2: A Tool Exhibition Report.
    Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Y. Rozier.
    Model Checking at Scale: Automated Air Traffic Control Design Space Exploration.
    Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II 2016 (0) 2016
    Conference paper
    Eric Rozier, Kristin Y. Rozier.
    Cascading Solution to Data Dependence Constraints with Z3.
    International Symposium on Artificial Intelligence and Mathematics, ISAIM 2016, Fort Lauderdale, Florida, USA, January 4-6, 2016. 2016 (0) 2016
    Conference paper
    Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier.
    R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems.
    Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings 2015 (0) 2015
    Show item 1 to 10 of 23  

    Your query returned 23 matches in the database.