Kristin Yvonne Rozier
发表
Moshe Y. Vardi,
Kristin Yvonne Rozier,
2007
.
Johann Schumann,
Kristin Yvonne Rozier,
2016
.
Eric W. D. Rozier,
Kristin Yvonne Rozier,
Eric Rozier,
2014,
2014 IEEE International Symposium on Ethics in Science, Technology and Engineering.
Ole J. Mengshoel,
Johann Schumann,
Corey Ippolito,
2015
.
Kristin Yvonne Rozier,
Rohit Dureja,
2020
.
Yang Zhao,
Kristin Yvonne Rozier,
2012
.
Eric W. D. Rozier,
Kristin Yvonne Rozier,
Eric Rozier,
2015
.
Kristin Yvonne Rozier,
Badger,
2019,
Lecture Notes in Computer Science.
Alexander Ivrii,
Kristin Yvonne Rozier,
Robert L. Kanzelman,
2019,
2019 Formal Methods in Computer Aided Design (FMCAD).
Johann Schumann,
Corey Ippolito,
Kristin Yvonne Rozier,
2015
.
Moshe Y. Vardi,
Kristin Yvonne Rozier,
Deian Tabakov,
2012,
Formal Methods Syst. Des..
Kristin Yvonne Rozier,
2019,
2019 Spring Simulation Conference (SpringSim).
Kristin Yvonne Rozier,
2008
.
Geguang Pu,
Moshe Y. Vardi,
Kristin Yvonne Rozier,
2020,
Artif. Intell..
Julia M. Badger,
Kristin Yvonne Rozier,
2014
.
Kristin Yvonne Rozier,
Rohit Dureja,
2019
.
Julia M. Badger,
Kristin Yvonne Rozier,
2014,
Lecture Notes in Computer Science.
Geguang Pu,
Moshe Y. Vardi,
Jianwen Li,
2019,
VSTTE.
Kristin Yvonne Rozier,
Rohit Dureja,
2019
.
Kristin Yvonne Rozier,
Dae Young Lee,
Dae Young Lee,
2020,
AIAA Scitech 2021 Forum.
Kristin Yvonne Rozier,
Dae Young Lee,
Zachary A. Luppen,
2021
.
Moshe Y. Vardi,
Kristin Yvonne Rozier,
2012
.
Moshe Y. Vardi,
Kristin Yvonne Rozier,
2017
.
Kristin Yvonne Rozier,
2017
.
Kristin Yvonne Rozier,
D. Tabakov,
2017
.
Kristin Yvonne Rozier,
Jianwen Li,
2018
.
Kristin Yvonne Rozier,
G. Ciardo,
A. Miner,
2016
.
Moshe Y. Vardi,
Kristin Yvonne Rozier,
D. Tabakov,
2012,
Formal Methods in System Design.
Kristin Yvonne Rozier,
Kristin Y. Rozier,
2011,
Comput. Sci. Rev..
Geguang Pu,
Moshe Y. Vardi,
Yueling Zhang,
2018,
AAAI.
Moshe Y. Vardi,
Kristin Yvonne Rozier,
Kristin Y. Rozier,
2007,
International Journal on Software Tools for Technology Transfer.
Michael Winikoff,
Viviana Mascardi,
Michael Fisher,
2020,
Autonomous Agents and Multi-Agent Systems.
Yang Zhao,
Kristin Yvonne Rozier,
Kristin Y. Rozier,
2012,
Sci. Comput. Program..
Johann Schumann,
Kristin Yvonne Rozier,
Kristin Y. Rozier,
2017,
RV-CuBES.
Moshe Y. Vardi,
Kristin Yvonne Rozier,
Kristin Y. Rozier,
2012,
Haifa Verification Conference.
Moshe Y. Vardi,
Kristin Yvonne Rozier,
Kristin Y. Rozier,
2011,
FM.
Geguang Pu,
Moshe Y. Vardi,
Jianwen Li,
2018,
CAV.
Phillip H. Jones,
Joseph Zambreno,
Pei Zhang,
2020,
FORMATS.
Kristin Yvonne Rozier,
2008
.
Phillip H. Jones,
Kristin Yvonne Rozier,
Kristin Y. Rozier,
2020,
Innovations in Systems and Software Engineering.
Eric Rozier,
Kristin Yvonne Rozier,
Kristin Y. Rozier,
2016,
ISAIM.
Kristin Yvonne Rozier,
Kristin Y. Rozier,
2016,
VSTTE.
Johann Schumann,
Kristin Yvonne Rozier,
Patrick Moosbrugger,
2017,
Formal Methods in System Design.
Kristin Yvonne Rozier,
M. Winikoff,
V. Mascardi,
2020
.
Johann C. Dauer,
Kristin Yvonne Rozier,
B. Finkbeiner,
2023,
AIAA SCITECH 2023 Forum.
Kristin Yvonne Rozier,
N. Baughman,
J. Cutler,
2022,
NFM.
Michael Winikoff,
Viviana Mascardi,
Michael Fisher,
2021,
AAMAS.
Moshe Y. Vardi,
Jianwen Li,
Kristin Yvonne Rozier,
2019,
CAV.
Jianwen Li,
Kristin Yvonne Rozier,
Kristin Y. Rozier,
2018,
RV.
Johann Schumann,
Kristin Yvonne Rozier,
Patrick Moosbrugger,
2016,
RV.
Alessandro Cimatti,
Stefano Tonetta,
Marco Gario,
2016,
CAV.
Alessandro Cimatti,
Stefano Tonetta,
Marco Gario,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
Yang Zhao,
Kristin Yvonne Rozier,
Kristin Y. Rozier,
2014,
2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Johann Schumann,
Kristin Yvonne Rozier,
Thomas Reinbacher,
2014,
TACAS.
Johann Schumann,
Kristin Yvonne Rozier,
Kristin Y. Rozier,
2017
.
Kristin Yvonne Rozier,
Yang Zhao,
2012,
Sci. Comput. Program..
Kristin Yvonne Rozier,
Yang Zhao,
2017
.
Johann Schumann,
Kristin Yvonne Rozier,
Patrick Moosbrugger,
2015
.
Kristin Yvonne Rozier,
Rohit Dureja,
2021,
Formal Methods in System Design.
Kristin Yvonne Rozier,
2008
.