Amol Damare

According to our database, Amol Damare authored at least 4 papers between 2021 and 2025.

Collaborative distances:

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

2025

A Barrier Certificate-Based Simplex Architecture for Systems With Approximate and Hybrid Dynamics.

Amol Damare, Shouvik Roy, Roshan Sharma, Keith D'Souza, Scott A. Smolka, Scott D. Stoller

IEEE Access, 2025

2022

Runtime-Assured, Real-Time Neural Control of Microgrids.

Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller

CoRR, 2022

A Barrier Certificate-Based Simplex Architecture with Application to Microgrids.

Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller

Proceedings of the Runtime Verification - 22nd International Conference, 2022

2021

A Distributed Simplex Architecture for Multi-agent Systems.

Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021