| 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 |
| Importance splitting for statistical model checking rare properties C Jegourel, A Legay, S Sedwards International Conference on Computer Aided Verification, 576-591, 2013 | 125 | 2013 |
| Statistical model checking for stochastic hybrid systems A David, D Du, KG Larsen, A Legay, M Mikučionis, DB Poulsen, ... arXiv preprint arXiv:1208.3856, 2012 | 117 | 2012 |
| 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 | 107 | 2012 |
| Smart sampling for lightweight verification of Markov decision processes P D’argenio, A Legay, S Sedwards, LM Traonouez International Journal on Software Tools for Technology Transfer 17 (4), 469-484, 2015 | 85 | 2015 |
| Navigation assistance and guidance of older adults across complex public spaces: the DALi approach L Palopoli, A Argyros, J Birchbauer, A Colombo, D Fontanelli, A Legay, ... Intelligent Service Robotics 8 (2), 77-92, 2015 | 84 | 2015 |
| Two-layered falsification of hybrid systems guided by monte carlo tree search Z Zhang, G Ernst, S Sedwards, P Arcaini, I Hasuo IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018 | 83 | 2018 |
| Scalable verification of Markov decision processes A Legay, S Sedwards, LM Traonouez International conference on software engineering and formal methods, 350-362, 2014 | 83 | 2014 |
| Prosperity is associated with instability in dynamical networks M Cavaliere, S Sedwards, CE Tarnita, MA Nowak, A Csikász-Nagy Journal of theoretical biology 299, 126-138, 2012 | 75 | 2012 |
| Cross-entropy optimisation of importance sampling parameters for statistical model checking C Jegourel, A Legay, S Sedwards International Conference on Computer Aided Verification, 327-342, 2012 | 74 | 2012 |
| A statistical model checker for nondeterminism and rare events CE Budde, PR D’Argenio, A Hartmanns, S Sedwards International Conference on Tools and Algorithms for the Construction and …, 2018 | 66 | 2018 |
| Fast falsification of hybrid systems using probabilistically adaptive input G Ernst, S Sedwards, Z Zhang, I Hasuo International Conference on Quantitative Evaluation of Systems, 165-181, 2019 | 57 | 2019 |
| Plasma lab: a modular statistical model checking platform A Legay, S Sedwards, LM Traonouez International Symposium on Leveraging Applications of Formal Methods, 77-93, 2016 | 53 | 2016 |
| An efficient statistical model checker for nondeterminism and rare events CE Budde, PR D’Argenio, A Hartmanns, S Sedwards International journal on software tools for technology transfer 22 (6), 759-780, 2020 | 52 | 2020 |
| Teaching stratego to play ball: Optimal synthesis for continuous space MDPs M Jaeger, PG Jensen, K Guldstrand Larsen, A Legay, S Sedwards, ... International Symposium on Automated Technology for Verification and …, 2019 | 50 | 2019 |
| Cyto-Sim: a formal language model and stochastic simulator of membrane-enclosed biochemical processes S Sedwards, T Mazza Bioinformatics 23 (20), 2800-2802, 2007 | 50 | 2007 |
| Statistical model checking for biological systems A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, S Sedwards International journal on software tools for technology transfer 17 (3), 351-367, 2015 | 49 | 2015 |
| Lightweight statistical model checking in nondeterministic continuous time PR D’Argenio, A Hartmanns, S Sedwards International Symposium on Leveraging Applications of Formal Methods, 336-353, 2018 | 39 | 2018 |
| Efficient customisable dynamic motion planning for assistive robots in complex human environments A Colombo, D Fontanelli, A Legay, L Palopoli, S Sedwards Journal of ambient intelligence and smart environments 7 (5), 617-634, 2015 | 36 | 2015 |
| Runtime verification of biological systems A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, S Sedwards International symposium on leveraging applications of formal methods …, 2012 | 36 | 2012 |
