Swee Balachandran

According to our database, Swee Balachandran authored at least 5 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Embedding Differential Dynamic Logic in PVS.

J. Tanner Slagel, Mariano M. Moscato, Lauren M. White, César A. Muñoz, Swee Balachandran, Aaron Dutle

Proceedings of the Proceedings 18th International Workshop on Logical and Semantic Frameworks, 2023

2022

Towards an implementation of differential dynamic logic in PVS.

J. Tanner Slagel, César A. Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren M. White

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

2020

From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project.

Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger

Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

2018

Inspection of electrical transmission structures with UAV path conformance and lidar-based geofences.

Andrew J. Moore, Matthew Schubert, Nicholas Rymer, Swee Balachandran, Maria Consiglio, César A. Muñoz, Joshua Smith, Dexter Lewis, Paul Schneide

Proceedings of the 2018 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2018

2017

Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study.

Marco A. Feliú, Camilo Rocha, Swee Balachandran

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017