Kristin Y. Rozier

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◁ ▶ publications with no particular coauthor community group

> Home > Persons > Kristin Y. Rozier

Publications

2023
[c36]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-14919
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-14919
Laura P. Gamboa Guzman, Kristin Y. Rozier:
Stalnaker's Epistemic Logic in Isabelle/HOL. LSFA/HCVS 2023: 4-17
2022
[d1]
- view
  authority control:
- export record
  dblp key:
  - data/10/RyanR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/RyanR22
Megan K. Ryan, Kristin Yvonne Rozier:
Threatpost Attack Stories 2021 (TAS21). IEEE DataPort, 2022
2019
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/2019
Julia M. Badger, Kristin Yvonne Rozier:
NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Lecture Notes in Computer Science 11460, Springer 2019, ISBN 978-3-030-20651-2 [contents]
2014
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ZhaoR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZhaoR14
Yang Zhao, Kristin Yvonne Rozier:
Formal specification and verification of a coordination protocol for an automated air traffic control system. Sci. Comput. Program. 96: 337-353 (2014)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/ZhaoR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/ZhaoR14
Yang Zhao, Kristin Y. Rozier:
Probabilistic model checking for comparative analysis of automated air traffic control systems. ICCAD 2014: 690-695
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/2014
Julia M. Badger, Kristin Yvonne Rozier:
NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings. Lecture Notes in Computer Science 8430, Springer 2014, ISBN 978-3-319-06199-3 [contents]
2012
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/ZhaoR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/ZhaoR12
Yang Zhao, Kristin Yvonne Rozier:
Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.