Paritosh Pandya
Paritosh Pandya
Professor, Tata Institute of Fundamental Research & Adjunct Professor, IIT Bombay
Adresse e-mail validée de tifr.res.in - Page d'accueil
Titre
Citée par
Citée par
Année
Finding response times in a real-time system
M Joseph, P Pandya
The Computer Journal 29 (5), 390-395, 1986
14621986
Specifying and deciding quantified discrete-time duration calculus formulae using DCVALID
PK Pandya
RTTOOLS 2001 Workshop (affiliated with CONCUR 2001), 2001
104*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
1012006
Timed modelling and analysis in web service compositions
R Kazhamiakin, P Pandya, M Pistore
First International Conference on Availability, Reliability and Security …, 2006
882006
P—A logic—a compositional proof system for distributed programs
PK Pandya, M Joseph
Distributed Computing 5 (1), 37-54, 1991
691991
Duration calculus of weakly monotonic time
PK Pandya, D Van Hung
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998
581998
Finite divergence
MR Hansen, PK Pandya, Z Chaochen
Theoretical Computer Science 138 (1), 113-139, 1995
531995
Interval duration logic: Expressiveness and decidability
PK Pandya
Electronic Notes in Theoretical Computer Science 65 (6), 254-272, 2002
402002
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
401994
Model checking ctl*[dc]
PK Pandya
International Conference on Tools and Algorithms for the Construction and …, 2001
392001
Digitizing interval duration logic
G Chakravorty, PK Pandya
International Conference on Computer Aided Verification, 167-179, 2003
382003
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
362008
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
33*2008
An approach to verifiable compiling specification and prototyping
J Bowen, H Jifeng, P Pandya
International Workshop on Programming Language Implementation and Logic …, 1990
331990
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
Bounded validity checking of interval duration logic
B Sharma, PK Pandya, S Chakraborty
International Conference on Tools and Algorithms for the Construction and …, 2005
302005
Towards a theory of sequential hybrid programs
PK Pandya, HP Wang, QW Xu
Proc. IFIP Working Conference PROCOMET 98, 366-384, 1998
301998
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
Compositional verification of distributed programs
PK Pandya
Tata Institute of Fundamental Research. Computer Science Group, 1988
261988
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20