dblp.uni-trier.dewww.uni-trier.de

Helmut Veith

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
63EEAndreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: Query-Driven Program Testing. VMCAI 2009: 151-166
62EEJohannes Kinder, Florian Zuleger, Helmut Veith: An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. VMCAI 2009: 214-228
2008
61 Orna Grumberg, Helmut Veith: 25 Years of Model Checking - History, Achievements, Perspectives Springer 2008
60 Iliano Cervesato, Helmut Veith, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings Springer 2008
59EEAndreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV 2008: 209-213
58EEJohannes Kinder, Helmut Veith: Jakstab: A Static Analysis Platform for Binaries. CAV 2008: 423-427
57EEEdmund M. Clarke, Muralidhar Talupur, Helmut Veith: Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. TACAS 2008: 33-47
2007
56EESagar Chaki, Christian Schallhart, Helmut Veith: Verification Across Intellectual Property Boundaries. CAV 2007: 82-94
55EEAndreas Holzer, Johannes Kinder, Helmut Veith: Using Verification Technology to Specify and Detect Malware. EUROCAST 2007: 497-504
54EESomesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney: Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. IEEE Symposium on Security and Privacy 2007: 179-186
53EEMarko Samer, Helmut Veith: On the Notion of Vacuous Truth. LPAR 2007: 2-14
52EESagar Chaki, Christian Schallhart, Helmut Veith: Verification Across Intellectual Property Boundaries CoRR abs/cs/0701187: (2007)
51EEMihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith: Software transformations to improve malware detection. Journal in Computer Virology 3(4): 253-265 (2007)
2006
50EEEdmund M. Clarke, Muralidhar Talupur, Helmut Veith: Environment Abstraction for Parameterized Verification. VMCAI 2006: 126-141
49EEOleg Pikhurko, Helmut Veith, Oleg Verbitsky: The first order definability of graphs: Upper bounds for quantifier depth. Discrete Applied Mathematics 154(17): 2511-2529 (2006)
2005
48EEJohannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Detecting Malicious Code by Model Checking. DIMVA 2005: 174-187
47EESagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith: State/Event Software Verification for Branching-Time Specifications. IFM 2005: 53-69
46 Jana Dittmann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Ensuring Media Integrity on Third-Party Infrastructures. SEC 2005: 493-508
45 Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Malware Engineering. Sicherheit 2005: 139-148
44EEMarko Samer, Helmut Veith: Deterministic CTL Query Solving. TIME 2005: 156-165
43 Marko Samer, Helmut Veith: From Temporal Logic Queries to Vacuity Detection. VISSAS 2005: 149-167
42EEEdmund M. Clarke, Anubhav Gupta, Himanshu Jain, Helmut Veith: Model Checking: Back and Forth between Hardware and Software. VSTTE 2005: 251-255
41 Edmund M. Clarke, Ansgar Fehnker, Sumit Kumar Jha, Helmut Veith: Temporal Logic Model Checking. Handbook of Networked and Embedded Control Systems 2005: 539-558
40EEUwe Hermann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments CoRR abs/cs/0503080: (2005)
39EESagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith: An Iterative Framework for Simulation Conformance. J. Log. Comput. 15(4): 465-488 (2005)
2004
38EEEdmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith: Verification by Network Decomposition. CONCUR 2004: 276-291
37EEMarko Samer, Helmut Veith: Parameterized Vacuity. FMCAD 2004: 322-336
36EEMarko Samer, Helmut Veith: A Syntactic Characterization of Distributive LTL Queries. ICALP 2004: 1099-1110
35EESagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith: Modular Verification of Software Components in C. IEEE Trans. Software Eng. 30(6): 388-402 (2004)
2003
34EEMarko Samer, Helmut Veith: Validity of CTL Queries Revisited. CSL 2003: 470-483
33EEHelmut Veith: Friends or Foes? Communities in Software Verification (Invited Lecture). CSL 2003: 528-529
32EEAndré Adelsbach, Stefan Katzenbeisser, Helmut Veith: Watermarking schemes provably secure against copy and ambiguity attacks. Digital Rights Management Workshop 2003: 111-119
31EESagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith: Modular Verification of Software Components in C. ICSE 2003: 385-395
30EEEdmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang: SAT Based Predicate Abstraction for Hardware Verification. SAT 2003: 78-92
29 Sagar Chaki, Pascal Fenkam, Harald Gall, Somesh Jha, Engin Kirda, Helmut Veith: Integrating Publish/Subscribe into a Mobile Teamwork Support Platform. SEKE 2003: 510-517
28EEEdmund M. Clarke, Helmut Veith: Counterexamples Revisited: Principles, Algorithms, Applications. Verification: Theory and Practice 2003: 208-224
27EEEdmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50(5): 752-794 (2003)
2002
26EEPankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang: Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis. FMCAD 2002: 33-51
25EEEdmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith: Tree-Like Counterexamples in Model Checking. LICS 2002: 19-29
24EEGeorg Gottlob, Erich Grädel, Helmut Veith: Datalog LITE: a deductive query language with linear time model checking. ACM Trans. Comput. Log. 3(1): 42-79 (2002)
23 Thomas Eiter, Helmut Veith: On the complexity of data disjunctions. Theor. Comput. Sci. 288(1): 101-128 (2002)
2001
22EEPankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang: Using Combinatorial Optimization Methods for Quantification Scheduling. CHARME 2001: 293-309
21EEPankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang: Non-linear Quantification Scheduling in Image Computation. ICCAD 2001: 293-
20 Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith: Efficient Filtering in Publish-Subscribe Systems Using Binary Decision. ICSE 2001: 443-452
19EEEdmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Progress on the State Explosion Problem in Model Checking. Informatics 2001: 176-194
18 Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith: Complexity of t-tautologies. Ann. Pure Appl. Logic 113(1-3): 3-11 (2001)
2000
17 Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Counterexample-Guided Abstraction Refinement. CAV 2000: 154-169
16EEEdmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang: Executable Protocol Specification in ESL. FMCAD 2000: 197-216
15 Matthias Baaz, Christian G. Fermüller, Helmut Veith: An Analytic Calculus for Quantified Propositional Gödel Logic. TABLEAUX 2000: 112-126
1999
14EEMatthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith: On the Undecidability of some Sub-Classical First-Order Logics. FSTTCS 1999: 258-268
13 Georg Gottlob, Nicola Leone, Helmut Veith: Succinctness as a Source of Complexity in Logical Formalisms. Ann. Pure Appl. Logic 97(1-3): 231-260 (1999)
12EEMatthias Baaz, Helmut Veith: Interpolation in fuzzy logic. Arch. Math. Log. 38(7): 461-489 (1999)
1998
11 Matthias Baaz, Helmut Veith: Quantifier Elimination in Fuzzy Logic. CSL 1998: 399-414
10EEHelmut Veith: A General Method to Determine the Expression Complexity of Database Query Languages. Grundlagen von Datenbanken 1998: 134-137
9EEHelmut Veith: How to Encode a Logical Structure by an OBDD. IEEE Conference on Computational Complexity 1998: 122-131
8EEMatthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith: Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. MFCS 1998: 203-212
7 Helmut Veith: Succinct Representation, Leaf Languages, and Projection Reductions. Inf. Comput. 142(2): 207-236 (1998)
1997
6EEThomas Eiter, Georg Gottlob, Helmut Veith: Generalized Quantifiers in Logic Programs. ESSLLI 1997: 72-98
5 Thomas Eiter, Georg Gottlob, Helmut Veith: Modular Logic Programming and Generalized Quantifiers. LPNMR 1997: 290-309
4EEHelmut Veith: Languages Represented by Boolean Formulas. Inf. Process. Lett. 63(5): 251-256 (1997)
1996
3EEHelmut Veith: Succinct Representation, Leaf Languages, and Projection Reductions. IEEE Conference on Computational Complexity 1996: 118-126
1995
2 Georg Gottlob, Nicola Leone, Helmut Veith: Second Order Logic and the Weak Exponential Hierarchies. MFCS 1995: 66-81
1EEHelmut Veith: Succinct Representation and Leaf Languages Electronic Colloquium on Computational Complexity (ECCC) 2(48): (1995)

