×

zbMATH — the first resource for mathematics

Wies, Thomas

Compute Distance To:
Author ID: wies.thomas Recent zbMATH articles by "Wies, Thomas"
Published as: Wies, Thomas
Documents Indexed: 25 Publications since 2005, including 2 Books

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 95 times in 77 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
12
2007
Counterexample-guided focus. Zbl 1312.68067
Podelski, Andreas; Wies, Thomas
10
2010
Combining theories with shared set operations. Zbl 1193.03030
Wies, Thomas; Piskac, Ruzica; Kuncak, Viktor
9
2009
Boolean heaps. Zbl 1141.68374
Podelski, Andreas; Wies, Thomas
8
2005
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
8
2007
Forward analysis of depth-bounded processes. Zbl 1284.68419
Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A.
7
2010
Complete instantiation-based interpolation. Zbl 1301.68106
Totla, Nishant; Wies, Thomas
7
2013
Ideal abstractions for well-structured transition systems. Zbl 1326.68205
Zufferey, Damien; Wies, Thomas; Henzinger, Thomas A.
6
2012
Abstraction refinement for quantified array assertions. Zbl 1248.68151
Seghir, Mohamed Nassim; Podelski, Andreas; Wies, Thomas
5
2009
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
4
2006
An efficient decision procedure for imperative tree data structures. Zbl 1341.68034
Wies, Thomas; Muñiz, Marco; Kuncak, Viktor
4
2011
Building a calculus of data structures. Zbl 1273.68100
Kuncak, Viktor; Piskac, Ruzica; Suter, Philippe; Wies, Thomas
2
2010
Error invariants. Zbl 1372.68061
Ermis, Evren; Schäf, Martin; Wies, Thomas
2
2012
Complete instantiation-based interpolation. Zbl 1356.68203
Totla, Nishant; Wies, Thomas
2
2016
Heap assumptions on demand. Zbl 1155.68446
Podelski, Andreas; Rybalchenko, Andrey; Wies, Thomas
1
2008
Doomed program points. Zbl 1211.68090
Hoenicke, Jochen; Leino, K. Rustan M.; Podelski, Andreas; Schäf, Martin; Wies, Thomas
1
2010
Practical SMT-based type error localization. Zbl 1360.68351
Pavlinovic, Zvonimir; King, Tim; Wies, Thomas
1
2015
Structural counter abstraction. Zbl 1381.68194
Bansal, Kshitij; Koskinen, Eric; Wies, Thomas; Zufferey, Damien
1
2013
Complete instantiation-based interpolation. Zbl 1356.68203
Totla, Nishant; Wies, Thomas
2
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
1
2015
Complete instantiation-based interpolation. Zbl 1301.68106
Totla, Nishant; Wies, Thomas
7
2013
Structural counter abstraction. Zbl 1381.68194
Bansal, Kshitij; Koskinen, Eric; Wies, Thomas; Zufferey, Damien
1
2013
Ideal abstractions for well-structured transition systems. Zbl 1326.68205
Zufferey, Damien; Wies, Thomas; Henzinger, Thomas A.
6
2012
Error invariants. Zbl 1372.68061
Ermis, Evren; Schäf, Martin; Wies, Thomas
2
2012
An efficient decision procedure for imperative tree data structures. Zbl 1341.68034
Wies, Thomas; Muñiz, Marco; Kuncak, Viktor
4
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.
7
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
9
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
12
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
8
2007
Field constraint analysis. Zbl 1176.68130
Wies, Thomas; Kuncak, Viktor; Lam, Patrick; Podelski, Andreas; Rinard, Martin
4
2006
Boolean heaps. Zbl 1141.68374
Podelski, Andreas; Wies, Thomas
8
2005
all top 5

Cited by 167 Authors

7 Vojnar, Tomáš
5 Holík, Lukáš
5 Kuncak, Viktor
5 Lengál, Ondřej
5 Wies, Thomas
3 Bouajjani, Ahmed
3 Demri, Stéphane P.
3 Enea, Constantin
3 Finkel, Alain
3 Fontaine, Pascal
3 Podelski, Andreas
3 Sighireanu, Mihaela
2 Blanchette, Jasmin Christian
2 Blondin, Michael
2 Böhme, Sascha
2 Bonacina, Maria Paola
2 Cook, Byron
2 Dragoi, Cezara
2 Dross, Claire
2 Fiedor, Tomáš
2 Gast, Holger
2 Ghilardi, Silvio
2 Goubault-Larrecq, Jean
2 Habermehl, Peter
2 Hoenicke, Jochen
2 Paulson, Lawrence Charles
2 Ranise, Silvio
2 Ringeissen, Christophe
2 Rogalewicz, Adam
2 Sánchez, Alejandro D.
2 Sánchez, César
2 Seghir, Mohamed Nassim
2 Sharygina, Natasha
2 Sofronie-Stokkermans, Viorica
1 Abdulla, Parosh Aziz
1 Alberti, Francesco
1 Alpuente, María
1 Areces, Carlos
1 Balaban, Ittai
1 Banerjee, Anindya
1 Botella, Bernard
1 Bozga, Marius
1 Brochenin, Rémi
1 Bruttomesso, Roberto
1 Chakraborty, Supratik
1 Chen, Sheng
1 Chen, Yiyun
1 Chen, Zhiyuan
1 Chin, Wei-Ngan
1 Chocron, Paula
1 Christ, Jürgen
1 Conchon, Sylvain
1 David, Cristina
1 de Moura, Leonardo
1 Desharnais, Jules
1 Deters, Morgan
1 Diallo, Nafi
1 D’Osualdo, Emanuele
1 D’silva, Vijay
1 Echenim, Mnacho
1 Erwig, Martin
1 Feldman, Yotam M. Y.
1 Filliâtre, Jean-Christophe
1 Fischer, Bernd
1 Fulara, Jędrzej
1 Galmiche, Didier
1 Garg, Pranav
1 Ghardallou, Wided
1 Gianola, Alessandro
1 Giorgetti, Alain
1 Grech, Neville
1 Gulavani, Bhargav S.
1 Gupta, Aarti
1 Haase, Christoph
1 Heizmann, Matthias
1 Henzinger, Thomas A.
1 Hruška, Martin
1 Huang, Hongtao
1 Huang, Shaobin
1 Hurlin, Clément
1 Hüttel, Hans
1 Immerman, Neil
1 Iosif, Radu
1 Jacobs, Swen
1 Janků, Petr
1 Jansen, Christina
1 Jhala, Ranjit
1 Jonsson, Bengt
1 Julliand, Jacques
1 Kahlon, Vineet
1 Kanig, Johannes
1 Katelaan, Jens
1 King, Tim
1 König, Barbara
1 Kosmatov, Nikolai
1 Kröning, Daniel
1 Kurnia, Ilham W.
1 Larchey-Wendling, Dominique
1 Leroux, Jérôme
1 Li, Zhaopeng
...and 67 more Authors

Citations by Year