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

Uppaal SMC tutorial A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen International journal on software tools for technology transfer 17, 397-415, 2015 | 535 | 2015 |

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

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 | 353* | 2011 |

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 | 305 | 2009 |

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 | 284 | 2012 |

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 | 229 | 2010 |

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 | 196 | 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 | 188 | 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 | 187 | 2011 |

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 | 139 | 2008 |

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

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 | 134 | 2011 |

Simulation Relation for Software Product Lines: Foundations for Scalable Model Checking M Cordy, A Classen, G Perrouin, P Heymans, PY Schobbens, A Legay | 132* | |

Beyond boolean product-line model checking: dealing with feature attributes and multi-features M Cordy, PY Schobbens, P Heymans, A Legay 2013 35th International Conference on Software Engineering (ICSE), 472-481, 2013 | 129 | 2013 |

Moving from specifications to contracts in component-based design SS Bauer, A David, R Hennicker, K Guldstrand Larsen, A Legay, ... Fundamental Approaches to Software Engineering: 15th International …, 2012 | 128 | 2012 |

PLASMA-lab: A flexible, distributable statistical model checking library B Boyer, K Corre, A Legay, S Sedwards Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013 | 119 | 2013 |

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 | 118 | 2010 |

Importance splitting for statistical model checking rare properties C Jegourel, A Legay, S Sedwards Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 107 | 2013 |

Incremental component-based construction and verification using invariants S Bensalem, M Bozga, A Legay, TH Nguyen, J Sifakis, R Yan Formal Methods in Computer Aided Design, 257-256, 2010 | 105 | 2010 |