Paritosh Pandya
Paritosh Pandya
Adjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFR
Verified email at - Homepage
Cited by
Cited by
Finding response times in a real-time system
M Joseph, P Pandya
The Computer Journal 29 (5), 390-395, 1986
Specifying and deciding quantified discrete-time duration calculus formulae using DCVALID
PK Pandya
RTTOOLS 2001 Workshop (affiliated with CONCUR 2001), 2001
Representation, verification, and computation of timed properties in web
R Kazhamiakin, P Pandya, M Pistore
2006 IEEE International Conference on Web Services (ICWS'06), 497-504, 2006
Timed modelling and analysis in web service compositions
R Kazhamiakin, P Pandya, M Pistore
First International Conference on Availability, Reliability and Security …, 2006
P—A logic—a compositional proof system for distributed programs
PK Pandya, M Joseph
Distributed Computing 5 (1), 37-54, 1991
Duration calculus of weakly monotonic time
PK Pandya, D Van Hung
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International …, 1998
Finite divergence
MR Hansen, PK Pandya, Z Chaochen
Theoretical Computer Science 138 (1), 113-139, 1995
Timed automata with integer resets: Language inclusion and expressiveness
PV Suman, PK Pandya, SN Krishna, L Manasa
International conference on formal modeling and analysis of timed systems, 78-92, 2008
Model checking ctl*[dc]
PK Pandya
International Conference on Tools and Algorithms for the Construction and …, 2001
Interval duration logic: Expressiveness and decidability
PK Pandya
Electronic Notes in Theoretical Computer Science 65 (6), 254-272, 2002
Formal design of hybrid systems
Y Xinyao, W Ji, Z Chaochen, P Pandya
Formal Techniques in Real-Time and Fault-Tolerant Systems, 738-755, 1994
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
S Mohalik, AC Rajeev, MG Dixit, S Ramesh, PV Suman, PK Pandya, ...
Proceedings of the 45th annual Design Automation Conference, 296-299, 2008
Digitizing interval duration logic
G Chakravorty, PK Pandya
Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003
Some extensions to propositional mean-value calculus: Expressiveness and decidability
PK Pandya
International Workshop on Computer Science Logic, 434-451, 1995
Bounded validity checking of interval duration logic
B Sharma, PK Pandya, S Chakraborty
Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005
Towards a theory of sequential hybrid programs
PK Pandya, HP Wang, QW Xu
Proc. IFIP Working Conference PROCOMET 98, 366-384, 1998
An approach to verifiable compiling specification and prototyping
J Bowen, H Jifeng, P Pandya
Programming Language Implementation and Logic Programming: International …, 1990
An algebraic approach to verifiable compiling specification and prototyping of the ProCoS level 0 programming language
CAR Hoare, H Jifeng, J Bowen, P Pandya
ESPRIT’90: Proceedings of the Annual ESPRIT Conference Brussels, November 12 …, 1990
Some comments on the assumption-commitment framework for compositional verification of distributed programs
PK Pandya
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990
Marking the chops: an unambiguous temporal logic
K Lodaya, P Pandya, S Shah
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
The system can't perform the operation now. Try again later.
Articles 1–20