conference.bib

@inproceedings{JW21,
  author = {Andrew Johnson and Thomas Wahl},
  title = {Delay-Bounded Scheduling Without Delay!},
  booktitle = {Computer Aided Verification (CAV)},
  year = {2021},
  pdf = {https://www.khoury.northeastern.edu/home/wahl/Publications/jw21.pdf},
  category = {conference}
}
@inproceedings{GLZSYLWF20,
  author = {Cheng Gongye and Hongjia Li and Xiang Zhang and Majid Sabbagh and Geng Yuan and Xue Lin and Thomas Wahl and Yunsi Fei},
  title = {New Passive and Active Attacks on Deep Neural Networks in Medical Applications},
  booktitle = {International Conference On Computer Aided Design (ICCAD)},
  year = {2020},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/glzsylwf20.pdf},
  category = {conference}
}
@inproceedings{AWDF20,
  author = {Konstantinos Athanasiou and Thomas Wahl and Adam Ding and Yunsi Fei},
  title = {Automatic Detection and Repair of Transition- Based Leakage in Software Binaries},
  booktitle = {Software Verification - 12th International Conference (VSTTE)},
  year = {2020},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/awdf20.pdf},
  category = {conference}
}
@inproceedings{GFW20,
  author = {Cheng Gongye and Yunsi Fei and Thomas Wahl},
  title = {Reverse Engineering Deep Neural Networks Using Floating-point Timing Side-channel},
  booktitle = {Design Automation Conference (DAC)},
  year = {2020},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/gfw20.pdf},
  category = {conference}
}
@inproceedings{LWL19,
  author = {Peizun Liu and Thomas Wahl and Akash Lal},
  title = {Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers},
  booktitle = {Computer Aided Verification (CAV)},
  pages = {386-404},
  year = {2019},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/lwl19.pdf},
  category = {conference}
}
@inproceedings{SFWD18,
  author = {Majid Sabbagh and Yunsi Fei and Thomas Wahl and Adam Ding},
  title = {{SCADET}: A side-channel attack detection tool for tracking {P}rime+{P}robe},
  booktitle = {International Conference on Computer-Aided Design (ICCAD)},
  pages = {107:1-107:8},
  year = {2018},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/sfwd18.pdf},
  category = {conference}
}
@inproceedings{LW18,
  author = {Peizun Liu and Thomas Wahl},
  title = {{CUBA}: Interprocedural Context-UnBounded Analysis of Concurrent Programs},
  booktitle = {Programming Languages Design and Implementation (PLDI)},
  pages = {105-119},
  year = {2018},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/lw18.pdf},
  category = {conference}
}
@inproceedings{LAZJFDW17,
  author = {Pei Luo and Konstantinos Athanasiou and Liwei Zhang and Zhen Hang Jiang and Yunsi Fei and Adam Ding and Thomas Wahl},
  title = {Compiler-Assisted Threshold Implementation against Power Analysis Attacks},
  booktitle = {International Conference on Computer Design (ICCD)},
  pages = {541-544},
  year = {2017},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/lazjfdw17.pdf},
  category = {conference}
}
@inproceedings{LW17,
  author = {Peizun Liu and Thomas Wahl},
  title = {{IJIT}: An {API} for {B}oolean Program Analysis with Just-in-Time Translation},
  booktitle = {Software Engineering and Formal Methods (SEFM)},
  pages = {316-331},
  year = {2017},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/lw17.pdf},
  category = {conference}
}
@inproceedings{LAFW17,
  author = {Pei Luo and Konstantinos Athanasiou and Yunsi Fei and Thomas Wahl},
  title = {Algebraic Fault Analysis of {SHA}-3},
  booktitle = {Design Automation and Test in Europe (DATE)},
  pages = {151-156},
  year = {2017},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/lafw17.pdf},
  category = {conference}
}
@inproceedings{GW17,
  author = {Yijia Gu and Thomas Wahl},
  title = {Stabilizing Floating-Point Programs using Provenance Analysis},
  booktitle = {Verification, Model Checking, and Abstract Interpretation (VMCAI)},
  pages = {228-245},
  year = {2017},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/gw17.pdf},
  category = {conference}
}
@inproceedings{LW16,
  author = {Peizun Liu and Thomas Wahl},
  title = {Concolic Unbounded-Thread Reachability via Loop Summaries},
  booktitle = {International Conference on Formal Engineering Methods (ICFEM)},
  pages = {346-362},
  year = {2016},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/lw16.pdf},
  category = {conference}
}
@inproceedings{RW16,
  author = {Jaideep Ramachandran and Thomas Wahl},
  title = {Integrating Proxy Theories and Numeric Model Lifting for Floating-Point Arithmetic},
  booktitle = {Formal Methods in Computer-Aided Design (FMCAD)},
  pages = {153-160},
  year = {2016},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/rw16.pdf},
  category = {conference}
}
@inproceedings{ALW16,
  author = {Konstantinos Athanasiou and Peizun Liu and Thomas Wahl},
  title = {Unbounded-Thread Program Verification using Thread-State Equations},
  booktitle = {International Joint Conference on Automated Reasoning (IJCAR)},
  pages = {516-531},
  year = {2016},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/alw16.pdf},
  category = {conference}
}
@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 Abstract 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.99.