{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T12:44:43Z","timestamp":1648644283915},"reference-count":14,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.342.10","type":"journal-article","created":{"date-parts":[[2021,9,6]],"date-time":"2021-09-06T17:02:25Z","timestamp":1630947745000},"page":"114-128","source":"Crossref","is-referenced-by-count":0,"title":["Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation"],"prefix":"10.4204","volume":"342","author":[{"given":"Mbarka","family":"Soualhia","sequence":"first","affiliation":[{"name":"Experienced Researcher"}]},{"given":"Foutse","family":"Khomh","sequence":"additional","affiliation":[{"name":"Full Professor"}]},{"given":"Sofiene","family":"Tahar","sequence":"additional","affiliation":[{"name":"Full Professor"}]}],"member":"2720","published-online":{"date-parts":[[2021,9,6]]},"reference":[{"issue":"2","key":"Real-Time2017","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1109\/TII.2016.2645606","article-title":"Real-Time or Near Real-Time Persisting Daily Healthcare Data Into HDFS and ElasticSearch Index Inside a Big Data Platform","volume":"13","author":"Chen","year":"2017","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"Cheng2002","doi-asserted-by":"publisher","DOI":"10.1002\/0471224626","volume-title":"Real-Time Systems: Scheduling, Analysis, and Verification","author":"Cheng","year":"2002"},{"key":"Performance2015","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-662-46315-4_18","article-title":"Performance Analysis Using Petri Net Based MapReduce Model in Heterogeneous Clusters","volume-title":"Advances in Web-Based Learning","volume":"8390","author":"Cheng","year":"2015"},{"key":"Dinu:2012","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/2287076.2287108","article-title":"Understanding the Effects and Implications of Compute Node Related Failures in Hadoop","volume-title":"International Symposium on High-Performance Parallel and Distributed Computing","author":"Dinu","year":"2012"},{"key":"WOHA2014","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/ICDCS.2014.18","article-title":"WOHA: Deadline-Aware Map-Reduce Workflow Scheduling Framework over Hadoop Clusters","volume-title":"IEEE International Conference on Distributed Computing Systems","author":"Li","year":"2014"},{"key":"OnoCoq2011","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-642-24690-6_24","article-title":"Using Coq in Specification and Program Extraction of Hadoop Mapreduce Applications","volume-title":"International Conference on Software Engineering and Formal Methods","author":"Ono","year":"2011"},{"key":"RAFT2011","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1109\/ICDE.2011.5767877","article-title":"RAFTing MapReduce: Fast Recovery on the RAFT","volume-title":"IEEE International Conference on Data Engineering","author":"Quian\u00e9-Ruiz","year":"2011"},{"key":"Towards-Reddy2013","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1109\/SERVICES.2013.47","article-title":"Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop","volume-title":"International World Congress on Services","author":"Reddy","year":"2013"},{"key":"Petrinets2015","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1109\/Trustcom.2015.617","article-title":"Petri Nets Formalization of Map\/Reduce Paradigm to Optimise the Performance-Cost Tradeoff","volume-title":"IEEE Trustcom\/BigDataSE\/ISPA","volume":"3","author":"Ruiz","year":"2015"},{"key":"SOUALHIA2017","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1016\/j.jss.2017.09.001","article-title":"Task Scheduling in Big Data Platforms: A Systematic Literature Review","volume":"134","author":"Soualhia","year":"2017","journal-title":"Journal of Systems and Software"},{"key":"Su2009","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1109\/TASE.2009.28","article-title":"Modeling MapReduce with CSP","volume-title":"IEEE International Symposium on Theoretical Aspects of Software Engineering","author":"Su","year":"2009"},{"key":"CSP","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/TASE.2009.32","article-title":"Integrating Specification and Programs for System Modeling and Verification","volume-title":"IEEE International Symposium on Theoretical Aspects of Software Engineering","author":"Sun","year":"2009"},{"key":"Sun2009","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1007\/3-540-10843-2_22","article-title":"PAT: Towards Flexible Verification under Fairness","volume-title":"Computer Aided Verification","volume":"5643","author":"Sun","year":"2009"},{"key":"Xie2016","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1109\/COMPSAC.2016.158","article-title":"Modeling and Verifying HDFS Using CSP","volume-title":"IEEE Annual Computer Software and Applications Conference","volume":"1","author":"Xie","year":"2016"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2021,9,15]],"date-time":"2021-09-15T01:29:27Z","timestamp":1631669367000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2109.04196v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,6]]},"references-count":14,"URL":"https:\/\/doi.org\/10.4204\/eptcs.342.10","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,9,6]]}}}