Kristin Y. Rozier Home Page Coauthor index pubzone.org

Kristin Yvonne Rozier

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yang Zhao, Kristin Yvonne Rozier: Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System. ECEASST 53 (2012)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Deian Tabakov, Kristin Y. Rozier, Moshe Y. Vardi: Optimized temporal monitors for SystemC. Formal Methods in System Design 41(3): 236-268 (2012)
2011
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kristin Y. Rozier: Linear Temporal Logic Symbolic Model Checking. Computer Science Review 5(2): 163-203 (2011)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kristin Y. Rozier, Moshe Y. Vardi: A Multi-encoding Approach for LTL Symbolic Satisfiability Checking. FM 2011: 417-431
2010
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kristin Y. Rozier, Moshe Y. Vardi: LTL satisfiability checking. STTT 12(2): 123-137 (2010)
2007
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kristin Y. Rozier, Moshe Y. Vardi: LTL Satisfiability Checking. SPIN 2007: 149-167

Coauthor Index

1Deian Tabakov
[j3]
2Moshe Y. Vardi
[j3] [c2] [j1] [c1]
3Yang Zhao
[j4]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 18 21:13:41 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page