×

Sistla, Aravinda Prasad

Author ID: sistla.aravinda-prasad Recent zbMATH articles by "Sistla, Aravinda Prasad"
Published as: Sistla, A. P.; Sistla, A. Prasad; Sistla, Aravinda Prasad
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

27 Publications have been cited 739 times in 632 Documents Cited by Year
Automatic verification of finite-state concurrent systems using temporal logic specifications. Zbl 0591.68027
Clarke, E. M.; Emerson, E. A.; Sistla, A. P.
323
1986
The complexity of propositional linear temporal logics. Zbl 0632.68034
Sistla, A. P.; Clarke, E. M.
235
1985
The complementation problem for Büchi automata with applications to temporal logic. Zbl 0613.03015
Sistla, A. Prasad; Vardi, Moshe Y.; Wolper, Pierre
83
1987
Reasoning about systems with many processes. Zbl 0799.68078
German, Steven M.; Sistla, A. Prasad
77
1992
On model checking for the \(\mu\)-calculus and its fragments. Zbl 0973.68120
Emerson, E. A.; Jutla, C. S.; Sistla, A. P.
65
2001
Deciding full branching time logic. Zbl 0593.03007
Emerson, E. Allen; Sistla, A. Prasad
58
1984
Quantitative temporal reasoning. Zbl 0765.68121
Emerson, E. Allen; Mok, A. K.; Sistla, A. P.; Srinivasan, Jai
20
1991
The complementation problem for Büchi automata with applications to temporal logic. Zbl 0577.03019
Sistla, A. Prasad; Vardi, Moshe Y.; Wolper, Pierre
18
1985
A multiprocess network logic with temporal and spatial modalities. Zbl 0565.68031
Reif, John; Sistla, A. P.
15
1985
Reasoning in a restricted temporal logic. Zbl 0771.03007
Sistla, A. Prasad; Zuck, Lenore D.
7
1993
Can message buffers be axiomatized in linear temporal logic? Zbl 0591.68022
Sistla, A. P.; Clarke, E. M.; Francez, N.; Meyer, A. R.
7
1984
On verifying that a concurrent program satisfies a nondeterministic specification. Zbl 0677.68011
Sistla, A. P.
6
1989
Model checking parameterized systems. Zbl 1392.68223
Abdulla, Parosh Aziz; Sistla, A. Prasad; Talupur, Muralidhar
6
2018
Proving correctness with respect to nondeterministic safety specifications. Zbl 0735.68028
Sistla, A. P.
4
1991
Symmetry and reduced symmetry in model checking. Zbl 0991.68543
Sistla, A. Prasad; Godefroid, Patrice
4
2001
Parameterized verification of linear networks using automata as invariants. Zbl 0955.68069
Sistla, A. Prasad; Gyuris, Viktor
3
1999
Reasoning about qualitative spatial relationships. Zbl 0969.68062
Sistla, A. Prasad; Yu, Clement
3
2000
Deciding branching time logic: A triple exponential decision procedure for \(CTL^*\). Zbl 0559.68052
Emerson, E. Allen; Sistla, A. Prasad
3
1984
Monitoring temporal properties of stochastic systems. Zbl 1138.68470
Sistla, A. Prasad; Srinivas, Abhigna R.
3
2008
Distinguishing hidden Markov chains. Zbl 1401.68086
Kiefer, Stefan; Sistla, A. Prasad
3
2016
Employing symmetry reductions in model checking. Zbl 1072.68068
Sistla, A. Prasad
1
2004
Computer aided verification. 12th international conference, CAV 2000. Chicago, IL, USA, July 15–19, 2000. Proceedings. Zbl 0941.00029
1
2000
A multiprocess network logic with temporal and spatial modalities. Zbl 0519.68049
Reif, John; Sistla, Aravinda Prasad
1
1983
Using temporal logic for automatic verification of finite state systems. Zbl 0582.68009
Clarke, E. M.; Browne, M. C.; Emerson, E. A.; Sistla, A. P.
1
1985
Analysis of dynamic policies. Zbl 1146.68341
Sistla, A. Prasad; Zhou, Min
1
2008
Monitoring off-the-shelf components. Zbl 1176.68129
Sistla, A. Prasad; Zhou, Min; Zuck, Lenore D.
1
2006
Checking extended CTL properties using guarded quotient structures. Zbl 1130.68075
Sistla, A. Prasad; Wang, Xiaodong; Zhou, Min
1
2007
Model checking parameterized systems. Zbl 1392.68223
Abdulla, Parosh Aziz; Sistla, A. Prasad; Talupur, Muralidhar
6
2018
Distinguishing hidden Markov chains. Zbl 1401.68086
Kiefer, Stefan; Sistla, A. Prasad
3
2016
Monitoring temporal properties of stochastic systems. Zbl 1138.68470
Sistla, A. Prasad; Srinivas, Abhigna R.
3
2008
Analysis of dynamic policies. Zbl 1146.68341
Sistla, A. Prasad; Zhou, Min
1
2008
Checking extended CTL properties using guarded quotient structures. Zbl 1130.68075
Sistla, A. Prasad; Wang, Xiaodong; Zhou, Min
1
2007
Monitoring off-the-shelf components. Zbl 1176.68129
Sistla, A. Prasad; Zhou, Min; Zuck, Lenore D.
1
2006
Employing symmetry reductions in model checking. Zbl 1072.68068
Sistla, A. Prasad
1
2004
On model checking for the \(\mu\)-calculus and its fragments. Zbl 0973.68120
Emerson, E. A.; Jutla, C. S.; Sistla, A. P.
65
2001
Symmetry and reduced symmetry in model checking. Zbl 0991.68543
Sistla, A. Prasad; Godefroid, Patrice
4
2001
Reasoning about qualitative spatial relationships. Zbl 0969.68062
Sistla, A. Prasad; Yu, Clement
3
2000
Computer aided verification. 12th international conference, CAV 2000. Chicago, IL, USA, July 15–19, 2000. Proceedings. Zbl 0941.00029
1
2000
Parameterized verification of linear networks using automata as invariants. Zbl 0955.68069
Sistla, A. Prasad; Gyuris, Viktor
3
1999
Reasoning in a restricted temporal logic. Zbl 0771.03007
Sistla, A. Prasad; Zuck, Lenore D.
7
1993
Reasoning about systems with many processes. Zbl 0799.68078
German, Steven M.; Sistla, A. Prasad
77
1992
Quantitative temporal reasoning. Zbl 0765.68121
Emerson, E. Allen; Mok, A. K.; Sistla, A. P.; Srinivasan, Jai
20
1991
Proving correctness with respect to nondeterministic safety specifications. Zbl 0735.68028
Sistla, A. P.
4
1991
On verifying that a concurrent program satisfies a nondeterministic specification. Zbl 0677.68011
Sistla, A. P.
6
1989
The complementation problem for Büchi automata with applications to temporal logic. Zbl 0613.03015
Sistla, A. Prasad; Vardi, Moshe Y.; Wolper, Pierre
83
1987
Automatic verification of finite-state concurrent systems using temporal logic specifications. Zbl 0591.68027
Clarke, E. M.; Emerson, E. A.; Sistla, A. P.
323
1986
The complexity of propositional linear temporal logics. Zbl 0632.68034
Sistla, A. P.; Clarke, E. M.
235
1985
The complementation problem for Büchi automata with applications to temporal logic. Zbl 0577.03019
Sistla, A. Prasad; Vardi, Moshe Y.; Wolper, Pierre
18
1985
A multiprocess network logic with temporal and spatial modalities. Zbl 0565.68031
Reif, John; Sistla, A. P.
15
1985
Using temporal logic for automatic verification of finite state systems. Zbl 0582.68009
Clarke, E. M.; Browne, M. C.; Emerson, E. A.; Sistla, A. P.
1
1985
Deciding full branching time logic. Zbl 0593.03007
Emerson, E. Allen; Sistla, A. Prasad
58
1984
Can message buffers be axiomatized in linear temporal logic? Zbl 0591.68022
Sistla, A. P.; Clarke, E. M.; Francez, N.; Meyer, A. R.
7
1984
Deciding branching time logic: A triple exponential decision procedure for \(CTL^*\). Zbl 0559.68052
Emerson, E. Allen; Sistla, A. Prasad
3
1984
A multiprocess network logic with temporal and spatial modalities. Zbl 0519.68049
Reif, John; Sistla, Aravinda Prasad
1
1983
all top 5

