Follow
Sean Sedwards
Sean Sedwards
Verified email at uwaterloo.ca
Title
Cited by
Cited by
Year
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
1282013
Importance splitting for statistical model checking rare properties
C Jegourel, A Legay, S Sedwards
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
1152013
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
1092012
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
1082012
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
772015
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
722012
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
692018
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
672012
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
592015
Scalable verification of Markov decision processes
A Legay, S Sedwards, LM Traonouez
International conference on software engineering and formal methods, 350-362, 2014
592014
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
502018
Cyto-Sim: a formal language model and stochastic simulator of membrane-enclosed biochemical processes
S Sedwards, T Mazza
Bioinformatics 23 (20), 2800-2802, 2007
492007
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
472015
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
442016
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
432019
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
362012
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
332019
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
332015
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
332014
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
302013
The system can't perform the operation now. Try again later.
Articles 1–20