Helmut Veith

	2009
66		Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith: Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction. DISC 2009: 289-290
65		Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith: Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. ICFEM 2009: 147-166
64		Marko Samer, Helmut Veith: Encoding Treewidth into SAT. SAT 2009: 45-50
63		Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: Query-Driven Program Testing. VMCAI 2009: 151-166
62		Johannes 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
59		Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV 2008: 209-213
58		Johannes Kinder, Helmut Veith: Jakstab: A Static Analysis Platform for Binaries. CAV 2008: 423-427
57		Edmund M. Clarke, Muralidhar Talupur, Helmut Veith: Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. TACAS 2008: 33-47
	2007
56		Sagar Chaki, Christian Schallhart, Helmut Veith: Verification Across Intellectual Property Boundaries. CAV 2007: 82-94
55		Andreas Holzer, Johannes Kinder, Helmut Veith: Using Verification Technology to Specify and Detect Malware. EUROCAST 2007: 497-504
54		Somesh 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
53		Marko Samer, Helmut Veith: On the Notion of Vacuous Truth. LPAR 2007: 2-14
52		Sagar Chaki, Christian Schallhart, Helmut Veith: Verification Across Intellectual Property Boundaries CoRR abs/cs/0701187: (2007)
51		Mihai 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
50		Edmund M. Clarke, Muralidhar Talupur, Helmut Veith: Environment Abstraction for Parameterized Verification. VMCAI 2006: 126-141
49		Oleg 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
48		Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Detecting Malicious Code by Model Checking. DIMVA 2005: 174-187
47		Sagar 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
44		Marko 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
42		Edmund 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
40		Uwe Hermann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments CoRR abs/cs/0503080: (2005)
39		Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith: An Iterative Framework for Simulation Conformance. J. Log. Comput. 15(4): 465-488 (2005)
	2004
38		Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith: Verification by Network Decomposition. CONCUR 2004: 276-291
37		Marko Samer, Helmut Veith: Parameterized Vacuity. FMCAD 2004: 322-336
36		Marko Samer, Helmut Veith: A Syntactic Characterization of Distributive LTL Queries. ICALP 2004: 1099-1110
35		Sagar 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
34		Marko Samer, Helmut Veith: Validity of CTL Queries Revisited. CSL 2003: 470-483
33		Helmut Veith: Friends or Foes? Communities in Software Verification (Invited Lecture). CSL 2003: 528-529
32		André Adelsbach, Stefan Katzenbeisser, Helmut Veith: Watermarking schemes provably secure against copy and ambiguity attacks. Digital Rights Management Workshop 2003: 111-119
31		Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith: Modular Verification of Software Components in C. ICSE 2003: 385-395
30		Edmund 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
28		Edmund M. Clarke, Helmut Veith: Counterexamples Revisited: Principles, Algorithms, Applications. Verification: Theory and Practice 2003: 208-224
27		Edmund 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
26		Pankaj 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
25		Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith: Tree-Like Counterexamples in Model Checking. LICS 2002: 19-29
24		Georg 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
22		Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang: Using Combinatorial Optimization Methods for Quantification Scheduling. CHARME 2001: 293-309
21		Pankaj 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
19		Edmund 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
16		Edmund 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
14		Matthias 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)
12		Matthias 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
10		Helmut Veith: A General Method to Determine the Expression Complexity of Database Query Languages. Grundlagen von Datenbanken 1998: 134-137
9		Helmut Veith: How to Encode a Logical Structure by an OBDD. IEEE Conference on Computational Complexity 1998: 122-131
8		Matthias 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
6		Thomas 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
4		Helmut Veith: Languages Represented by Boolean Formulas. Inf. Process. Lett. 63(5): 251-256 (1997)
	1996
3		Helmut 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
1		Helmut Veith: Succinct Representation and Leaf Languages Electronic Colloquium on Computational Complexity (ECCC) 2(48): (1995)

Coauthor Index

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

Colors in the list of coauthors