Aravinda  Prasad Sistla
Title
Cited by
Cited by
Year
Automatic verification of finite-state concurrent systems using temporal logic specifications
EM Clarke, EA Emerson, AP Sistla
ACM Transactions on Programming Languages and Systems (TOPLAS) 8 (2), 244-263, 1986
55151986
The complexity of propositional linear temporal logics
AP Sistla, EM Clarke
Journal of the ACM (JACM) 32 (3), 733-749, 1985
15341985
Modeling and querying moving objects
AP Sistla, O Wolfson, S Chamberlain, S Dao
Proceedings 13th International Conference on Data Engineering, 422-432, 1997
9291997
Updating and querying databases that track mobile units
O Wolfson, AP Sistla, S Chamberlain, Y Yesha
Distributed and parallel databases 7 (3), 257-387, 1999
5891999
The complementation problem for Büchi automata with applications to temporal logic
AP Sistla, MY Vardi, P Wolper
Theoretical Computer Science 49 (2-3), 217-237, 1987
5881987
Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach
EM Clarke, EA Emerson, AP Sistla
Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of …, 1983
5641983
Symmetry and model checking
EA Emerson, AP Sistla
Formal methods in system design 9 (1), 105-131, 1996
5111996
Reasoning about systems with many processes
SM German, AP Sistla
Journal of the ACM (JACM) 39 (3), 675-735, 1992
4991992
Reasoning about infinite computation paths
P Wolper, MY Vardi, AP Sistla
24th Annual Symposium on Foundations of Computer Science (sfcs 1983), 185-194, 1983
4781983
On model-checking for fragments of μ-calculus
EA Emerson, CS Jutla, AP Sistla
International Conference on Computer Aided Verification, 385-396, 1993
4061993
Deciding full branching time logic
EA Emerson, AP Sistla
Information and Control 61 (3), 175-201, 1984
3471984
Symmetry and model checking
EA Emerson, AP Sistla
International Conference on Computer Aided Verification, 463-478, 1993
2961993
Efficient distributed recovery using message logging
AP Sistla, JL Welch
Proceedings of the eighth annual ACM Symposium on Principles of distributed …, 1989
2721989
Quantitative temporal reasoning
EA Emerson, AK Mok, AP Sistla, J Srinivasan
International Conference on Computer Aided Verification, 136-145, 1990
2701990
Safety, liveness and fairness in temporal logic
AP Sistla
Formal Aspects of Computing 6 (5), 495-511, 1994
2681994
Querying the uncertain position of moving objects
AP Sistla, O Wolfson, S Chamberlain, S Dao
Temporal databases: research and practice, 310-337, 1998
2421998
Symmetry reductions in model checking
EM Clarke, EA Emerson, S Jha, AP Sistla
International Conference on Computer Aided Verification, 147-158, 1998
2221998
Quantitative temporal reasoning
EA Emerson, AK Mok, AP Sistla, J Srinivasan
Real-Time Systems 4 (4), 331-352, 1992
1801992
On model checking for the μ-calculus and its fragments
EA Emerson, CS Jutla, AP Sistla
Theoretical Computer Science 258 (1-2), 491-522, 2001
1372001
Temporal triggers in active databases
AP Sistla, O Wolfson
IEEE Transactions on Knowledge and Data Engineering 7 (3), 471-486, 1995
1241995
The system can't perform the operation now. Try again later.
Articles 1–20