Formal Verification Research

2022 STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking Verification, Model Checking, and Abstract Interpretation (VMCAI) Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, and Zhen Zhang

@inproceedings{Roberts2022,
	author = {Roberts, Riley and Neupane, Thakur and Buecherl, Lukas and Myers, Chris J. and Zhang, Zhen},
	booktitle = {Verification, Model Checking, and Abstract Interpretation ({VMCAI})},
	doi = {10.1007/978-3-030-94583-1_16},
	editor = {Finkbeiner, Bernd and Wies, Thomas},
	isbn = {978-3-030-94583-1},
	pages = {319--331},
	publisher = {Springer International Publishing},
	title = {{STAMINA} 2.0: Improving Scalability of Infinite-State Stochastic Model Checking},
	year = {2022}
}
					

2022 Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms Verification, Model Checking, and Abstract Interpretation (VMCAI) Landon Taylor and Zhen Zhang

@inproceedings{Taylor2022,
	author = {Taylor, Landon and Zhang, Zhen},
	booktitle = {Verification, Model Checking, and Abstract Interpretation ({VMCAI})},
	doi = {10.1007/978-3-030-94583-1_19},
	editor = {Finkbeiner, Bernd and Wies, Thomas},
	isbn = {978-3-030-94583-1},
	pages = {378--399},
	publisher = {Springer International Publishing},
	title = {Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms},
	year = {2022}
}
					

2021 On Correctness, Precision, and Performance in Quantitative Verification International Symposium on Leveraging Applications of Formal Methods (ISoLA) Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, and Zhen Zhang

