Login / Signup
Amol Wakankar
Publication Activity (10 Years)
Years Active: 2013-2022
Publications (10 Years): 9
Top Topics
Controller Synthesis
Discrete Space
Reactive Systems
Functional Requirements
Top Venues
CoRR
ISEC
VSTTE
GandALF
</>
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)