Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields von Pandya, Paritosh K., Wakankar, Amol

Volltext

Architectural model driven dependability analysis of computer based safety system in nuclear power plant von Wakankar, Amol, Kabra, Ashutosh, Bhattacharjee, A.K., Karmakar, Gopinath

Volltext

Specification and optimal reactive synthesis of run-time enforcement shields von Pandya, Paritosh K., Wakankar, Amol

Volltext

DCSynth: Guided Reactive Synthesis with Soft Requirements von Wakankar, Amol, Pandya, Paritosh K., Matteplackel, Raj Mohan

Volltext

Architecture-Centric Dependability Analysis for I&C Safety Systems in NPP: A Case Study von Wakankar, Amol, Kabra, Ashutosh, Bhattacharjee, A. K., Karmakar, Gopinath

Volltext

Architectural model driven dependability analysis of computer based safety system in nuclear power plant von Wakankar, Amol, Kabra, Ashutosh, Bhattacharjee, A.K, Karmakar, Gopinath

Volltext

Formalizing Timing Diagram Requirements in Discrete Duration Calculus von Matteplackel, Raj Mohan, Pandya, Paritosh K., Wakankar, Amol

Volltext

Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields von Pandya, Paritosh K, Wakankar, Amol

Volltext

Specification and Reactive Synthesis of Robust Controllers von Pandya, Paritosh K, Wakankar, Amol

Volltext bestellen

DCSYNTH: Guided Reactive Synthesis with Soft Requirements von Wakankar, Amol, Pandya, Paritosh K, Matteplackel, Rajmohan

Volltext bestellen

Specification and Reactive Synthesis of Robust Controllers von Pandya, Paritosh K, Wakankar, Amol

Volltext

DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis von Wakankar, Amol, Pandya, Paritosh K, Matteplackel, Raj Mohan

Volltext bestellen

Formalizing Timing Diagram Requirements in Discrete Duration Calulus von Matteplackel, Raj Mohan, Pandya, Paritosh K, Wakankar, Amol

Volltext bestellen

DCSYNTH: Guided Reactive Synthesis with Soft Requirements von Wakankar, Amol, Pandya, Paritosh K, Rajmohan Matteplackel

Volltext

Formal Verification of Conventionally Qualified Safety Critical Systems von Saxena, Prateek, Wakankar, Amol, Ajith, K. J., Nirgude, Y. S., Bhamra, Ratna, Sonnis, S. T., Kavalan, P. K., Vaidya, U. W.

Volltext

DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis von Wakankar, Amol, Pandya, Paritosh K, Matteplackel, Raj Mohan

Volltext

Formalizing Timing Diagram Requirements in Discrete Duration Calulus von Matteplackel, Raj Mohan, Pandya, Paritosh K, Wakankar, Amol

Volltext

Formalization of sequential function chart as synchronous model in LUSTRE von Kabra, A., Bhattacharjee, A., Karmakar, G., Wakankar, A.

Volltext bestellen