| Symbolic state-space generation of asynchronous systems using extensible decision diagrams M Wan, G Ciardo International Conference on Current Trends in Theory and Practice of …, 2009 | 35 | 2009 |
| Advanced features in SMART: the stochastic model checking analyzer for reliability and timing G Ciardo, AS Miner, M Wan ACM SIGMETRICS Performance Evaluation Review 36 (4), 58-63, 2009 | 33 | 2009 |
| Approximate steady-state analysis of large Markov models based on the structure of their decision diagram encoding M Wan, G Ciardo, AS Miner Performance Evaluation 68 (5), 463-486, 2011 | 23 | 2011 |
| Symbolic reachability analysis of integer timed Petri nets M Wan, G Ciardo International Conference on Current Trends in Theory and Practice of …, 2009 | 18 | 2009 |
| P-semiflow computation with decision diagrams G Ciardo, G Mecham, E Paviot-Adet, M Wan International Conference on Applications and Theory of Petri Nets, 143-162, 2009 | 14 | 2009 |
| Approximating stationary measures of structured continuous-time Markov models using matrix diagrams G Ciardo, AS Miner, M Wan, AJ Yu ACM SIGMETRICS Performance Evaluation Review 35 (3), 16-18, 2007 | 8 | 2007 |
| Decision diagram algorithms for logic and timed verification M Wan University of California, Riverside, 2008 | | 2008 |
Gianfranco CiardoIowa State UniversityVerified email at iastate.edu
Gianfranco CiardoIowa State UniversityVerified email at iastate.edu