Prati
Paritosh Pandya
Paritosh Pandya
Adjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFR
Potvrđena adresa e-pošte na tifr.res.in - Početna stranica
Naslov
Citirano
Citirano
Godina
Finding response times in a real-time system
M Joseph, P Pandya
The Computer Journal 29 (5), 390-395, 1986
17331986
Specifying and deciding quantified discrete-time duration calculus formulae using DCVALID
PK Pandya
RTTOOLS 2001 Workshop (affiliated with CONCUR 2001), 2001
1172001
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
1052006
Timed modelling and analysis in web service compositions
R Kazhamiakin, P Pandya, M Pistore
First International Conference on Availability, Reliability and Security …, 2006
1052006
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
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International …, 1998
601998
Finite divergence
MR Hansen, PK Pandya, Z Chaochen
Theoretical Computer Science 138 (1), 113-139, 1995
531995
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
492008
Interval duration logic: Expressiveness and decidability
PK Pandya
Electronic Notes in Theoretical Computer Science 65 (6), 254-272, 2002
452002
Model checking ctl*[dc]
PK Pandya
International Conference on Tools and Algorithms for the Construction and …, 2001
442001
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
42*2008
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
421994
Digitizing interval duration logic
G Chakravorty, PK Pandya
Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003
402003
Some extensions to propositional mean-value calculus: Expressiveness and decidability
PK Pandya
International Workshop on Computer Science Logic, 434-451, 1995
391995
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
342005
Towards a theory of sequential hybrid programs
PK Pandya, HP Wang, QW Xu
Proc. IFIP Working Conference PROCOMET 98, 366-384, 1998
341998
An approach to verifiable compiling specification and prototyping
J Bowen, H Jifeng, P Pandya
Programming Language Implementation and Logic Programming: International …, 1990
341990
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
321990
Marking the chops: an unambiguous temporal logic
K Lodaya, P Pandya, S Shah
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
302008
On expressive powers of timed logics: Comparing boundedness, non-punctuality, and deterministic freezing
PK Pandya, SS Shah
CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011
292011
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20