Paritosh K. Pandya

According to our database, Paritosh K. Pandya authored at least 70 papers between 1986 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers.

Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya

Formal Aspects Comput., June, 2023

Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete.

Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya

Proceedings of the 34th International Conference on Concurrency Theory, 2023

Development of Safety-Critical Systems - Architecture and Software

Gopinath Karmakar, Amol Wakankar, Ashutosh Kabra, Paritosh K. Pandya

Springer, ISBN: 978-3-031-27900-3, 2023

2021

Logics Meet 2-Way 1-Clock Alternating Timed Automata.

Shankara Narayanan Krishna, Khushraj Nanik Madnani, Manuel Mazo Jr., Paritosh K. Pandya

CoRR, 2021

Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers.

Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership.

Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing

Log. Methods Comput. Sci., 2020

2019

Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields.

Paritosh K. Pandya, Amol Wakankar

Proceedings of the Proceedings Tenth International Symposium on Games, 2019

Specification and Reactive Synthesis of Robust Controllers.

Paritosh K. Pandya, Amol Wakankar

CoRR, 2019

DCSYNTH: A Tool for Guided Reactive Synthesis with Soft Requirements.

Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel

CoRR, 2019

DCSynth: Guided Reactive Synthesis with Soft Requirements.

Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Logical specification and uniform synthesis of robust controllers.

Paritosh K. Pandya, Amol Wakankar

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

2018

Büchi-Kamp Theorems for 1-clock ATA.

Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya

CoRR, 2018

An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation.

Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

Logics Meet 1-Clock Alternating Timed Automata.

Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis.

Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel

CoRR, 2017

Formalizing Timing Diagram Requirements in Discrete Duration Calulus.

Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar

CoRR, 2017

Deterministic Temporal Logics and Interval Constraints.

Kamal Lodaya, Paritosh K. Pandya

Proceedings of the Ninth Workshop on Methods for Modalities, 2017

Formalizing Timing Diagram Requirements in Discrete Duration Calculus.

Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Making Metric Temporal Logic Rational.

Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

2016

Two-variable Logic with a Between Predicate.

Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing

CoRR, 2016

Two-variable Logic with a Between Relation.

Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Metric Temporal Logic with Counting.

Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2014

Partially Punctual Metric Temporal Logic is Decidable.

Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya

Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

On Unary Fragments of MTL and TPTL over Timed Words.

Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

On the Decidability and Complexity of Some Fragments of Metric Temporal Logic

Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya

CoRR, 2013

The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower bound Constraints (Full Version)

Paritosh K. Pandya, Simoni S. Shah

CoRR, 2013

Deterministic Logics for UL.

Paritosh K. Pandya, Simoni S. Shah

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

2012

The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints.

Paritosh K. Pandya, Simoni S. Shah

Proceedings of the Automated Technology for Verification and Analysis, 2012

An Introduction to Timed Automata.

Paritosh K. Pandya, P. Vijay Suman

Proceedings of the Modern Applications of Automata Theory., 2012

Chop Expressions and Discrete Duration Calculus.

Ajesh Babu, Paritosh K. Pandya

Proceedings of the Modern Applications of Automata Theory., 2012

2011

On Construction of Safety Signal Automata for $MITL[\: \mathcal{U}, \: \mathcal{S}]$ Using Temporal Projections.

Dileep Raghunath Kini, Shankara Narayanan Krishna, Paritosh K. Pandya

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing.

Paritosh K. Pandya, Simoni S. Shah

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Unambiguity in Timed Regular Languages: Automata and Logics.

Paritosh K. Pandya, Simoni S. Shah

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Around Dot Depth Two.

Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah

Proceedings of the Developments in Language Theory, 14th International Conference, 2010

2009

Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions.

P. Vijay Suman, Paritosh K. Pandya

Proceedings of the Language and Automata Theory and Applications, 2009

2008

Efficient guided symbolic reachability using reachability expressions.

Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya

