BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Canada
1 × Czech Republic
1 × Denmark
1 × Estonia
1 × Finland
1 × France
1 × Hungary
1 × Japan
1 × Russia
1 × The Netherlands
1 × United Kingdom
2 × Germany
4 × Austria
5 × Italy
8 × USA
Collaborated with:
A.Holzer F.Zuleger E.M.Clarke C.Schallhart M.Samer M.Tautschnig S.Chaki S.Jha J.Widder M.Talupur M.Baaz J.Kinder T.Kotek A.Farzan M.Sinn I.Konnov M.Simkus Y.Lu O.Grumberg T.Eiter Y.Demyanova T.Pani N.Razavi D.Beyer S.Gulwani D.Wang Igor V. Konnov 0001 M.Lazic M.Franz S.Katzenbeisser D.Calvanese A.Gmeiner U.Schmid C.Dragoi T.A.Henzinger D.Zufferey D.Kröning A.Groce A.Campailla P.Fenkam H.C.Gall E.Kirda V.Januzaj S.Kugele B.Langer J.Ouaknine N.Sharygina T.Touili
Talks about:
verif (8) abstract (7) analysi (7) test (6) model (5) distribut (4) algorithm (4) softwar (4) check (4) base (4)

Person: Helmut Veith

DBLP DBLP: Veith:Helmut

Facilitated 2 volumes:

CAV 2013Ed
CSL 2010Ed

Contributed to:

CAV 20152015
ICST 20152015
LICS 20152015
CAV 20142014
CC 20142014
IFM 20142014
KR 20142014
SFM 20142014
VMCAI 20142014
ESEC/FSE 20132013
ESOP 20132013
TACAS 20122012
FASE 20112011
SAS 20112011
ASE 20102010
SAT 20092009
VMCAI 20092009
CAV 20082008
TACAS 20082008
CAV 20072007
VMCAI 20062006
IFM 20052005
ICALP 20042004
CSL 20032003
ICSE 20032003
SAT 20032003
SEKE 20032003
LICS 20022002
ICSE 20012001
CAV 20002000
CSL 19981998
CSL 20162016
POPL 20172017

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.