×

zbMATH — the first resource for mathematics

Veanes, Margus

Compute Distance To:
Author ID: veanes.margus Recent zbMATH articles by "Veanes, Margus"
Published as: Veanes, M.; Veanes, Margus; Veanes, Marqus
Documents Indexed: 50 Publications since 1997, including 5 Books

Publications by Year

Citations contained in zbMATH

33 Publications have been cited 132 times in 77 Documents Cited by Year
Symbolic finite state transducers: algorithms and applications. Zbl 1321.68341
Veanes, Margus; Hooimeijer, Pieter; Livshits, Benjamin; Molnar, David; Bjorner, Nikolaj
12
2012
Minimization of symbolic automata. Zbl 1284.68347
D’Antoni, Loris; Veanes, Margus
10
2014
On the undecidability of second-order unification. Zbl 1005.03007
Levy, Jordi; Veanes, Margus
10
2000
Play to test. Zbl 1183.68176
Blass, Andreas; Gurevich, Yuri; Nachmanson, Lev; Veanes, Margus
9
2006
Testing concurrent object-oriented systems with Spec Explorer. Zbl 1120.68354
Campbell, Colin; Grieskamp, Wolfgang; Nachmanson, Lev; Schulte, Wolfram; Tillmann, Nikolai; Veanes, Margus
9
2005
Symbolic automata constraint solving. Zbl 1306.68097
Veanes, Margus; Bjørner, Nikolaj; de Moura, Leonardo
7
2010
Decidability and complexity of simultaneous rigid E-unification with one variable and related results. Zbl 0944.68103
Degtyarev, A.; Gurevich, Y.; Narendran, P.; Veanes, M.; Voronkov, A.
7
2000
Applications of symbolic finite automata. Zbl 1298.68160
Veanes, Margus
6
2013
An evaluation of automata algorithms for string analysis. Zbl 1317.68287
Hooimeijer, Pieter; Veanes, Margus
5
2011
Model-based software testing and analysis with C#. Zbl 1142.68024
Jacky, Jonathan; Veanes, Marqus; Campbell, Colin; Schulte, Wolfram
5
2008
The relation between second-order unification and simultaneous rigid \(E\)-unification. Zbl 0945.03528
Veanes, Margus
5
1998
Rigid reachability. Zbl 0928.03002
Ganzinger, Harald; Jacquemard, Florent; Veanes, Margus
5
1998
The undecidability of simultaneous rigid \(E\)-unification with two variables. Zbl 0884.03047
Veanes, Margus
5
1997
Symbolic automata: the toolkit. Zbl 1352.68138
Veanes, Margus; Bjørner, Nikolaj
4
2012
The decidability of simultaneous rigid \(E\)-unification with one variable. Zbl 0903.03007
Degtyarev, Anatoli; Gurevich, Yuri; Narendran, Paliath; Veanes, Margus; Voronkov, Andrei
4
1998
Foundations of finite symbolic tree transducers. Zbl 1257.68100
Veanes, Margus; Bjørner, Nikolaj
3
2011
Qex: symbolic SQL query explorer. Zbl 1253.68114
Veanes, Margus; Tillmann, Nikolai; de Halleux, Jonathan
3
2010
Monadic decomposition. Zbl 1426.03026
Veanes, Margus; Bjørner, Nikolaj; Nachmanson, Lev; Bereg, Sergey
2
2017
Extended symbolic finite automata and transducers. Zbl 1341.68085
D’Antoni, Loris; Veanes, Margus
2
2015
Static analysis of string encoders and decoders. Zbl 1426.68043
D’Antoni, Loris; Veanes, Margus
2
2013
Composition of model programs. Zbl 1215.68072
Veanes, Margus; Campbell, Colin; Schulte, Wolfram
2
2007
Can abstract state machines be useful in language theory? Zbl 1111.68054
Gurevich, Yuri; Veanes, Margus; Wallace, Charles
2
2007
Rigid reachability, the non-symmetric form of rigid E-unification. Zbl 1319.68127
Ganzinger, Harald; Jacquemard, Florent; Veanes, Margus
2
2000
Decidable fragments of simultaneous rigid reachability. Zbl 0943.68096
Cortier, Veronique; Ganzinger, Harald; Jacquemard, Florent; Veanes, Margus
2
1999
Monadic second-order logic on finite sequences. Zbl 1387.03006
D’Antoni, Loris; Veanes, Margus
1
2017
Data-parallel string-manipulating programs. Zbl 1345.68035
Veanes, Margus; Mytkowicz, Todd; Molnar, David; Livshits, Benjamin
1
2015
Symbolic tree automata. Zbl 1317.68103
Veanes, Margus; Bjørner, Nikolaj
1
2015
Symbolic bounded conformance checking of model programs. Zbl 1274.68082
Veanes, Margus; Bjørner, Nikolaj
1
2010
Input-output model programs. Zbl 1250.68198
Veanes, Margus; Bjørner, Nikolaj
1
2009
On bounded reachability of programs with set comprehensions. Zbl 1182.68048
Veanes, Margus; Saabas, Ando
1
2008
State isomorphism in model programs with abstract data structures. Zbl 1215.68073
Veanes, Margus; Ernits, Juhan; Campbell, Colin
1
2007
Logic with equality: Partisan corroboration and shifted pairing. Zbl 1004.03036
Gurevich, Yuri; Veanes, Margus
1
1999
On simultaneous rigid \(E\)-unification. Zbl 0887.68098
Veanes, Margus
1
1997
Monadic decomposition. Zbl 1426.03026
Veanes, Margus; Bjørner, Nikolaj; Nachmanson, Lev; Bereg, Sergey
2
2017
Monadic second-order logic on finite sequences. Zbl 1387.03006
D’Antoni, Loris; Veanes, Margus
1
2017
Extended symbolic finite automata and transducers. Zbl 1341.68085
D’Antoni, Loris; Veanes, Margus
2
2015
Data-parallel string-manipulating programs. Zbl 1345.68035
Veanes, Margus; Mytkowicz, Todd; Molnar, David; Livshits, Benjamin
1
2015
Symbolic tree automata. Zbl 1317.68103
Veanes, Margus; Bjørner, Nikolaj
1
2015
Minimization of symbolic automata. Zbl 1284.68347
D’Antoni, Loris; Veanes, Margus
10
2014
Applications of symbolic finite automata. Zbl 1298.68160
Veanes, Margus
6
2013
Static analysis of string encoders and decoders. Zbl 1426.68043
D’Antoni, Loris; Veanes, Margus
2
2013
Symbolic finite state transducers: algorithms and applications. Zbl 1321.68341
Veanes, Margus; Hooimeijer, Pieter; Livshits, Benjamin; Molnar, David; Bjorner, Nikolaj
12
2012
Symbolic automata: the toolkit. Zbl 1352.68138
Veanes, Margus; Bjørner, Nikolaj
4
2012
An evaluation of automata algorithms for string analysis. Zbl 1317.68287
Hooimeijer, Pieter; Veanes, Margus
5
2011
Foundations of finite symbolic tree transducers. Zbl 1257.68100
Veanes, Margus; Bjørner, Nikolaj
3
2011
Symbolic automata constraint solving. Zbl 1306.68097
Veanes, Margus; Bjørner, Nikolaj; de Moura, Leonardo
7
2010
Qex: symbolic SQL query explorer. Zbl 1253.68114
Veanes, Margus; Tillmann, Nikolai; de Halleux, Jonathan
3
2010
Symbolic bounded conformance checking of model programs. Zbl 1274.68082
Veanes, Margus; Bjørner, Nikolaj
1
2010
Input-output model programs. Zbl 1250.68198
Veanes, Margus; Bjørner, Nikolaj
1
2009
Model-based software testing and analysis with C#. Zbl 1142.68024
Jacky, Jonathan; Veanes, Marqus; Campbell, Colin; Schulte, Wolfram
5
2008
On bounded reachability of programs with set comprehensions. Zbl 1182.68048
Veanes, Margus; Saabas, Ando
1
2008
Composition of model programs. Zbl 1215.68072
Veanes, Margus; Campbell, Colin; Schulte, Wolfram
2
2007
Can abstract state machines be useful in language theory? Zbl 1111.68054
Gurevich, Yuri; Veanes, Margus; Wallace, Charles
2
2007
State isomorphism in model programs with abstract data structures. Zbl 1215.68073
Veanes, Margus; Ernits, Juhan; Campbell, Colin
1
2007
Play to test. Zbl 1183.68176
Blass, Andreas; Gurevich, Yuri; Nachmanson, Lev; Veanes, Margus
9
2006
Testing concurrent object-oriented systems with Spec Explorer. Zbl 1120.68354
Campbell, Colin; Grieskamp, Wolfgang; Nachmanson, Lev; Schulte, Wolfram; Tillmann, Nikolai; Veanes, Margus
9
2005
On the undecidability of second-order unification. Zbl 1005.03007
Levy, Jordi; Veanes, Margus
10
2000
Decidability and complexity of simultaneous rigid E-unification with one variable and related results. Zbl 0944.68103
Degtyarev, A.; Gurevich, Y.; Narendran, P.; Veanes, M.; Voronkov, A.
7
2000
Rigid reachability, the non-symmetric form of rigid E-unification. Zbl 1319.68127
Ganzinger, Harald; Jacquemard, Florent; Veanes, Margus
2
2000
Decidable fragments of simultaneous rigid reachability. Zbl 0943.68096
Cortier, Veronique; Ganzinger, Harald; Jacquemard, Florent; Veanes, Margus
2
1999
Logic with equality: Partisan corroboration and shifted pairing. Zbl 1004.03036
Gurevich, Yuri; Veanes, Margus
1
1999
The relation between second-order unification and simultaneous rigid \(E\)-unification. Zbl 0945.03528
Veanes, Margus
5
1998
Rigid reachability. Zbl 0928.03002
Ganzinger, Harald; Jacquemard, Florent; Veanes, Margus
5
1998
The decidability of simultaneous rigid \(E\)-unification with one variable. Zbl 0903.03007
Degtyarev, Anatoli; Gurevich, Yuri; Narendran, Paliath; Veanes, Margus; Voronkov, Andrei
4
1998
The undecidability of simultaneous rigid \(E\)-unification with two variables. Zbl 0884.03047
Veanes, Margus
5
1997
On simultaneous rigid \(E\)-unification. Zbl 0887.68098
Veanes, Margus
1
1997
all top 5

