International Journal of Critical Computer-Based Systems

Byzantine consensus in asynchronous message-passing systems: a survey

Miguel Correia, Giuliana Santos Veronese, Nuno Neves et al. · 2011 · 85 citations

Computing, Computer Engineering, Computer Science +14

LTL translation improvements in Spot 1.0

Alexandre Duret-Lutz · 2014 · 34 citations

Computing, Computer Science, Compilers +15

Probabilistic fault tree synthesis using causality computation

Florian Leitner Fischer, Stefan Leue · 2013 · 34 citations

Engineering, Industrial Engineering, Systems Engineering +15

A formal framework for black-box conformance testing of distributed real-time systems

Moez Krichen · 2012 · 30 citations

Computing, Computer Engineering, Computer Science +13

AltaRica 3.0 in ten modelling patterns

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy · 2019 · 26 citations

Engineering, Computer Science, Systems Engineering +16