@inproceedings{Budde2021,
	author = {Budde, Carlos E. and Hartmanns, Arnd and Klauck, Michaela and K{\v{r}}et{\'{i}}nsk{\'y}, Jan and Parker, David and Quatmann, Tim and Turrini, Andrea and Zhang, Zhen},
	booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends},
	editor = {Margaria, Tiziana and Steffen, Bernhard},
	isbn = {978-3-030-83723-5},
	journal = {International Symposium on Leveraging Applications of Formal Methods ({ISoLA})},
	pages = {216--241},
	publisher = {Springer International Publishing},
	title = {On Correctness, Precision, and Performance in Quantitative Verification},
	url = {https://digitalcommons.usu.edu/ece_facpub/230/},
	year = {2021}
}
					

2021 Stochastic Hazard Analysis of Genetic Circuits in iBioSim and STAMINA ACS Synthetic Biology Lukas Buecherl, Riley Roberts, Pedro Fontanarrosa, Payton J. Thomas, Jeanet Mante, Zhen Zhang, and Chris J. Myers

@article{Buecherl2021,
	author = {Buecherl, Lukas and Roberts, Riley and Fontanarrosa, Pedro and Thomas, Payton J. and Mante, Jeanet and Zhang, Zhen and Myers, Chris J.},
	doi = {10.1021/acssynbio.1c00159},
	journal = {ACS Synthetic Biology},
	number = {10},
	pages = {2532-2540},
	title = {Stochastic Hazard Analysis of Genetic Circuits in {iBioSim} and {STAMINA}},
	volume = {10},
	year = {2021}
}
					

2021 A Computational Metabolic Model for Engineered Production of Resveratrol in Escherichia coli ACS Synthetic Biology Michael Cotner, Jixun Zhan, and Zhen Zhang

@article{Cotner2021,
	author = {\textbf{Cotner, Michael} and Zhan, Jixun and Zhang, Zhen},
	doi = {10.1021/acssynbio.1c00163},
	journal = {ACS Synthetic Biology},
	number = {8},
	pages = {1992-2001},
	title = {A Computational Metabolic Model for Engineered Production of Resveratrol in {Escherichia} coli},
	volume = {10},
	year = {2021}
}
					

2021 Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System Formal Methods for Industrial Critical Systems (FMICS) Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, and Zhen Zhang

@inproceedings{Roberts2021,
	author = {Roberts, Riley and Lewis, Benjamin and Hartmanns, Arnd and Basu, Prabal and Roy, Sanghamitra and Chakraborty, Koushik and Zhang, Zhen},
	booktitle = {Formal Methods for Industrial Critical Systems ({FMICS})},
	doi = {10.1007/978-3-030-85248-1_16},
	editor = {Lluch Lafuente, Alberto and Mavridou, Anastasia},
	isbn = {978-3-030-85248-1},
	pages = {232--248},
	publisher = {Springer International Publishing},
	title = {Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System},
	year = {2021}
}
					

2021 Refutation-based Adversarial Robustness Verification of Deep Neural Networks Formal Methods for ML-Enabled Autonomous Systems (FoMLAS) Joshua Smith, Jarom Allan, Viswanathan Swaminathan, and Zhen Zhang

@inproceedings{Smith2021,
	author = {Smith, Joshua and Allan, Jarom and Swaminathan, Viswanathan and Zhang, Zhen},
	booktitle = {Formal Methods for ML-Enabled Autonomous Systems ({FoMLAS})},
	month = {7},
	note = {https://galois.com/blog/2021/03/public-tech-talk-refutation-based-adversarial-robustness-verification-of-deep-neural-networks/},
	title = {Refutation-based Adversarial Robustness Verification of Deep Neural Networks},
	url = {https://fomlas2021.wixsite.com/fomlas2021/home},
	year = {2021}
}
					

2020 A computational model of the effect of VEGF production in wet age-related macular degeneration on neovascularization Annual Meeting of the Association for Research in Vision and Ophthalmology (ARVO) Kelsey Bradshaw, Zhen Zhang, and Elizabeth Vargis

@misc{Bradshaw2020,
	author = {\textbf{Bradshaw, Kelsey} and Zhang, Zhen and Vargis, Elizabeth},
	howpublished = {Annual Meeting of the Association for Research in Vision and Ophthalmology (ARVO)},
	title = {A computational model of the effect of VEGF production in wet age-related macular degeneration on neovascularization},
	url = {https://iovs.arvojournals.org/article.aspx?articleid=2769952},
	year = {2020}
}
					

2020 Genetic Circuit Hazard Analysis Using STAMINA International Workshop on Bio-Design Automation (IWBDA) Lukas Bücherl, Jeanet Mante, Pedro Fontanarrosa, Zhen Zhang, Brett Jepsen, Riley Roberts, and Chris J. Myers

@inproceedings{Buecherl2020,
	author = {B\"{u}cherl, Lukas and Mante, Jeanet and Fontanarrosa, Pedro and \textbf{Zhang, Zhen} and \textbf{Jepsen, Brett} and \textbf{Roberts, Riley} and Myers, Chris J.},
	booktitle = {International Workshop on Bio-Design Automation ({IWBDA})},
	pages = {39--40},
	title = {Genetic Circuit Hazard Analysis Using {STAMINA}},
	url = {https://www.iwbdaconf.org/2020/docs/IWBDA2020Proceedings.pdf},
	year = {2020}
}
					

2020 Enhanced Microbial Production of Valuable Natural Products Through Computational Metabolic Models International Workshop on Bio-Design Automation (IWBDA) Michael Cotner, Zhen Zhang, and Jixun Zhan

@inproceedings{Cotner2020,
	author = {\textbf{Cotner, Michael} and Zhang, Zhen and Zhan, Jixun},
	booktitle = {International Workshop on Bio-Design Automation ({IWBDA})},
	pages = {82--83},
	title = {Enhanced Microbial Production of Valuable Natural Products Through Computational Metabolic Models},
	url = {https://www.iwbdaconf.org/2020/docs/IWBDA2020Proceedings.pdf},
	year = {2020}
}
					

2020 EFFORT: Enhancing Energy Efficiency and Error Resilience of a Near-Threshold Tensor Processing Unit 25th Asia and South Pacific Design Automation Conference, ASP-DAC 2020, Beijing, China, January 13-16, 2020 Noel Daniel, Tahmoures Shabanian, Prabal Basu, Pramesh Pandey, Sanghamitra Roy, Koushik Chakraborty, and Zhen Zhang

@inproceedings{Gundi2020,
	author = {Noel Daniel Gundi and Tahmoures Shabanian and Prabal Basu and Pramesh Pandey and Sanghamitra Roy and Koushik Chakraborty and Zhen Zhang},
	booktitle = {25th Asia and South Pacific Design Automation Conference, {ASP-DAC} 2020, Beijing, China, January 13-16, 2020},
	doi = {10.1109/ASP-DAC47756.2020.9045479},
	pages = {241--246},
	publisher = {{IEEE}},
	title = {{EFFORT:} Enhancing Energy Efficiency and Error Resilience of a Near-Threshold Tensor Processing Unit},
	year = {2020}
}
					

2019 Automated Reasoning for Systems Biology and Medicine Computational Biology

@book{DBLP:series/cb/30,
	doi = {10.1007/978-3-030-17297-8},
	editor = {Pietro Li{\`{o}} and Paolo Zuliani},
	isbn = {978-3-030-17296-1},
	publisher = {Springer},
	series = {Computational Biology},
	timestamp = {Thu, 13 Jun 2019 09:13:47 +0200},
	title = {Automated Reasoning for Systems Biology and Medicine},
	volume = {30},
	year = {2019}
}
					

2019 Probabilistic Verification for Reliable Network-on-Chip System Design Formal Methods for Industrial Critical Systems (FMICS) Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Rajesh Jayashankara Shridevi, Koushik Chakraborty, Sanghamitra Roy, and Zhen Zhang

@inproceedings{Lewis2019,
	author = {\textbf{Lewis, Benjamin} and Hartmanns, Arnd and Basu, Prabal and Jayashankara Shridevi, Rajesh and Chakraborty, Koushik and Roy, Sanghamitra and Zhang, Zhen},
	booktitle = {Formal Methods for Industrial Critical Systems ({FMICS})},
	doi = {10.1007/978-3-030-27008-7_7},
	editor = {Larsen, Kim Guldstrand and Willemse, Tim},
	isbn = {978-3-030-27008-7},
	pages = {110--126},
	publisher = {Springer International Publishing},
	title = {Probabilistic Verification for Reliable Network-on-Chip System Design},
	year = {2019}
}
					

2019 Synthetic Biology Open Language (SBOL) Version 2.3 Journal of Integrative Bioinformatics Curtis Madsen, Angel Goñi Moreno, Umesh P, Zachary Palchick, Nicholas Roehner, Christian Atallah, Bryan Bartley, Kiri Choi, Sidney Cox Robert, Thomas Gorochowski, Raik Grünberg, Chris Macklin, James McLaughlin, Xianwei Meng, Tramy Nguyen, Matthew Pocock, Meher Samineni, James Scott-Brown, Ysis Tarter, Michael Zhang, Zhen Zhang, Zach Zundel, Jacob Beal, Michael Bissell, Kevin Clancy, John H. Gennari, Goksel Misirli, Chris Myers, Ernst Oberortner, Herbert Sauro, and Anil Wipat

@article{Madsen2019,
	author = {Madsen, Curtis and Go{\~n}i Moreno, Angel and P, Umesh and Palchick, Zachary and Roehner, Nicholas and Atallah, Christian and Bartley, Bryan and Choi, Kiri and Cox Robert, Sidney and Gorochowski, Thomas and Gr{\"u}nberg, Raik and Macklin, Chris and McLaughlin, James and Meng, Xianwei and Nguyen, Tramy and Pocock, Matthew and Samineni, Meher and Scott-Brown, James and Tarter, Ysis and Zhang, Michael and Zhang, Zhen and Zundel, Zach and Beal, Jacob and Bissell, Michael and Clancy, Kevin and Gennari, John H. and Misirli, Goksel and Myers, Chris and Oberortner, Ernst and Sauro, Herbert and Wipat, Anil},
	doi = {10.1515/jib-2019-0025},
	isbn = {16134516},
	journal = {Journal of Integrative Bioinformatics},
	month = {2019-08-21},
	title = {Synthetic Biology Open Language ({SBOL}) Version 2.3},
	volume = {16},
	year = {2019}
}
					

2019 Approximation Techniques for Stochastic Analysis of Biological Systems Automated Reasoning for Systems Biology and Medicine Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, and Chris J. Myers

@incollection{Neupane2019,
	author = {\textbf{Neupane, Thakur} and Zhang, Zhen and Madsen, Curtis and Zheng, Hao and Myers, Chris J.},
	booktitle = {Automated Reasoning for Systems Biology and Medicine},
	chapter = {12},
	doi = {10.1007/978-3-030-17297-8_12},
	editor = {Li{\`o}, Pietro and Zuliani, Paolo},
	isbn = {978-3-030-17297-8},
	pages = {327--348},
	publisher = {Springer International Publishing},
	title = {Approximation Techniques for Stochastic Analysis of Biological Systems},
	volume = {30},
	year = {2019}
}
					

2019 STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis Computer Aided Verification (CAV) Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, and Zhen Zhang

@inproceedings{Neupane2019a,
	author = {\textbf{Neupane, Thakur} and Myers, Chris J. and Madsen, Curtis and Zheng, Hao and Zhang, Zhen},
	booktitle = {Computer Aided Verification ({CAV})},
	doi = {10.1007/978-3-030-25540-4_31},
	editor = {Dillig, Isil and Tasiran, Serdar},
	isbn = {978-3-030-25540-4},
	pages = {540--549},
	publisher = {Springer International Publishing},
	title = {{STAMINA}: STochastic Approximate Model-Checker for INfinite-State Analysis},
	year = {2019}
}
					

2019 Improving Deep Neural Network Verification Using Specification-Guided Search 2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS) Joshua Smith, Xiaowei Huang, Viswanathan Swaminathan, and Zhen Zhang

@inproceedings{Smith2019,
	author = {\textbf{Smith, Joshua} and Huang, Xiaowei and Swaminathan, Viswanathan and Zhang, Zhen},
	booktitle = {2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems ({FoMLAS})},
	title = {Improving Deep Neural Network Verification Using Specification-Guided Search},
	url = {https://www.researchgate.net/publication/334456900_Improving_Deep_Neural_Network_Verification_Using_Specification-Guided_Search},
	year = {2019}
}
					

2019 iBioSim 3: A Tool for Model-Based Genetic Circuit Design ACS Synthetic Biology Leandro Watanabe, Tramy Nguyen, Michael Zhang, Zach Zundel, Zhen Zhang, Curtis Madsen, Nicholas Roehner, and Chris Myers

@article{Watanabe2019,
	author = {Watanabe, Leandro and Nguyen, Tramy and Zhang, Michael and Zundel, Zach and Zhang, Zhen and Madsen, Curtis and Roehner, Nicholas and Myers, Chris},
	doi = {10.1021/acssynbio.8b00078},
	journal = {ACS Synthetic Biology},
	number = {7},
	pages = {1560--1563},
	title = {{iBioSim} 3: A Tool for Model-Based Genetic Circuit Design},
	volume = {8},
	year = {2019}
}
					

2018 Synthetic Biology Open Language (SBOL) Version 2.2.0 Journal of Integrative Bioinformatics Cox Robert Sidney, Madsen Curtis, McLaughlin James Alastair, Nguyen Tramy, Roehner Nicholas, Bartley Bryan, Beal Jacob, Bissell Michael, Choi Kiri, Clancy Kevin, Grünberg Raik, Macklin Chris, Misirli Goksel, Oberortner Ernst, Pocock Matthew, Samineni Meher, Zhang Michael, Zhang Zhen, Zundel Zach, Gennari John H., Myers Chris, Sauro Herbert, and Wipat Anil

@article{Cox2018,
	author = {Sidney, Cox Robert and Curtis, Madsen and Alastair, McLaughlin James and Tramy, Nguyen and Nicholas, Roehner and Bryan, Bartley and Jacob, Beal and Michael, Bissell and Kiri, Choi and Kevin, Clancy and Raik, Gr{\"u}nberg and Chris, Macklin and Goksel, Misirli and Ernst, Oberortner and Matthew, Pocock and Meher, Samineni and Michael, Zhang and Zhen, Zhang and Zach, Zundel and H., Gennari John and Chris, Myers and Herbert, Sauro and Anil, Wipat},
	doi = {10.1515/jib-2018-0001},
	journal = {Journal of Integrative Bioinformatics},
	month = {10},
	title = {Synthetic Biology Open Language (SBOL) Version 2.2.0},
	volume = {15},
	year = {2018}
}
					

2017 A Validator and Converter for the Synthetic Biology Open Language ACS Synthetic Biology Zach Zundel, Meher Samineni, Zhen Zhang, and Chris J. Myers

@article{Zundel2017,
	author = {Zundel, Zach and Samineni, Meher and Zhang, Zhen and Myers, Chris J.},
	doi = {10.1021/acssynbio.6b00277},
	journal = {ACS Synthetic Biology},
	number = {7},
	pages = {1161--1168},
	title = {A Validator and Converter for the Synthetic Biology Open Language},
	volume = {6},
	year = {2017}
}
					

2016 Sharing Structure and Function in Biological Design with SBOL 2.0 ACS Synthetic Biology Nicholas Roehner, Jacob Beal, Kevin Clancy, Bryan Bartley, Goksel Misirli, Raik Grünberg, Ernst Oberortner, Matthew Pocock, Michael Bissell, Curtis Madsen, Tramy Nguyen, Michael Zhang, Zhen Zhang, Zach Zundel, Douglas Densmore, John H. Gennari, Anil Wipat, Herbert M. Sauro, and Chris J. Myers

@article{Roehner2015b,
	author = {Roehner, Nicholas and Beal, Jacob and Clancy, Kevin and Bartley, Bryan and Misirli, Goksel and Gr{\"u}nberg, Raik and Oberortner, Ernst and Pocock, Matthew and Bissell, Michael and Madsen, Curtis and Nguyen, Tramy and Zhang, Michael and Zhang, Zhen and Zundel, Zach and Densmore, Douglas and Gennari, John H. and Wipat, Anil and Sauro, Herbert M. and Myers, Chris J.},
	doi = {10.1021/acssynbio.5b00215},
	journal = {ACS Synthetic Biology},
	number = {6},
	pages = {498--506},
	title = {Sharing Structure and Function in Biological Design with SBOL 2.0},
	volume = {5},
	year = {2016}
}
					

2016 An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis Science of Computer Programming Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, and Chris Myers

@article{Zhang2016,
	author = {Zhen Zhang and Wendelin Serwe and Jian Wu and Tomohiro Yoneda and Hao Zheng and Chris Myers},
	doi = {10.1016/j.scico.2016.01.002},
	issn = {0167-6423},
	journal = {Science of Computer Programming},
	note = {Formal Methods for Industrial Critical Systems ({FMICS})},
	pages = {24--39},
	title = {An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis},
	url = {http://www.sciencedirect.com/science/article/pii/S0167642316000125},
	volume = {118},
	year = {2016}
}
					

2015 Synthetic Biology Open Language (SBOL) Version 2.0.0 Journal of Integrative Bioinformatics Bartley Bryan, Beal Jacob, Clancy Kevin, Misirli Goksel, Roehner Nicholas, Oberortner Ernst, Pocock Matthew, Bissell Michael, Madsen Curtis, Nguyen Tramy, Zhang Zhen, Gennari John H., Myers Chris, Wipat Anil, and Sauro Herbert

@article{Bartley2015,
	author = {Bryan, Bartley and Jacob, Beal and Kevin, Clancy and Goksel, Misirli and Nicholas, Roehner and Ernst, Oberortner and Matthew, Pocock and Michael, Bissell and Curtis, Madsen and Tramy, Nguyen and Zhen, Zhang and H., Gennari John and Chris, Myers and Anil, Wipat and Herbert, Sauro},
	doi = {10.1515/jib-2015-272},
	journal = {Journal of Integrative Bioinformatics},
	month = {12},
	pages = {902},
	title = {Synthetic Biology Open Language (SBOL) Version 2.0.0},
	volume = {12},
	year = {2015}
}
					

2015 Efficient Analysis Methods in Synthetic Biology Computational Methods in Synthetic Biology Curtis Madsen, Chris Myers, Nicholas Roehner, Chris Winstead, and Zhen Zhang

@inbook{Madsen2015,
	address = {New York, NY},
	author = {Madsen, Curtis and Myers, Chris and Roehner, Nicholas and Winstead, Chris and Zhang, Zhen},
	booktitle = {Computational Methods in Synthetic Biology},
	doi = {10.1007/978-1-4939-1878-2_11},
	editor = {Marchisio, Mario Andrea},
	isbn = {978-1-4939-1878-2},
	pages = {217--257},
	publisher = {Springer New York},
	title = {Efficient Analysis Methods in Synthetic Biology},
	year = {2015}
}
					

2015 Generating Systems Biology Markup Language Models from the Synthetic Biology Open Language ACS Synthetic Biology Nicholas Roehner, Zhen Zhang, Tramy Nguyen, and Chris J. Myers

@article{Roehner2015a,
	author = {Roehner, Nicholas and Zhang, Zhen and Nguyen, Tramy and Myers, Chris J.},
	doi = {10.1021/sb5003289},
	journal = {ACS Synthetic Biology},
	number = {8},
	pages = {873--879},
	title = {Generating Systems Biology Markup Language Models from the Synthetic Biology Open Language},
	volume = {4},
	year = {2015}
}
					

2015 libSBOLj 2.0: A Java Library to Support SBOL 2.0 IEEE Life Sciences Letters Z. Zhang, T. Nguyen, N. Roehner, G. Misirli, M. Pocock, E. Oberortner, M. Samineni, Z. Zundel, J. Beal, K. Clancy, A. Wipat, and C. J.

@article{Zhang2015,
	author = {Z. Zhang and T. Nguyen and N. Roehner and G. Misirli and M. Pocock and E. Oberortner and M. Samineni and Z. Zundel and J. Beal and K. Clancy and A. Wipat and C. J. Myers},
	doi = {10.1109/LLS.2016.2546546},
	journal = {IEEE Life Sciences Letters},
	month = {Dec},
	number = {4},
	pages = {34--37},
	title = {{libSBOLj} 2.0: A Java Library to Support SBOL 2.0},
	volume = {1},
	year = {2015}
}
					

2015 Compositional Model Checking of Concurrent Systems IEEE Transactions on Computers H. Zheng, Z. Zhang, C. J., E. Rodriguez, and Y. Zhang

@article{Zheng2015,
	author = {H. Zheng and Z. Zhang and C. J. Myers and E. Rodriguez and Y. Zhang},
	doi = {10.1109/TC.2014.2329701},
	issn = {0018-9340},
	journal = {IEEE Transactions on Computers},
	month = {June},
	number = {6},
	pages = {1607--1621},
	title = {Compositional Model Checking of Concurrent Systems},
	volume = {64},
	year = {2015}
}
					

2014 Stochastic Model Checking of Genetic Circuits J. Emerg. Technol. Comput. Syst. Curtis Madsen, Zhen Zhang, Nicholas Roehner, Chris Winstead, and Chris Myers

@article{Madsen2014,
	acmid = {2644817},
	address = {New York, NY, USA},
	articleno = {23},
	author = {Madsen, Curtis and Zhang, Zhen and Roehner, Nicholas and Winstead, Chris and Myers, Chris},
	doi = {10.1145/2644817},
	issn = {1550-4832},
	issue_date = {December 2014},
	journal = {J. Emerg. Technol. Comput. Syst.},
	month = {dec},
	number = {3},
	numpages = {21},
	pages = {23:1--23:21},
	publisher = {ACM},
	title = {Stochastic Model Checking of Genetic Circuits},
	volume = {11},
	year = {2014}
}
					

2014 Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip Formal Methods for Industrial Critical Systems (FMICS) Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, and Chris Myers

@inproceedings{Zhang2014,
	author = {Zhang, Zhen and Serwe, Wendelin and Wu, Jian and Yoneda, Tomohiro and Zheng, Hao and Myers, Chris},
	booktitle = {Formal Methods for Industrial Critical Systems ({FMICS})},
	doi = {10.1007/978-3-319-10702-8_4},
	editor = {Lang, Fr{\'e}d{\'e}ric and Flammini, Francesco},
	isbn = {978-3-319-10702-8},
	pages = {48--62},
	publisher = {Springer International Publishing},
	title = {Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip},
	year = {2014}
}
					

2012 Utilizing stochastic model checking to analyze genetic circuits 2012 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB) C. Madsen, C. J., N. Roehner, C. Winstead, and Z. Zhang

@inproceedings{Madsen2012,
	author = {C. Madsen and C. J. Myers and N. Roehner and C. Winstead and Z. Zhang},
	booktitle = {2012 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB)},
	doi = {10.1109/CIBCB.2012.6217255},
	month = {May},
	pages = {379--386},
	title = {Utilizing stochastic model checking to analyze genetic circuits},
	year = {2012}
}
					

2012 Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems Chris Myers, Jian Wu, Zhen Zhang, Hao Zheng, and Yingying Zhang

@inproceedings{Myers2012,
	author = {Myers, Chris and Wu, Jian and Zhang, Zhen and Zheng, Hao and Zhang, Yingying},
	booktitle = {2012 IEEE/ACM Third International Conference on Cyber-Physical Systems},
	doi = {10.1109/ICCPS.2012.50},
	number = {},
	pages = {232--232},
	title = {Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems},
	volume = {},
	year = {2012}
}
					

2011 A Fault-Tolerant Routing Algorithm for a Network-on-Chip Using a Link Fault Model Virtual Worldwide Forum for PhD researchers in Electronic Design Automation Jian Wu, Zhen Zhang, and Chris Myers

@misc{Wu2011,
	author = {Jian Wu and Zhen Zhang and Chris Myers},
	howpublished = {Virtual Worldwide Forum for PhD researchers in Electronic Design Automation},
	month = {November},
	title = {A Fault-Tolerant Routing Algorithm for a Network-on-Chip Using a Link Fault Model},
	url = {https://engineering.usu.edu/ece/faculty-sites/zhen-zhang/files/VW-FEDA2.pdf},
	year = {2011}
}
					

2008 Performance Analysis of Two Synchronizers 20th UK Asynchronous Forum Z. Zhang and J. Garside

@inproceedings{Zhang2008,
	author = {Z. Zhang and J. Garside},
	booktitle = {20th UK Asynchronous Forum},
	title = {Performance Analysis of Two Synchronizers},
	url = {http://apt.cs.manchester.ac.uk/ftp/pub/apt/papers/AsyncForum08_ZZhang.pdf},
	year = {2008}
}