×

zbMATH — the first resource for mathematics

Thati, Prasanna

Compute Distance To:
Author ID: thati.prasanna Recent zbMATH articles by "Thati, Prasanna"
Published as: Thati, Prasanna; Thati, Prasannaa
Documents Indexed: 16 Publications since 2001

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 73 times in 57 Documents Cited by Year
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1115.68079
Meseguer, José; Thati, Prasanna
28
2007
Automated assume-guarantee reasoning for simulation conformance. Zbl 1081.68612
Chaki, Sagar; Clarke, Edmund; Sinha, Nishant; Thati, Prasanna
10
2005
An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0. Zbl 1272.68322
Thati, Prasanna; Sen, Koushik; Martí-Oliet, Narciso
9
2004
Natural narrowing for general term rewriting systems. Zbl 1078.68655
Escobar, Santiago; Meseguer, José; Thati, Prasanna
6
2005
An algebraic theory of actors and its application to a simple object-based language. Zbl 1278.68064
Agha, Gul; Thati, Prasanna
4
2004
Narrowing and rewriting logic: from foundations to applications. Zbl 1279.68205
Escobar, Santiago; Meseguer, José; Thati, Prasanna
4
2007
Complete symbolic reachability analysis using back-and-forth narrowing. Zbl 1110.68058
Thati, Prasanna; Meseguer, José
4
2006
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1272.68194
Meseguer, José; Thati, Prasanna
2
2005
A theory of may testing for actors. Zbl 1048.68059
Thati, Prasannaa; Ziaei, Reza; Agha, Gul
2
2002
Complete symbolic reachability analysis using back-and-forth narrowing. Zbl 1151.68452
Thati, Prasanna; Meseguer, José
2
2005
A theory of may testing for asynchronous calculi with locality and no name matching. Zbl 1275.68106
Thati, Prasannaa; Ziaei, Reza; Agha, Gul
1
2002
Techniques for executing and reasoning about specification diagrams. Zbl 1108.68415
Thati, Prasanna; Talcott, Carolyn; Agha, Gul
1
2004
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1115.68079
Meseguer, José; Thati, Prasanna
28
2007
Narrowing and rewriting logic: from foundations to applications. Zbl 1279.68205
Escobar, Santiago; Meseguer, José; Thati, Prasanna
4
2007
Complete symbolic reachability analysis using back-and-forth narrowing. Zbl 1110.68058
Thati, Prasanna; Meseguer, José
4
2006
Automated assume-guarantee reasoning for simulation conformance. Zbl 1081.68612
Chaki, Sagar; Clarke, Edmund; Sinha, Nishant; Thati, Prasanna
10
2005
Natural narrowing for general term rewriting systems. Zbl 1078.68655
Escobar, Santiago; Meseguer, José; Thati, Prasanna
6
2005
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1272.68194
Meseguer, José; Thati, Prasanna
2
2005
Complete symbolic reachability analysis using back-and-forth narrowing. Zbl 1151.68452
Thati, Prasanna; Meseguer, José
2
2005
An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0. Zbl 1272.68322
Thati, Prasanna; Sen, Koushik; Martí-Oliet, Narciso
9
2004
An algebraic theory of actors and its application to a simple object-based language. Zbl 1278.68064
Agha, Gul; Thati, Prasanna
4
2004
Techniques for executing and reasoning about specification diagrams. Zbl 1108.68415
Thati, Prasanna; Talcott, Carolyn; Agha, Gul
1
2004
A theory of may testing for actors. Zbl 1048.68059
Thati, Prasannaa; Ziaei, Reza; Agha, Gul
2
2002
A theory of may testing for asynchronous calculi with locality and no name matching. Zbl 1275.68106
Thati, Prasannaa; Ziaei, Reza; Agha, Gul
1
2002
all top 5

Cited by 81 Authors

19 Meseguer Guaita, José
16 Escobar, Santiago
7 Alpuente, María
7 Martí-Oliet, Narciso
4 Meadows, Catherine A.
4 Talcott, Carolyn L.
4 Thati, Prasanna
3 Durán, Francisco
3 Eker, Steven
3 Grumberg, Orna
3 Iborra, José
3 Palomino, Miguel
3 Roşu, Grigore
3 Shoham, Sharon
2 Aguirre, Luis Antonio
2 Arusoaie, Andrei
2 Chaki, Sagar
2 Clavel, Manuel
2 Falaschi, Moreno
2 Lucanu, Dorel
2 Lucas, Salvador
2 Pita, Isabel
2 Rocha, Camilo
2 Rusu, Vlad
2 Santiago, Sonia
1 Abbasi, Rosa
1 Abd Elkader, Karam
1 Aït-Kaci, Hassan
1 Antoy, Sergio
1 Ballis, Demis
1 Bartoletti, Massimo
1 Bisping, Benjamin
1 Bruni, Roberto
1 Chatterjee, Krishnendu
1 Chen, Yu-Fang
1 Chmelík, Martin
1 Clarke, Edmund Melson jun.
1 Cohen, Ariel
1 Comini, Marco
1 Correa, Francisco José
1 Crafa, Silvia
1 Cuenca-Ortega, Angel
1 Daca, Przemysław
1 Ghassemi, Fatemeh
1 Gramlich, Bernhard
1 Hanus, Michael
1 Khosravi, Ramtin
1 Kmetyuk, Anatoliy
1 Křena, Bohuslav
1 Kurnia, Ilham W.
1 Lincoln, Patrick D.
1 Liu, Depeng
1 Martí-Oliet, Narcisco
1 Martín, Óscar
1 Meller, Yael
1 Mödersheim, Sebastian A.
1 Muñoz, César A.
1 Murgia, Maurizio
1 Namjoshi, Kedar S.
1 Nestmann, Uwe
1 Ojeda, Pedro
1 Olveczky, Peter Csaba
1 Păsăreanu, Corina S.
1 Pasi, Gabriella
1 Peters, Kirstin
1 Poetzsch-Heffter, Arnd
1 Rosa-Velardo, Fernando
1 Rubio, Rubén
1 Sasse, Ralf
1 Scalas, Alceste
1 Sen, Koushik
1 Sharygina, Natasha
1 Sinha, Nishant
1 Strichman, Ofer
1 van Delft, Andre
1 Vardhan, Abhay
1 Verdejo, Alberto
1 Viswanathan, Mahesh
1 Vojnar, Tomáš
1 Zhang, Lijun
1 Zunino, Roberto

Citations by Year