Paritosh Pandya
Paritosh Pandya
Adjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFR
Verified email at tifr.res.in - Homepage
Title
Cited by
Cited by
Year
Finding response times in a real-time system
M Joseph, P Pandya
The Computer Journal 29 (5), 390-395, 1986
15581986
Specifying and deciding quantified discrete-time duration calculus formulae using DCVALID
PK Pandya
RTTOOLS 2001 Workshop (affiliated with CONCUR 2001), 2001
1112001
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
1042006
Timed modelling and analysis in web service compositions
R Kazhamiakin, P Pandya, M Pistore
First International Conference on Availability, Reliability and Security …, 2006
1022006
P—A logic—a compositional proof system for distributed programs
PK Pandya, M Joseph
Distributed Computing 5 (1), 37-54, 1991
731991
Duration calculus of weakly monotonic time
PK Pandya, D Van Hung
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998
591998
Finite divergence
MR Hansen, PK Pandya, Z Chaochen
Theoretical Computer Science 138 (1), 113-139, 1995
541995
Model checking ctl*[dc]
PK Pandya
International Conference on Tools and Algorithms for the Construction and …, 2001
422001
Interval duration logic: Expressiveness and decidability
PK Pandya
Electronic Notes in Theoretical Computer Science 65 (6), 254-272, 2002
412002
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
411994
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
402008
Digitizing interval duration logic
G Chakravorty, PK Pandya
International Conference on Computer Aided Verification, 167-179, 2003
402003
Some extensions to propositional mean-value calculus: Expressiveness and decidability
PK Pandya
International Workshop on Computer Science Logic, 434-451, 1995
351995
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
34*2008
Bounded validity checking of interval duration logic
B Sharma, PK Pandya, S Chakraborty
International Conference on Tools and Algorithms for the Construction and …, 2005
322005
An approach to verifiable compiling specification and prototyping
J Bowen, H Jifeng, P Pandya
International Workshop on Programming Language Implementation and Logic …, 1990
321990
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, 804-818, 1990
321990
Towards a theory of sequential hybrid programs
PK Pandya, HP Wang, QW Xu
Proc. IFIP Working Conference PROCOMET 98, 366-384, 1998
311998
Compositional verification of distributed programs
PK Pandya
Tata Institute of Fundamental Research. Computer Science Group, 1988
291988
Marking the chops: an unambiguous temporal logic
K Lodaya, P Pandya, S Shah
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
262008
The system can't perform the operation now. Try again later.
Articles 1–20