Person: Helmut Veith

DBLP: Veith:Helmut

Facilitated 2 volumes:

Ed

Ed

Contributed to:

2015

2015

2015

2014

2014

2014

2014

2014

2014

2013

2013

2012

2011

2011

2010

2009

2009

2008

2008

2007

2006

2005

2004

2003

2003

2003

2003

2002

2001

2000

1998

2016

2017

Wrote 37 papers:

CAV-2015-DemyanovaPVZ #benchmark #empirical #metric #tool support #verification

Empirical Software Metrics for Benchmarking of Verification Tools (YD, TP, HV, FZ), pp. 561–579.

CAV-2015-KonnovVW #abstraction #algorithm #distributed #model checking #smt

SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms (IK, HV, JW), pp. 85–102.

ICST-2015-FarzanHV #concurrent #execution #testing

Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution (AF, AH, HV), pp. 1–11.

LICS-2015-KotekSVZ

Extending ALCQIO with Trees (TK, MS, HV, FZ), pp. 511–522.

CAV-2014-SinnZV #bound #complexity #scalability #static analysis

A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis (MS, FZ, HV), pp. 745–761.

CC-2014-FranzHKSV #c #compilation #named

CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations (MF, AH, SK, CS, HV), pp. 244–249.

IFM-2014-CalvaneseKSVZ #analysis #data type

Shape and Content — A Database-Theoretic Perspective on the Analysis of Data Structures (DC, TK, MS, HV, FZ), pp. 3–17.

KR-2014-BaazEV #logic

Vienna Summer of Logic (MB, TE, HV).

SFM-2014-GmeinerKSVW #algorithm #distributed #fault tolerance #model checking #tutorial

Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (AG, IK, US, HV, JW), pp. 122–171.

VMCAI-2014-DragoiHVWZ #algorithm #framework #verification

A Logic-Based Framework for Verifying Consensus Algorithms (CD, TAH, HV, JW, DZ), pp. 161–181.

ESEC-FSE-2013-FarzanHRV #testing

Con2colic testing (AF, AH, NR, HV), pp. 37–47.

ESOP-2013-BeyerHTV #analysis #multi #reachability #reuse

Information Reuse for Multi-goal Reachability Analyses (DB, AH, MT, HV), pp. 472–491.

TACAS-2012-HolzerKSTV #contest #proving #reachability #using

Proving Reachability Using FShell — (Competition Contribution) (AH, DK, CS, MT, HV), pp. 538–541.

FASE-2011-HolzerJKLSTV #modelling #testing

Seamless Testing for Models and Code (AH, VJ, SK, BL, CS, MT, HV), pp. 278–293.

SAS-2011-ZulegerGSV #abstraction #analysis #bound #imperative #source code

Bound Analysis of Imperative Programs with the Size-Change Abstraction (FZ, SG, MS, HV), pp. 280–297.

ASE-2010-HolzerTVS #how #testing

How did you specify your test suite (AH, CS, MT, HV), pp. 407–416.

SAT-2009-SamerV #encoding #satisfiability

Encoding Treewidth into SAT (MS, HV), pp. 45–50.

VMCAI-2009-HolzerSTV #testing

Query-Driven Program Testing (AH, CS, MT, HV), pp. 151–166.

VMCAI-2009-KinderZV #abstract interpretation #control flow #framework #re-engineering

An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries (JK, FZ, HV), pp. 214–228.

CAV-2008-HolzerSTV #dynamic analysis #generative #metric #named #testing

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement (AH, CS, MT, HV), pp. 209–213.

CAV-2008-KinderV #framework #named #platform #static analysis

Jakstab: A Static Analysis Platform for Binaries (JK, HV), pp. 423–427.

TACAS-2008-ClarkeTV #abstraction #concurrent #framework #model checking #proving

Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems (EMC, MT, HV), pp. 33–47.

CAV-2007-ChakiSV #bound #verification

Verification Across Intellectual Property Boundaries (SC, CS, HV), pp. 82–94.

VMCAI-2006-ClarkeTV #abstraction #verification

Environment Abstraction for Parameterized Verification (EMC, MT, HV), pp. 126–141.

IFM-2005-ChakiCGOSTV #specification #verification

State/Event Software Verification for Branching-Time Specifications (SC, EMC, OG, JO, NS, TT, HV), pp. 53–69.

ICALP-2004-SamerV #ltl #query

A Syntactic Characterization of Distributive LTL Queries (MS, HV), pp. 1099–1110.

CSL-2003-SamerV #query #revisited

Validity of CTL Queries Revisited (MS, HV), pp. 470–483.

CSL-2003-Veith #community #verification

Friends or Foes? Communities in Software Verification (HV), pp. 528–529.

ICSE-2003-ChakiCGJV #c #component #composition #verification

Modular Verification of Software Components in C (SC, EMC, AG, SJ, HV), pp. 385–395.

SAT-2003-ClarkeTVW #abstraction #hardware #satisfiability #verification

SAT Based Predicate Abstraction for Hardware Verification (EMC, MT, HV, DW), pp. 78–92.

SEKE-2003-ChakiFGJKV #framework #mobile #platform

Integrating Publish/Subscribe into a Mobile Teamwork Support Platform (SC, PF, HCG, SJ, EK, HV), pp. 510–517.

LICS-2002-ClarkeJLV #model checking

Tree-Like Counterexamples in Model Checking (EMC, SJ, YL, HV), pp. 19–29.

ICSE-2001-CampaillaCCJV #performance #using

Efficient Filtering in Publish-Subscribe Systems Using Binary Decision (AC, SC, EMC, SJ, HV), pp. 443–452.

CAV-2000-ClarkeGJLV #abstraction #refinement

Counterexample-Guided Abstraction Refinement (EMC, OG, SJ, YL, HV), pp. 154–169.

CSL-1998-BaazV #fuzzy #logic #quantifier

Quantifier Elimination in Fuzzy Logic (MB, HV), pp. 399–414.

CSL-2016-KotekVZ #bound #finite #higher-order #monad #satisfiability

Monadic Second Order Finite Satisfiability and Unbounded Tree-Width (TK, HV, FZ), p. 20.

POPL-2017-KonnovLVW #algorithm #distributed #fault tolerance #liveness #safety #verification

A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms (IVK0, ML, HV, JW), pp. 719–734.