Author of the publication

Using Model Checking to Analyze the System Behavior of the LHC Production Grid.

, , , , , and . CCGRID, page 335-343. IEEE Computer Society, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Java-Based Grid Programming Environment.. Euro-Par, volume 2790 of Lecture Notes in Computer Science, page 4. Springer, (2003)SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming Applications., , , , , and . LCPC, volume 4382 of Lecture Notes in Computer Science, page 33-48. Springer, (2006)Parallel programming in SR.. ICCL, page 310-319. IEEE Computer Society, (1992)Reinforcement Learning-Guided Channel Selection Across Time for Multivariate Time Series Classification., , , and . SSCI, page 1406-1413. IEEE, (2023)Live video analytics as a service., , , , and . EuroMLSys@EuroSys, page 37-44. ACM, (2022)Massive Semantic Web data compression with MapReduce., , and . HPDC, page 795-802. ACM, (2010)High-Performance Distributed Multi-Model / Multi-Kernel Simulations: A Case-Study in Jungle Computing., , , , , , , , and . IPDPS Workshops, page 150-162. IEEE Computer Society, (2012)Assessing the impact of future reconfigurable optical networks on application performance., , , , and . IPDPS, page 1-8. IEEE, (2009)Efficient large-scale model checking., , , and . IPDPS, page 1-12. IEEE, (2009)An Efficient Reliable Broadcast Protocol., , , and . ACM SIGOPS Oper. Syst. Rev., 23 (4): 5-19 (1989)