Statistical model checking: An overview A Legay, B Delahaye, S Bensalem Runtime Verification, 122-135, 2010 | 626 | 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 | 620 | 2015 |
Model Checking Lots of Systems A Classen, P Heymans, PY Schobbens, A Legay, JF Raskin ICSE10, 2009 | 450* | 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 | 371* | 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 | 317 | 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 | 315 | 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 | 237 | 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 | 220 | 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 | 213 | 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 | 191 | 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 | 142 | 2008 |
Iterating transducers in the large B Boigelot, A Legay, P Wolper Computer Aided Verification, 223-235, 2003 | 142 | 2003 |
On the performance of convolutional neural networks for side-channel analysis S Picek, IP Samiotis, J Kim, A Heuser, S Bhasin, A Legay Security, Privacy, and Applied Cryptography Engineering: 8th International
, 2018 | 138 | 2018 |
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 | 134 | 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 | 134 | 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 | 133 | 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 | 131 | 2011 |
Simulation Relation for Software Product Lines: Foundations for Scalable Model Checking M Cordy, A Classen, G Perrouin, P Heymans, PY Schobbens, A Legay | 130* | |
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 | 122 | 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 | 121 | 2013 |