Shiji Bijo

According to our database, Shiji Bijo authored at least 5 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

A formal model of data access for multicore architectures with multilevel caches.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Sci. Comput. Program., 2019

2018

Deployment by Construction for Multicore Architectures.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017

A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016

A Maude Framework for Cache Coherent Multicore Architectures.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

An operational semantics of cache coherent multicore architectures.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016