Int. J. Softw. Tools Technol. Transf., 2008

Timed and Hybrid Automata in SAL.

P. Vijay Suman, Paritosh K. Pandya

Proceedings of the SYNASC 2008, 2008

Marking the chops: an unambiguous temporal logic.

Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

Timed Automata with Integer Resets: Language Inclusion and Expressiveness.

P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts.

Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang

Proceedings of the 45th Design Automation Conference, 2008

2007

On Sampling Abstraction of Continuous Time Logic with Durations.

Paritosh K. Pandya, Shankara Narayanan Krishna, Kuntal Loya

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

Representation, Verification, and Computation of Timed Properties in Web.

Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

A Dose of Timed Logic, in Guarded Measure.

Kamal Lodaya, Paritosh K. Pandya

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

Timed Modelling and Analysis in Web Service Compositions.

Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore

Proceedings of the The First International Conference on Availability, 2006

2005

Bounded Validity Checking of Interval Duration Logic.

Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Modal Strength Reduction in Quantified Discrete Duration Calculus.

Shankara Narayanan Krishna, Paritosh K. Pandya

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

2004

Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search.

Paritosh K. Pandya

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

2003

Digitizing Interval Duration Logic.

Gaurav Chakravorty, Paritosh K. Pandya

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Interval Duration Logic: Expressiveness and Decidability.

Paritosh K. Pandya

Proceedings of the Theory and Practice of Timed Systems, 2002

The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs.

Paritosh K. Pandya

Proceedings of the Synchronous Languages, Applications, and Programming, 2002

2001

Model Checking CTL*[DC].

Paritosh K. Pandya

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

1998

Toward a theory of sequential hybrid programs.

Paritosh K. Pandya, H.-P. Wang, Qiwen Xu

Proceedings of the Programming Concepts and Methods, 1998

Some Decidability Results for Duration Calculus under Synchronous Interpretation.

Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Duration Calculus of Weakly Monotonic Time.

Paritosh K. Pandya, Dang Van Hung

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Recursive Mean-Value Calculus.

Paritosh K. Pandya, Y. S. Ramakrishna

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

1996

Weak Chop Inverses and Liveness in Mean-Value Calculus.

Paritosh K. Pandya

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

1995

Finite Divergence.

Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen

Theor. Comput. Sci., 1995

Some Extensions to Propositional Mean-Value Caculus: Expressiveness and Decidability.

Paritosh K. Pandya

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

1994

Formal Design of Hybrid Systems.

Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

A Calculus for Hybrid Sampled Data Systems.

Huiqun Yu, Paritosh K. Pandya, Yongqiang Sun

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

On the Computational Power of Operators in ICSP with Fairness.

K. Narayan Kumar, Paritosh K. Pandya

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994

1993

Infinitary Parallelism without Unbounded Nondeterminism in CSP.

K. Narayan Kumar, Paritosh K. Pandya

Acta Informatica, 1993

ICSP and Its Relationship with ACSP and CSP.

K. Narayan Kumar, Paritosh K. Pandya

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

Verification Tools in the Development of Provably Correct Compilers.

M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992

Reasoning Algebraically about Recursion.

Paul H. B. Gardiner, Paritosh K. Pandya

Sci. Comput. Program., 1992

1991

P - A Logic - A Compositional Proof System for Distributed Programs.

Paritosh K. Pandya, Mathai Joseph

Distributed Comput., 1991

1990

An Approach to Verifiable Compiling Specification and Prototyping.

Jonathan P. Bowen, Jifeng He, Paritosh K. Pandya

Proceedings of the Programming Language Implementation and Logic Programming, 1990

1989

Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programs.

Paritosh K. Pandya

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

1986

A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls.

Paritosh K. Pandya, Mathai Joseph

Comput. J., 1986

Finding Response Times in a Real-Time System.

Mathai Joseph, Paritosh K. Pandya

Comput. J., 1986