Coauthor Index

1André Adelsbach [32]
2Matthias Baaz [8] [11] [12] [14] [15] [18]
3Alexis Campailla [20]
4Iliano Cervesato [60]
5Sagar Chaki [20] [29] [31] [35] [39] [47] [52] [56]
6Pankaj Chauhan [21] [22] [26]
7Stephen Chenney [54]
8Mihai Christodorescu [51]
9Agata Ciabattoni [8] [14]
10Edmund M. Clarke [16] [17] [19] [20] [21] [22] [25] [26] [27] [28] [30] [31] [35] [38] [39] [41] [42] [47] [50] [57]
11Jana Dittmann [46]
12Thomas Eiter [5] [6] [23]
13Ansgar Fehnker [41]
14Pascal Fenkam [29]
15Christian G. Fermüller [8] [14] [15]
16Harald Gall [29]
17Steven M. German [16]
18Georg Gottlob [2] [5] [6] [13] [24]
19Erich Grädel [24]
20Alex Groce [31] [35]
21Orna Grumberg [17] [19] [27] [47] [61]
22Anubhav Gupta [42]
23Petr Hájek [18]
24Uwe Hermann [40]
25Andreas Holzer [55] [59] [63]
26Himanshu Jain [42]
27Somesh Jha [17] [19] [20] [21] [22] [25] [27] [29] [31] [35] [39] [51] [54]
28Sumit Kumar Jha [41]
29Stefan Katzenbeisser [32] [40] [45] [46] [48] [51] [54]
30Johannes Kinder [48] [51] [55] [58] [62]
31Engin Kirda [29]
32James H. Kukula [21] [22] [26]
33Nicola Leone [2] [13]
34Yuan Lu [16] [17] [19] [25] [27]
35Franco Montagna [18]
36Joël Ouaknine [47]
37Oleg Pikhurko [49]
38Marko Samer [34] [36] [37] [43] [44] [53]
39Samir Sapra [26]
40Christian Schallhart [40] [45] [46] [48] [52] [54] [56] [59] [63]
41Natasha Sharygina [47]
42Thomas R. Shiple [21]
43Muralidhar Talupur [30] [38] [50] [57]
44Michael Tautschnig [59] [63]
45Tayssir Touili [38] [47]
46Oleg Verbitsky [49]
47Andrei Voronkov [60]
48Dong Wang [16] [21] [22] [26] [30]
49Florian Zuleger [62]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)