Cited by 932 Authors

28 Vardi, Moshe Ya’akov
20 Kupferman, Orna
12 Demri, Stéphane P.
12 Lange, Martin
12 Reynolds, Mark Alexander
11 Duan, Zhenhua
10 Tian, Cong
9 Baier, Christel
9 Murano, Aniello
9 Wooldridge, Michael J.
8 Clarke, Edmund Melson jun.
8 Gnesi, Stefania
8 Gutierrez, Julian
8 Mogavero, Fabio
8 Rybakov, Vladimir Vladimirovich
8 Zhang, Nan
7 Bolotov, Alexander
7 Henzinger, Thomas A.
7 Montanari, Angelo
7 Wolper, Pierre
7 Wolter, Frank
7 Zimmermann, Martin
6 Benerecetti, Massimo
6 Bozzelli, Laura
6 Dixon, Clare
6 Grumberg, Orna
6 Jamroga, Wojciech
6 Laroussinie, François
6 McCabe-Dansted, John Christopher
6 Peled, Doron A.
6 Peron, Adriano
6 Pnueli, Amir
6 Walukiewicz, Igor
5 Dasgupta, Pallab
5 Fantechi, Alessandro
5 Hermo, Montserrat
5 Lucio, Paqui
5 Markey, Nicolas
5 Mazzanti, Franco
5 Meier, Arne
5 Mundhenk, Martin
5 Perelli, Giuseppe
5 Schewe, Sven
5 Steffen, Bernhard
5 Wilke, Thomas
5 Zakharyaschev, Michael Viktorovich
4 Abdulla, Parosh Aziz
4 Alechina, Natasha
4 Attie, Paul C.
4 Bouyer, Patricia
4 Chakrabarti, Partha Pratim
4 Dell’Erba, Daniele
4 Emerson, Ernest Allen
4 Finkbeiner, Bernd
4 Grädel, Erich
4 Halpern, Joseph Yehuda
4 Kamide, Norihiro
4 Krebs, Andreas
4 Kwiatkowska, Marta Z.
4 Logan, Brian
4 Loreti, Michele
4 Molinari, Alberto
4 Penczek, Wojciech
4 Piterman, Nir
4 Rabinovich, Alexander
4 Ramakrishna, Y. S.
4 Rubin, Sasha
4 Sala, Pietro
4 Schobbens, Pierre-Yves
4 ter Beek, Maurice H.
4 Vardi, Gal
3 Aceto, Luca
3 Aminof, Benjamin
3 Arnold, André
3 Bauer, Andreas
3 Bruse, Florian
3 Chatterjee, Krishnendu
3 Cleaveland, Rance
3 Pérez de Guzmán, Inmaculada
3 De Nicola, Rocco
3 Dillon, L. K.
3 Dix, Jurgen
3 Doder, Dragan
3 Eiter, Thomas
3 Etessami, Kousha
3 Fisher, Michael
3 Fontaine, Gaëlle
3 Friedmann, Oliver
3 Godefroid, Patrice
3 Harrenstein, Paul
3 Hemaspaandra, Edith
3 Howell, Rodney R.
3 Jonsson, Bengt
3 Katoen, Joost-Pieter
3 Kesten, Yonit
3 Klein, Joachim
3 Klüppelholz, Sascha
3 Kurucz, Agi
3 Kutty, G.
3 Lang, Frédéric
...and 832 more Authors
all top 5

