×

zbMATH — the first resource for mathematics

Sharygina, Natasha

Compute Distance To:
Author ID: sharygina.natasha Recent zbMATH articles by "Sharygina, Natasha"
Published as: Sharygina, Natasha
External Links: ORCID
Documents Indexed: 45 Publications since 2001, including 1 Book

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 158 times in 107 Documents Cited by Year
SATABS: SAT-based predicate abstraction for ANSI-C. Zbl 1087.68586
Clarke, Edmund; Kroening, Daniel; Sharygina, Natasha; Yorav, Karen
21
2005
Predicate abstraction of ANSI-C programs using SAT. Zbl 1090.68022
Clarke, Edmund; Kroening, Daniel; Sharygina, Natasha; Yorav, Karen
13
2004
State/event-based software model checking. Zbl 1196.68129
Chaki, Sagar; Clarke, Edmund M.; Ouaknine, Joël; Sharygina, Natasha; Sinha, Nishant
13
2004
Lazy abstraction with interpolants for arrays. Zbl 1352.68141
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha
9
2012
Concurrent software verification with states, events, and deadlocks. Zbl 1103.68609
Chaki, Sagar; Clarke, Edmund; Ouaknine, Joël; Sharygina, Natasha; Sinha, Nishant
7
2005
Resolution proof transformation for compression and interpolation. Zbl 1317.68123
Rollini, Simone Fulvio; Bruttomesso, Roberto; Sharygina, Natasha; Tsitovich, Aliaksei
7
2014
An efficient and flexible approach to resolution proof reduction. Zbl 1325.68215
Rollini, Simone Fulvio; Bruttomesso, Roberto; Sharygina, Natasha
6
2011
Dynamic component substitutability analysis. Zbl 1120.68421
Sharygina, Natasha; Chaki, Sagar; Clarke, Edmund; Sinha, Nishant
5
2005
Computer aided verification. 25th international conference, CAV 2013, Saint Petersburg, Russia, July 13–19, 2013. Proceedings. Zbl 1268.68032
Sharygina, Natasha (ed.); Veith, Helmut (ed.)
5
2013
Symbolic model checking for asynchronous Boolean programs. Zbl 1151.68367
Cook, Byron; Kroening, Daniel; Sharygina, Natasha
5
2005
Verification of Boolean programs with unbounded thread creation. Zbl 1143.68043
Cook, Byron; Kroening, Daniel; Sharygina, Natasha
5
2007
Decision procedures for flat array properties. Zbl 1356.03049
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
5
2015
Approximating predicate images for bit-vector logic. Zbl 1180.68175
Kroening, Daniel; Sharygina, Natasha
4
2006
Verification of evolving software via component substitutability analysis. Zbl 1147.68047
Chaki, Sagar; Clarke, Edmund; Sharygina, Natasha; Sinha, Nishant
4
2008
Loop summarization using abstract transformers. Zbl 1183.68377
Kroening, Daniel; Sharygina, Natasha; Tonetta, Stefano; Tsitovich, Aliaksei; Wintersteiger, Christoph M.
4
2008
Booster: an acceleration-based verification framework for array programs. Zbl 1448.68284
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
4
2014
An extension of lazy abstraction with interpolation for programs with arrays. Zbl 1317.68107
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha
4
2014
Loop summarization and termination analysis. Zbl 1315.68106
Tsitovich, Aliaksei; Sharygina, Natasha; Wintersteiger, Christoph M.; Kroening, Daniel
4
2011
The ComFoRT reasoning framework. Zbl 1081.68613
Chaki, Sagar; Ivers, James; Sharygina, Natasha; Wallnau, Kurt
3
2005
Cogent: Accurate theorem proving for program verification. Zbl 1081.68673
Cook, Byron; Kroening, Daniel; Sharygina, Natasha
3
2005
Definability of accelerated relations in a theory of arrays and its applications. Zbl 1397.68121
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
3
2013
PeRIPLO: a framework for producing effective interpolants in SAT-based software verification. Zbl 1407.68303
Rollini, Simone Fulvio; Alt, Leonardo; Fedyukovich, Grigory; Hyvärinen, Antti E. J.; Sharygina, Natasha
3
2013
State/event software verification for branching-time specifications. Zbl 1137.68432
Chaki, Sagar; Clarke, Edmund; Grumberg, Orna; Ouaknine, Joël; Sharygina, Natasha; Touili, Tayssir; Veith, Helmut
3
2005
Automated discovery of simulation between programs. Zbl 06528810
Fedyukovich, Grigory; Gurfinkel, Arie; Sharygina, Natasha
3
2015
A model checking-based approach for security policy verification of mobile systems. Zbl 1242.68153
Braghin, Chiara; Sharygina, Natasha; Barone-Adesi, Katerina
3
2011
eVolCheck: incremental upgrade checker for C. Zbl 1381.68159
Fedyukovich, Grigory; Sery, Ondrej; Sharygina, Natasha
2
2013
Modeling for verification. Zbl 1392.68264
Seshia, Sanjit A.; Sharygina, Natasha; Tripakis, Stavros
2
2018
Loop summarization using state and transition invariants. Zbl 1291.68262
Kroening, Daniel; Sharygina, Natasha; Tonetta, Stefano; Tsitovich, Aliaksei; Wintersteiger, Christoph M.
2
2013
Property directed equivalence via abstract simulation. Zbl 1411.68065
Fedyukovich, Grigory; Gurfinkel, Arie; Sharygina, Natasha
2
2016
A formal object-oriented analysis for software reliability: design for verification. Zbl 0977.68831
Sharygina, Natasha; Browne, James C.; Kurshan, Robert P.
1
2001
Opensmt2: an SMT solver for multi-core and cloud computing. Zbl 06623535
Hyvärinen, Antti E. J.; Marescotti, Matteo; Alt, Leonardo; Sharygina, Natasha
1
2016
Program compatibility approaches. Zbl 1196.68044
Clarke, Edmund; Sharygina, Natasha; Sinha, Nishant
1
2006
Search-space partitioning for parallelizing SMT solvers. Zbl 06512586
Hyvärinen, Antti E. J.; Marescotti, Matteo; Sharygina, Natasha
1
2015
Modeling for verification. Zbl 1392.68264
Seshia, Sanjit A.; Sharygina, Natasha; Tripakis, Stavros
2
2018
Property directed equivalence via abstract simulation. Zbl 1411.68065
Fedyukovich, Grigory; Gurfinkel, Arie; Sharygina, Natasha
2
2016
Opensmt2: an SMT solver for multi-core and cloud computing. Zbl 06623535
Hyvärinen, Antti E. J.; Marescotti, Matteo; Alt, Leonardo; Sharygina, Natasha
1
2016
Decision procedures for flat array properties. Zbl 1356.03049
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
5
2015
Automated discovery of simulation between programs. Zbl 06528810
Fedyukovich, Grigory; Gurfinkel, Arie; Sharygina, Natasha
3
2015
Search-space partitioning for parallelizing SMT solvers. Zbl 06512586
Hyvärinen, Antti E. J.; Marescotti, Matteo; Sharygina, Natasha
1
2015
Resolution proof transformation for compression and interpolation. Zbl 1317.68123
Rollini, Simone Fulvio; Bruttomesso, Roberto; Sharygina, Natasha; Tsitovich, Aliaksei
7
2014
Booster: an acceleration-based verification framework for array programs. Zbl 1448.68284
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
4
2014
An extension of lazy abstraction with interpolation for programs with arrays. Zbl 1317.68107
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha
4
2014
Computer aided verification. 25th international conference, CAV 2013, Saint Petersburg, Russia, July 13–19, 2013. Proceedings. Zbl 1268.68032
Sharygina, Natasha; Veith, Helmut
5
2013
Definability of accelerated relations in a theory of arrays and its applications. Zbl 1397.68121
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
3
2013
PeRIPLO: a framework for producing effective interpolants in SAT-based software verification. Zbl 1407.68303
Rollini, Simone Fulvio; Alt, Leonardo; Fedyukovich, Grigory; Hyvärinen, Antti E. J.; Sharygina, Natasha
3
2013
eVolCheck: incremental upgrade checker for C. Zbl 1381.68159
Fedyukovich, Grigory; Sery, Ondrej; Sharygina, Natasha
2
2013
Loop summarization using state and transition invariants. Zbl 1291.68262
Kroening, Daniel; Sharygina, Natasha; Tonetta, Stefano; Tsitovich, Aliaksei; Wintersteiger, Christoph M.
2
2013
Lazy abstraction with interpolants for arrays. Zbl 1352.68141
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha
9
2012
An efficient and flexible approach to resolution proof reduction. Zbl 1325.68215
Rollini, Simone Fulvio; Bruttomesso, Roberto; Sharygina, Natasha
6
2011
Loop summarization and termination analysis. Zbl 1315.68106
Tsitovich, Aliaksei; Sharygina, Natasha; Wintersteiger, Christoph M.; Kroening, Daniel
4
2011
A model checking-based approach for security policy verification of mobile systems. Zbl 1242.68153
Braghin, Chiara; Sharygina, Natasha; Barone-Adesi, Katerina
3
2011
Verification of evolving software via component substitutability analysis. Zbl 1147.68047
Chaki, Sagar; Clarke, Edmund; Sharygina, Natasha; Sinha, Nishant
4
2008
Loop summarization using abstract transformers. Zbl 1183.68377
Kroening, Daniel; Sharygina, Natasha; Tonetta, Stefano; Tsitovich, Aliaksei; Wintersteiger, Christoph M.
4
2008
Verification of Boolean programs with unbounded thread creation. Zbl 1143.68043
Cook, Byron; Kroening, Daniel; Sharygina, Natasha
5
2007
Approximating predicate images for bit-vector logic. Zbl 1180.68175
Kroening, Daniel; Sharygina, Natasha
4
2006
Program compatibility approaches. Zbl 1196.68044
Clarke, Edmund; Sharygina, Natasha; Sinha, Nishant
1
2006
SATABS: SAT-based predicate abstraction for ANSI-C. Zbl 1087.68586
Clarke, Edmund; Kroening, Daniel; Sharygina, Natasha; Yorav, Karen
21
2005
Concurrent software verification with states, events, and deadlocks. Zbl 1103.68609
Chaki, Sagar; Clarke, Edmund; Ouaknine, Joël; Sharygina, Natasha; Sinha, Nishant
7
2005
Dynamic component substitutability analysis. Zbl 1120.68421
Sharygina, Natasha; Chaki, Sagar; Clarke, Edmund; Sinha, Nishant
5
2005
Symbolic model checking for asynchronous Boolean programs. Zbl 1151.68367
Cook, Byron; Kroening, Daniel; Sharygina, Natasha
5
2005
The ComFoRT reasoning framework. Zbl 1081.68613
Chaki, Sagar; Ivers, James; Sharygina, Natasha; Wallnau, Kurt
3
2005
Cogent: Accurate theorem proving for program verification. Zbl 1081.68673
Cook, Byron; Kroening, Daniel; Sharygina, Natasha
3
2005
State/event software verification for branching-time specifications. Zbl 1137.68432
Chaki, Sagar; Clarke, Edmund; Grumberg, Orna; Ouaknine, Joël; Sharygina, Natasha; Touili, Tayssir; Veith, Helmut
3
2005
Predicate abstraction of ANSI-C programs using SAT. Zbl 1090.68022
Clarke, Edmund; Kroening, Daniel; Sharygina, Natasha; Yorav, Karen
13
2004
State/event-based software model checking. Zbl 1196.68129
Chaki, Sagar; Clarke, Edmund M.; Ouaknine, Joël; Sharygina, Natasha; Sinha, Nishant
13
2004
A formal object-oriented analysis for software reliability: design for verification. Zbl 0977.68831
Sharygina, Natasha; Browne, James C.; Kurshan, Robert P.
1
2001
all top 5

