Paritosh K. Pandya

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 26

Top Topics

Reactive Systems

Mazurkiewicz Traces

Top Venues

Publications

Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers. Formal Aspects Comput. 35 (2) (2023)
Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CONCUR (2023)
Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CoRR (2023)
Paritosh K. Pandya, Amol Wakankar
Specification and optimal reactive synthesis of run-time enforcement shields. Inf. Comput. 285 (Part) (2022)
Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers. CoRR (2021)
Shankara Narayanan Krishna, Khushraj Nanik Madnani, Manuel Mazo Jr., Paritosh K. Pandya
Logics Meet 2-Way 1-Clock Alternating Timed Automata. CoRR (2021)
Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers. FM (2021)
Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership. Log. Methods Comput. Sci. 16 (3) (2020)
Paritosh K. Pandya, Amol Wakankar
Specification and Reactive Synthesis of Robust Controllers. CoRR (2019)
Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership. 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)
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
Logics Meet 1-Clock Alternating Timed Automata. CONCUR (2018)
Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation. CSL (2018)
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
Büchi-Kamp Theorems for 1-clock ATA. CoRR (2018)
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
Making Metric Temporal Logic Rational. MFCS (2017)
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
Making Metric Temporal Logic Rational. CoRR (2017)
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)
Kamal Lodaya, Paritosh K. Pandya
Deterministic Temporal Logics and Interval Constraints. M4M@ICLA (2017)
Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
Two-variable Logic with a Between Relation. LICS (2016)
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
Metric Temporal Logic with Counting. FoSSaCS (2016)
Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
Two-variable Logic with a Between Predicate. CoRR (2016)
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
Metric Temporal Logic with Counting. CoRR (2015)
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
On Unary Fragments of MTL and TPTL over Timed Words. ICTAC (2014)
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
Partially Punctual Metric Temporal Logic is Decidable. CoRR (2014)
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
Partially Punctual Metric Temporal Logic is Decidable. TIME (2014)
Paritosh K. Pandya, Simoni S. Shah
Deterministic Logics for UL. CoRR (2014)
Paritosh K. Pandya, Simoni S. Shah
The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower bound Constraints (Full Version) CoRR (2013)
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
On the Decidability and Complexity of Some Fragments of Metric Temporal Logic CoRR (2013)
Paritosh K. Pandya, Simoni S. Shah
Deterministic Logics for UL. ICTAC (2013)
Paritosh K. Pandya, Simoni S. Shah
The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints. ATVA (2012)
Paritosh K. Pandya, Simoni S. Shah
On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing CoRR (2011)
Paritosh K. Pandya, Simoni S. Shah
On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing. CONCUR (2011)
Dileep Raghunath Kini, Shankara Narayanan Krishna, Paritosh K. Pandya
On Construction of Safety Signal Automata for $MITL[\: \mathcal{U}, \: \mathcal{S}]$ Using Temporal Projections. FORMATS (2011)
Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah
Around Dot Depth Two. Developments in Language Theory (2010)
Paritosh K. Pandya, Simoni S. Shah
Unambiguity in Timed Regular Languages: Automata and Logics. FORMATS (2010)
P. Vijay Suman, Paritosh K. Pandya
Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions. LATA (2009)
Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya
Efficient guided symbolic reachability using reachability expressions. Int. J. Softw. Tools Technol. Transf. 10 (2) (2008)
P. Vijay Suman, Paritosh K. Pandya
Timed and Hybrid Automata in SAL. SYNASC (2008)
P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa
Timed Automata with Integer Resets: Language Inclusion and Expressiveness. FORMATS (2008)
Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts. DAC (2008)
Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah
Marking the chops: an unambiguous temporal logic. IFIP TCS (2008)
Paritosh K. Pandya, Shankara Narayanan Krishna, Kuntal Loya
On Sampling Abstraction of Continuous Time Logic with Durations. TACAS (2007)
Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore
Representation, Verification, and Computation of Timed Properties in Web. ICWS (2006)
Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore
Timed Modelling and Analysis in Web Service Compositions. ARES (2006)
Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya
Efficient Guided Symbolic Reachability Using Reachability Expressions. TACAS (2006)
Kamal Lodaya, Paritosh K. Pandya
A Dose of Timed Logic, in Guarded Measure. FORMATS (2006)
Shankara Narayanan Krishna, Paritosh K. Pandya
Modal Strength Reduction in Quantified Discrete Duration Calculus. FSTTCS (2005)
Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty
Bounded Validity Checking of Interval Duration Logic. TACAS (2005)
Paritosh K. Pandya
Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Gaurav Chakravorty, Paritosh K. Pandya
Digitizing Interval Duration Logic. CAV (2003)
Paritosh K. Pandya
Interval Duration Logic: Expressiveness and Decidability. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
Paritosh K. Pandya
The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs. Electron. Notes Theor. Comput. Sci. 65 (5) (2002)
Paritosh K. Pandya
Model Checking CTL*[DC]. TACAS (2001)
Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya
Some Decidability Results for Duration Calculus under Synchronous Interpretation. FTRTFT (1998)
Paritosh K. Pandya, Y. S. Ramakrishna
Recursive Mean-Value Calculus. FSTTCS (1998)
Paritosh K. Pandya, Dang Van Hung
Duration Calculus of Weakly Monotonic Time. FTRTFT (1998)
Paritosh K. Pandya, H.-P. Wang, Qiwen Xu
Toward a theory of sequential hybrid programs. PROCOMET (1998)
Paritosh K. Pandya
Weak Chop Inverses and Liveness in Mean-Value Calculus. FTRTFT (1996)
Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen
Finite Divergence. Theor. Comput. Sci. 138 (1) (1995)
Paritosh K. Pandya
Some Extensions to Propositional Mean-Value Caculus: Expressiveness and Decidability. CSL (1995)
K. Narayan Kumar, Paritosh K. Pandya
On the Computational Power of Operators in ICSP with Fairness. FSTTCS (1994)
Huiqun Yu, Paritosh K. Pandya, Yongqiang Sun
A Calculus for Hybrid Sampled Data Systems. FTRTFT (1994)
Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya
Formal Design of Hybrid Systems. FTRTFT (1994)
K. Narayan Kumar, Paritosh K. Pandya
Infinitary Parallelism without Unbounded Nondeterminism in CSP. Acta Informatica 30 (5) (1993)
K. Narayan Kumar, Paritosh K. Pandya
ICSP and Its Relationship with ACSP and CSP. FSTTCS (1993)
M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar
Verification Tools in the Development of Provably Correct Compilers. FME (1993)
Paul H. B. Gardiner, Paritosh K. Pandya
Reasoning Algebraically about Recursion. Sci. Comput. Program. 18 (3) (1992)
Paritosh K. Pandya, Mathai Joseph
P - A Logic - A Compositional Proof System for Distributed Programs. Distributed Comput. 5 (1991)
Jonathan P. Bowen, Jifeng He, Paritosh K. Pandya
An Approach to Verifiable Compiling Specification and Prototyping. PLILP (1990)
Paritosh K. Pandya
Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programs. REX Workshop (1989)
Mathai Joseph, Paritosh K. Pandya
Finding Response Times in a Real-Time System. Comput. J. 29 (5) (1986)
Paritosh K. Pandya, Mathai Joseph
A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls. Comput. J. 29 (6) (1986)