×
Author ID: wies.thomas Recent zbMATH articles by "Wies, Thomas"
Published as: Wies, Thomas

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 125 times in 105 Documents Cited by Year
Shape analysis for composite data structures. Zbl 1135.68372
Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter W.; Wies, Thomas; Yang, Hongseok
18
2007
Combining theories with shared set operations. Zbl 1193.03030
Wies, Thomas; Piskac, Ruzica; Kuncak, Viktor
11
2009
Counterexample-guided focus. Zbl 1312.68067
Podelski, Andreas; Wies, Thomas
10
2010
Boolean heaps. Zbl 1141.68374
Podelski, Andreas; Wies, Thomas
10
2005
Forward analysis of depth-bounded processes. Zbl 1284.68419
Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A.
10
2010
Using first-order theorem provers in the Jahob data structure verification system. Zbl 1132.68348
Bouillaguet, Charles; Kuncak, Viktor; Wies, Thomas; Zee, Karen; Rinard, Martin
10
2007
Complete instantiation-based interpolation. Zbl 1301.68106
Totla, Nishant; Wies, Thomas
8
2013
An efficient decision procedure for imperative tree data structures. Zbl 1341.68034
Wies, Thomas; Muñiz, Marco; Kuncak, Viktor
7
2011
Ideal abstractions for well-structured transition systems. Zbl 1326.68205
Zufferey, Damien; Wies, Thomas; Henzinger, Thomas A.
7
2012
Complete instantiation-based interpolation. Zbl 1356.68203
Totla, Nishant; Wies, Thomas
6
2016
Deciding local theory extensions via E-matching. Zbl 1381.68280
Bansal, Kshitij; Reynolds, Andrew; King, Tim; Barrett, Clark; Wies, Thomas
5
2015
Field constraint analysis. Zbl 1176.68130
Wies, Thomas; Kuncak, Viktor; Lam, Patrick; Podelski, Andreas; Rinard, Martin
5
2006
Abstraction refinement for quantified array assertions. Zbl 1248.68151
Seghir, Mohamed Nassim; Podelski, Andreas; Wies, Thomas
5
2009
Error invariants. Zbl 1372.68061
Ermis, Evren; Schäf, Martin; Wies, Thomas
3
2012
Building a calculus of data structures. Zbl 1273.68100
Kuncak, Viktor; Piskac, Ruzica; Suter, Philippe; Wies, Thomas
2
2010
Structural counter abstraction. Zbl 1381.68194
Bansal, Kshitij; Koskinen, Eric; Wies, Thomas; Zufferey, Damien
2
2013
Practical SMT-based type error localization. Zbl 1360.68351
Pavlinovic, Zvonimir; King, Tim; Wies, Thomas
2
2015
Local reasoning for global graph properties. Zbl 1508.68065
Krishna, Siddharth; Summers, Alexander J.; Wies, Thomas
1
2020
Doomed program points. Zbl 1211.68090
Hoenicke, Jochen; Leino, K. Rustan M.; Podelski, Andreas; Schäf, Martin; Wies, Thomas
1
2010
Heap assumptions on demand. Zbl 1155.68446
Podelski, Andreas; Rybalchenko, Andrey; Wies, Thomas
1
2008
Automated verification of concurrent search structures. Zbl 1473.68009
Krishna, Siddharth; Patel, Nisarg; Shasha, Dennis; Wies, Thomas
1
2021
Automated verification of concurrent search structures. Zbl 1473.68009
Krishna, Siddharth; Patel, Nisarg; Shasha, Dennis; Wies, Thomas
1
2021
Local reasoning for global graph properties. Zbl 1508.68065
Krishna, Siddharth; Summers, Alexander J.; Wies, Thomas
1
2020
Complete instantiation-based interpolation. Zbl 1356.68203
Totla, Nishant; Wies, Thomas
6
2016
Deciding local theory extensions via E-matching. Zbl 1381.68280
Bansal, Kshitij; Reynolds, Andrew; King, Tim; Barrett, Clark; Wies, Thomas
5
2015
Practical SMT-based type error localization. Zbl 1360.68351
Pavlinovic, Zvonimir; King, Tim; Wies, Thomas
2
2015
Complete instantiation-based interpolation. Zbl 1301.68106
Totla, Nishant; Wies, Thomas
8
2013
Structural counter abstraction. Zbl 1381.68194
Bansal, Kshitij; Koskinen, Eric; Wies, Thomas; Zufferey, Damien
2
2013
Ideal abstractions for well-structured transition systems. Zbl 1326.68205
Zufferey, Damien; Wies, Thomas; Henzinger, Thomas A.
7
2012
Error invariants. Zbl 1372.68061
Ermis, Evren; Schäf, Martin; Wies, Thomas
3
2012
An efficient decision procedure for imperative tree data structures. Zbl 1341.68034
Wies, Thomas; Muñiz, Marco; Kuncak, Viktor
7
2011
Counterexample-guided focus. Zbl 1312.68067
Podelski, Andreas; Wies, Thomas
10
2010
Forward analysis of depth-bounded processes. Zbl 1284.68419
Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A.
10
2010
Building a calculus of data structures. Zbl 1273.68100
Kuncak, Viktor; Piskac, Ruzica; Suter, Philippe; Wies, Thomas
2
2010
Doomed program points. Zbl 1211.68090
Hoenicke, Jochen; Leino, K. Rustan M.; Podelski, Andreas; Schäf, Martin; Wies, Thomas
1
2010
Combining theories with shared set operations. Zbl 1193.03030
Wies, Thomas; Piskac, Ruzica; Kuncak, Viktor
11
2009
Abstraction refinement for quantified array assertions. Zbl 1248.68151
Seghir, Mohamed Nassim; Podelski, Andreas; Wies, Thomas
5
2009
Heap assumptions on demand. Zbl 1155.68446
Podelski, Andreas; Rybalchenko, Andrey; Wies, Thomas
1
2008
Shape analysis for composite data structures. Zbl 1135.68372
Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter W.; Wies, Thomas; Yang, Hongseok
18
2007
Using first-order theorem provers in the Jahob data structure verification system. Zbl 1132.68348
Bouillaguet, Charles; Kuncak, Viktor; Wies, Thomas; Zee, Karen; Rinard, Martin
10
2007
Field constraint analysis. Zbl 1176.68130
Wies, Thomas; Kuncak, Viktor; Lam, Patrick; Podelski, Andreas; Rinard, Martin
5
2006
Boolean heaps. Zbl 1141.68374
Podelski, Andreas; Wies, Thomas
10
2005
all top 5

