|
| Date | Title | Author(s) | Type |
| 2009 | Case studies with Process Analysis Toolkit (PAT) | Man, Ka Lok; Krilavičius, Tomas; Leung, H. L | research article |
| 2010 | TEPAWSN: A formal analysis tool for wireless sensor networks | Man, Ka Lok; Krilavičius, Tomas; Vallee, Thierry; Leung, H.L | research article |
| 2010 | Research on Process Algebraic Analysis Tools for Electronic System Design | Man, Ka Lok; Krilavičius, Tomas | book part |
| 2010 | Behavioural Hybrid Process Calculus for Modelling and Analysis of Hybrid and Electronic Systems performance | Krilavičius, Tomas; Man, Ka Lok | book part |
| 2010 | Application of Bhave toolset for system control and electronic system design | Man, Ka Lok; Krilavičius, Tomas; Chen, C; Leung, H.L | research article |
| 2010 | Composition challenges and approaches for cyber physical systems | Wan, Kaiyu; Hughes, Danny; Man, Ka Lok; Krilavičius, Tomas | research article |
| 2011 | Timed model of the radiation therapy system with respiratory motion compensation | Krilavičius, Tomas; Man, Ka Lok | research article |
| 2011 | Modeling and analysis of radiation therapy system with respiratory compensation using uppaal | Man, Ka Lok; Krilavičius, Tomas; Wan, Kaiyu; Hughes, Danny; Lee, Kevin | research article |
| 2011 | Specification and analysis of NCL circuits | Ma, J; Kapoor, H. K; Krilavičius, Tomas; Man, Ka Lok; Zhang, N; Lim, E. G; Jeong, T. T; Guan, S. U; Seon, J. K | research article |
| 2011 | Investigation on composition mechanisms for cyber physical systems | Wan, Kaiyu; Hughes, Danny; Man, Ka Lok; Krilavičius, Tomas; Zou, Shujun | research article |
| 2011 | A practical student's guide : programming in Java and MATLAB | Man, Ka Lok; Wan, Kaiyu; Krilavičius, Tomas | book |
| 2012 | Modelling and verification of compensating transactions using the Spin tool | Wan, Kaiyu; Kapoor, H. K; Das, Shirshendu; Raju, B; Krilavičius, Tomas; Man, Ka Lok | research article |
| 2012 | Artificial intelligence approach to SoC estimation for smart BMS | Man, Ka Lok; Chen, C; Ting, T. O; Krilavičius, Tomas; Chang, J; Poon, S. H | research article |
| 2012 | Using Web 2.0 tools to enhance learning in higher education : a case study in technological education | Chi-Un, Lei; Krilavičius, Tomas; Zhang, Nan; Wan, Kaiyu; Man, Ka Lok | research article |
| 2012 | Design and realization of a smart battery management system | Chen, C; Man, Ka Lok; Ting, T. O; Chi-Un, Lei; Krilavičius, Tomas; Jeong, T. T; Seon, J. K; Guan, S. U; Wong, Prudence W. H | research article |
| 2012 | Specification and verification of radiation therapy system with respiratory compensation using Uppaal | Krilavičius, Tomas; Wan, Kaiyu; Lee, Kevin; Man, Ka Lok | research article |
| 2012 | A Self-test and self-repair approach for analog integrated circuits | Karmani, Mouna; Krilavičius, Tomas; Khedhiri, Chiraz; Hamdi, Belgacem; Man, Ka Lok; Rahmani, Amir-Mohammad | research article |
| 2013 | Improving power-conversion efficiency via a hybrid MPPT approach for photovoltaic systems | Ma, J; Man, Ka Lok; Ting, T. O; Zhang, Nan; Guan, S. U; Wong, Prudence W. H; Lim, E. G; Krilavičius, Tomas; Kapočiūtė-Dzikienė, Jurgita; Lei, C. U | research article |
| 2013 | A bioinformatics approach to model and analyze an industrial radiation therapy system with respiratory compensation | Man, Ka Lok; Krilavičius, Tomas; Wan, Kaiyu | research article |
| 2013 | Real-time vibration reduction in UAV’s image sensors using efficient hough transform | Afolabi, David; Shen, Zhun; Krilavičius, Tomas; Hahanov, Vladimir; Litvinova, Eugenia; Chumachenko, Svetlana; Man, Ka Lok; Liang, Hai-Ning; Zhang, Nan; Žalandauskas, Tomas | research article |
