Displaying 1 - 13 of 13
Book Chapter

2021

  1. Advances in Intelligent Systems and Computing, Pooja Yadav , Raghuraj Suryavanshi , Divakar Yadav, 11 pages, Springer , 2021, ISBN : 2194-5357,

2020

  1. Inventive Communication and Computational Technologies, Alok Misra , Divakar Singh Yadav , 10 pages, Lecture Notes in Networks and Systems, vol 89, Springer, Singapore , 2020, ,

2019

  1. Data, Engineering and Applications , Pooja Yadav , Raghuraj Suryavanshi , Arun Kumar Singh, Divakar Yadav, 12 pages, Springer, Singapore , 2019, ISBN : 978-981-13-6350-4,

2012

  1. Information System Security , Girish Chandra , Divakar Yadav , 15 pages, Lecture Notes in Computer Science,vol 7671, Springer-Verlag , 2012, ,
  2. Communications in Computer and Information Sciences, Raghuraj Suryavanshi , Divakar Yadav , 11 pages, Springer-Verlag , 2012, ISBN : 978-3-642-32128-3,
  3. Data Engineering and Management, Girish Chandra , Divakar Yadav , 8 pages, Lecture Notes in Computer Science, Vol 6411, pp 325-332, Springer-Verlag, Berlin-Heidelberg , 2012, ISBN : 978-3-642-27871-6,
  4. Data Engineering and Management, Raghuraj Suryavanshi , Divakar Yadav , 8 pages, Lecture Notes in Computer Science, Vol 6411, Springer-Verlag, Berlin-Heidelberg , 2012, ISBN : 978-3-642-27871-6,

2009

  1. Method, Models and Tool for Fault-Tolerance, Divakar Yadav , Michael Butler , 25 pages, Lecture Notes in Computer Science, Vol. 5454, Springer, Berlin, Heidelberg , 2009, ISBN : 978-3-642-00866-5,

2007

  1. Rigorous Development of Complex Fault Tolerant Systems, Divakar Yadav , Michael Butler , 21 pages, "Lecture Notes in Computer Science, vol 4157. Springer, Berlin, Heidelberg , 2007, ,
Complete Book

2008

  1. Computer Concepts and Programming in C, D.S.Yadav , R Khanna , 517 pages, New Age International Publishers, New Delhi , 2008, ISBN : 978-81-224-2571-0,
  2. Information Technology and Numerical Methods, D.S.Yadav , Girish Chandra , N Chelmaiah, 384 pages, New Age International Publishers, New Delhi , 2008, ISBN : 978-81-224-1423-3,

2006

  1. Microcontrollers: Features and Application, D.S.Yadav , A. K. Singh , 282 pages, New Age International Publishers, New Delhi , 2006, ,

2001

  1. Foundations of Information Technology, D.S.Yadav , 506 pages, New Age International Publishers, New Delhi , 2001, ISBN : 81-224-1490-7,
Displaying 1 - 51 of 51 publications

2023

  1. Shina Panicker, T.V. Vijay Kumar, Divakar Yadav, A Novel Transformation-Based E-Commerce Website Structure Optimization Model, IETE Technical Review, Taylor & Francis, , pp. 1-10, 2023. DOI : https://doi.org/10.1080/02564602.2023.2182835

2022

  1. Pooja Yadav, Raghuraj Suryavanshi, Divakar Yadav, Rigorous Design of Fault Tolerance and Recovery Algorithm for Disaster Management and Relief Distribution System using Event-B, Journal of Scientific and Industrial Research, NISCAIR-CSIR, , pp. 518-529, 2022.
  2. Sudhani Verma, Divakar Yadav, Girish Chandra, Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols, IEEE Access, IEEE, , pp. 66611 - 66624, 2022. DOI : 10.1109/ACCESS.2022.3184799

