( en | de | ru )

 

Disambiguation of "Kulkarni, Sandeep S."

Author of the publication

copydeleteadd this publication to your clipboard
Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms.

, , and . SSS, volume 9212 of Lecture Notes in Computer Science, page 217-232. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sandeep S Patil

Jagadish Kulkarni

Praveen Kulkarni

Suchita Kulkarni

Aniket Kulkarni

 

Other publications of authors with the same name

Terminating alternator.. Parallel Process. Lett., 17 (4): 379-390 (2007)Symbolic synthesis of masking fault-tolerant distributed programs., , and . Distributed Comput., 25 (1): 83-108 (2012)Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance., and . IEEE Trans. Dependable Secur. Comput., 2 (3): 201-215 (2005)Resettable vector clocks., , and . PODC, page 269-278. ACM, (2000)ProSe - A Programming Tool for Rapid Prototyping of Sensor Networks., and . SECON, page 685-686. IEEE, (2007)Transformations for Write-All-with-Collision Model., and . OPODIS, volume 3144 of Lecture Notes in Computer Science, page 184-197. Springer, (2003)Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks., and . SIROCCO, volume 11085 of Lecture Notes in Computer Science, page 345-360. Springer, (2018)Masking Faults While Providing Bounded-Time Phased Recovery., and . FM, volume 5014 of Lecture Notes in Computer Science, page 374-389. Springer, (2008)UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata., , and . NFM, volume 9058 of Lecture Notes in Computer Science, page 429-435. Springer, (2015)Distributing Key Updates in Secure Dynamic Groups., and . ICDCIT, volume 3347 of Lecture Notes in Computer Science, page 410-419. Springer, (2004)