System Assurances

Edited by:   Prashant Johri (Professor School of Computing Science and Engineering Galgotias University Greater Noida India), Adarsh Anand (Assistant Professor, Departmetn of Operational Research, University of Delhi, New Delhi, India), Juri Vain (Tenure Professor of Formal Methods, Department of Software Science, Tallinn University of Technology, Tallinn, Estonia), Jagvinder Singh (Assistant Professor, USME, DTU East Campus, India), Mohammad Tabrez Quasim (Assistant Professor, Univeristy of Bisha, Saudi Arabia)
Imprint:   Academic Press Inc
Country of Publication:   United Kingdom
Dimensions:   Height: 229mm,  Width: 152mm, 
Weight:   970g
ISBN:   9780323902403
ISBN 10:   0323902405
Series:   Emerging Methodologies and Applications in Modelling, Identification and Control
Pages:   614
Publication Date:   21 February 2022
Audience:   Professional and scholarly ,  College/higher education ,  Undergraduate ,  Further / Higher Education
Format:   Paperback
Publisher's Status:   Active

Dr. Prashant Johri. Professor in School of Computing Science & Engineering, Galgotias University, Greater Noida, India. He completed his B.Sc.(H) in 1992 and M.C.A. in 1992 from A.M.U, Aligarh and Ph.D. in Computer Science from Jiwaji University, Gwalior in 2011, India. He has also worked as a Professor and Director (M.C.A.), Galgotias Institute of Management and Technology and Noida Institute of Engineering and Technology, Gr. Noida. He has served as Chair in many conferences in India and Abroad. He has supervised 2 PhD students and M. Tech. students. He published more than 100 research papers in National and International Journals and Conferences. He has published edited books in Elsevier and Springer. He organized several Conferences / Workshops/Seminars at the national and international levels. His research interest includes Artificial Intelligence, Machine Learning, Data Science, Deep Reinforcement Learning, Information Security, Cloud Computing, Block Chain, Healthcare, Agriculture, Image Processing, Software Reliability. Dr. Adarsh Anand did his Ph.D. in the area of Operational Research. Presently he is working as an Assistant Professor in the Department of Operational Research, University of Delhi (INDIA). He has been conferred with Young Promising Researcher in the field of Technology Management and Software Reliability by Society for Reliability Engineering, Quality and Operations Management in 2012. He is a lifetime member of the Society for Reliability Engineering, Quality and Operations Management. He is also on the editorial board of International Journal of Mathematical, Engineering and Management Sciences. He has edited two books entitled “System reliability Management: Solutions & Technologies” and “Recent Advancements in Software Reliability Assurance”; both by CRC Press Taylor & Francis Group. He has Guest edited several Special Issues for Journals of international repute. His research interest includes software reliability growth modelling, modelling innovation adoption and successive generations in marketing, and social network analysis. Prof. Juri Vain graduated in System Engineering from Tallinn Polytechnic Institute, Estonia in 1979. He received his PhD in computer science from the Institute of Cybernetics at Estonian Academy of Sciences in 1987. Currently, he is Tenure Professor of Formal Methods at the Department of Software Science, Tallinn University of Technology. His research interests include formal methods, model-based testing, cyber physical systems, human-computer interaction, autonomous robotics, and artificial intelligence. He has been leading researcher in several international projects under EU framework programs and Centre of Excellence on Human Adaptive Mechatronics at Tokyo Denki University. He has published 200 scientific articles including journal papers, book chapters and conference papers. He has been invited speaker at many international conferences and summer schools. Under his supervision 8 PhD thesis and more than 20 MSc thesis have been defended. He is teaching formal methods, model-based testing and constraint logic programming Dr. Jagvinder Singh is an Assistant Professor at USME, DTU East Campus. He has completed his Ph.D (Operations Research) as well as M.sc (Operations Research) from University of Delhi (D.U). He has more than 8 years of teaching experience at University of Delhi in teaching the students of graduation as well as post graduation level. He has more than 30 research papers published to his credit at various reputed national as well as international journals some of them are published by renowned publishing houses such as Elsevier, Emerald, Taylor &Francis, Springer etc. His area of specialization is Mathematical Modelling in software reliability and management sciences. He is also involved as a supervisor and is guiding 4 of his research scholars. Dr.Mohammd Tabrez Quasim received his Ph.D ( Computer Science) from Tilkamanjhi Bhagalpur University and M.C.A. from Punjab Technical University, Punjab, India. Presently he is working as Assistant Professor at University of Bisha, Saudi Arabia. His research interests include but are not limited to IOT, Big Data, Cloud Computing, Blockchain, Wireless Sensors Networks. He has more than 10 year of experience in his research area. He has published many journal articles, Edited Book, Book Chapters and conference papers in various internationally recognized academic databases. He is contributing to the research community by various volunteer activities in the capacity of editor for many journal and conference chair in various reputed IEEE/Springer.