Cited by 228 Authors

9 Vojnar, Tomáš
7 Holík, Lukáš
7 Lengál, Ondřej
7 Wies, Thomas
6 Kuncak, Viktor
4 Bouajjani, Ahmed
4 Fontaine, Pascal
4 Ghilardi, Silvio
3 Blondin, Michael
3 Demri, Stéphane P.
3 Enea, Constantin
3 Finkel, Alain
3 Gianola, Alessandro
3 Matheja, Christoph
3 Noll, Thomas
3 Podelski, Andreas
3 Ringeissen, Christophe
3 Rümmer, Philipp
3 Sighireanu, Mihaela
2 Abdulla, Parosh Aziz
2 Blanchette, Jasmin Christian
2 Böhme, Sascha
2 Bonacina, Maria Paola
2 Chen, Sheng
2 Chocron, Paula
2 Cook, Byron
2 D’Osualdo, Emanuele
2 Dragoi, Cezara
2 Dross, Claire
2 Fiedor, Tomáš
2 Gast, Holger
2 Goubault-Larrecq, Jean
2 Haase, Christoph
2 Habermehl, Peter
2 Havlena, Vojtěch
2 Kapur, Deepak
2 Mili, Ali
2 Paulson, Lawrence Charles
2 Ranise, Silvio
2 Rival, Xavier
2 Rogalewicz, Adam
2 Saivasan, Prakash
2 Sánchez, Alejandro D.
2 Sánchez, César
2 Seghir, Mohamed Nassim
2 Sharygina, Natasha
2 Sofronie-Stokkermans, Viorica
2 Zuleger, Florian
1 Aguirre, Nazareno M.
1 Alberti, Francesco
1 Alpuente, María
1 Areces, Carlos
1 Arroyo, Marcelo
1 Athanassoulis, Manos
1 Backeman, Peter
1 Badouel, Eric
1 Balaban, Ittai
1 Banerjee, Anindya
1 Batz, Kevin
1 Botella, Bernard
1 Bouillaguet, Charles
1 Bozga, Marius
1 Brochenin, Rémi
1 Bruttomesso, Roberto
1 Cederberg, Jonathan
1 Chakraborty, Supratik
1 Chen, Yiyun
1 Chen, Zhiyuan
1 Chin, Wei-Ngan
1 Chini, Peter
1 Christ, Jürgen
1 Conchon, Sylvain
1 Cristiá, Maximiliano
1 Czerwiński, Wojciech
1 David, Cristina
1 de Moura, Leonardo
1 Desharnais, Jules
1 Deters, Morgan
1 Devriese, Dominique
1 Diallo, Nafi
1 D’silva, Vijay
1 Echenim, Mnacho
1 Erwig, Martin
1 Esen, Zafer
1 Feldman, Yotam M. Y.
1 Fesefeldt, Ira
1 Filliâtre, Jean-Christophe
1 Fischer, Bernd
1 Fulara, Jędrzej
1 Galmiche, Didier
1 Garg, Pranav
1 Ghardallou, Wided
1 Giorgetti, Alain
1 Godio, Ariel
1 Grech, Neville
1 Groves, Lindsay J.
1 Gulavani, Bhargav S.
1 Gupta, Aarti
1 Haziza, Frédéric
1 Heizmann, Matthias
...and 128 more Authors

Citations by Year