King's College London

Research portal

Research Outputs

  1. 2018
  2. Haptic Information Gain in Remote Soft Tissue Examination Using a Controllable Stiffness Robotic Probe

    Weheliye, A., Sornkarn, N., Dasgupta, P. & Nanayakkara, T., 1 Dec 2018, 2018 IEEE 9th International Conference on Information and Automation for Sustainability, ICIAfS 2018. Institute of Electrical and Electronics Engineers Inc., 8913340

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  3. 2017
  4. Introduction to Surgery for Students

    Fisher, R. A. (ed.), Ahmed, K. (ed.) & Dasgupta, P. (ed.), 2017, Springer Nature.

    Research output: Book/ReportBook

  5. 2016
  6. Towards safer obstacle avoidance for continuum-style manipulator in dynamic environments

    Rizqi, A., Qi, P., Shiva, A., Shafti, A., Wurdemann, H., Dasgupta, P. & Althoefer, K., 28 Jul 2016, Proceedings of the IEEE RAS and EMBS International Conference on Biomedical Robotics and Biomechatronics. IEEE Computer Society Press, Vol. 2016-July. p. 600-605 6 p. 7523691

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  7. 2014
  8. Endoscopic add-on stiffness probe for real-time soft surface characterisation in MIS

    Faragasso, A., Stilli, A., Bimbo, J., Noh, Y., Liu, H., Nanayakkara, T., Dasgupta, P., Wurdemann, H. A. & Althoefer, K., 2 Nov 2014, 2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014. Institute of Electrical and Electronics Engineers Inc., p. 6517-6520 4 p. 6945121

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  9. Bio-inspired tactile sensor sleeve for surgical soft manipulators

    Sareh, S., Jiang, A., Faragasso, A., Noh, Y., Nanayakkara, T., Dasgupta, P., Seneviratne, L. D., Wurdemann, H. A. & Althoefer, K., 22 Sep 2014, Proceedings - IEEE International Conference on Robotics and Automation. Institute of Electrical and Electronics Engineers Inc., p. 1454-1459 6 p. 6907043

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  10. The granular jamming integrated actuator

    Jiang, A., Adejokun, S., Faragasso, A., Althoefer, K., Nanayakkara, T. & Dasgupta, P., 2014, 2014 International Conference on Advanced Robotics and Intelligent Systems, ARIS 2014. IEEE Computer Society Press, p. 12-17 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  11. 2013
  12. A Two Party Haptic Guidance Controller Via a Hard Rein

    Dissanayake Mudiyanselage, A., Penders, J., Dasgupta, P., Althoefer, K. & Nanayakkara, T., 4 Nov 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . Tokyo, Japan, p. 116 122 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  13. Force-velocity modulation strategies for soft tissue examination

    Konstantinova, J., Li, M., Aminzadeh, V., Dasgupta, P., Althoefer, K. & Nanayakkara, T., Nov 2013, Intelligent Robots and Systems (IROS), 2013 IEEE/RSJ International Conference on. Institute of Electrical and Electronics Engineers Inc., p. 1998-2003 6 p. 6696622

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  14. An optimal state dependent haptic guidance controller via a hard rein

    Ranasinghe, A., Althoefer, K., Nanayakkara, T., Penders, J. & Dasgupta, P., Oct 2013, Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013. IEEE, p. 2322-2327 6 p. 6722150

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  15. Evaluating manual palpation trajectory patterns in tele-manipulation for soft tissue examination

    Konstantinova, J., Li, M., Aminzadeh, V., Althoefer, K., Nanayakkara, T. & Dasgupta, P., Oct 2013, Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013. IEEE, p. 4190-4195 6 p. 6722467

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  16. Granular jamming with hydraulic control

    Jiang, A., Aste, T., Dasgupta, P., Althoefer, K. & Nanayakkara, T., 8 Aug 2013, Proceedings of the ASME Design Engineering Technical Conference. American Society of Mechanical Engineers, Vol. 6 A. 7 p. V06AT07A021

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  17. Granular Jamming Transitions for a Robotic Mechanism

    Jiang, A., Aste, T., Dasgupta, P., Althoefer, K. & Nanayakkara, T., 2013, POWDERS AND GRAINS 2013: Proceedings of the 7th International Conference on Micromechanics of Granular Media. Yu, A., Dong, K., Yang, R. & Luding, S. (eds.). MELVILLE: Amer Inst Physics, p. 385-388 4 p. (AIP Conference Proceedings; vol. 1542).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  18. 2012
  19. Adaptive grip control on an uncertain object

    Jiang, A., Bimbo, J., Goulder, S., Liu, H., Song, X., Dasgupta, P., Althoefer, K. & Nanayakkara, T., 7 Oct 2012, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2012 . IEEE, p. 1161 - 1166 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  20. Surgical simulation

    Dasgupta, P., Ahmed, K., Jaye, P. & Khan, M. S., 1 Jan 2012, Anthem Press. 125 p.

    Research output: Book/ReportBook

  21. Design of a Variable Stiffness Flexible Manipulator with Composite Granular Jamming and Membrane Coupling

    Jiang, A., Xynogalas, G., Dasgupta, P., Althoefer, K. & Nanayakkara, T., 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, p. 2922-2927 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  22. Experimental Assessment of Software Metrics Using Automated Refactoring

    O Cinneide, M., Tratt, L., Harman, M., Counsell, S. & Hemati Moghadam, I., 2012, 2012 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). New York: ACM, p. 49-58 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  23. 2011
  24. The SBSE Approach to Automated Optimization of Verification and Testing

    Harman, M., 2011, Unknown. BERLIN: Springer, p. 3 - 3 1 p. (HARDWARE AND SOFTWARE: VERIFICATION AND TESTING).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  25. 2010
  26. Today/future importance analysis

    Zhang, Y., Alba, E., Durillo, J. J., Eldh, S. & Harman, M., 1 Jan 2010, Proceedings of the 12th annual conference on Genetic and evolutionary computation. New York: ACM, p. 1357

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  27. Evolving a CUDA Kernel from an nVidia Template

    Langdon, W. B. & Harman, M., 2010, Unknown. NEW YORK: IEEE, (2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC)).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  28. Miniaturized Triaxial Optical Fiber Force Sensor for MRI-Guided Minimally Invasive Surgery

    Puangmali, P., Dasgupta, P., Seneviratne, L. D. & Althoefer, K., 2010, Unknown. NEW YORK: IEEE, p. 2592 - 2597 6 p. (2010 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA)).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  29. Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization

    Harman, M., 2010, Unknown. BERLIN: Springer, Vol. 6013 LNCS. p. 1 - 12 12 p. (FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  30. 2009
  31. A Haptic Probe for Soft Tissue Abnormality Identification during Minimally Invasive Surgery

    Liu, H., Elhage, O., Dasgupta, P., Challacombe, B., Murphy, D., Seneviratne, L. & Althoefer, K., 2009, Reconfigurable mechanisms and robots: International conference, 2009. GENOVA: KC Edizioni, p. 436 - 441 6 p. (RECONFIGURABLE MECHANISMS AND ROBOTS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  32. A Theoretical and Empirical Study of EFSM Dependence

    Androutsopoulos, K., Gold, N., Harman, M., Li, Z. & Tratt, L., 2009, Unknown. LOS ALAMITOS: IEEE COMPUTER SOC, p. 287 - 296 10 p. (2009 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, CONFERENCE PROCEEDINGS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  33. Automated Test Data Generation for Aspect-Oriented Programs

    Harman, M., Islam, F., Xie, T. & Wappler, S., 2009, Unknown. NEW YORK: ASSOC COMPUTING MACHINERY, p. 185 - 196 12 p. (AOSD'09: 8TH INTERNATIONAL CONFERENCE ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  34. Automated Test Data Generation for Coverage: Haven't We Solved This Problem Yet?

    Lakhotia, K., McMinn, P. & Harman, M., 2009, Unknown. LOS ALAMITOS: IEEE COMPUTER SOC, p. 95 - 104 10 p. (2009 TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE-PRACTICE AND RESEARCH TECHNIQUES, TAIC PART 2009).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  35. Clustering Test Cases to Achieve Effective & Scalable Prioritisation Incorporating Expert Knowledge

    Yoo, S., Harman, M., Tonella, P. & Susi, A., 2009, Unknown. NEW YORK: ASSOC COMPUTING MACHINERY, p. 201 - 211 11 p. (ISSTA 2009: INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  36. Control Dependence for Extended Finite State Machines

    Androutsopoulos, K., Clark, D., Harman, M., Li, Z. & Tratt, L., 2009, Unknown. BERLIN: Springer, Vol. 5503. p. 216 - 230 15 p. (FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  37. Identifying 'Linchpin Vertices' that Cause Large Dependence Clusters

    Binkley, D. & Harman, M., 2009, Unknown. LOS ALAMITOS: IEEE COMPUTER SOC, p. 89 - 98 10 p. (2009 NINTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  38. Multi Objective Higher Order Mutation Testing with Genetic Programming

    Langdon, W. B., Harman, M. & Jia, Y., 2009, Unknown. LOS ALAMITOS: IEEE COMPUTER SOC, p. 21 - 29 9 p. (2009 TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE-PRACTICE AND RESEARCH TECHNIQUES, TAIC PART 2009).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  39. 2008
  40. Handling dynamic data structures in search based testing

    Lakhotia, K., Harman, M. & Mcminn, P., 1 Jan 2008, GECCO '08 Proceedings of the 10th annual conference on Genetic and evolutionary computation. ACM, p. 1759-1766

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  41. Dependence Anti Patterns

    Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K. & Wegener, J., 2008, Unknown. NEW YORK: IEEE, p. 109 - 118 10 p. (2008 23RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, PROCEEDINGS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  42. MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language

    Jia, Y. & Harman, M., 2008, Unknown. LOS ALAMITOS: IEEE COMPUTER SOC, p. 94 - 98 5 p. (TACI PART 2008:TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  43. Search based requirements optimisation: Existing work and challenges

    Zhang, Y., Finkelstein, A., Harman, M., Paech, B. (ed.) & Rolland, C. (ed.), 2008, Requirements Engineering: Foundation for Software Quality. BERLIN: Springer, Vol. 5025 LNCS. p. 88 - 94 7 p. (LECTURE NOTES IN COMPUTER SCIENCE).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  44. Wheel/Tissue Force Interaction: A New Concept for Soft Tissue Diagnosis during MIS

    Zbyszewski, D., Liu, H., Puangmali, P., Althoefer, K., Nunes, C. S., Seneviratne, L. D., Challacombe, B., Murphy, D. & Dasgupta, P., 2008, Engineering in Medicine and Biology Society, 2008. EMBS 2008. 30th Annual International Conference of the IEEE. NEW YORK: IEEE, p. 5556 - 5559 4 p. (2008 30TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY, VOLS 1-8).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  45. 2007
  46. The Impact of Input Domain Reduction on Search-Based Test Data Generation

    Harman, M., Hassoun, Y., Lakhotia, K., McMinn, P. & Wegener, J., 1 Sep 2007, ACM Symposium on the Foundations of Software Engineering (FSE '07). Dubrovnik, Croatia: Association for Computer Machinery, p. 155-164 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  47. A Theoretical and Empirical Analysis of Evolutionary Testing and Hill Climbing for Structural Test Data Generation

    Harman, M. & McMinn, P., 1 Jul 2007, International Symposium on Software Testing and Analysis (ISSTA'07). London, United Kingdom: Association for Computer Machinery, p. 73 - 83

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  48. Pareto Efficient Multi-Objective Test Case Selection

    Yoo, S. & Harman, M., 1 Jul 2007, International Symposium on Software Testing and Analysis (ISSTA'07). London, United Kingdom: Association for Computer Machinery, p. 140-150

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  49. Automated Test Data Generation using Search Based Software Engineering (keynote)

    Harman, M., 1 May 2007, 2nd International Workshop on Automation of Software Test (AST 07). Minneapolis, USA: IEEE Computer Society Press, p. 2 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  50. A Multi-Objective Approach To Search-Based Test Data Generation

    Harman, M., Lakhotia, K. & McMinn, P., 2007, Unknown. NEW YORK: ASSOC COMPUTING MACHINERY, p. 1098 - 1105 8 p. (GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  51. Pareto Optimal Search Based Refactoring at the Design Level

    Harman, M. & Tratt, L., 2007, Unknown. NEW YORK: ASSOC COMPUTING MACHINERY, p. 1106 - 1113 8 p. (GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  52. Search Based Software Engineering for Program Comprehension (keynote)

    Harman, M., 2007, 15th International Conference on Program Comprehension (ICPC 07). Banff, Canada: IEEE Computer Society Press, p. 3-13 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  53. Search based software engineering for program comprehension

    Harman, M., Wong, K. (ed.), Stroulia, E. (ed.) & Tonella, P. (ed.), 2007, Icpc 2007: 15Th Ieee International Conference on Program Comprehension , Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 3 - 13 11 p. (CONFERENCE PROCEEDINGS - ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  54. The Multi-Objective Next Release Problem

    Zhang, Y., Harman, M. & Mansouri, S. A., 2007, Unknown. NEW YORK: ASSOC COMPUTING MACHINERY, p. 1129 - 1136 8 p. (GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  55. The current state and future of search based software engineering

    Harman, M., Briand, L. C. (ed.) & Wolf, A. L. (ed.), 2007, Fose 2007: Future of Software Engineering. LOS ALAMITOS: IEEE COMPUTER SOC, p. 342 - 357 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  56. 2006
  57. Allowing overlapping boundaries in source code using a search based approach to concept binding

    Gold, N., Harman, M., Li, Z. & Kawada, S. (ed.), 2006, Icsm 2006: 22Nd Ieee International Conference on Software Maintenance, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 310 - 319 10 p. (PROCEEDINGS - IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  58. An Empirical Study of Executable Concept Slice Size

    Gold, N., Harman, M., Li, Z. & Mahdavi, K., 2006, 13th Working Conference on Reverse Engineering (WCRE 06). p. 103-114 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  59. Animated Visualisation of Static Analysis: Characterising, Explaining and Exploiting the Approximate Nature of Static Analysis

    Binkley, D., Harman, M. & Krinke, J., 2006, 6th International Workshop on Source Code Analysis and Manipulation (SCAM 06). p. 43-52 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  60. Astrenet Aspect Analysis workshop 2006

    Harman, M., Black, S., Tonella, P. & Werner, B. (ed.), 2006, 13Th Working Conference on Reverse Engineeing, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 323 - 323 1 p. (Working Conference on Reverse Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

Previous 1 2 3 Next

Export:RIS BibTex Word PDF - will at most contain 500 items

Refine results Clear filters

Language

Language

Publication year

Publication year

Full text

Full text

Meeting and poster abstracts

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454