@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.