conference.bib

@comment{{This file has been generated by bib2bib 1.96}}
@comment{{Command line: /usr/bin/bib2bib -c category="conference" /home/wahl/Technical/Latex/references-thomas.bib}}
@inproceedings{LMRW14,
  author = {Miriam Leeser and Saoni Mukherjee and Jaideep Ramachandran and Thomas Wahl},
  title = {Make it Real: Effective Floating-Point Reasoning via Exact Arithmetic},
  booktitle = {Design Automation and Testing in Europe (DATE)},
  year = {2014},
  url = {http://www.ccs.neu.edu/home/wahl/Publications/lmrw14.pdf},
  category = {conference}
}
@inproceedings{KKW12,
  author = {Alexander Kaiser and Daniel Kroening and Thomas Wahl},
  title = {Efficient Coverability Analysis by Proof Minimization},
  booktitle = {Concurrency Theory},
  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 = {Tools and Algorithms for the Construction and Analysis of Systems (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 = {Embedded Real Time Software and Systems ({$\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 = {Computer Aided Verification (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 = {Computer Aided Verification (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 = {Verification, Model Checking and Abstract Interpretation (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 = {Computer Aided Verification (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 = {International Joint Conference on Automated Reasoning (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 = {Tools and Algorithms for the Construction and Analysis of Systems (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 = {Formal Methods in Computer Aided Design (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 = {Computer Aided Verification (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 = {Satisfiability (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 = {Design Automation and Testing in Europe (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 = {Verification, Model Checking and Abstract Interpretation (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 = {Tools and Algorithms for the Construction and Analysis of Systems (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 = {Computer Aided Verification (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 = {International Conference on Formal Engineering Methods (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 = {Tools and Algorithms for the Construction and Analysis of Systems (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 = {Correct Hardware Design and Verification Methods (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 = {Autonomous Mobile Systems (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.96.