| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith |
Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Helmut Veith |
Special Issue: Games in Verification. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith |
Proving Reachability Using FShell - (Competition Contribution). |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov |
Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272). |
Dagstuhl Reports |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Katzenbeisser, Johannes Kinder, Helmut Veith |
Malware Detection. |
Encyclopedia of Cryptography and Security (2nd Ed.) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
Seamless Testing for Models and Code. |
FASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith |
Bound Analysis of Imperative Programs with the Size-Change Abstraction. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith |
Proactive Detection of Computer Worms Using Model Checking. |
IEEE Trans. Dependable Sec. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney |
Semantic integrity in large-scale online simulations. |
ACM Trans. Internet Techn. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Samer, Helmut Veith |
On the distributivity of LTL specifications. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
How did you specify your test suite. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Kinder, Helmut Veith |
Precise static analysis of untrusted driver binaries. |
FMCAD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Edmund M. Clarke, Robert P. Kurshan, Helmut Veith |
The Localization Reduction and Counterexample-Guided Abstraction Refinement. |
Essays in Memory of Amir Pnueli |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith |
New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith |
An Introduction to Test Specification in FQL. |
Haifa Verification Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anuj Dawar, Helmut Veith (eds.) |
Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith |
Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Samer, Helmut Veith |
Encoding Treewidth into SAT. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Veith |
Embedding Formal Methods into Systems Engineering. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Veith |
Automated Software Analysis. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith |
Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
Query-Driven Program Testing. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Kinder, Florian Zuleger, Helmut Veith |
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, Muralidhar Talupur, Helmut Veith |
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.) |
Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings |
LPAR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Orna Grumberg, Helmut Veith (eds.) |
25 Years of Model Checking - History, Achievements, Perspectives |
25 Years of Model Checking |
2008 |
DBLP BibTeX RDF |
|
| 1 | Johannes Kinder, Helmut Veith |
Jakstab: A Static Analysis Platform for Binaries. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Sagar Chaki, Christian Schallhart, Helmut Veith |
Verification Across Intellectual Property Boundaries |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith |
Software transformations to improve malware detection. |
Journal in Computer Virology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Samer, Helmut Veith |
On the Notion of Vacuous Truth. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sagar Chaki, Christian Schallhart, Helmut Veith |
Verification Across Intellectual Property Boundaries. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Holzer, Johannes Kinder, Helmut Veith |
Using Verification Technology to Specify and Detect Malware. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Pikhurko, Helmut Veith, Oleg Verbitsky |
The first order definability of graphs: Upper bounds for quantifier depth. |
Discrete Applied Mathematics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, Muralidhar Talupur, Helmut Veith |
Environment Abstraction for Parameterized Verification. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith |
An Iterative Framework for Simulation Conformance. |
J. Log. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Hermann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith |
Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Edmund M. Clarke, Ansgar Fehnker, Sumit Kumar Jha, Helmut Veith |
Temporal Logic Model Checking. |
Handbook of Networked and Embedded Control Systems |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jana Dittmann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith |
Ensuring Media Integrity on Third-Party Infrastructures. |
SEC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marko Samer, Helmut Veith |
Deterministic CTL Query Solving. |
TIME |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Concurrent Software Model Checking, State/Event-based Verification, Branching-time Temporal Logic, Automated Abstraction Refinement |
| 1 | Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, Helmut Veith |
Model Checking: Back and Forth between Hardware and Software. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Samer, Helmut Veith |
From Temporal Logic Queries to Vacuity Detection. |
VISSAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stefan Katzenbeisser, Christian Schallhart, Helmut Veith |
Malware Engineering. |
Sicherheit |
2005 |
DBLP BibTeX RDF |
|
| 1 | Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith |
Detecting Malicious Code by Model Checking. |
DIMVA |
2005 |
DBLP DOI BibTeX RDF |
Model Checking, Malware Detection |
| 1 | Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith |
Modular Verification of Software Components in C. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jana Dittmann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith |
Provably Secure Authentication of Digital Media Through Invertible Watermarks. |
IACR Cryptology ePrint Archive |
2004 |
DBLP BibTeX RDF |
|
| 1 | Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith |
Verification by Network Decomposition. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Samer, Helmut Veith |
Parameterized Vacuity. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Samer, Helmut Veith |
A Syntactic Characterization of Distributive LTL Queries. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith |
Counterexample-guided abstraction refinement for symbolic model checking. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
temporal logic, Abstraction, symbolic model checking, hardware verification |
| 1 | Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang |
SAT Based Predicate Abstraction for Hardware Verification. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | André Adelsbach, Stefan Katzenbeisser, Helmut Veith |
Watermarking schemes provably secure against copy and ambiguity attacks. |
Digital Rights Management Workshop |
2003 |
DBLP DOI BibTeX RDF |
protocol attacks, watermarking, multimedia security |
| 1 | Edmund M. Clarke, Helmut Veith |
Counterexamples Revisited: Principles, Algorithms, Applications. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sagar Chaki, Pascal Fenkam, Harald Gall, Somesh Jha, Engin Kirda, Helmut Veith |
Integrating Publish/Subscribe into a Mobile Teamwork Support Platform. |
SEKE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith |
Modular Verification of Software Components in C. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Samer, Helmut Veith |
Validity of CTL Queries Revisited. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Veith |
Friends or Foes? Communities in Software Verification (Invited Lecture). |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Helmut Veith |
On the complexity of data disjunctions. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Erich Grädel, Helmut Veith |
Datalog LITE: a deductive query language with linear time model checking. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
guarded logics, verification, Complexity, databases, temporal logics |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith |
Tree-Like Counterexamples in Model Checking. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith |
Complexity of t-tautologies. |
Ann. Pure Appl. Logic |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith |
Progress on the State Explosion Problem in Model Checking. |
Informatics |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang |
Using Combinatorial Optimization Methods for Quantification Scheduling. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith |
Efficient Filtering in Publish-Subscribe Systems Using Binary Decision. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Edmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang |
Executable Protocol Specification in ESL. |
FMCAD |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Christian G. Fermüller, Helmut Veith |
An Analytic Calculus for Quantified Propositional Gödel Logic. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith |
Counterexample-Guided Abstraction Refinement. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Helmut Veith |
Succinctness as a Source of Complexity in Logical Formalisms. |
Ann. Pure Appl. Logic |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Helmut Veith |
Interpolation in fuzzy logic. |
Arch. Math. Log. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith |
On the Undecidability of some Sub-Classical First-Order Logics. |
FSTTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Veith |
Succinct Representation, Leaf Languages, and Projection Reductions. |
Inf. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith |
Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Veith |
A General Method to Determine the Expression Complexity of Database Query Languages. |
Grundlagen von Datenbanken |
1998 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Helmut Veith |
Quantifier Elimination in Fuzzy Logic. |
CSL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Veith |
How to Encode a Logical Structure by an OBDD. (PDF / PS) |
IEEE Conference on Computational Complexity |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Veith |
Languages Represented by Boolean Formulas. |
Inf. Process. Lett. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Georg Gottlob, Helmut Veith |
Modular Logic Programming and Generalized Quantifiers. |
LPNMR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Georg Gottlob, Helmut Veith |
Generalized Quantifiers in Logic Programs. |
ESSLLI |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Veith |
Succinct Representation, Leaf Languages, and Projection Reductions. (PDF / PS) |
IEEE Conference on Computational Complexity |
1996 |
DBLP DOI BibTeX RDF |
leaf languages, quantifier-free reductions, computational complexity, descriptive complexity, succinct representation |
| 1 | Helmut Veith |
Succinct Representation and Leaf Languages |
Electronic Colloquium on Computational Complexity (ECCC) |
1995 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Helmut Veith |
Second Order Logic and the Weak Exponential Hierarchies. |
MFCS |
1995 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")