Ming-Ying Chung

According to our database1, Ming-Ying Chung authored at least 7 papers between 2004 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2005
2010
2015
2020
0
1
2
3
1
1
2
1
2

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
An Intelligent Motorcycle Safety Driving and Automated Accident Reporting System.
Proceedings of the 13th IEEE Global Conference on Consumer Electronics, 2024

2011
Speculative Image Computation for Distributed Symbolic Reachability Analysis.
J. Log. Comput., 2011

2006
A dynamic firing speculation to speedup distributed symbolic state-space generation.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis.
Proceedings of the Automated Technology for Verification and Analysis, 2006

2005
A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation.
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

2004
Saturation NOW.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

A Comparison of Structural Formalisms for Modeling Large Markov Models.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004


  Loading...