Cited by 242 Authors

14 Kröning, Daniel
12 Sharygina, Natasha
7 Ghilardi, Silvio
4 Alberti, Francesco
4 Cook, Byron
4 Rümmer, Philipp
4 Tsitovich, Aliaksei
4 Wintersteiger, Christoph M.
3 Beneš, Nikola
3 Bruttomesso, Roberto
3 Černá, Ivana
3 Clarke, Edmund Melson jun.
3 Dong, JinSong
3 Liu, Yang
3 Sun, Jun
3 Wahl, Thomas
3 Weissenbacher, Georg
2 Alt, Leonardo S.
2 Barrett, Clark W.
2 Biere, Armin
2 Brim, Luboš
2 Brockschmidt, Marc
2 Chaki, Sagar
2 Donaldson, Alastair F.
2 Fedyukovich, Grigory
2 Grumberg, Orna
2 Hoenicke, Jochen
2 Hyvärinen, Antti E. J.
2 Kaiser, Alexander D.
2 Kofroň, Jan
2 Kuncak, Viktor
2 Kwiatkowska, Marta Z.
2 Madhusudan, Parthasarathy
2 Martín, Óscar
2 McMillan, Kenneth L.
2 Pagani, Elena
2 Podelski, Andreas
2 Ranise, Silvio
2 Reynolds, Andrew
2 Roscoe, Andrew William
2 Rybalchenko, Andrey
2 Sochor, Jiri
2 Tautschnig, Michael
2 Tinelli, Cesare
2 Tonetta, Stefano
2 Vařeková, Pavlina
2 Verdejo, Alberto
2 Woltzenlogel Paleo, Bruno
2 Xiang, Shuangqing
2 Xie, Wanling
1 Abreu Júnior, João Carlos
1 Aissat, Romain
1 Alur, Rajeev
1 André, Étienne
1 Andrianov, P. S.
1 Antonino, Pedro
1 Aoki, Toshiaki
1 Aschermann, Cornelius
1 Ashar, Pranav
1 Bae, Kyungmin
1 Baier, Christel
1 Baltazar, Pedro
1 Barone-Adesi, Katerina
1 Barringer, Howard
1 Basler, Gérard
1 Ben-Amram, Amir M.
1 Betin-Can, Aysu
1 Beyer, Dirk
1 Bhattarakosol, Pattarasinee
1 Biyani, Karun N.
1 Bjørner, Nikolaj S.
1 Bodik, Rastislav
1 Bonacina, Maria Paola
1 Borralleras, Cristina
1 Braghin, Chiara
1 Brauer, Jörg
1 Buhnova, B.
1 Bultan, Tevfik
1 Cabodi, Gianpiero
1 Calvanese, Diego
1 Cao, Yongzhi
1 Chechik, Marsha
1 Chen, Yixiang
1 Chen, Yu-Fang
1 Christ, Jürgen
1 Cobleigh, Jamieson M.
1 Collavizza, Hélène
1 Dams, Dennis René
1 Dangl, Matthias
1 Daniel, Jakub
1 de Alfaro, Luca
1 Debbabi, Mourad
1 Desharnais, Jules
1 Diallo, Nafi
1 Dobrikov, Ivaylo
1 Ermis, Evren
1 Farzan, Azadeh
1 Fehnker, Ansgar
1 Fiadeiro, José Luiz
1 Forejt, Vojtěch
...and 142 more Authors

Citations by Year