Amol Wakankar

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 9

Top Topics

Controller Synthesis

Reactive Systems

Functional Requirements

Top Venues

Publications

Paritosh K. Pandya, Amol Wakankar
Specification and optimal reactive synthesis of run-time enforcement shields. Inf. Comput. 285 (Part) (2022)
Paritosh K. Pandya, Amol Wakankar
Specification and Reactive Synthesis of Robust Controllers. CoRR (2019)
Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel
DCSYNTH: A Tool for Guided Reactive Synthesis with Soft Requirements. CoRR (2019)
Paritosh K. Pandya, Amol Wakankar
Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields. GandALF (2019)
Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel
DCSynth: Guided Reactive Synthesis with Soft Requirements. VSTTE (2019)
Paritosh K. Pandya, Amol Wakankar
Logical specification and uniform synthesis of robust controllers. MEMOCODE (2019)
Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar
Formalizing Timing Diagram Requirements in Discrete Duration Calulus. CoRR (2017)
Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar
Formalizing Timing Diagram Requirements in Discrete Duration Calculus. SEFM (2017)
Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel
DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis. CoRR (2017)
Amol Wakankar, Arindam Khan, G. Aravamuthan, A. K. Bhattacharjee
Experience with testing and rigorous program analysis for qualification of RTOS. ISEC (2013)