2021

  1. D Kumar, D Yadav, A comprehensive analysis of wavelet tree based indexing schemes in GIR systems, Intl. J. Information Technology, Spriner, , pp. 2227–2236 , 2021. DOI : https://doi.org/10.1007/s41870-021-00683-1
  2. Naveen Kumar, Sanjay Kumar Yadav, Divakar Singh Yadav , An Approach for Documents Clustering using K-Means Algorithm, Advances in Science, Technology & Innovation , Springer, Cham, , , 2021. DOI : https://doi.org/10.1007/978-3-030-66218-9_54
  3. Shantanu Shukla, Raghuraj Suryavanshi, Divakar Yadav, Formal Modelling of Cluster-Coordinator-Based Load Balancing Protocol Using Event-B, Advances in Intelligent Systems and Computing, Vol 1374, Springer, Singapore, , pp. 593-604, 2021. DOI : https://doi.org/10.1007/978-981-16-3346-1_48
  4. Sudhani Verma, Divakar Yadav, Girish Chandra, Leader Election Algorithm in Fault Tolerant Distributed System, Advances in Intelligent Systems and Computing, Vol 1374, Springer, Singapore, , pp. 471-480, 2021. DOI : https://doi.org/10.1007/978-981-16-3346-1_38
  5. Yadav Pooja, Raghuraj Suryavanshi, Divakar Yadav, Formal Verification of Liveness Properties in Causal Order Broadcast Systems Using Event-B, Advances in Intelligent Systems and Computing, Springer, Singapore, , pp. 199-210, 2021. DOI : https://doi.org/10.1007/978-981-16-3346-1_16
  6. Pooja Yadav, Raghuraj Suryavanshi, Divakar Yadav, Formal Verification of Receiver Initiated Load Distribution Protocol with Fault Tolerance and Recovery, Journal of Scientific and Industrial Research, NISCAIR-CSIR, , pp. 1078-1090, 2021.
  7. Bal Krishna Saraswat, Raghuraj Suryavanshi, Divakar Yadav, Formal Specification & Verification of Checkpoint Algorithm for Distributed Systems using Event-B, International Journal of Engineering Trends and Technology, IJETT Journal, , pp. 1-9, 2021.
  8. Bal Krishna Saraswat, Raghuraj Suryavanshi, Divakar Yadav, Formal Development of a Fault Tolerant Distributed Checkpoint Process Using Event-B, Turkish Journal of Computer and Mathematics Education , Turkish Journal of Computer and Mathematics Education, , pp. 2748- 2762, 2021.

2020

  1. Anupam Singh, Raghuraj Suryavanshi, Divakar Yadav, Formal Specification and Verification of Replication in Blockchain Oriented Transactional System Using Event-B, International Journal of Advanced Science and Technology , International Journal of Advanced Science and Technology , , pp. 11172-11181, 2020.
  2. Alok Mishra, Divakar Yadav, Evading Gratuitous Energy Consumption Due to Activation of Superfluous Nodes in WSN, Inventive Communication and Computational Technologies, Lecture Notes in Networks and Systems, Springer, , pp. 1295-1305, 2020.
  3. Naveen Kumar, Sanjay Kumar Yadav, Divakar Singh Yadav , An Improved Clustering on Text Mining Using Partitioned Approach, Journal of Xidian University, Journal of Xidian University, , pp. 320-324, 2020.

2019

  1. Bal Krishna Saraswat, Raghuraj Suryavanshi, Divakar Singh Yadav , A COMPARATIVE STUDY OF CHECKPOINTING ALGORITHMS FOR DISTRIBUTED SYSTEMS, International Journal of Pure and Applied Mathematics, International Journal of Pure and Applied Mathematics, , pp. 1595-1603, 2019.
  2. Pooja Yadav, Raghuraj Suryavanshi, Divakar Yadav, Formal Verification of Causal Order-Based Load Distribution Mechanism Using Event-B, Data, Engineering and Applications, Springer, , pp. 229-241, 2019.
  3. Alok Misra, Divakar Yadav, Effective data lookup scheme for Cluster based Data Sharing in MANET, 2018 2nd International Conference on I-SMAC, IEEE , , , 2019. DOI : 10.1109/I-SMAC.2018.8653763
  4. Anupam Singh, Raghuraj Suryavanshi, Divakar Singh Yadav , Formal Development of Fault-Tolerant Majority Based Replica Control Protocol using Event-B, International Journal of Innovative Technology and Exploring Engineering, Blue Eyes Intelligence Engineering & Sciences Publication , , pp. 260-267, 2019. DOI : 10.35940/ijitee.I1041.0789S19
  5. Anupam Singh, Raghuraj Suryavanshi, Divakar Yadav, Formal Development and Verification of Quorum Based Static Voting Replica Control Protocol Using Event-B, International Journal of Advanced Science and Technology, International Journal of Advanced Science and Technology, , pp. 133-144 , 2019.
  6. Shantanu Shukla, Raghuraj Suryavanshi, Divakar Yadav, Split Point Load Balancing Algorithm based on Event-B, International Journal of Innovative Technology and Exploring Engineering , Blue Eyes Intelligence Engineering & Sciences Publication, , , 2019.

