Shiji Bijo
Shiji Bijo
Verified email at ifi.uio.no
Title
Cited by
Cited by
Year
A Maude framework for cache coherent multicore architectures
S Bijo, EB Johnsen, KI Pun, SLT Tarifa
International Workshop on Rewriting Logic and its Applications, 47-63, 2016
132016
An operational semantics of cache coherent multicore architectures
S Bijo, EB Johnsen, KI Pun, SLT Tarifa
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1219-1224, 2016
112016
A formal model of parallel execution on multicore architectures with multilevel caches
S Bijo, EB Johnsen, KI Pun, SLT Tarifa
International Conference on Formal Aspects of Component Software, 58-77, 2017
62017
A formal model of data access for multicore architectures with multilevel caches
S Bijo, EB Johnsen, KI Pun, SLT Tarifa
Science of Computer Programming 179, 24-53, 2019
32019
Deployment by construction for multicore architectures
S Bijo, EB Johnsen, KI Pun, C Seidl, SLT Tarifa
International Symposium on Leveraging Applications of Formal Methods, 448-465, 2018
22018
Technical Report: Modelling Data Access Patterns with Atomic Sections for Multicore Architectures
S Bijo, KI Pun, SLT Tarifa
2017
The system can't perform the operation now. Try again later.
Articles 1–6