Helmut Veith

	2012
86		Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith: Proving Reachability Using FShell - (Competition Contribution). TACAS 2012: 538-541
85		Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith: Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version) CoRR abs/1203.5303: (2012)
84		Helmut Veith: Special Issue: Games in Verification. J. Comput. Syst. Sci. 78(2): 393 (2012)
	2011
83		Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith: Seamless Testing for Models and Code. FASE 2011: 278-293
82		Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith: Bound Analysis of Imperative Programs with the Size-Change Abstraction. SAS 2011: 280-297
81		Stefan Katzenbeisser, Johannes Kinder, Helmut Veith: Malware Detection. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 752-755
80		Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov: Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272). Dagstuhl Reports 1(7): 23-35 (2011)
	2010
79		Anuj Dawar, Helmut Veith: Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings Springer 2010
78		Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: How did you specify your test suite. ASE 2010: 407-416
77		Edmund M. Clarke, Robert P. Kurshan, Helmut Veith: The Localization Reduction and Counterexample-Guided Abstraction Refinement. Essays in Memory of Amir Pnueli 2010: 61-71
76		Johannes Kinder, Helmut Veith: Precise static analysis of untrusted driver binaries. FMCAD 2010: 43-50
75		Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith: An Introduction to Test Specification in FQL. Haifa Verification Conference 2010: 9-22
74		Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith: New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective. ISoLA (1) 2010: 1-2
73		Marko Samer, Helmut Veith: On the distributivity of LTL specifications. ACM Trans. Comput. Log. 11(3): (2010)
72		Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney: Semantic integrity in large-scale online simulations. ACM Trans. Internet Techn. 10(1): (2010)
71		Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Proactive Detection of Computer Worms Using Model Checking. IEEE Trans. Dependable Sec. Comput. 7(4): 424-438 (2010)
	2009
70		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
69		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
68		Marko Samer, Helmut Veith: Encoding Treewidth into SAT. SAT 2009: 45-50
67		Helmut Veith: Embedding Formal Methods into Systems Engineering. SYNASC 2009: 11
66		Helmut Veith: Automated Software Analysis. SYNASC 2009: 18
65		Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: Query-Driven Program Testing. VMCAI 2009: 151-166
64		Johannes Kinder, Florian Zuleger, Helmut Veith: An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. VMCAI 2009: 214-228
	2008
63		Orna Grumberg, Helmut Veith: 25 Years of Model Checking - History, Achievements, Perspectives Springer 2008
62		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
61		Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV 2008: 209-213
60		Johannes Kinder, Helmut Veith: Jakstab: A Static Analysis Platform for Binaries. CAV 2008: 423-427
59		Edmund M. Clarke, Muralidhar Talupur, Helmut Veith: Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. TACAS 2008: 33-47
	2007
58		Sagar Chaki, Christian Schallhart, Helmut Veith: Verification Across Intellectual Property Boundaries. CAV 2007: 82-94
57		Andreas Holzer, Johannes Kinder, Helmut Veith: Using Verification Technology to Specify and Detect Malware. EUROCAST 2007: 497-504
56		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
55		Marko Samer, Helmut Veith: On the Notion of Vacuous Truth. LPAR 2007: 2-14
54		Sagar Chaki, Christian Schallhart, Helmut Veith: Verification Across Intellectual Property Boundaries CoRR abs/cs/0701187: (2007)
53		Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney: Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. IACR Cryptology ePrint Archive 2007: 56 (2007)
52		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
51		Edmund M. Clarke, Muralidhar Talupur, Helmut Veith: Environment Abstraction for Parameterized Verification. VMCAI 2006: 126-141
50		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
49		Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Detecting Malicious Code by Model Checking. DIMVA 2005: 174-187
48		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
47		Jana Dittmann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Ensuring Media Integrity on Third-Party Infrastructures. SEC 2005: 493-508
46		Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Malware Engineering. Sicherheit 2005: 139-148
45		Marko Samer, Helmut Veith: Deterministic CTL Query Solving. TIME 2005: 156-165
44		Marko Samer, Helmut Veith: From Temporal Logic Queries to Vacuity Detection. VISSAS 2005: 149-167
43		Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, Helmut Veith: Model Checking: Back and Forth between Hardware and Software. VSTTE 2005: 251-255
42		Edmund M. Clarke, Ansgar Fehnker, Sumit Kumar Jha, Helmut Veith: Temporal Logic Model Checking. Handbook of Networked and Embedded Control Systems 2005: 539-558
41		Uwe Hermann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments CoRR abs/cs/0503080: (2005)
40		Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith: An Iterative Framework for Simulation Conformance. J. Log. Comput. 15(4): 465-488 (2005)
	2004
