@inproceedings{lin16fase,
  author    = {Jia-Chun Lin and Ingrid Chieh Yu and Einar Broch Johnsen and Ming-Chang Lee},
  title     = {{ABS-YARN}: A Formal Framework for Modeling {Hadoop YARN} Clusters},
  booktitle = {Proc. 19th International Conference on Fundamental Approaches to Software Engineering (FASE 2016)},
  pages     = {49--65},
  year      = {2016},
  editor    = {Perdita Stevens and Andrzej Wasowski},
  series    = {Lecture Notes in Computer Science},
  volume    = {9633},
  publisher = {Springer},
}