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
922013
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
902012
Importance splitting for statistical model checking rare properties
C Jegourel, A Legay, S Sedwards
International Conference on Computer Aided Verification, 576-591, 2013
752013
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
752012
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
542012
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
512015
Cyto-Sim: a formal language model and stochastic simulator of membrane-enclosed biochemical processes
S Sedwards, T Mazza
Bioinformatics 23 (20), 2800-2802, 2007
392007
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
302015
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
302015
Scalable verification of Markov decision processes
A Legay, S Sedwards, LM Traonouez
International Conference on Software Engineering and Formal Methods, 350-362, 2014
302014
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
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
272015
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
272014
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
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
242007
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
212018
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
212016
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
182018
The system can't perform the operation now. Try again later.
Articles 1–20