@comment{{This file has been generated by bib2bib 1.95}}
@comment{{Command line: /usr/bin/bib2bib -c category="conference" /home/wahl/Technical/Latex/references-thomas.bib}}
@inproceedings{KKW12,
author = {Alexander Kaiser and Daniel Kroening and Thomas Wahl},
title = {Efficient Coverability Analysis by Proof Minimization},
booktitle = {CONCUR},
year = {2012},
pages = {500-515},
ee = {http://dx.doi.org/10.1007/978-3-642-32940-1_35},
url = {http://www.ccs.neu.edu/home/wahl/Publications/kkw12.pdf},
category = {conference}
}
@inproceedings{BDKKTW12,
author = {G{\'e}rard Basler and Alastair Donaldson and Alexander Kaiser and Daniel Kroening and Michael Tautschnig and Thomas Wahl},
title = {{SATABS}: A Bit-Precise Verifier for {C} Programs (Competition Contribution)},
booktitle = {TACAS},
url = {http://www.ccs.neu.edu/home/wahl/Publications/bdkktw12.pdf},
pages = {552-555},
year = {2012},
category = {conference}
}
@inproceedings{HKWKTTRS12,
author = {Nannan He and Daniel Kroening and Thomas Wahl and Kung-Kiu Lau and Faris Taweel and Tran Cuong and Philipp Ruemmer and Sanjiv Sharma},
title = {Component-based Design and Verification in {X-MAN}},
booktitle = {{$\mbox{ERTS}^2$}},
url = {http://www.ccs.neu.edu/home/wahl/Publications/hkwltcrs12.pdf},
year = {2012},
category = {conference}
}
@inproceedings{KOSWW11,
author = { Daniel Kroening and Joel Ouaknine and Ofer Strichman and Thomas Wahl and James Worrell },
title = { Linear Completeness Thresholds for Bounded Model Checking },
booktitle = {CAV},
pages = {557-572},
url = {http://www.ccs.neu.edu/home/wahl/Publications/kosww11.pdf},
year = {2011},
category = {conference}
}
@inproceedings{DKKW11,
author = { Alastair Donaldson and Alexander Kaiser and Daniel Kroening and Thomas Wahl },
title = { Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs },
booktitle = {CAV},
pages = {356-371},
url = {http://www.ccs.neu.edu/home/wahl/Publications/dkkw11.pdf},
year = {2011},
category = {conference}
}
@inproceedings{BKRW11,
author = {Angelo Brillout and Daniel Kroening and Philipp Ruemmer and Thomas Wahl},
title = {Beyond Quantifier-free Interpolation in Extensions of {P}resburger Arithmetic},
booktitle = {VMCAI},
pages = {88-102},
url = {http://www.ccs.neu.edu/home/wahl/Publications/bkrw11.pdf},
year = {2011},
category = {conference}
}
@inproceedings{KKW10,
author = {Alexander Kaiser and Daniel Kroening and Thomas Wahl},
title = {Dynamic Cutoff Detection in Parameterized Concurrent Programs},
booktitle = {CAV},
pages = {645-659},
url = {http://www.ccs.neu.edu/home/wahl/Publications/kkw10.pdf},
year = {2010},
category = {conference}
}
@inproceedings{BKRW10,
author = {Angelo Brillout and Daniel Kroening and Philipp Ruemmer and Thomas Wahl},
title = {An Interpolating Sequent Calculus for Quantier-Free {P}resburger Arithmetic},
booktitle = {IJCAR},
pages = {384-399},
url = {http://www.ccs.neu.edu/home/wahl/Publications/bkrw10.pdf},
year = {2010},
category = {conference}
}
@inproceedings{BHKOWZ10,
author = {Gerard Basler and Matthew Hague and Daniel Kroening and Luke Ong and Thomas Wahl and Haoxian Zhao},
title = {BOOM: Taking {B}oolean Program Model Checking One Step Further},
booktitle = {TACAS},
pages = {145-149},
url = {http://www.ccs.neu.edu/home/wahl/Publications/bhkowz10.pdf},
year = {2010},
category = {conference}
}
@inproceedings{BKW09,
title = {Mixed Abstractions for Floating-Point Arithmetic},
author = {Angelo Brillout and Daniel Kroening and Thomas Wahl},
booktitle = {FMCAD},
pages = {69-76},
url = {http://www.ccs.neu.edu/home/wahl/Publications/bkw09.pdf},
year = {2009},
category = {conference}
}
@inproceedings{BMWK09,
author = {Gerard Basler and Michele Mazzucchi and Thomas Wahl and Daniel Kroening},
title = {Symbolic Counter Abstraction for Concurrent Software},
booktitle = {CAV},
pages = {64-78},
url = {http://www.ccs.neu.edu/home/wahl/Publications/bmwk09.pdf},
year = {2009},
category = {conference}
}
@inproceedings{CWKH09,
author = {Yury Chebiryak and Thomas Wahl and Daniel Kroening and Leopold Haller},
title = {A Propositional Encoding of Lean Induced Cycles in Binary Hypercubes},
booktitle = {SAT},
pages = {18-31},
url = {http://www.ccs.neu.edu/home/wahl/Publications/cwkh09.pdf},
year = {2009},
category = {conference}
}
@inproceedings{PWK09,
author = {Mitra Purandare and Daniel Kroening and Thomas Wahl},
title = {Strengthening Properties using Abstraction Refinement},
booktitle = {DATE},
pages = {1692-1697},
url = {http://www.ccs.neu.edu/home/wahl/Publications/kpw09.pdf},
year = {2009},
category = {conference}
}
@inproceedings{TW09,
author = {Richard Trefler and Thomas Wahl},
title = {Extending Symmetry Reduction by Exploiting System Architecture},
booktitle = {VMCAI},
pages = {320-334},
url = {http://www.ccs.neu.edu/home/wahl/Publications/tw09.pdf},
year = {2009},
category = {conference}
}
@inproceedings{WBE08,
author = {Thomas Wahl and Nicolas Blanc and Allen Emerson},
title = {{\textsc{Sviss}}: Symbolic Verification of Symmetric Systems},
booktitle = {TACAS},
pages = {459-462},
url = {http://www.ccs.neu.edu/home/wahl/Publications/wbe08.pdf},
year = {2008},
category = {conference}
}
@inproceedings{W07,
author = {Thomas Wahl},
title = {Adaptive Symmetry Reduction},
booktitle = {CAV},
pages = {393-405},
url = {http://dx.doi.org/10.1007/978-3-540-73368-3_43},
year = {2007},
category = {conference}
}
@inproceedings{ETW06,
author = {Allen Emerson and Richard Trefler and Thomas Wahl},
title = {Reducing Model Checking of the Few to the One},
booktitle = {ICFEM},
pages = {94-113},
url = {http://www.ccs.neu.edu/home/wahl/Publications/etw06.pdf},
year = {2006},
category = {conference}
}
@inproceedings{EW05b,
author = {Allen Emerson and Thomas Wahl},
title = {Dynamic Symmetry Reduction},
booktitle = {TACAS},
pages = {382-396},
url = {http://www.ccs.neu.edu/home/wahl/Publications/ew05b.pdf},
year = {2005},
category = {conference}
}
@inproceedings{EW03,
author = {Allen Emerson and Thomas Wahl},
title = {On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking},
booktitle = {CHARME},
pages = {216-230},
url = {http://www.ccs.neu.edu/home/wahl/Publications/ew03.pdf},
year = {2003},
category = {conference}
}
@inproceedings{KNW98,
author = {Oliver Karch and Hartmut Noltemeier and Thomas Wahl},
title = {Robot Localization Using Polygon Distances},
booktitle = {Sensor Based Intelligent Robots},
pages = {200-219},
url = {http://www.springerlink.com/content/q531w165x4h4v220/fulltext.pdf},
year = {1998},
category = {conference}
}
@inproceedings{KNSW97,
author = {Oliver Karch and Hartmut Noltemeier and Mathias Schwark and Thomas Wahl},
title = {Relokalisation {--} ein theoretischer {A}nsatz in der {P}raxis},
booktitle = {AMS},
pages = {119-130},
url = {http://www.ccs.neu.edu/home/wahl/Publications/knsw97.pdf},
year = {1997},
category = {conference}
}
This file was generated by bibtex2html 1.95.