2018

  1. A Misra, Divakar Yadav, Improved Cluster Head Determination in Heterogeneous Wireless Network, International Journal of Applied Engineering Research , Research India Publications, , pp. 5418-5422 , 2018.

2017

  1. Heeralal , Divakar Yadav, ICT in Governance; Study of ICT Projects in governance in India, International Journal of Academic Research and Development, International Journal of Academic Research and Development, , , 2017.

2016

  1. Sanjay Kumar, Gurmit Singh , Divakar Yadav, Analysis of a Database Replication Algorithm under load sharing in network, Journal of Engineering Science and Technology, Journal of Engineering Science and Technology, , , 2016.
  2. Sunil Kumar, Akash, Divakar Singh Yadav , Analysis of lane detection techniques using open CV, 2015 Annual IEEE India Conference , IEEE , , , 2016. DOI : 10.1109/INDICON.2015.7443166

2015

  1. Girish Chandra, Raghuraj Suryavanshi , Divakar Yadav, Formal verification of Distributed Checkpointing using Event-B, International Journal of Computer Science and Information Technology, International Journal of Computer Science and Information Technology, , pp. 59-73, 2015. DOI : 10.5121/ijcsit.2015.7504
  2. Girish Chandra , Divakar Yadav, Formal Development of Basic Timestamp Concurrency Control Mechanism using Event-B, International Journal of Computer Application, Foundation of Computer Science, New York, USA., , , 2015. DOI : 10.5120/ijca2015905409
  3. Subodh Kumar, Girish Chandra, Divakar Yadav, Formal Verification of Security Protocol using B Method, 2014 International Conference on Computer and Communication Technology, IEEE , , , 2015. DOI : 10.1109/ICCCT.2014.7001486
  4. Natthan Singh, Manik Chandra, Divakar Yadav, Formal Specifications of Asynchronous checkpointing using Event-B, 2015 International Conference on Advances in Computer Engineering and Applications, IEEE , , , 2015. DOI : 10.1109/ICACEA.2015.7164773
  5. Singh, A.K, Divakar Yadav , V K Singh, Formal development of path discovery in AODV Routing Protocol using Event-B, International Journal of Computer Applications, Foundation of Computer Science, New York, USA, , , 2015.
  6. P Bahadur , Divakar Yadav, Computer Forensics: Digitized Science, 2015 SAI Intelligent Systems Conference , IEEE, , , 2015. DOI : 10.1109/IntelliSys.2015.7361269
  7. Arun Kumar Singh, Divakar Yadav, Formal specifications and verification of total order broadcast through destination agreement using Event-B, International Journal of Computer Science and Information Technology, International Journal of Computer Science and Information Technology, , , 2015.

2014

  1. Singh, A.K, Divakar Yadav , V K Singh, Modeling of DSDV Routing Protocol for Ad Hoc networks Using Event-B, International Journal of Computer Engineering & Technology, IAEME, , pp. 108-116 , 2014.

