Nikola Hardi

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 2

Top Topics

Software Platform

Coloured Petri Nets

Formal Verification

Top Venues

Publications

Maxim Storetvedt, Latchezar Betev, Nikola Hardi, Håvard Helstrup, Kristin Fanebust Hetland, Bjarte Kileng
Modelling the Next Generation ALICE Grid Middleware Using Coloured Petri Nets. Petri Nets (2022)
Jakob Blomer, Gerardo Ganis, Nikola Hardi, Radu Popescu
Delivering LHC Software to HPC Compute Elements with CernVM-FS. ISC Workshops (2017)