Amol Wakankar

According to our database, Amol Wakankar authored at least 10 papers between 2013 and 2023.

Collaborative distances:

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

2023

Development of Safety-Critical Systems - Architecture and Software

Gopinath Karmakar, Amol Wakankar, Ashutosh Kabra, Paritosh K. Pandya

Springer, ISBN: 978-3-031-27900-3, 2023

2019

Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields.

Paritosh K. Pandya, Amol Wakankar

Proceedings of the Proceedings Tenth International Symposium on Games, 2019

Specification and Reactive Synthesis of Robust Controllers.

Paritosh K. Pandya, Amol Wakankar

CoRR, 2019

DCSYNTH: A Tool for Guided Reactive Synthesis with Soft Requirements.

Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel

CoRR, 2019

DCSynth: Guided Reactive Synthesis with Soft Requirements.

Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Logical specification and uniform synthesis of robust controllers.

Paritosh K. Pandya, Amol Wakankar

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

2017

DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis.

Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel

CoRR, 2017

Formalizing Timing Diagram Requirements in Discrete Duration Calulus.

Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar

CoRR, 2017

Formalizing Timing Diagram Requirements in Discrete Duration Calculus.

Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2013

Experience with testing and rigorous program analysis for qualification of RTOS.

Amol Wakankar, Arindam Khan, G. Aravamuthan, A. K. Bhattacharjee

Proceedings of the 6th India Software Engineering Conference, 2013