| 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 | 693 | 2015 |
| Statistical model checking: An overview A Legay, B Delahaye, S Bensalem Runtime Verification, 122-135, 2010 | 667 | 2010 |
| Model Checking Lots of Systems A Classen, P Heymans, PY Schobbens, A Legay, JF Raskin ICSE’10, 2009 | 468* | 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 | 386* | 2011 |
| 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 | 334 | 2012 |
| 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 | 327 | 2009 |
| 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 | 241 | 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 | 228 | 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 | 222 | 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 | 203 | 2011 |
| On the performance of convolutional neural networks for side-channel analysis S Picek, IP Samiotis, J Kim, A Heuser, S Bhasin, A Legay International Conference on Security, Privacy, and Applied Cryptography …, 2018 | 167 | 2018 |
| Statistical model checking A Legay, A Lukina, LM Traonouez, J Yang, SA Smolka, R Grosu Computing and software science: state of the art and perspectives, 478-504, 2019 | 157 | 2019 |
| Simulation Relation for Software Product Lines: Foundations for Scalable Model Checking M Cordy, A Classen, G Perrouin, P Heymans, PY Schobbens, A Legay | 145* | |
| Iterating transducers in the large B Boigelot, A Legay, P Wolper Computer Aided Verification, 223-235, 2003 | 144 | 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 | 143 | 2008 |
| 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 | 141 | 2013 |
| 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 | 137 | 2011 |
| Moving from specifications to contracts in component-based design SS Bauer, A David, R Hennicker, K Guldstrand Larsen, A Legay, ... International Conference on Fundamental Approaches to Software Engineering …, 2012 | 135 | 2012 |
| 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 | 131 | 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 | 127 | 2010 |
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Verified email at unamur.be
