Statistical model checking: An overview A Legay, B Delahaye, S Bensalem Runtime Verification, 122-135, 2010 | 387 | 2010 |

Model Checking Lots of Systems A Classen, P Heymans, PY Schobbens, A Legay, JF Raskin ICSE’10, 2009 | 336* | 2009 |

A bayesian approach to model checking biological systems S Jha, E Clarke, C Langmead, A Legay, A Platzer, P Zuliani Computational Methods in Systems Biology, 218-234, 2009 | 250 | 2009 |

Uppaal SMC tutorial A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen International Journal on Software Tools for Technology Transfer 17 (4), 397-415, 2015 | 248 | 2015 |

Symbolic model checking of software product lines A Classen, P Heymans, PY Schobbens, A Legay Proceeding of the 33rd international conference on Software engineering, 321-330, 2011 | 240 | 2011 |

Timed I/O automata: a complete specification theory for real-time systems A David, KG Larsen, A Legay, U Nyman, A Wasowski Proceedings of the 13th ACM international conference on Hybrid systems …, 2010 | 191 | 2010 |

Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking A Classen, M Cordy, PY Schobbens, P Heymans, A Legay, JF Raskin IEEE Transactions on Software Engineering 39 (8), 1069-1089, 2012 | 187 | 2012 |

UPPAAL-SMC: Statistical model checking for priced timed automata P Bulychev, A David, KG Larsen, M Mikučionis, DB Poulsen, A Legay, ... arXiv preprint arXiv:1207.1272, 2012 | 142 | 2012 |

Statistical model checking for networks of priced timed automata A David, K Larsen, A Legay, M Mikučionis, D Poulsen, J Van Vliet, ... Formal Modeling and Analysis of Timed Systems, 80-96, 2011 | 142 | 2011 |

Time for Statistical Model Checking of real-time systems A David, K Larsen, A Legay, M Mikučionis, Z Wang Computer Aided Verification, 349-355, 2011 | 138 | 2011 |

Iterating transducers in the large B Boigelot, A Legay, P Wolper Computer Aided Verification, 223-235, 2003 | 132 | 2003 |

Statistical model checking in biolab: Applications to the automated analysis of t-cell receptor signaling pathway E Clarke, J Faeder, C Langmead, L Harris, S Jha, A Legay Computational Methods in Systems Biology, 231-250, 2008 | 121 | 2008 |

Towards statistical prioritization for software product lines testing X Devroey, G Perrouin, M Cordy, PY Schobbens, A Legay, P Heymans Proceedings of the Eighth International Workshop on Variability Modelling of …, 2014 | 116* | 2014 |

A Modal Interface Theory for Component-based Design JB Raclet, E Badouel, A Benveniste, B Caillaud, A Legay, R Passerone Fundamenta Informaticae 108 (1), 119-149, 2011 | 111 | 2011 |

Moving from specifications to contracts in component-based design SS Bauer, A David, R Hennicker, KG Larsen, A Legay, U Nyman, ... International Conference on Fundamental Approaches to Software Engineering …, 2012 | 102 | 2012 |

Statistical abstraction and model-checking of large heterogeneous systems A Basu, S Bensalem, M Bozga, B Caillaud, B Delahaye, A Legay Formal Techniques for Distributed Systems, 32-46, 2010 | 102 | 2010 |

Model checking software product lines with SNIP A Classen, M Cordy, P Heymans, A Legay, PY Schobbens International Journal on Software Tools for Technology Transfer 14 (5), 589-612, 2012 | 95 | 2012 |

Beyond boolean product-line model checking: dealing with feature attributes and multi-features M Cordy, PY Schobbens, P Heymans, A Legay Proceedings of the 2013 International Conference on Software Engineering …, 2013 | 90 | 2013 |

A platform for high performance statistical model checking–PLASMA C Jegourel, A Legay, S Sedwards International Conference on Tools and Algorithms for the Construction and …, 2012 | 88 | 2012 |

PLASMA-lab: A flexible, distributable statistical model checking library B Boyer, K Corre, A Legay, S Sedwards International Conference on Quantitative Evaluation of Systems, 160-164, 2013 | 83 | 2013 |