2013

  1. Sanjay Kumar, Gurmit Singh , Divakar Yadav, Mathematical Framework for a Novel Database Replication Algorithm, International Journal of Modern Education and Computer Science , Modern Education and Computer Science Press, , pp. 1-10, 2013. DOI : 10.5815/ijmecs.2013.09.01
  2. Sanjay Kumar, Gurmit Singh , Divakar Yadav, Analysis of Database Replication Algorithm in Local and Global Networks, International Journal of Computer Applications, International Journal of Computer Applications, , , 2013.
  3. N Phulmare, P Chakravorty, Divakar Yadav, Understanding and Estimation of Emotional Expression using acoustic analysis of natural speech, International Journal on Natural Language Computing , International Journal on Natural Language Computing , , pp. 37-46, 2013. DOI : 10.5121/ijnlc.2013.2503
  4. Sanjay Kumar, Gurmit Singh , Divakar Yadav, Throughput and Delay Analysis of Database Replication Algorithms, International Journal of Modern Education and Computer Science , Modern Education and Computer Science Press, , pp. 47-53, 2013. DOI : 10.5815/ijmecs.2013.12.07

2012

  1. Girish Chandra, Divakar Yadav,

    Verification of Money Atomicity in Digital Cash Based Payment System

    , Information Systems Security, "Lecture Notes in Computer Science, vol 4157. Springer, Berlin, Heidelberg, , pp. 249-264, 2012.
  2. Girish Chandra, Divakar Yadav,

    Analyzing Data Flow in Trustworthy Electronic Payment Systems Using Event-B

    , Data Engineering and Management, Lecture Notes in Computer Science, Vol 6411, pp 325-332, Springer-Verlag, Berlin-Heidelberg, , pp. 325-332, 2012.
  3. Raghuraj Suryavanshi, Divakar Yadav, Formal Development of Byzantine Immune Total Order Broadcast System Using Event-B, Data Engineering and Management , Lecture Notes in Computer Science, Vol 6411, Springer-Verlag, Berlin-Heidelberg, , pp. 317-324, 2012.
  4. Raghuraj Suryavanshi, Divakar Yadav, Rigorous Design of Lazy Replication System Using Event-B, Contemporary Computing, Communications in Computer and Information Sciences(CCIS), Vol 306, , Springer-Verlag, Berlin-Heidelberg, , pp. 407-418, 2012.

2011

  1. Raghuraj Suryavanshi, Divakar Yadav, Rigorous Design of Partition-Aware Total Order Broadcast System using Event-B, International Journal of Computer Applications, International Journal of Computer Applications, , , 2011. DOI : 10.5120/3123-4297

2009

  1. Divakar Yadav, Michael Butler, Verification of Liveness Properties in Distributed Systems, Contemporary Computing, Springer Berlin Heidelberg, , pp. 625-636, 2009.
  2. J Pandey, S Joshi, D S Yadav, ANN Based Crop Yield Forecasting Model Using Remote Sensing and Surface Parameters, International journal of Emerging Technologies and Applications in Engineering, Technology and Sciences, International journal of Emerging Technologies and Applications in Engineering, Technology and Sciences, , pp. 724-727, 2009.
  3. Divakar Yadav, Michael Butler, Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B, Method, Models and Tool for Fault-Tolerance, Lecture Notes in Computer Science, Vol. 5454, Springer, Berlin, Heidelberg, , pp. 152-176, 2009.

2007

  1. Divakar Yadav, Michael Butler, Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B, Technical Report, School of Electronics and Computer Science, University of Southampton, , , 2007.
  2. Divakar Yadav, Michael Butler, Rigorous Design of Fault-tolerant Transactions for Replicated Databases, Final Report on Methodology, European Union IST project 511599, RODIN, Newcastle upon Tyne, UK, , pp. 31-33, 2007.
  3. P Kangsabanik, D S Yadav, R Mall, A K Majumdar, Performance analysis of long-lived cooperative transactions in active DBMS, Data and Knowledge Engineering , Elsevier Science Publishers B. V. Amsterdam, , pp. 547–577, 2007. DOI : https://doi.org/10.1016/j.datak.2006.11.001
  4. Michael Butler, Divakar Yadav, An incremental development of the Mondex system in Event-B, Formal Aspects of Computing, Springer, , pp. 61–77, 2007. DOI : https://doi.org/10.1007/s00165-007-0061-4

2006

  1. Divakar Yadav, Michael Butler, Development of Distributed Transaction in Event-B, Intermediate Report on Methodology, European Union IST project RODIN Deliverable D19 , Newcastle upon Tyne, UK, , pp. 58-65, 2006.
  2. Divakar Yadav, Michael Butler, Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B, Springer Verlag, "Lecture Notes in Computer Science, vol 4157. Springer, Berlin, Heidelberg, , pp. 343–363, 2006.

