| Formal specification and verification of a coordination protocol for an automated air traffic control system Y Zhao, KY Rozier Science of Computer Programming 96, 337-353, 2014 | 56 | 2014 |
| Symbolic CTL model checking of asynchronous systems using constrained saturation Y Zhao, G Ciardo International Symposium on Automated Technology for Verification and …, 2009 | 45 | 2009 |
| Ten years of saturation: A Petri net perspective G Ciardo, Y Zhao, X Jin Transactions on Petri Nets and Other Models of Concurrency V, 51-95, 2012 | 35 | 2012 |
| Probabilistic model checking for comparative analysis of automated air traffic control systems Y Zhao, KY Rozier 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 690-695, 2014 | 25 | 2014 |
| Symbolic computation of strongly connected components and fair cycles using saturation Y Zhao, G Ciardo Innovations in Systems and Software Engineering 7, 141-150, 2011 | 20 | 2011 |
| Parallel symbolic state-space exploration is difficult, but what is the alternative? G Ciardo, Y Zhao, X Jin arXiv preprint arXiv:0912.2785, 2009 | 20 | 2009 |
| A symbolic algorithm for shortest EG witness generation Y Zhao, X Jin, G Ciardo 2011 Fifth International Conference on Theoretical Aspects of Software …, 2011 | 11 | 2011 |
| Symbolic verification and test generation for a network of communicating FSMs X Jin, G Ciardo, TH Kim, Y Zhao International Symposium on Automated Technology for Verification and …, 2011 | 8 | 2011 |
| Symbolic computation of strongly connected components using saturation Y Zhao, G Ciardo Proceedings of the Second NASA Formal Methods Symposium, 2010 | 6 | 2010 |
| Transactions on petri nets and other models of concurrency v G Ciardo, Y Zhao, X Jin ch. Ten Years of Saturation: A Petri Net Perspective, 51-95, 2012 | 5 | 2012 |
| A two-phase Gauss-Seidel algorithm for the stationary solution of EVMDD-encoded CTMCs Y Zhao, G Ciardo 2012 Ninth International Conference on Quantitative Evaluation of Systems, 74-83, 2012 | 4 | 2012 |
| Tackling truncation errors in CSL model checking through bounding semantics Y Zhao, G Ciardo European Workshop on Performance Engineering, 58-73, 2013 | 2 | 2013 |
Gianfranco CiardoIowa State UniversityEmail verificata su iastate.edu