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 | 96 | 2013 |
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 | 93 | 2012 |
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 | 81 | 2012 |
Importance splitting for statistical model checking rare properties C Jegourel, A Legay, S Sedwards International Conference on Computer Aided Verification, 576-591, 2013 | 79 | 2013 |
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 | 59 | 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 | 58 | 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 (2), 77-92, 2015 | 53 | 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 | 44 | 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 | 33 | 2015 |
Scalable verification of Markov decision processes A Legay, S Sedwards, LM Traonouez International Conference on Software Engineering and Formal Methods, 350-362, 2014 | 32 | 2014 |
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 | 31 | 2015 |
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 | 29 | 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 | 28 | 2012 |
Modelling cellular processes using membrane systems with peripheral and integral proteins M Cavaliere, S Sedwards International Conference on Computational Methods in Systems Biology, 108-126, 2006 | 28 | 2006 |
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 | 27 | 2014 |
Motion planning in crowds using statistical model checking to enhance the social force model A Colombo, D Fontanelli, A Legay, L Palopoli, S Sedwards 52nd IEEE Conference on Decision and Control, 3602-3608, 2013 | 27 | 2013 |
Membrane systems with peripheral proteins: transport and evolution M Cavaliere, S Sedwards Electronic Notes in Theoretical Computer Science 171 (2), 37-53, 2007 | 27 | 2007 |
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 | 26 | 2018 |
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 | 24 | 2016 |
Cooperation and competition in the dynamics of tissue architecture during homeostasis and tumorigenesis A Csikász-Nagy, LM Escudero, M Guillaud, S Sedwards, B Baum, ... Seminars in cancer biology 23 (4), 293-298, 2013 | 23 | 2013 |