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 17 of 17  
    Select a publication
    Show Title Venue Rating Date
    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
    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
    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.
    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
    Conference paper
    Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier.
    Comparing Different Functional Allocations in Automated Air Traffic Control Design.
    Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015. 2015 (0) 2015
    Conference paper
    Ulya Bayram, Kristin Y. Rozier, Eric Rozier.
    Characterizing Data Dependence Constraints for Dynamic Reliability Using
    Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Thomas Reinbacher, Kristin Y. Rozier, Johann Schumann.
    Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems.
    Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Johannes Geist, Kristin Y. Rozier, Johann Schumann.
    Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems.
    Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings 2014 (0) 2014
    Journal article
    Yang Zhao, Kristin Y. Rozier.
    Formal specification and verification of a coordination protocol for an automated air traffic control system.
    Sci. Comput. Program. 2014, Volume 96 (0) 2014
    Conference paper
    Yang Zhao, Kristin Y. Rozier.
    Probabilistic model checking for comparative analysis of automated air traffic control systems.
    The IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014, San Jose, CA, USA, November 3-6, 2014 2014 (0) 2014
    Conference paper
    Deian Tabakov, Kristin Y. Rozier, Moshe Y. Vardi.
    Optimized temporal monitors for SystemC.
    Formal Methods in System Design 2012, Volume 41 (0) 2012
    Journal article
    Yang Zhao, Kristin Y. Rozier.
    Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System.
    ECEASST 2012, Volume 53 (0) 2012
    Conference paper
    Kristin Y. Rozier, Moshe Y. Vardi.
    Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking.
    Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers 2013 (0) 2012
    Conference paper
    Kristin Y. Rozier.
    Linear Temporal Logic Symbolic Model Checking.
    Computer Science Review 2011, Volume 5 (0) 2011
    Conference paper
    Kristin Y. Rozier, Moshe Y. Vardi.
    A Multi-encoding Approach for LTL Symbolic Satisfiability Checking.
    FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings 2011 (0) 2011
    Journal article
    Kristin Y. Rozier, Moshe Y. Vardi.
    LTL satisfiability checking.
    STTT 2010, Volume 12 (0) 2010
    Conference paper
    Kristin Y. Rozier, Moshe Y. Vardi.
    LTL Satisfiability Checking.
    Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings 2007 (0) 2007
    Show item 1 to 17 of 17  

    Your query returned 17 matches in the database.