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 6 of 6  

Select a publication
Show	Title	Venue	Rating	Date
	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. 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 6 of 6  

Your query returned 6 matches in the database.