Dr Divakar Singh Yadav
Dr Divakar Singh Yadav
Department of Computer Science & Engineering, Institute of Engineering & Technology, Lucknow
Verified email at - Homepage
Cited by
Cited by
An incremental development of the Mondex system in Event-B
M Butler, D Yadav
Formal Aspects of Computing 20, 61-77, 2008
Rigorous development of complex fault-tolerant systems
M Butler, C Jones, A Romanovsky, E Troubitsyna
Springer, 2006
Understanding and estimation of emotional expression using acoustic analysis of natural speech
NS Fulmare, P Chakrabarti, D Yadav
International Journal on Natural Language Computing (IJNLC) 2 (4), 37-46, 2013
Rigorous design of fault-tolerant transactions for replicated database systems using Event B
D Yadav, M Butler
Rigorous Development of Complex Fault-Tolerant Systems, 343-363, 2006
Introduction of formal methods in blockchain consensus mechanism and its associated protocols
S Verma, D Yadav, G Chandra
IEEE Access 10, 66611-66624, 2022
Foundations of Information Technology
DS Yadav
New Age International, 2007
Application of Event B to global causal ordering for fault tolerant transactions
D Yadav, M Butler
Methods, models and tools for fault tolerance
M Butler, CB Jones, A Romanovsky, E Troubitsyna
Springer Berlin Heidelberg, 2009
Microcontroller: features and applications
DS Yadav
New Age International, 2004
Analysis of lane detection techniques using opencv
SK Vishwakarma, DS Yadav
2015 annual IEEE india conference (INDICON), 1-4, 2015
Performance evaluation of optimizers in the classification of marble surface quality using CNN
RG Tiwari, DS Yadav, A Misra
Proceedings of Third Doctoral Symposium on Computational Intelligence: DoSCI …, 2022
Modeling of multiversion concurrency control system using Event-B
R Suryavanshi, D Yadav
2012 Federated Conference on Computer Science and Information Systems …, 2012
Formal development of a total order broadcast for distributed transactions using Event-B
D Yadav, M Butler
Methods, Models and Tools for Fault Tolerance, 152-176, 2009
Formal development of byzantine immune total order broadcast system using Event-B
R Suryavanshi, D Yadav
Data Engineering and Management: Second International Conference, ICDEM 2010 …, 2012
Verification of liveness properties in distributed systems
D Yadav, M Butler
Contemporary Computing: Second International Conference, IC3 2009, Noida …, 2009
Mathematical framework for a novel database replication algorithm
SK Yadav, G Singh, DS Yadav
International Journal of Modern Education and Computer Science 5 (9), 1, 2013
A Comparative Study of Checkpointing Algorithms for Distributed Systems
DSY Bal Krishna Saraswat, Raghuraj Suryavanshi
International Journal of Pure and Applied Mathematics 118 (20), 1595-1603, 2018
Formal specification and verification of total order broadcast through destination agreement using e Vent-B
A Singh, D Yadav
International Journal of Computer Science & Information Technology 7 (5), 85-95, 2015
Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B
D Yadav, M Butler
Effect of continuous cropping and fertilizer application on fertility status of soil
LP Verma, DS Yadav, R Singh
J. Indian Society of Soil Science 35, 754-756, 1987
The system can't perform the operation now. Try again later.
Articles 1–20