2003

  1. D S Yadav, V S Yadav, RC Saraswat, Maintaining Legal Requirement of Digital Signature through public key cryptographic system, IETE Journal of Education, IETE Journal of Education, , pp. 131-142 , 2003.
Displaying 1 - 50 of 63

Institute

  1. Vision2020:UPTU”,Diretcors Conference - RGEC, Meerut Invited Talk

International

  1. Federated Conference on Computer Science and Information Systems 2012 - Wroclaw University of Science and Technology, Wroclaw, Poland Author
  2. Methods, Models and Tools for Fault Tolerance, MeMoT 2007 - University of Oxford Author
  3. Formal Development of Fault Tolerant Transactions for Replicated Database using Ordered Broadcasts - University of Southampton, UK Author
  4. Third Mondex case study workshop, 4th VSR-net meeting - University of York, Yorkshire, UK Author
  5. Seminar on making university research work for poor - West of England, Bristol, UK Invited Talk
  6. Second Mondex Case Study Workshop - Cosener's House, Abingdon, Oxford, UK Author
  7. RefineNet Workshop - Chilworth Manor, University of Southampton, UK Invited Talk
  8. Atomicity: A Unifying Concept in Computer Science - Schloss Dagstuhl, Germany Author
  9. Group Seminar, DSSE research group - School of Electronics and Computer Science, University of Southampton, UK Invited Talk
  10. Rigorous Engineering of Fault Tolerant System, REFT2005 - University of Newcastle upon Tyne, UK Author
  11. Group Seminar, DSSE research group - School of Electronics and Computer Science, University of Southampton, UK Author
  12. Transaction Management in Real Time Active Database System Multimedia University, Kuala Lumpur, Malaysia Invited Talk
  13. Concurrency Control Schemes for Real Time Active Database System Advanced Computing Research Center ,University of South Australia , Adelaide , Australia Invited Talk
  14. Capturing the business processes and their customization on AXAPTA 2.0: an Integrated ERP Tool - Sanomed Medizintechnik, Hamburg, Germany Invited Talk
  15. Transaction Processing in Active Database Management System - Sanomed Medizintechnik, Hamburg, Germany Invited Talk
  16. Transaction Processing in Active Database Management System - Sanomed Medizintechnik, Hamburg, Germany Author

