@inproceedings{GWBL15, author = {Yijia Gu and Thomas Wahl and Mahsa Bayati and Miriam Leeser}, title = {Behavioral Non-portability in Scientific Numeric Computing}, booktitle = {Parallel and Distributed Computing (EURO-PAR)}, pages = {558-569}, year = {2015}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/gwbl15.pdf}, category = {conference} }

@inproceedings{BTRW15, author = {Martin Brain and Cesare Tinelli and Philipp R{\"{u}}mmer and Thomas Wahl}, title = {An Automatable Formal Semantics for {IEEE-754} Floating-Point Arithmetic}, booktitle = {Symposium on Computer Arithmetic (ARITH)}, pages = {160-167}, year = {2015}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/btrw15.pdf}, category = {conference} }

@inproceedings{LW14, author = {Peizun Liu and Thomas Wahl}, title = {Infinite-State Backward Exploration of {Boolean} Broadcast Programs}, booktitle = {Formal Methods in Computer-Aided Design (FMCAD)}, pages = {155-162}, year = {2014}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/lw14.pdf}, category = {conference} }

@inproceedings{KKW14b, author = {Alexander Kaiser and Daniel Kroening and Thomas Wahl}, title = {Lost in Abstraction: Monotonicity in Multi-threaded Programs}, booktitle = {Concurrency Theory (CONCUR)}, pages = {141-155}, year = {2014}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/kkw14b.pdf}, category = {conference} }

@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 Test in Europe (DATE)}, pages = {1-4}, year = {2014}, pdf = {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 (CONCUR)}, pages = {500-515}, year = {2012}, pdf = {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)}, pages = {552-555}, year = {2012}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/bdkktw12.pdf}, 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$})}, year = {2012}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/hkwltcrs12.pdf}, 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}, year = {2011}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/kosww11.pdf}, 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}, year = {2011}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/dkkw11.pdf}, 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 Abstraction Interpretation (VMCAI)}, pages = {88-102}, year = {2011}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/bkrw11.pdf}, 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}, year = {2010}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/kkw10.pdf}, 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}, year = {2010}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/bkrw10.pdf}, 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}, year = {2010}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/bhkowz10.pdf}, 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}, year = {2009}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/bkw09.pdf}, 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}, year = {2009}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/bmwk09.pdf}, 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 = {Theory and Applications of Satisfiability Testing (SAT)}, pages = {18-31}, year = {2009}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/cwkh09.pdf}, category = {conference} }

@inproceedings{PWK09, author = {Mitra Purandare and Daniel Kroening and Thomas Wahl}, title = {Strengthening Properties using Abstraction Refinement}, booktitle = {Design, Automation and Test in Europe (DATE)}, pages = {1692-1697}, year = {2009}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/kpw09.pdf}, 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}, year = {2009}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/tw09.pdf}, 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}, year = {2008}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/wbe08.pdf}, category = {conference} }

@inproceedings{W07, author = {Thomas Wahl}, title = {Adaptive Symmetry Reduction}, booktitle = {Computer Aided Verification (CAV)}, pages = {393-405}, year = {2007}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/w07.pdf}, 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}, year = {2006}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/etw06.pdf}, 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}, year = {2005}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/ew05b.pdf}, 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}, year = {2003}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/ew03.pdf}, 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}, year = {1998}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/knw98.pdf}, 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}, year = {1997}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/knsw97.pdf}, category = {conference} }

*This file was generated by
bibtex2html 1.97.*