2018 IEEE ACM International Workshop on Software Engineering in Healthcare Systems (SEHS)


Book Description

ICSE is the premier forum for researchers to present and discuss the most recent innovations, trends, outcomes, experiences, and challenges in the field of software engineering The scope is broad and includes all original and unpublished results of empirical, conceptual, experimental, and theoretical software engineering research




SEHS 2018


Book Description










SEHS 2016


Book Description




Runtime Verification


Book Description

This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018. The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Chapter “Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.







Information Systems and Design


Book Description

This volume constitutes selected papers from the Second International Conference on Information Systems and Design, ICID 2021, held as virtual event in September 2021. The 24 full papers and 4 short papers presented were thoroughly reviewed and selected from 51 submissions. They are organized in topical sections on ​digital transformation of enterprises based on analysis and management tools: practical-focused research; methodological support of analysis and management tools: theoretical-focused research; young scientists research in the areas of enterprise digitalization.




Proceedings of Eighth International Congress on Information and Communication Technology


Book Description

This book gathers selected high-quality research papers presented at the Eighth International Congress on Information and Communication Technology, held at Brunel University, London, on 20–23 February 2023. It discusses emerging topics pertaining to information and communication technology (ICT) for managerial applications, e-governance, e-agriculture, e-education and computing technologies, the Internet of Things (IoT) and e-mining. Written by respected experts and researchers working on ICT, the book offers a valuable asset for young researchers involved in advanced studies. The work is presented in four volumes.




Digital Surgery


Book Description

​This book provides a trove of insightful perspectives on the current state and the realization of digital surgery. Digital surgery entails the application of artificial intelligence and machine learning toward automation in robotic-assisted surgery. More generally, the objective is to digitally define the patient, the surgical field, and the surgical problem or task at hand; to operate based on information, rather than based on anatomic planes alone. But digital surgery has shapeshifted into other, equally intriguing faces – many of which are exemplified by topics throughout this book. Digital surgery is fundamental to 3D-printed organs, mind-controlled limbs, image-guided navigation, and tele-mentoring. It is the key that unlocks the metaphorical doorway to surgical access, thereby creating a global framework for surgical training, education, planning, and much more. This text provides methods of measurement and perception outside of the human umwelt – including the ability to visualize fields beyond the visible light spectrum, via near infrared fluorescent organic dyes which are rapidly being bioengineered to target specific tumors, as well as native anatomic structures of interest. Written by experts in the field, Digital Surgery is designed to help surgeons operate with an enriched understanding of an individual’s specific attributes: including the human phenome, physiome, microbiome, genome, and epigenome. It also aids surgeons in harnessing the power and fluidity of the cloud, which is emerging as a significant resource for surgeons both regionally and globally.