39		Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith: Verification by Network Decomposition. CONCUR 2004: 276-291
38		Marko Samer, Helmut Veith: Parameterized Vacuity. FMCAD 2004: 322-336
37		Marko Samer, Helmut Veith: A Syntactic Characterization of Distributive LTL Queries. ICALP 2004: 1099-1110
36		Jana Dittmann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Provably Secure Authentication of Digital Media Through Invertible Watermarks. IACR Cryptology ePrint Archive 2004: 293 (2004)
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	Nikolaj Bjørner	[80]
4	Péter Bokor	[69] [70]
5	Alexis Campailla	[20]
6	Iliano Cervesato	[62]
7	Sagar Chaki	[20] [29] [31] [35] [40] [48] [54] [58]
8	Pankaj Chauhan	[21] [22] [26]
9	Stephen Chenney	[53] [56] [72]
10	Mihai Christodorescu	[52]
11	Agata Ciabattoni	[8] [14]
12	Edmund M. Clarke	[16] [17] [19] [20] [21] [22] [25] [26] [27] [28] [30] [31] [35] [39] [40] [42] [43] [48] [51] [59] [77]
13	Anuj Dawar	[79]
14	Jana Dittmann	[36] [47]
15	Thomas Eiter	[5] [6] [23]
16	Ansgar Fehnker	[42]
17	Pascal Fenkam	[29]
18	Christian G. Fermüller	[8] [14] [15]
19	Harald C. Gall (Harald Gall)	[29]
20	Steven M. German	[16]
21	Georg Gottlob	[2] [5] [6] [13] [24]
22	Erich Grädel	[24]
23	Alex Groce	[31] [35]
24	Orna Grumberg	[17] [19] [27] [48] [63]
25	Sumit Gulwani	[82] [85]
26	Anubhav Gupta	[43]
27	Petr Hájek	[18]
28	Uwe Hermann	[41]
29	Andreas Holzer	[57] [61] [65] [75] [78] [83] [86]
30	Himanshu Jain	[43]
31	Visar Januzaj	[74] [83]
32	Somesh Jha	[17] [19] [20] [21] [22] [25] [27] [29] [31] [35] [40] [52] [53] [56] [72]
33	Sumit Kumar Jha	[42]
34	Stefan Katzenbeisser	[32] [36] [41] [46] [47] [49] [52] [53] [56] [71] [72] [81]
35	Johannes Kinder	[49] [52] [57] [60] [64] [71] [76] [81]
36	Engin Kirda	[29]
37	Daniel Kroening (Daniel Kröning)	[86]
38	Stefan Kugele	[74] [83]
39	James H. Kukula	[21] [22] [26]
40	Robert P. Kurshan	[77]
41	Boris Langer	[74] [83]
42	Nicola Leone	[2] [13]
43	Yuan Lu	[16] [17] [19] [25] [27]
44	Franco Montagna	[18]
45	Robert Nieuwenhuis	[80]
46	Joël Ouaknine	[48]
47	Oleg Pikhurko	[50]
48	Marko Samer	[34] [37] [38] [44] [45] [55] [68] [73]
49	Samir Sapra	[26]
50	Christian Schallhart	[36] [41] [46] [47] [49] [53] [54] [56] [58] [61] [65] [71] [72] [74] [75] [78] [83] [86]
51	Marco Serafini	[69] [70]
52	Natasha Sharygina	[48]
53	Thomas R. Shiple	[21]
54	Moritz Sinn	[82] [85]
55	Neeraj Suri	[69] [70]
56	Muralidhar Talupur	[30] [39] [51] [59]
57	Michael Tautschnig	[61] [65] [75] [78] [83] [86]
58	Tayssir Touili	[39] [48]
59	Oleg Verbitsky	[50]
60	Andrei Voronkov	[62] [80]
61	Dong Wang	[16] [21] [22] [26] [30]
62	Florian Zuleger	[64] [82] [85]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page