David Dill

David Dill

Stanford University - Stanford / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1649811
person_outline David Dill's MOST POPULAR ARTICLES
1-) A theory of timed automataR Alur, DL DillTheoretical computer science 126 (2), 183-235, 199498791994
2-) Symbolic Model Checking: 1020 states and beyondJR Burch, EM Clarke, KL McMillan, DL Dill, LJ HwangInformation and Computation 98 (2), 199245951992
3-) Reluplex: An efficient SMT solver for verifying deep neural networksG Katz, C Barrett, DL Dill, K Julian, MJ KochenderferComputer Aided Verification: 29th International Conference, CAV 2017 …, 201716002017
4-) Automata for modeling real-time systemsR Alur, D DillAutomata, Languages and Programming: 17th International Colloquium Warwick …, 199016611990
5-) EXE: Automatically generating inputs of deathC Cadar, V Ganesh, PM Pawlowski, DL Dill, DR EnglerACM Transactions on Information and System Security (TISSEC) 12 (2), 1-38, 200815652008