×

zbMATH — the first resource for mathematics

Veith, Helmut

Compute Distance To:
Author ID: veith.helmut Recent zbMATH articles by "Veith, Helmut"
Published as: Veith, Helmut; Veith, H.
External Links: MGP · Wikidata
Documents Indexed: 69 Publications since 1995, including 7 Books
Biographic References: 5 Publications

Publications by Year

Citations contained in zbMATH Open

51 Publications have been cited 473 times in 366 Documents Cited by Year
Counterexample-guided abstraction refinement. Zbl 0974.68517
Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut
119
2000
Counterexample-guided abstraction refinement for symbolic model checking. Zbl 1325.68145
Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut
74
2003
Model checking. 2nd expanded and updated edition. Zbl 1423.68002
Clarke, Edmund M. jun.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
18
2018
Interpolation in fuzzy logic. Zbl 0936.03026
Baaz, Matthias; Veith, Helmut
16
1999
Complexity of t-tautologies. Zbl 1006.03022
Baaz, Matthias; Hájek, Petr; Montagna, Franco; Veith, Helmut
14
2002
Decidability of parameterized verification. Zbl 1400.68006
Bloem, Roderick; Jacobs, Swen; Khalimov, Ayrat; Konnov, Igor; Rubin, Sasha; Veith, Helmut; Widder, Josef
13
2015
25 years of model checking. History, achievements, perspectives. Zbl 1139.68003
Grumberg, Orna (ed.); Veith, Helmut (ed.)
13
2008
Verification by network decomposition. Zbl 1099.68653
Clarke, Edmund; Talupur, Muralidhar; Touili, Tayssir; Veith, Helmut
12
2004
Handbook of model checking. Zbl 1390.68001
Clarke, Edmund M. (ed.); Henzinger, Thomas A. (ed.); Veith, Helmut (ed.); Bloem, Roderick (ed.)
10
2018
Parameterized model checking of rendezvous systems. Zbl 1417.68112
Aminof, Benjamin; Kotek, Tomer; Rubin, Sasha; Spegni, Francesco; Veith, Helmut
10
2014
Succinct representation, leaf languages, and projection reductions. Zbl 0909.68079
Veith, Helmut
9
1998
Environment abstraction for parameterized verification. Zbl 1176.68117
Clarke, Edmund; Talupur, Muralidhar; Veith, Helmut
9
2006
Succinctness as a source of complexity in logical formalisms. Zbl 0933.03048
Gottlob, Georg; Leone, Nicola; Veith, Helmut
8
1999
Datalog LITE: a deductive query language with linear time model checking. Zbl 1365.68203
Gottlob, Georg; Grädel, Erich; Veith, Helmut
8
2002
Proving Ptolemy right: The environment abstraction framework for model checking concurrent systems. Zbl 1134.68403
Clarke, Edmund; Talupur, Murali; Veith, Helmut
8
2008
Automated abstraction refinement for model checking large state spaces using SAT based conflict analysis. Zbl 1019.68618
Chauhan, Pankaj; Clarke, Edmund; Kukula, James; Sapra, Samir; Veith, Helmut; Wang, Dong
7
2002
On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. Zbl 1417.68136
Konnov, Igor; Veith, Helmut; Widder, Josef
7
2014
A logic-based framework for verifying consensus algorithms. Zbl 1428.68371
Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien
7
2014
SMT and POR beat counter abstraction: parameterized model checking of threshold-based distributed algorithms. Zbl 1381.68172
Konnov, Igor; Veith, Helmut; Widder, Josef
7
2015
Second order logic and the weak exponential hierarchies. Zbl 1193.68115
Gottlob, Georg; Leone, Nicola; Veith, Helmut
7
1995
How to encode a logical structure by an OBDD. Zbl 0935.68051
Veith, Helmut
6
1998
SAT based predicate abstraction for hardware verification. Zbl 1204.68129
Clarke, Edmund; Talupur, Muralidhar; Veith, Helmut; Wang, Dong
6
2004
An abstract interpretation-based framework for control flow reconstruction from binaries. Zbl 1206.68091
Kinder, Johannes; Zuleger, Florian; Veith, Helmut
6
2009
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
Quantifier elimination in fuzzy logic. Zbl 0933.03022
Baaz, Matthias; Veith, Helmut
4
1999
The first order definability of graphs: Upper bounds for quantifier depth. Zbl 1109.03023
Pikhurko, Oleg; Veith, Helmut; Verbitsky, Oleg
4
2006
Encoding treewidth into SAT. Zbl 1247.68259
Samer, Marko; Veith, Helmut
4
2009
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. Zbl 1380.68278
Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef
4
2017
On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. Zbl 1355.68176
Konnov, Igor; Veith, Helmut; Widder, Josef
4
2017
What you always wanted to know about model checking of fault-tolerant distributed algorithms. Zbl 1461.68115
Konnov, Igor; Veith, Helmut; Widder, Josef
4
2016
Tutorial on parameterized model checking of fault-tolerant distributed algorithms. Zbl 1445.68133
Gmeiner, Annu; Konnov, Igor; Schmid, Ulrich; Veith, Helmut; Widder, Josef
4
2014
Languages represented by Boolean formulas. Zbl 1337.68139
Veith, Helmut
4
1997
On the notion of vacuous truth. Zbl 1137.68438
Samer, Marko; Veith, Helmut
4
2007
Proof theory of fuzzy logics: Urquhart’s \(C\) and related logics. Zbl 0921.03028
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian; Veith, Helmut
3
1998
An axiomatization of quantified propositional Gödel logic using the Takeuti-Titani rule. Zbl 0943.03020
Baaz, Matthias; Veith, Helmut
3
2000
Information reuse for multi-goal reachability analyses. Zbl 1381.68148
Beyer, Dirk; Holzer, Andreas; Tautschnig, Michael; Veith, Helmut
3
2013
Complexity and resource bound analysis of imperative programs using difference constraints. Zbl 1409.68076
Sinn, Moritz; Zuleger, Florian; Veith, Helmut
3
2017
Counterexamples revisited: principles, algorithms, applications. Zbl 1274.68179
Clarke, Edmund; Veith, Helmut
3
2003
Query-driven program testing. Zbl 1206.68089
Holzer, Andreas; Schallhart, Christian; Tautschnig, Michael; Veith, Helmut
3
2009
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
An introduction to test specification in FQL. Zbl 1325.68148
Holzer, Andreas; Tautschnig, Michael; Schallhart, Christian; Veith, Helmut
2
2011
Validity of CTL queries revisited. Zbl 1116.03320
Samer, Marko; Veith, Helmut
2
2003
Parameterized model checking of rendezvous systems. Zbl 1451.68165
Aminof, Benjamin; Kotek, Tomer; Rubin, Sasha; Spegni, Francesco; Veith, Helmut
2
2018
Empirical software metrics for benchmarking of verification tools. Zbl 1360.68371
Demyanova, Yulia; Pani, Thomas; Veith, Helmut; Zuleger, Florian
2
2017
Parameterized vacuity. Zbl 1117.68436
Samer, Marko; Veith, Helmut
2
2004
Parameterized systems in BIP: design and model checking. Zbl 1392.68254
Konnov, Igor; Kotek, Tomer; Wang, Qiang; Veith, Helmut; Bliudze, Simon; Sifakis, Joseph
2
2016
Using combinatorial optimization methods for quantification scheduling. Zbl 1002.68512
Chauhan, P.; Clarke, E.; Jha, S.; Kukula, J.; Veith, H.; Wang, D.
1
2001
\(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. Zbl 1380.68279
Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef
1
2017
On compiling Boolean circuits optimized for secure multi-party computation. Zbl 1386.68020
Büscher, Niklas; Franz, Martin; Holzer, Andreas; Veith, Helmut; Katzenbeisser, Stefan
1
2017
On the complexity of symbolic verification and decision problems in bit-vector logic. Zbl 1426.68127
Kovásznai, Gergely; Veith, Helmut; Fröhlich, Andreas; Biere, Armin
1
2014
On the structure and complexity of rational sets of regular languages. Zbl 1359.68170
Holzer, Andreas; Schallhart, Christian; Tautschnig, Michael; Veith, Helmut
1
2013
Model checking. 2nd expanded and updated edition. Zbl 1423.68002
Clarke, Edmund M. jun.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
18
2018
Handbook of model checking. Zbl 1390.68001
Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut; Bloem, Roderick
10
2018
Parameterized model checking of rendezvous systems. Zbl 1451.68165
Aminof, Benjamin; Kotek, Tomer; Rubin, Sasha; Spegni, Francesco; Veith, Helmut
2
2018
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. Zbl 1380.68278
Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef
4
2017
On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. Zbl 1355.68176
Konnov, Igor; Veith, Helmut; Widder, Josef
4
2017
Complexity and resource bound analysis of imperative programs using difference constraints. Zbl 1409.68076
Sinn, Moritz; Zuleger, Florian; Veith, Helmut
3
2017
Empirical software metrics for benchmarking of verification tools. Zbl 1360.68371
Demyanova, Yulia; Pani, Thomas; Veith, Helmut; Zuleger, Florian
2
2017
\(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. Zbl 1380.68279
Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef
1
2017
On compiling Boolean circuits optimized for secure multi-party computation. Zbl 1386.68020
Büscher, Niklas; Franz, Martin; Holzer, Andreas; Veith, Helmut; Katzenbeisser, Stefan
1
2017
What you always wanted to know about model checking of fault-tolerant distributed algorithms. Zbl 1461.68115
Konnov, Igor; Veith, Helmut; Widder, Josef
4
2016
Parameterized systems in BIP: design and model checking. Zbl 1392.68254
Konnov, Igor; Kotek, Tomer; Wang, Qiang; Veith, Helmut; Bliudze, Simon; Sifakis, Joseph
2
2016
Decidability of parameterized verification. Zbl 1400.68006
Bloem, Roderick; Jacobs, Swen; Khalimov, Ayrat; Konnov, Igor; Rubin, Sasha; Veith, Helmut; Widder, Josef
13
2015
SMT and POR beat counter abstraction: parameterized model checking of threshold-based distributed algorithms. Zbl 1381.68172
Konnov, Igor; Veith, Helmut; Widder, Josef
7
2015
Parameterized model checking of rendezvous systems. Zbl 1417.68112
Aminof, Benjamin; Kotek, Tomer; Rubin, Sasha; Spegni, Francesco; Veith, Helmut
10
2014
On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. Zbl 1417.68136
Konnov, Igor; Veith, Helmut; Widder, Josef
7
2014
A logic-based framework for verifying consensus algorithms. Zbl 1428.68371
Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien
7
2014
Tutorial on parameterized model checking of fault-tolerant distributed algorithms. Zbl 1445.68133
Gmeiner, Annu; Konnov, Igor; Schmid, Ulrich; Veith, Helmut; Widder, Josef
4
2014
On the complexity of symbolic verification and decision problems in bit-vector logic. Zbl 1426.68127
Kovásznai, Gergely; Veith, Helmut; Fröhlich, Andreas; Biere, Armin
1
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
Information reuse for multi-goal reachability analyses. Zbl 1381.68148
Beyer, Dirk; Holzer, Andreas; Tautschnig, Michael; Veith, Helmut
3
2013
On the structure and complexity of rational sets of regular languages. Zbl 1359.68170
Holzer, Andreas; Schallhart, Christian; Tautschnig, Michael; Veith, Helmut
1
2013
An introduction to test specification in FQL. Zbl 1325.68148
Holzer, Andreas; Tautschnig, Michael; Schallhart, Christian; Veith, Helmut
2
2011
An abstract interpretation-based framework for control flow reconstruction from binaries. Zbl 1206.68091
Kinder, Johannes; Zuleger, Florian; Veith, Helmut
6
2009
Encoding treewidth into SAT. Zbl 1247.68259
Samer, Marko; Veith, Helmut
4
2009
Query-driven program testing. Zbl 1206.68089
Holzer, Andreas; Schallhart, Christian; Tautschnig, Michael; Veith, Helmut
3
2009
25 years of model checking. History, achievements, perspectives. Zbl 1139.68003
Grumberg, Orna; Veith, Helmut
13
2008
Proving Ptolemy right: The environment abstraction framework for model checking concurrent systems. Zbl 1134.68403
Clarke, Edmund; Talupur, Murali; Veith, Helmut
8
2008
On the notion of vacuous truth. Zbl 1137.68438
Samer, Marko; Veith, Helmut
4
2007
Environment abstraction for parameterized verification. Zbl 1176.68117
Clarke, Edmund; Talupur, Muralidhar; Veith, Helmut
9
2006
The first order definability of graphs: Upper bounds for quantifier depth. Zbl 1109.03023
Pikhurko, Oleg; Veith, Helmut; Verbitsky, Oleg
4
2006
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
Verification by network decomposition. Zbl 1099.68653
Clarke, Edmund; Talupur, Muralidhar; Touili, Tayssir; Veith, Helmut
12
2004
SAT based predicate abstraction for hardware verification. Zbl 1204.68129
Clarke, Edmund; Talupur, Muralidhar; Veith, Helmut; Wang, Dong
6
2004
Parameterized vacuity. Zbl 1117.68436
Samer, Marko; Veith, Helmut
2
2004
Counterexample-guided abstraction refinement for symbolic model checking. Zbl 1325.68145
Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut
74
2003
Counterexamples revisited: principles, algorithms, applications. Zbl 1274.68179
Clarke, Edmund; Veith, Helmut
3
2003
Validity of CTL queries revisited. Zbl 1116.03320
Samer, Marko; Veith, Helmut
2
2003
Complexity of t-tautologies. Zbl 1006.03022
Baaz, Matthias; Hájek, Petr; Montagna, Franco; Veith, Helmut
14
2002
Datalog LITE: a deductive query language with linear time model checking. Zbl 1365.68203
Gottlob, Georg; Grädel, Erich; Veith, Helmut
8
2002
Automated abstraction refinement for model checking large state spaces using SAT based conflict analysis. Zbl 1019.68618
Chauhan, Pankaj; Clarke, Edmund; Kukula, James; Sapra, Samir; Veith, Helmut; Wang, Dong
7
2002
Using combinatorial optimization methods for quantification scheduling. Zbl 1002.68512
Chauhan, P.; Clarke, E.; Jha, S.; Kukula, J.; Veith, H.; Wang, D.
1
2001
Counterexample-guided abstraction refinement. Zbl 0974.68517
Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut
119
2000
An axiomatization of quantified propositional Gödel logic using the Takeuti-Titani rule. Zbl 0943.03020
Baaz, Matthias; Veith, Helmut
3
2000
Interpolation in fuzzy logic. Zbl 0936.03026
Baaz, Matthias; Veith, Helmut
16
1999
Succinctness as a source of complexity in logical formalisms. Zbl 0933.03048
Gottlob, Georg; Leone, Nicola; Veith, Helmut
8
1999
Quantifier elimination in fuzzy logic. Zbl 0933.03022
Baaz, Matthias; Veith, Helmut
4
1999
Succinct representation, leaf languages, and projection reductions. Zbl 0909.68079
Veith, Helmut
9
1998
How to encode a logical structure by an OBDD. Zbl 0935.68051
Veith, Helmut
6
1998
Proof theory of fuzzy logics: Urquhart’s \(C\) and related logics. Zbl 0921.03028
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian; Veith, Helmut
3
1998
Languages represented by Boolean formulas. Zbl 1337.68139
Veith, Helmut
4
1997
Second order logic and the weak exponential hierarchies. Zbl 1193.68115
Gottlob, Georg; Leone, Nicola; Veith, Helmut
7
1995
all top 5

Cited by 722 Authors

13 Veith, Helmut
10 Kröning, Daniel
8 Konnov, Igor V.
7 Eiter, Thomas
6 Grumberg, Orna
6 Leone, Nicola
6 Widder, Josef
5 Baaz, Matthias
5 Clarke, Edmund Melson jun.
5 Giacobazzi, Roberto
5 Gottlob, Georg
5 Kupferman, Orna
5 Marques-Silva, João P.
5 Montagna, Franco
5 Sharygina, Natasha
4 Abdulla, Parosh Aziz
4 Chaki, Sagar
4 Delzanno, Giorgio
4 Duan, Zhenhua
4 Faber, Wolfgang
4 Ghilardi, Silvio
4 Gurfinkel, Arie
4 Haniková, Zuzana
4 Janota, Mikoláš
4 Marchioni, Enrico
4 Podelski, Andreas
4 Rümmer, Philipp
4 Schuppan, Viktor
4 Shoham, Sharon
4 Spegni, Francesco
4 Tian, Cong
4 Tonetta, Stefano
4 Vardi, Moshe Y.
4 Weissenbacher, Georg
4 Zhang, Nan
3 Alberti, Francesco
3 Aminof, Benjamin
3 Avni, Guy
3 Cimatti, Alessandro
3 Esparza, Javier
3 Ganty, Pierre
3 Henzinger, Thomas A.
3 Hoenicke, Jochen
3 Järvisalo, Matti
3 Larsen, Kim Guldstrand
3 Lohrey, Markus
3 Majumdar, Rupak
3 Metcalfe, George
3 Meyer, Roland
3 Pagani, Elena
3 Raskin, Jean-François
3 Rubin, Sasha
3 Rybalchenko, Andrey
3 Strichman, Ofer
3 Verbitsky, Oleg
3 Wąsowski, Andrzej
3 Wintersteiger, Christoph M.
3 Woltran, Stefan
2 Ábrahám, Erika
2 Aguzzoli, Stefano
2 Alur, Rajeev
2 André, Étienne
2 Becker, Bernd
2 Belardinelli, Francesco
2 Beyer, Dirk
2 Bollig, Benedikt
2 Bourhis, Pierre
2 Bradley, Aaron R.
2 Brauer, Jörg
2 Chakraborty, Supratik
2 Codara, Pietro
2 Cook, Byron
2 Corradini, Andrea
2 Cousot, Patrick
2 D’Antona, Ottavio M.
2 de Alfaro, Luca
2 Dehnert, Christian
2 del Mar Gallardo, María
2 Derrick, John
2 Du, Hongwei
2 Duggirala, Parasara Sridhar
2 Fink, Michael
2 Frehse, Goran
2 Gallagher, John P.
2 Gange, Graeme
2 Gastin, Paul
2 Gerla, Brunella
2 Gottwald, Siegfried
2 Hajdu, Ákos
2 Hájek, Petr
2 Heljanko, Keijo
2 Ivančić, Franjo
2 Jacobs, Swen
2 Jain, Himanshu
2 Jansen, Nils
2 Jhala, Ranjit
2 John, Ajith K.
2 Julliand, Jacques
2 Kafle, Bishoksan
2 Katoen, Joost-Pieter
...and 622 more Authors
all top 5

Cited in 60 Serials

44 Formal Methods in System Design
27 Theoretical Computer Science
22 Information and Computation
19 Formal Aspects of Computing
9 Journal of Automated Reasoning
8 Artificial Intelligence
7 Fuzzy Sets and Systems
7 Programming and Computer Software
7 Journal of Logical and Algebraic Methods in Programming
6 Acta Informatica
6 Journal of Computer and System Sciences
6 Science of Computer Programming
6 Archive for Mathematical Logic
6 Annals of Mathematics and Artificial Intelligence
6 Theory and Practice of Logic Programming
5 Annals of Pure and Applied Logic
5 Theory of Computing Systems
5 Soft Computing
4 Fundamenta Informaticae
4 Logical Methods in Computer Science
3 Information Processing Letters
3 Automatica
3 Real-Time Systems
3 Distributed Computing
3 Nonlinear Analysis. Hybrid Systems
2 Studia Logica
2 Order
2 Journal of Symbolic Computation
2 Journal of Computer Science and Technology
2 Discrete Event Dynamic Systems
2 Journal of Logic, Language and Information
2 Journal of Combinatorial Optimization
2 The Journal of Logic and Algebraic Programming
2 Computer Languages, Systems & Structures
2 ACM Transactions on Computational Logic
2 Science China. Information Sciences
1 International Journal of General Systems
1 Journal of Pure and Applied Algebra
1 The Journal of Symbolic Logic
1 Synthese
1 European Journal of Combinatorics
1 New Generation Computing
1 International Journal of Intelligent Systems
1 International Journal of Approximate Reasoning
1 Journal of Cryptology
1 MSCS. Mathematical Structures in Computer Science
1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
1 Cybernetics and Systems Analysis
1 Journal of Applied Non-Classical Logics
1 Mathematical Logic Quarterly (MLQ)
1 The Bulletin of Symbolic Logic
1 Constraints
1 Higher-Order and Symbolic Computation
1 International Journal of Applied Mathematics and Computer Science
1 Journal of Applied Logic
1 Science in China. Series F
1 Games
1 Numerical Algebra, Control and Optimization
1 Frontiers of Computer Science in China
1 Computer Science Review

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.