Sean Sedwards
Sean Sedwards
Verified email at uwaterloo.ca
TitleCited byYear
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
892012
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
882013
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
712012
Importance splitting for statistical model checking rare properties
C Jegourel, A Legay, S Sedwards
International Conference on Computer Aided Verification, 576-591, 2013
682013
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
582012
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
532012
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
482015
Cyto-Sim: a formal language model and stochastic simulator of membrane-enclosed biochemical processes
S Sedwards, T Mazza
Bioinformatics 23 (20), 2800-2802, 2007
382007
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
282015
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
282015
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
282012
Scalable verification of Markov decision processes
A Legay, S Sedwards, LM Traonouez
International Conference on Software Engineering and Formal Methods, 350-362, 2014
272014
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
262015
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
262006
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
252014
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
252013
Membrane systems with peripheral proteins: transport and evolution
M Cavaliere, S Sedwards
Electronic Notes in Theoretical Computer Science 171 (2), 37-53, 2007
252007
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
182013
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
172018
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
162016
The system can't perform the operation now. Try again later.
Articles 1–20