Ankush Desai

Orcid: 0000-0001-9006-0100

According to our database1, Ankush Desai authored at least 19 papers between 2011 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023

Message Chains for Distributed System Verification.
Proc. ACM Program. Lang., October, 2023

Psym: Efficient Symbolic Exploration of Distributed Systems.
Proc. ACM Program. Lang., 2023

2021
PSec: Programming Secure Distributed Systems using Enclaves.
Proceedings of the ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, 2021

2020
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System.
Proceedings of the Runtime Verification - 20th International Conference, 2020

2019
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems.
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

2018
Compositional programming and testing of dynamic distributed systems.
Proc. ACM Program. Lang., 2018

SOTER: Programming Safe Robotics System using Runtime Assurance.
CoRR, 2018

Programming Safe Robotics Systems: Challenges and Advances.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Formal Specification for Deep Neural Networks.
Proceedings of the Automated Technology for Verification and Analysis, 2018

2017
P: Modular and Safe Asynchronous Programming.
Proceedings of the Runtime Verification - 17th International Conference, 2017

Combining Model Checking and Runtime Verification for Safe Robotics.
Proceedings of the Runtime Verification - 17th International Conference, 2017

DRONA: a framework for safe distributed mobile robotics.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Lasso detection using partial-state caching.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2015
Systematic testing of asynchronous reactive systems.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Natural proofs for asynchronous programs using almost-synchronous reductions.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013
P: safe asynchronous event-driven programming.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2011
Depth Bounded Explicit-State Model Checking.
Proceedings of the Model Checking Software, 2011


  Loading...