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 51 - 63 of 63

National

  1. Faculty development workshop on Java and its Application - Sagar Institute of Technology and Management Invited Talk
  2. Seminar on ‘Information System Control’ - LBS Institute of Management Studies, Lucknow Invited Talk
  3. National Seminar on Emerging Trends in Information Technology - Regional Science Center, LBSIMS, Lucknow Invited Talk
  4. International Workshop and Training Program on Cyber Laws, Crimes and Intellectual Property Right for Judicial Officers… - Judicial Training & Research Institute , Lucknow, India Invited Talk
  5. Two Week Summer Course on Foundations of Information Technology - Academic Staff College, U P Technical University, Lucknow, India Expert
  6. Training Program of Judicial Officers of Govt. of Utter Pradesh - Judicial Training and Research Institute, Lucknow Invited Talk
  7. International Workshop and Training Program on Cyber Laws, Crimes and Intellectual Property Right for Judicial Officer… - Judicial Training & Research Institute, Lucknow Invited Talk
  8. One week training program on Basic Computer Awareness and Internet - Institute of Management Development , Govt. of UP Expert
  9. One week training program on Basic Computer Awareness and Internet - Institute of Management Development, Govt. of UP Invited Talk

State

  1. Workshop on Digital India-Altering Landscapes, Smart Governance-Impact and implementation challenges, DIAL 2018 - PNB IIT Auditorium, Lucknow organized by Computer Society of India Chair
  2. Workshop on social media and data breach - UP Police, UP ATS Headquarters, Lucknow Invited Talk
  3. All India Workshop on “Skill Development in Renewable Energy Sector” - Institution of Engineers Invited Talk
  4. International Conference on Recent Trends in Electrical and Electronics Engineering, RTEECE 2016 - Bundelkhand Institute of Engineering & Technology, Jhansi (U.P.) Organizer

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