National

  1. National Conference on Artificial Intelligence, Research, Innovations and Its Applications - Amity University, Lucknow Invited Talk
  2. Innovation and Start-Up summit - Government Medical College, Banda organized by Council of Science and Technology, Govt. of U.P Invited Talk
  3. Workshop on Digital India-Altering Landscapes, Tracking the journey of Digitally empowered India - Computer Society of India Chair
  4. International Seminar on Sources of Planet Energy, Environmental and Disaster Science - SMS Lucknow Invited Talk
  5. Faculty Development Program on Advances in Thermal Engineering - Bundelkhand Institute of Engineering & Technology, Jhansi (U.P.) Organizer
  6. International Conference on Bio Medical Engineering & Supportive Technologies, BEST 2016 - Bundelkhand Institute of Engineering & Technology, Jhansi (U.P.) Organizer
  7. Faculty Development Program on Signal and Image Processing, SIP-2016 - Bundelkhand Institute of Engineering & Technology, Jhansi (U.P.) Organizer
  8. Seminar on Recent Trends in Engineering - Ansal Technical Campus, Lucknow Expert
  9. National Seminar on Mobile Technology & Cloud Computing - IMS Ghaziabad Invited Talk
  10. Workshop on Tourism - RBS Technical Campus, Agra Invited Talk
  11. Workshop on Matlab and its applications - Agra College, Agra Invited Talk
  12. “Working together for IT Development”, Meeting of Minds - Tata Consultancy Services, TCS New Delhi Invited Talk
  13. Transactions in Banking - Maharana Pratap Engineering College, Kanpur Invited Talk
  14. Rigorous Design of Distributed Transactions - 101th Indian Science Congress, University of Jammu, Jammu Invited Talk
  15. Workshop on Software Development and Recent Trends - Amity University, Lucknow Expert
  16. 2nd Intl Conf on Emerging Trends in Intelligent Computing and Communication EICC-2013 - Galgotias College, Greater Noida Invited Talk
  17. National Workshop on Recent Trends in ICT - SIT Mathura Invited Talk
  18. Workshop on Role of Training and Placement Cells in Universities - Univ. of Kanpur, Kanpur Invited Talk
  19. Recent Trends in Information Technology - Techno-Quest 10, in association with Computer Society of India, Lucknow Christian College Invited Talk
  20. National Conference on Emerging Trends in Information/ Network Security - Amity University, Lucknow Campus and Computer Society of India Invited Talk
  21. Int. Conf. Data Engineering & Management - Bishop Heber, Tiruchirapalli Chair
  22. National Conference on Research and Development Trends in ICT - University of Lucknow, Lucknow Invited Talk
  23. National Seminar on Emerging Applications on Next generation Networks - Taj Residency, Lucknow Invited Talk
  24. IETE Foundation Day Celebration - Lucknow, Institution of Electronics and Telecommunication Engineers, Lucknow Invited Talk
  25. AICTE Sponsored workshop on Information Security and Its applications - Indian Institute of Information Technology (IIIT), Allahabad Invited Talk
  26. Seminar on Advancement in Computing and Technology - BBDNITM, Lucknow Invited Talk
  27. Faculty Development Program on Software Project Management - LBIMDS, Lucknow Invited Talk
  28. Students Symposia in Computing - SRM College of Engineering and Management Invited Talk
  29. National Conference - LBS Institute of Management and Development Studies, Lucknow Invited Talk
  30. Faculty Development Program(FDP) under TEQIP on “Wireless Communication Technologies & Its Applications - College of Technology, G B Pant university of Ag. & Technology, Pantnagar Invited Talk
  31. Workshop and Faculty Development Program on RDBMS - Ambedkar Institute of Technology for Handicapped, Kanpur UP Invited Talk
  32. AICTE assisted Faculty Development Program(FDP) on Issue in Distributed Systems - Motilal National Institute of Technology, Allahabad, UP, India. Invited Talk
  33. National Seminar on Distributed Computing and Network - LBSIMDS, Navin Bhawan Auditorium Invited Talk
Displaying 1 - 5 of 5

Research

  • Council of Science & Technology, DST, Govt of U.P , Rs. 680000.00, 2018, Completed
  • Council of Science & Technology, Govt of U.P, Rs. 780000.00, 2019, Completed
  • Council of Science & Technology, Govt of U.P, Rs. 780000.00, 2019, Ongoing
  • Council of Science & Technology, Govt of U.P, Rs. 680000.00, 2018, Completed
  • Council of Science & Technology, Govt of U.P, Rs. 1044000.00, 2022, Ongoing

Doctor of Philosophy

  1. A Cluster-based data sharing scheme for mobile Adhoc networks, Alok Misra , 2021, Dr APJ Abdul Kalam Technical University Uttar Pradesh, Lucknow
  2. Formal Development of Replica Control Protocol Using Event-B, Anupam Singh, 2021, Dr APJ Abdul Kalam Technical University Uttar Pradesh, Lucknow
  3. Role of ICT in achieving good governance in Uttar Pradesh : A study of selected government programs/initiatives, Heera Lal , 2020, Dr APJ Abdul Kalam Technical University Uttar Pradesh, Lucknow
  4. Formal Specifications and Verification of Routing Protocols in MANET, Arun Kumar Singh , 2015, Dr APJ Abdul Kalam Technical University Uttar Pradesh, Lucknow
  5. Formal Development of Trustworthy Electronic Payment Systems, Girish Chandra , 2015, Dr APJ Abdul Kalam Technical University Uttar Pradesh, Lucknow
  6. Verification of Protocols for replicated databases : understanding issues in Group Communication, Data Management and Fault Tolerance, Raghuraj Singh Suryavansi , 2015, Dr APJ Abdul Kalam Technical University Uttar Pradesh, Lucknow
  7. Replication control protocols for distributed databases, Sanjay Kumar , 2014, Central Institute of Plastic Engg. & Technology,Lucknow