Shiji Bijo

Stipendiat - Pålitelige systemer
Bilde av Shiji Bijo
English version of this page
Brukernavn
Besøksadresse Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postadresse Postboks 1080 Blindern 0316 OSLO
Andre tilknytninger Det matematisk-naturvitenskapelige fakultet (Student)

Publikasjoner

  • 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.  Scietific 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

Se alle arbeider i Cristin

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

Se alle arbeider i Cristin

Publisert 30. okt. 2014 11:21 - Sist endret 21. juni 2017 12:33