Kun Wei
Kun Wei
Computer Science, University of York
Verified email at york.ac.uk
Title
Cited by
Cited by
Year
Folate-decorated PEG–PLGA nanoparticles with silica shells for capecitabine controlled and targeted delivery
K Wei, X Peng, F Zou
International journal of pharmaceutics 464 (1-2), 225-233, 2014
482014
Safety-critical Java programs from Circus models
A Cavalcanti, F Zeyda, A Wellings, J Woodcock, K Wei
Real-Time Systems 49 (5), 614-667, 2013
372013
Safety-critical Java in circus
A Cavalcanti, A Wellings, J Woodcock, K Wei, F Zeyda
Proceedings of the 9th International Workshop on Java Technologies for Real …, 2011
282011
Circus Time with Reactive Designs
K Wei, J Woodcock, A Cavalcanti
International Symposium on Unifying Theories of Programming, 68-87, 2012
252012
A theorem-proving approach to verification of fair non-repudiation protocols
K Wei, J Heather
International Workshop on Formal Aspects in Security and Trust, 202-219, 2006
182006
Timed Circus: timed CSP with the miracle
K Wei, J Woodcock, A Burns
2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011
152011
Embedding the stable failures model of CSP in PVS
K Wei, J Heather
International Conference on Integrated Formal Methods, 246-265, 2005
152005
Refinement of the parallel CDx
F Zeyda, A Cavalcanti, A Wellings, J Woodcock, K Wei
University of York, Department of Computer Science, York, UK, Tech. Rep, 2012
142012
New Circus Time
K Wei, J Woodcock, A Cavalcanti
University of York, Tech. Rep., February, 2012
142012
A timed model of Circus with the reactive design miracle
K Wei, J Woodcock, A Burns
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
142010
Improved dynamic image fusion scheme for infrared and visible sequence based on image fusion system
G Xiao, K Wei, Z Jing
2008 11th International Conference on Information Fusion, 1-6, 2008
122008
Towards verification of timed non-repudiation protocols
K Wei, J Heather
International Workshop on Formal Aspects in Security and Trust, 244-257, 2005
102005
Formalising the timebands model in timed Circus
K Wei, J Woodcock, A Burns
University of York, Tech. Rep., 2010
82010
Embedding the timed Circus in PVS
K Wei, J Woodcock, A Burns
University of York, Tech. Rep.. It is available at http://www-users. cs …, 2009
82009
Modelling temporal behaviour in complex systems with timebands
K Wei, J Woodcock, A Burns
Formal Methods in System Design 43 (3), 520-551, 2013
72013
Modelling and implementing complex systems with timebands
J Woodcock, M Oliveira, A Burns, K Wei
2010 Fourth International Conference on Secure Software Integration and …, 2010
72010
Reactive designs of interrupts in Circus Time
K Wei
International Colloquium on Theoretical Aspects of Computing, 373-390, 2013
32013
Operational Semantics for Circus Time
K Wei, J Woodcock, A Cavalcanti
Technical report, Computer Science, University of York, UK, 2013
22013
Typhoon cloud system segmentation with multichannel images using vector-valued Chan-Vese model
K Wei, Y Li, Z Jing, C Shi
MIPPR 2009: Multispectral Image Acquisition and Processing 7494, 749413, 2009
22009
Timebands Framework–2011
A Burns, K Wei, J Woodcock, IJ Hayes, CB Jones
University of York, UK, 2011
12011
The system can't perform the operation now. Try again later.
Articles 1–20