Paritosh K. Pandya

86 papers A* 3A 5B 12C 6Misc 1Journal 29Unranked 25

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	MightyPPL: Model Checking MITL with Past and Pnueli Modalities. TACAS (1) Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya
2025	B	`conf`	Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics. CONCUR Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya
2025	J	`jnl`	MightyPPL: Verification of MITL with Past and Pnueli Modalities. CoRR Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya
2024	J	`jnl`	Openness And Partial Adjacency In One Variable TPTL. CoRR Shankara Narayanan Krishna, Khushraj Madnani, Agnipratim Nag, Paritosh K. Pandya
2023	—	`book`	Development of Safety-Critical Systems - Architecture and Software Gopinath Karmakar, Amol Wakankar, Ashutosh Kabra, Paritosh K. Pandya
2023	J	`jnl`	From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers. Formal Aspects Comput. Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
2023	B	`conf`	Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CONCUR Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya
2023	J	`jnl`	Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CoRR Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya
2022	J	`jnl`	Specification and optimal reactive synthesis of run-time enforcement shields. Inf. Comput. Paritosh K. Pandya, Amol Wakankar
2021	J	`jnl`	Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers. CoRR Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
2021	B	`conf`	Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers. FM Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
2021	J	`jnl`	Logics Meet 2-Way 1-Clock Alternating Timed Automata. CoRR Shankara Narayanan Krishna, Khushraj Nanik Madnani, Manuel Mazo Jr., Paritosh K. Pandya
2020	J	`jnl`	Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership. Log. Methods Comput. Sci. Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
2019	J	`jnl`	DCSYNTH: A Tool for Guided Reactive Synthesis with Soft Requirements. CoRR Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel
2019	—	`conf`	DCSynth: Guided Reactive Synthesis with Soft Requirements. VSTTE Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel
2019	C	`conf`	Logical specification and uniform synthesis of robust controllers. MEMOCODE Paritosh K. Pandya, Amol Wakankar
2019	—	`conf`	Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields. GandALF Paritosh K. Pandya, Amol Wakankar
2019	J	`jnl`	Specification and Reactive Synthesis of Robust Controllers. CoRR Paritosh K. Pandya, Amol Wakankar
2019	J	`jnl`	Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership. CoRR Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
2018	—	`ed.`	38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, Ahmedabad, India, December 11-13, 2018 FSTTCS Sumit Ganguly, Paritosh K. Pandya
2018	B	`conf`	An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation. CSL Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
2018	J	`jnl`	Büchi-Kamp Theorems for 1-clock ATA. CoRR Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
2018	B	`conf`	Logics Meet 1-Clock Alternating Timed Automata. CONCUR Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
2017	J	`jnl`	DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis. CoRR Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel
2017	—	`conf`	Deterministic Temporal Logics and Interval Constraints. M4M@ICLA Kamal Lodaya, Paritosh K. Pandya
2017	B	`conf`	Formalizing Timing Diagram Requirements in Discrete Duration Calculus. SEFM Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar
2017	J	`jnl`	Formalizing Timing Diagram Requirements in Discrete Duration Calulus. CoRR Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar
2017	B	`conf`	Making Metric Temporal Logic Rational. MFCS Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
2017	J	`jnl`	Making Metric Temporal Logic Rational. CoRR Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
2016	B	`conf`	Metric Temporal Logic with Counting. FoSSaCS Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
2016	J	`jnl`	Two-variable Logic with a Between Predicate. CoRR Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
2016	A*	`conf`	Two-variable Logic with a Between Relation. LICS Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
2015	J	`jnl`	Metric Temporal Logic with Counting. CoRR Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
2014	J	`jnl`	Deterministic Logics for UL. CoRR Paritosh K. Pandya, Simoni S. Shah
2014	C	`conf`	On Unary Fragments of MTL and TPTL over Timed Words. ICTAC Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
2014	C	`conf`	Partially Punctual Metric Temporal Logic is Decidable. TIME Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
2014	J	`jnl`	Partially Punctual Metric Temporal Logic is Decidable. CoRR Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
2013	C	`conf`	Deterministic Logics for UL. ICTAC Paritosh K. Pandya, Simoni S. Shah
2013	J	`jnl`	On the Decidability and Complexity of Some Fragments of Metric Temporal Logic CoRR Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
2013	J	`jnl`	The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower bound Constraints (Full Version) CoRR Paritosh K. Pandya, Simoni S. Shah
2012	—	`ch.`	An Introduction to Timed Automata. Modern Applications of Automata Theory Paritosh K. Pandya, P. Vijay Suman
2012	—	`ch.`	Chop Expressions and Discrete Duration Calculus. Modern Applications of Automata Theory Ajesh Babu, Paritosh K. Pandya
2012	B	`conf`	The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints. ATVA Paritosh K. Pandya, Simoni S. Shah
2011	—	`conf`	On Construction of Safety Signal Automata for $MITL[\: \mathcal{U}, \: \mathcal{S}]$ Using Temporal Projections. FORMATS Dileep Raghunath Kini, Shankara Narayanan Krishna, Paritosh K. Pandya
2011	J	`jnl`	On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing CoRR Paritosh K. Pandya, Simoni S. Shah
2011	B	`conf`	On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing. CONCUR Paritosh K. Pandya, Simoni S. Shah
2010	C	`conf`	Around Dot Depth Two. Developments in Language Theory Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah
2010	—	`conf`	Unambiguity in Timed Regular Languages: Automata and Logics. FORMATS Paritosh K. Pandya, Simoni S. Shah
2009	C	`conf`	Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions. LATA P. Vijay Suman, Paritosh K. Pandya
2008	J	`jnl`	Efficient guided symbolic reachability using reachability expressions. Int. J. Softw. Tools Technol. Transf. Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya
2008	—	`conf`	Marking the chops: an unambiguous temporal logic. IFIP TCS Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah
2008	A*	`conf`	Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts. DAC Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang
2008	—	`conf`	Timed Automata with Integer Resets: Language Inclusion and Expressiveness. FORMATS P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa
2008	Misc	`conf`	Timed and Hybrid Automata in SAL. SYNASC P. Vijay Suman, Paritosh K. Pandya
2007	A	`conf`	On Sampling Abstraction of Continuous Time Logic with Durations. TACAS Paritosh K. Pandya, Shankara Narayanan Krishna, Kuntal Loya
2006	—	`conf`	A Dose of Timed Logic, in Guarded Measure. FORMATS Kamal Lodaya, Paritosh K. Pandya
2006	A	`conf`	Efficient Guided Symbolic Reachability Using Reachability Expressions. TACAS Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya
2006	A	`conf`	Representation, Verification, and Computation of Timed Properties in Web. ICWS Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore
2006	B	`conf`	Timed Modelling and Analysis in Web Service Compositions. ARES Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore
2005	A	`conf`	Bounded Validity Checking of Interval Duration Logic. TACAS Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty
2005	—	`conf`	Modal Strength Reduction in Quantified Discrete Duration Calculus. FSTTCS Shankara Narayanan Krishna, Paritosh K. Pandya
2004	—	`conf`	Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search. AVoCS Paritosh K. Pandya
2003	A*	`conf`	Digitizing Interval Duration Logic. CAV Gaurav Chakravorty, Paritosh K. Pandya
2003	—	`ed.`	FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings FSTTCS Paritosh K. Pandya, Jaikumar Radhakrishnan
2002	—	`conf`	Interval Duration Logic: Expressiveness and Decidability. Theory and Practice of Timed Systems @ ETAPS Paritosh K. Pandya
2002	—	`conf`	The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs. SLAP Paritosh K. Pandya
2001	A	`conf`	Model Checking CTL*[DC]. TACAS Paritosh K. Pandya
1998	—	`conf`	Duration Calculus of Weakly Monotonic Time. FTRTFT Paritosh K. Pandya, Dang Van Hung
1998	—	`conf`	Recursive Mean-Value Calculus. FSTTCS Paritosh K. Pandya, Y. S. Ramakrishna
1998	—	`conf`	Some Decidability Results for Duration Calculus under Synchronous Interpretation. FTRTFT Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya
1998	—	`conf`	Toward a theory of sequential hybrid programs. PROCOMET Paritosh K. Pandya, H.-P. Wang, Qiwen Xu
1996	—	`conf`	Weak Chop Inverses and Liveness in Mean-Value Calculus. FTRTFT Paritosh K. Pandya
1995	J	`jnl`	Finite Divergence. Theor. Comput. Sci. Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen
1995	B	`conf`	Some Extensions to Propositional Mean-Value Caculus: Expressiveness and Decidability. CSL Paritosh K. Pandya
1994	—	`conf`	A Calculus for Hybrid Sampled Data Systems. FTRTFT Huiqun Yu, Paritosh K. Pandya, Yongqiang Sun
1994	—	`conf`	Formal Design of Hybrid Systems. FTRTFT Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya
1994	—	`conf`	On the Computational Power of Operators in ICSP with Fairness. FSTTCS K. Narayan Kumar, Paritosh K. Pandya
1993	—	`conf`	ICSP and Its Relationship with ACSP and CSP. FSTTCS K. Narayan Kumar, Paritosh K. Pandya
1993	J	`jnl`	Infinitary Parallelism without Unbounded Nondeterminism in CSP. Acta Informatica K. Narayan Kumar, Paritosh K. Pandya
1993	—	`conf`	Verification Tools in the Development of Provably Correct Compilers. FME M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar
1992	J	`jnl`	Reasoning Algebraically about Recursion. Sci. Comput. Program. Paul H. B. Gardiner, Paritosh K. Pandya
1991	J	`jnl`	P - A Logic - A Compositional Proof System for Distributed Programs. Distributed Comput. Paritosh K. Pandya, Mathai Joseph
1990	—	`conf`	An Approach to Verifiable Compiling Specification and Prototyping. PLILP Jonathan P. Bowen, Jifeng He, Paritosh K. Pandya
1989	—	`conf`	Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programs. REX Workshop Paritosh K. Pandya
1986	J	`jnl`	A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls. Comput. J. Paritosh K. Pandya, Mathai Joseph
1986	J	`jnl`	Finding Response Times in a Real-Time System. Comput. J. Mathai Joseph, Paritosh K. Pandya