Cited by 158 Authors

13 Veanes, Margus
5 Gurevich, Yuri
5 Voronkov, Andrei
3 Bjørner, Nikolaj S.
3 Chatterjee, Krishnendu
3 D’Antoni, Loris
3 Henzinger, Thomas A.
3 Schmidt-Schauß, Manfred
2 Barrett, Clark W.
2 Bloem, Roderick
2 Bourdonov, Igor B.
2 Campbell, Colin A. M.
2 Degtyarev, Anatoli Ivanovich
2 Fiedor, Tomáš
2 Ghorani, Maryam
2 Holík, Lukáš
2 Kossatchev, Alexander S.
2 Kuliamin, Victor V.
2 Lengál, Ondřej
2 Levy, Jordi
2 Liang, Tianyi
2 Reynolds, Andrew
2 Schubert, Aleksy
2 Schulz, Klaus U.
2 Tinelli, Cesare
2 Tsiskaridze, Nestan
2 Vogler, Heiko
2 Vojnar, Tomáš
1 Aarts, Fides
1 Alkhalaf, Muath
1 Alur, Rajeev
1 Ameri, Reza
1 Bantegui, Michael
1 Bartocci, Ezio
1 Basin, David A.
1 Beldiceanu, Nicolas
1 Berglund, Martin
1 Bester, Willem
1 Blass, Andreas Raphael
1 Bodei, Chiara
1 Botbol, Vincent
1 Bozzelli, Laura
1 Brucker, Achim D.
1 Bultan, Tevfik
1 Carlsson, Mats
1 Chailloux, Emmanuel
1 Chakraborty, Supratik
1 Cimatti, Alessandro
1 Clarke, Edmund Melson jun.
1 Costa, Gabriele
1 Courcelle, Bruno
1 Dalla Preda, Mila
1 Degano, Pierpaolo
1 DeLisi, Michael
1 Desharnais, Josée
1 Deters, Morgan
1 Douence, Rémi
1 Drews, Samuel
1 D’silva, Vijay
1 Durand, Irène A.
1 Ernits, Juhan
1 Fey, Görschwin
1 Fisman, Dana
1 Fominykh, F. M.
1 Fu, Xiang
1 Fujita, Ken-etsu
1 Fülöp, Zoltán
1 Galletta, Letterio
1 Garcia, Pedro
1 Glavan, Paola
1 Godefroid, Patrice
1 Godoy, Guillem
1 Gopalakrishnan, Ganesh Lalitha
1 Greif, Fabian
1 Grosu, Radu
1 Hains, Gaétan
1 Harao, Masateru
1 Héam, Pierre-Cyrille
1 Heizmann, Matthias
1 Herrmann, Luisa
1 Hierons, Robert Mark
1 Hirata, Kouichi
1 Hodges, Wilfrid
1 Hooimeijer, Pieter
1 Ibarra, Oscar H.
1 Jacky, Jonathan
1 Jacquemard, Florent
1 Jakšić, Stefan
1 Janků, Petr
1 Jobstmann, Barbara
1 John, Ajith K.
1 Jonsson, Bengt
1 Kapur, Deepak
1 Karandikar, Prateek
1 Kirby, Robert Mike
1 Könighofer, Robert
1 Konstantinidis, Stavros
1 Laviolette, François
1 Le Gall, Tristan
1 Li, Chung-Chih
...and 58 more Authors

Citations by Year