Dr Divakar Singh Yadav
Dr Divakar Singh Yadav
Department of Computer Science & Engineering, Institute of Engineering & Technology, Lucknow
Verified email at ietlucknow.ac.in - Homepage
Cited by
Cited by
An incremental development of the Mondex system in Event-B
M Butler, D Yadav
Formal Aspects of Computing 20 (1), 61-77, 2008
Rigorous Development of Complex Fault-Tolerant Systems
M Butler, C Jones, A Romanovsky, E Troubitsyna
Springer, 2006
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
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
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
Microcontroller: Features and Applications
DS Yadav
New Age International, 2004
Methods, models and tools for fault tolerance
M Butler, CB Jones, A Romanovsky, E Troubitsyna
Springer Berlin Heidelberg, 2009
Modeling of multiversion concurrency control system using Event-B
R Suryavanshi, D Yadav
2012 Federated Conference on Computer Science and Information Systems …, 2012
Mathematical Framework for A Novel Database Replication Algorithm.
SK Yadav, G Singh, DS Yadav
International journal of Modern Education & Computer Science 5 (9), 2013
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
International Conference on Data Engineering and Management, 317-324, 2010
Verification of liveness properties in distributed systems
D Yadav, M Butler
International Conference on Contemporary Computing, 625-636, 2009
Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B
D Yadav, M Butler
Formal development of fault tolerant transactions for a replicated database using ordered broadcasts
D Yadav, M Butler
Effect of continuous cropping and fertilizer application on fertility status of soil
LP Verma, DS Yadav, R Singh
J Indian Soc. Soil Sci 35 (1), 754-756, 1987
Analysis of a database replication algorithm under load sharing in networks
SK Yadav, G Singh, DS Yadav
J Eng Sci Technol (JESTEC) 11, 193-211, 2016
Formal verification of security protocol with B method
S Kumar, G Chandra, D Yadav
2014 International Conference on Computer and Communication Technology …, 2014
Analysis of lane detection techniques using opencv
SK Vishwakarma, DS Yadav
2015 Annual IEEE India Conference (INDICON), 1-4, 2015
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
The system can't perform the operation now. Try again later.
Articles 1–20