Gianfranco Ciardo
Affiliations: | College of William and Mary, Williamsburg, VA |
Area:
Computer Science, Mathematics, StatisticsGoogle:
"Gianfranco Ciardo"Children
Sign in to add trainee| Andrew S. Miner | grad student | 2000 | William and Mary |
| Radu Siminiceanu | grad student | 2004 | William and Mary |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Amparore EG, Donatelli S, Ciardo G. (2019) Variable order metrics for decision diagrams in system verification International Journal On Software Tools For Technology Transfer. 1-22 |
| Ciardo G, Kindler E, Penczek W. (2015) Application and Theory of Petri Nets and Other Models of Concurrency: Special Issue of Selected Papers from Petri Nets 2014 Fundamenta Informaticae. 140: v-vi |
| Shelton CR, Ciardo G. (2014) Tutorial on structured continuous-time markov processes Journal of Artificial Intelligence Research. 51: 725-778 |
| Mumme M, Ciardo G. (2013) An efficient fully symbolic bisimulation algorithm for non-deterministic systems International Journal of Foundations of Computer Science. 24: 263-282 |
| Zhao Y, Ciardo G. (2013) Tackling truncation errors in CSL model checking through bounding semantics Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8168: 58-73 |
| Zhao Y, Ciardo G. (2012) A two-phase Gauss-Seidel algorithm for the stationary solution of EVMDD-encoded CTMCs Proceedings - 2012 9th International Conference On Quantitative Evaluation of Systems, Qest 2012. 74-83 |
| Ciardo G, Zhao Y, Jin X. (2012) Ten years of saturation: A Petri net perspective Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6900: 51-95 |
| Siminiceanu RI, Ciardo G. (2012) Symbolic Model Checking for Avionics Formal Methods For Industrial Critical Systems: a Survey of Applications. 85-112 |
| Zhao Y, Jin X, Ciardo G. (2011) A symbolic algorithm for shortest EG witness generation Proceedings - 5th International Conference On Theoretical Aspects of Software Engineering, Tase 2011. 68-75 |
| Chung MY, Ciardo G. (2011) Speculative image computation for distributed symbolic reachability analysis Journal of Logic and Computation. 21: 64-83 |