| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Helmut Veith Edmund M. Clarke , Muralidhar Talupur , Helmut Veith: Environment Abstraction for Parameterized Verification. VMCAI 2006 : 126-141 Johannes Kinder , Stefan Katzenbeisser , Christian Schallhart , Helmut Veith: Detecting Malicious Code by Model Checking. DIMVA 2005 : 174-187 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 Jana Dittmann , Stefan Katzenbeisser , Christian Schallhart , Helmut Veith: Ensuring Media Integrity on Third-Party Infrastructures. SEC 2005 : 493-508 Stefan Katzenbeisser , Christian Schallhart , Helmut Veith: Malware Engineering. Sicherheit 2005 : 139-148 Marko Samer , Helmut Veith: Deterministic CTL Query Solving. TIME 2005 : 156-165 Edmund M. Clarke , Ansgar Fehnker , Sumit Kumar Jha , Helmut Veith: Temporal Logic Model Checking. Handbook of Networked and Embedded Control Systems 2005 : 539-558 Sagar Chaki , Edmund M. Clarke , Somesh Jha , Helmut Veith: An Iterative Framework for Simulation Conformance. J. Log. Comput. 15 (4): 465-488 (2005) Edmund M. Clarke , Muralidhar Talupur , Tayssir Touili , Helmut Veith: Verification by Network Decomposition. CONCUR 2004 : 276-291 Marko Samer , Helmut Veith: Parameterized Vacuity. FMCAD 2004 : 322-336 Marko Samer , Helmut Veith: A Syntactic Characterization of Distributive LTL Queries. ICALP 2004 : 1099-1110 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) Marko Samer , Helmut Veith: Validity of CTL Queries Revisited. CSL 2003 : 470-483 Helmut Veith: Friends or Foes? Communities in Software Verification (Invited Lecture). CSL 2003 : 528-529 André Adelsbach , Stefan Katzenbeisser , Helmut Veith: Watermarking schemes provably secure against copy and ambiguity attacks. Digital Rights Management Workshop 2003 : 111-119 Sagar Chaki , Edmund M. Clarke , Alex Groce , Somesh Jha , Helmut Veith: Modular Verification of Software Components in C. ICSE 2003 : 385-395 Edmund M. Clarke , Muralidhar Talupur , Helmut Veith, Dong Wang : SAT Based Predicate Abstraction for Hardware Verification. SAT 2003 : 78-92 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 Edmund M. Clarke , Helmut Veith: Counterexamples Revisited: Principles, Algorithms, Applications. Verification: Theory and Practice 2003 : 208-224 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) 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 Edmund M. Clarke , Somesh Jha , Yuan Lu , Helmut Veith: Tree-Like Counterexamples in Model Checking. LICS 2002 : 19-29 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) Thomas Eiter , Helmut Veith: On the complexity of data disjunctions. Theor. Comput. Sci. 288 (1): 101-128 (2002) 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 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- Alexis Campailla , Sagar Chaki , Edmund M. Clarke , Somesh Jha , Helmut Veith: Efficient Filtering in Publish-Subscribe Systems Using Binary Decision. ICSE 2001 : 443-452 Edmund M. Clarke , Orna Grumberg , Somesh Jha , Yuan Lu , Helmut Veith: Progress on the State Explosion Problem in Model Checking. Informatics 2001 : 176-194 Edmund M. Clarke , Orna Grumberg , Somesh Jha , Yuan Lu , Helmut Veith: Counterexample-Guided Abstraction Refinement. CAV 2000 : 154-169 Edmund M. Clarke , Steven M. German , Yuan Lu , Helmut Veith, Dong Wang : Executable Protocol Specification in ESL. FMCAD 2000 : 197-216 Matthias Baaz , Christian G. Fermüller , Helmut Veith: An Analytic Calculus for Quantified Propositional Gödel Logic. TABLEAUX 2000 : 112-126 Matthias Baaz , Agata Ciabattoni , Christian G. Fermüller , Helmut Veith: On the Undecidability of some Sub-Classical First-Order Logics. FSTTCS 1999 : 258-268 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) Matthias Baaz , Helmut Veith: Quantifier Elimination in Fuzzy Logic. CSL 1998 : 399-414 Helmut Veith: A General Method to Determine the Expression Complexity of Database Query Languages. Grundlagen von Datenbanken 1998 : 134-137 Helmut Veith: How to Encode a Logical Structure by an OBDD. IEEE Conference on Computational Complexity 1998 : 122-131 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 Helmut Veith: Succinct Representation, Leaf Languages, and Projection Reductions. Inf. Comput. 142 (2): 207-236 (1998) Thomas Eiter , Georg Gottlob , Helmut Veith: Generalized Quantifiers in Logic Programs. ESSLLI 1997 : 72-98 Thomas Eiter , Georg Gottlob , Helmut Veith: Modular Logic Programming and Generalized Quantifiers. LPNMR 1997 : 290-309 Helmut Veith: Languages Represented by Boolean Formulas. Inf. Process. Lett. 63 (5): 251-256 (1997) Helmut Veith: Succinct Representation, Leaf Languages, and Projection Reductions. IEEE Conference on Computational Complexity 1996 : 118-126 Georg Gottlob , Nicola Leone , Helmut Veith: Second Order Logic and the Weak Exponential Hierarchies. MFCS 1995 : 66-81 Helmut Veith: Succinct Representation and Leaf Languages Electronic Colloquium on Computational Complexity (ECCC) 2 (48): (1995) 1 [ 30 ] 2 [ 8 ] [ 11 ] [ 13 ] [ 14 ] 3 [ 18 ] 4 [ 18 ] [ 27 ] [ 29 ] [ 33 ] [ 37 ] [ 42 ] 5 [ 19 ] [ 20 ] [ 24 ] 6 [ 8 ] [ 13 ] 7 [ 15 ] [ 16 ] [ 17 ] [ 18 ] [ 19 ] [ 20 ] [ 23 ] [ 24 ] [ 25 ] [ 26 ] [ 28 ] [ 29 ] [ 33 ] [ 36 ] [ 37 ] [ 38 ] [ 42 ] [ 44 ] 8 [ 41 ] 9 [ 5 ] [ 6 ] [ 21 ] 10 [ 38 ] 11 [ 27 ] 12 [ 8 ] [ 13 ] [ 14 ] 13 [ 27 ] 14 [ 15 ] 15 [ 2 ] [ 5 ] [ 6 ] [ 12 ] [ 22 ] 16 [ 22 ] 17 [ 29 ] [ 33 ] 18 [ 16 ] [ 17 ] [ 25 ] [ 42 ] 19 [ 16 ] [ 17 ] [ 18 ] [ 19 ] [ 20 ] [ 23 ] [ 25 ] [ 27 ] [ 29 ] [ 33 ] [ 37 ] 20 [ 38 ] 21 [ 30 ] [ 40 ] [ 41 ] [ 43 ] 22 [ 43 ] 23 [ 27 ] 24 [ 19 ] [ 20 ] [ 24 ] 25 [ 2 ] [ 12 ] 26 [ 15 ] [ 16 ] [ 17 ] [ 23 ] [ 25 ] 27 [ 42 ] 28 [ 32 ] [ 34 ] [ 35 ] [ 39 ] 29 [ 24 ] 30 [ 40 ] [ 41 ] [ 43 ] 31 [ 42 ] 32 [ 19 ] 33 [ 28 ] [ 36 ] [ 44 ] 34 [ 36 ] [ 42 ] 35 [ 15 ] [ 19 ] [ 20 ] [ 24 ] [ 28 ]  ©2006 Association for Computing Machinery |
