1. Apache Hadoop.
  2. Apache Spark.
  3. Applying Apache Hadoop to NASA's Big Climate Data.
  4. D. Chen, Y. Chen, B. N. Brownlow, P. P. Kanjamala, C. A. G. Arredondo, B. L. Radspinner & M. A. Raveling (2017): Real-Time or Near Real-Time Persisting Daily Healthcare Data Into HDFS and ElasticSearch Index Inside a Big Data Platform. IEEE Transactions on Industrial Informatics 13(2), pp. 595–606, doi:10.1109/TII.2016.2645606.
  5. A.M. K. Cheng (2002): Real-Time Systems: Scheduling, Analysis, and Verification. John Wiley & Sons, Inc., doi:10.1002/0471224626.
  6. S.-T. Cheng, H.-C. Wang, Y.-J. Chen & C.-F. Chen (2015): Performance Analysis Using Petri Net Based MapReduce Model in Heterogeneous Clusters. In: Advances in Web-Based Learning, LNCS 8390. Springer, pp. 170–179, doi:10.1007/978-3-662-46315-4_18.
  7. F. Dinu & T.S. E. Ng (2012): Understanding the Effects and Implications of Compute Node Related Failures in Hadoop. In: International Symposium on High-Performance Parallel and Distributed Computing, pp. 187–198, doi:10.1145/2287076.2287108.
  8. S. Li, S. Hu, S. Wang, L. Su, T. Abdelzaher, I. Gupta & R. Pace (2014): WOHA: Deadline-Aware Map-Reduce Workflow Scheduling Framework over Hadoop Clusters. In: IEEE International Conference on Distributed Computing Systems, pp. 93–103, doi:10.1109/ICDCS.2014.18.
  9. K. Ono, Y. Hirai, Y. Tanabe, N. Noda & M. Hagiya (2011): Using Coq in Specification and Program Extraction of Hadoop Mapreduce Applications. In: International Conference on Software Engineering and Formal Methods, pp. 350–365, doi:10.1007/978-3-642-24690-6_24.
  10. OpenCloud.
  11. J. A. Quiané-Ruiz & et al. (2011): RAFTing MapReduce: Fast Recovery on the RAFT. In: IEEE International Conference on Data Engineering, pp. 589–600, doi:10.1109/ICDE.2011.5767877.
  12. G.S. Reddy, F. Yuzhang, L. Yang, S.D. Jin, J. Sun & R. Kanagasabai (2013): Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop. In: International World Congress on Services, pp. 306–311, doi:10.1109/SERVICES.2013.47.
  13. M. C. Ruiz, J. Calleja & D. Cazorla (2015): Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost Tradeoff. In: IEEE Trustcom/BigDataSE/ISPA 3, pp. 92–99, doi:10.1109/Trustcom.2015.617.
  14. M. Soualhia, F. Khomh & S. Tahar (2017): Task Scheduling in Big Data Platforms: A Systematic Literature Review. Journal of Systems and Software 134, pp. 170 – 189, doi:10.1016/j.jss.2017.09.001.
  15. W. Su, F. Yang, H. Zhu & Q. Li (2009): Modeling MapReduce with CSP. In: IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 301–302, doi:10.1109/TASE.2009.28.
  16. J. Sun, Y. Liu, J. S. Dong & C. Chen (2009): Integrating Specification and Programs for System Modeling and Verification. In: IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 127–135, doi:10.1109/TASE.2009.32.
  17. J. Sun, Y. Liu, J. S. Dong & J. Pang (2009): PAT: Towards Flexible Verification under Fairness. In: Computer Aided Verification, LNCS 5643, pp. 709–714, doi:10.1007/3-540-10843-2_22.
  18. Process Analysis Toolkit.
  19. Google Traces.
  20. Facebook Traces.
  21. WordCount Example.
  22. W. Xie, H. Zhu, X. Wu, S. Xiang & J. Guo (2016): Modeling and Verifying HDFS Using CSP. In: IEEE Annual Computer Software and Applications Conference 1, pp. 221–226, doi:10.1109/COMPSAC.2016.158.

Comments and questions to:
For website issues: