@article{LWR21,
author = {Peizun Liu and Thomas Wahl and Thomas Reps},
title = {Interprocedural Context-Unbounded Program Analysis Using Observation Sequences},
journal = {{ACM} Transactions on Programming Languages and Systems (TOPLAS)},
volume = {42},
year = {2021},
pdf = {https://www.khoury.northeastern.edu/home/wahl/Publications/lwr21.pdf},
category = {journal}
}
@article{BLGW19,
author = {Mahsa Bayati and Miriam Leeser and Yijia Gu and Thomas Wahl},
title = {Identifying volatile numeric expressions in numeric computing applications},
journal = {Mathematics and Computers in Simulation (MATCOM)},
volume = {166},
pages = {451-460},
year = {2019},
pdf = {http://www.ccs.neu.edu/home/wahl/Publications/blgw19.pdf},
category = {journal}
}
@article{KKW17,
author = {Alexander Kaiser and Daniel Kroening and Thomas Wahl},
title = {Lost in Abstraction: Monotonicity in Multi-threaded Programs},
journal = {Information and Computation (IaC)},
volume = {252},
pages = {30-47},
year = {2017},
pdf = {http://www.ccs.neu.edu/home/wahl/Publications/kkw17.pdf},
category = {journal}
}
@article{RPW15,
author = {Jaideep Ramachandran and Corina S. Pasareanu and Thomas Wahl},
title = {Symbolic Execution for Checking the Accuracy of Floating-Point Programs},
journal = {{ACM} Software Engineering Notes (SEN)},
volume = {40},
number = {1},
pages = {1-5},
year = {2015},
pdf = {http://www.ccs.neu.edu/home/wahl/Publications/rpw15.pdf},
category = {journal}
}
@article{KKW14a,
author = {Alexander Kaiser and Daniel Kroening and Thomas Wahl},
title = {A Widening Approach to Multithreaded Program Verification},
journal = {{ACM} Transactions on Programming Languages and Systems (TOPLAS)},
volume = {36},
number = {4},
pages = {14:1-14:29},
year = {2014},
pdf = {http://www.ccs.neu.edu/home/wahl/Publications/kkw14a.pdf},
category = {journal}
}
@article{DKKTW12,
author = {Alastair Donaldson and Alexander Kaiser and Daniel Kroening and Michael Tautschnig and Thomas Wahl},
title = {Counterexample-guided abstraction refinement for symmetric concurrent programs},
journal = {Formal Methods in System Design (FMSD)},
volume = {41},
number = {1},
pages = {25-44},
year = {2012},
pdf = {http://www.ccs.neu.edu/home/wahl/Publications/dkktw12.pdf},
category = {journal}
}
@article{BKRW11b,
author = {Angelo Brillout and Daniel Kroening and Philipp R{\"u}mmer and Thomas Wahl},
title = {An Interpolating Sequent Calculus for Quantifier-Free {P}resburger Arithmetic},
journal = {Journal of Automated Reasoning (JAR)},
pages = {341-367},
volume = {47},
number = {4},
year = {2011},
pdf = {http://www.ccs.neu.edu/home/wahl/Publications/bkrw11b.pdf},
category = {journal}
}
@article{BMWK10,
author = {Gerard Basler and Michele Mazzucchi and Thomas Wahl and Daniel Kroening},
title = {Context-Aware Counter Abstraction},
journal = {Formal Methods in System Design (FMSD)},
pages = {223-245},
volume = {36},
number = {3},
year = {2010},
pdf = {http://www.ccs.neu.edu/home/wahl/Publications/bmwk10.pdf},
category = {journal}
}
@article{WD10,
author = {Thomas Wahl and Alastair Donaldson},
title = {Replication and Abstraction: Symmetry in Automated Formal Verification},
journal = {Symmetry},
pages = {799-847},
volume = {2},
number = {2},
year = {2010},
pdf = {http://www.ccs.neu.edu/home/wahl/Publications/wd10.pdf},
category = {journal}
}
@article{WS10,
author = {Thomas Wahl and Vijay D'Silva},
title = {A Lazy Approach to Symmetry Reduction},
journal = {Formal Aspects of Computing (FAC)},
pages = {713-733},
volume = {22},
number = {6},
year = {2010},
pdf = {http://www.ccs.neu.edu/home/wahl/Publications/ws10.pdf},
category = {journal}
}
@article{EW05a,
author = {Allen Emerson and Thomas Wahl},
title = {Efficient Reduction Techniques for Systems with Many Components},
journal = {Electronic Notes in Theoretical Computer Science (ENTCS)},
pages = {379-399},
volume = {130},
year = {2005},
pdf = {http://www.ccs.neu.edu/home/wahl/Publications/ew05a.pdf},
category = {journal}
}
@article{KW99,
author = {Oliver Karch and Thomas Wahl},
title = {Relocalization {--} Theory and Practice},
journal = {Discrete Applied Mathematics (DAM)},
pages = {89-108},
volume = {93},
number = {1},
year = {1999},
pdf = {http://www.ccs.neu.edu/home/wahl/Publications/kw99.pdf},
category = {journal}
}
This file was generated by bibtex2html 1.99.