Shiji Bijo

Publications

  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I Violet; Seidl, Christoph & Tapia Tarifa, Silvia Lizeth (2018). Deployment by Construction for Multicore Architectures, In Tiziana Margaria & Bernhard Steffen (ed.),  Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018. Proceedings - Part I.  Springer.  ISBN 978-3-030-03417-7.  Scientific Article.  s 448 - 465
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2016). A Maude Framework for Cache Coherent Multicore Architectures. Lecture Notes in Computer Science.  ISSN 0302-9743.  9942, s 47- 63 . doi: 10.1007/978-3-319-44802-2_3
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2016). An operational semantics of cache coherent multicore architectures, In Sascha Ossowski (ed.),  Proceedings of the 31st Annual ACM Symposium on Applied Computing (SAC '16).  Association for Computing Machinery (ACM).  ISBN 978-1-4503-3739-7.  Kap..  s 1219 - 1224

View all works in Cristin

  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2015). An Operational Semantics of Cache Coherent Multicore Architectures.

View all works in Cristin

Published Oct. 30, 2014 11:22 AM - Last modified July 7, 2015 2:57 PM

Research groups