Cited in 81 Serials

86 Theoretical Computer Science
51 Information and Computation
34 Formal Methods in System Design
22 Artificial Intelligence
17 Information Processing Letters
16 Journal of Computer and System Sciences
16 Formal Aspects of Computing
14 Acta Informatica
13 The Journal of Logic and Algebraic Programming
11 Annals of Pure and Applied Logic
11 Annals of Mathematics and Artificial Intelligence
10 Journal of Applied Non-Classical Logics
9 Journal of Automated Reasoning
9 International Journal of Foundations of Computer Science
9 Journal of Applied Logic
9 Logical Methods in Computer Science
7 Science of Computer Programming
7 Journal of Logical and Algebraic Methods in Programming
5 The Journal of Symbolic Logic
5 Journal of Computer Science and Technology
5 Discrete Event Dynamic Systems
5 Theory of Computing Systems
5 RAIRO. Theoretical Informatics and Applications
5 Sādhanā
4 Information Sciences
4 MSCS. Mathematical Structures in Computer Science
4 Journal of Logic, Language and Information
4 The Bulletin of Symbolic Logic
4 ACM Transactions on Computational Logic
3 Notre Dame Journal of Formal Logic
3 Studia Logica
3 Distributed Computing
3 European Journal of Control
2 Discrete Applied Mathematics
2 Programming and Computer Software
2 SIAM Journal on Computing
2 Siberian Mathematical Journal
2 Synthese
2 Journal of Symbolic Computation
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 Journal of Combinatorial Optimization
2 International Journal of Applied Mathematics and Computer Science
2 Science China. Information Sciences
2 Frontiers of Computer Science
2 Computer Science Review
1 ACM Computing Surveys
1 Computers & Mathematics with Applications
1 International Journal of Theoretical Physics
1 Algebra and Logic
1 Fuzzy Sets and Systems
1 Journal of Combinatorial Theory. Series B
1 Journal of Mathematical Economics
1 Algorithmica
1 International Journal of Parallel Programming
1 Computers & Operations Research
1 International Journal of Approximate Reasoning
1 Mathematical and Computer Modelling
1 Real-Time Systems
1 Automation and Remote Control
1 International Journal of Computer Mathematics
1 RAIRO. Informatique Théorique et Applications
1 Archive for Mathematical Logic
1 Mathematical Logic Quarterly (MLQ)
1 The Electronic Journal of Combinatorics
1 The Journal of Artificial Intelligence Research (JAIR)
1 Fundamenta Informaticae
1 International Game Theory Review
1 Electronic Commerce Research
1 Journal of Applied Mathematics
1 Computer Languages, Systems & Structures
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 International Journal of Parallel, Emergent and Distributed Systems
1 Electronic Notes in Theoretical Computer Science
1 Mathematics in Computer Science
1 Foundations and Trends in Theoretical Computer Science
1 International Journal of Intelligent Computing and Cybernetics
1 Algorithms
1 RAIRO. Theoretical Informatics and Applications
1 Games
1 Frontiers of Computer Science in China
1 Logicheskie Issledovaniya

Citations by Year