Runtime verification of distributed systems poses various challenges. A pivotal challenge is the choice of how to distribute the monitors themselves across the system. On one hand, centralised monitoring may result in increased communication overhead and information exposure across locations, while, on the other hand, systems with dynamic topologies and… (More)
Distributed and component-based architectures are becoming more prevalent computer systems. The increased complexities introduced by the distribution hampers dependability , emphasising the need for verification techniques tailored for a distributed setting. Runtime verification has proven to be a viable approach for verifying correctness, by focussing on… (More)
Thanks also to the TESSy team and other experts from the Surveillance section for their continued support and to Per Rolfhamre, Gaetan Guyodo, Silvia Sarbu, Catalin Albu and Valentina Lazdina for data management and providing technical support to the participating countries.
We studied the possible association between patient age and sex, clinical presentation, Streptococcus pneumoniae serotype, antimicrobial resistance, and death in invasive pneumococcal disease cases reported by 17 European countries during 2010. The study sample comprised 2,921 patients, of whom 56.8% were men and 38.2% were >65 years of age. Meningitis… (More)