Segui
Paritosh Pandya
Paritosh Pandya
Adjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFR
Email verificata su tifr.res.in - Home page
Titolo
Citata da
Citata da
Anno
Finding response times in a real-time system
M Joseph, P Pandya
The Computer Journal 29 (5), 390-395, 1986
17081986
Specifying and deciding quantified discrete-time duration calculus formulae using DCVALID
PK Pandya
RTTOOLS 2001 Workshop (affiliated with CONCUR 2001), 2001
1152001
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
1082006
Timed modelling and analysis in web service compositions
R Kazhamiakin, P Pandya, M Pistore
First International Conference on Availability, Reliability and Security …, 2006
1042006
P—A logic—a compositional proof system for distributed programs
PK Pandya, M Joseph
Distributed Computing 5 (1), 37-54, 1991
741991
Duration calculus of weakly monotonic time
PK Pandya, D Van Hung
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International …, 1998
581998
Finite divergence
MR Hansen, PK Pandya, Z Chaochen
Theoretical Computer Science 138 (1), 113-139, 1995
511995
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
462008
Model checking ctl*[dc]
PK Pandya
International Conference on Tools and Algorithms for the Construction and …, 2001
432001
Interval duration logic: Expressiveness and decidability
PK Pandya
Electronic Notes in Theoretical Computer Science 65 (6), 254-272, 2002
422002
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
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
40*2008
Digitizing interval duration logic
G Chakravorty, PK Pandya
Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003
382003
Some extensions to propositional mean-value calculus: Expressiveness and decidability
PK Pandya
International Workshop on Computer Science Logic, 434-451, 1995
371995
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
331998
An approach to verifiable compiling specification and prototyping
J Bowen, H Jifeng, P Pandya
Programming Language Implementation and Logic Programming: International …, 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: Proceedings of the Annual ESPRIT Conference Brussels, November 12 …, 1990
311990
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
Some comments on the assumption-commitment framework for compositional verification of distributed programs
PK Pandya
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990
261990
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20