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 |
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 |
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 | 114 | 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 | 104 | 2012 |
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, 77-92, 2015 | 79 | 2015 |
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 | 74 | 2012 |
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 | 73 | 2018 |
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, 469-484, 2015 | 71 | 2015 |
Cross-entropy optimisation of importance sampling parameters for statistical model checking C Jegourel, A Legay, S Sedwards Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 70 | 2012 |
Scalable verification of Markov decision processes A Legay, S Sedwards, LM Traonouez International conference on software engineering and formal methods, 350-362, 2014 | 66 | 2014 |
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 | 57 | 2018 |
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, 351-367, 2015 | 49 | 2015 |
Cyto-Sim: a formal language model and stochastic simulator of membrane-enclosed biochemical processes S Sedwards, T Mazza Bioinformatics 23 (20), 2800-2802, 2007 | 49 | 2007 |
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 | 47 | 2016 |
Fast falsification of hybrid systems using probabilistically adaptive input G Ernst, S Sedwards, Z Zhang, I Hasuo Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019 | 46 | 2019 |
Teaching stratego to play ball: Optimal synthesis for continuous space MDPs M Jaeger, PG Jensen, K Guldstrand Larsen, A Legay, S Sedwards, ... Automated Technology for Verification and Analysis: 17th International …, 2019 | 39 | 2019 |
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 | 37 | 2020 |
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 | 35 | 2015 |
Runtime verification of biological systems A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, S Sedwards Leveraging Applications of Formal Methods, Verification and Validation …, 2012 | 35 | 2012 |
An effective heuristic for adaptive importance splitting in statistical model checking C Jegourel, A Legay, S Sedwards International Symposium On Leveraging Applications of Formal Methods …, 2014 | 34 | 2014 |