Edit Profile (opens in new tab) Dill, David L. Compute Distance To: Compute Author ID: dill.david-l Published as: Dill, David L.; Dill, David; Dill, D. L. more...less Documents Indexed: 43 Publications since 1986 1 Contribution as Editor Co-Authors: 50 Co-Authors with 41 Joint Publications 778 Co-Co-Authors all top 5 Co-Authors 3 single-authored 8 Barrett, Clark W. 6 Berezin, Sergey 6 Stump, Aaron 4 Alur, Rajeev 3 Clarke, Edmund Melson jun. 3 Ganesh, Vijay 3 Iyer, Subramanian K. 3 Jain, Jawahar 3 Loewenstein, Paul N. 3 Sahoo, Debashis 2 Abu-Haimed, Husam 2 Browne, Michael C. 2 Courcoubetis, Costas A. 2 Das, Satyaki 2 Emerson, Ernest Allen 2 Park, Seungjoon 2 Wong-Toi, Howard 1 Burch, Jerry R. 1 Chakraborty, Supratik 1 Chang, Jacob 1 Chechik, Marsha 1 Chou, Ching-Tsun 1 Govindaraju, Shankar 1 Grieskamp, Wolfgang 1 Gurfinkel, Arie 1 Hwang, L. J. 1 Jones, Robert B. 1 Julian, Kyle 1 Katz, Guy 1 Kochenderfer, Mykel J. 1 Lincoln, Patrick D. 1 McMillan, Kenneth L. 1 Mishra, Bud 1 Musuvathi, Madanlal 1 Narayan, Amit 1 Nötzli, Andres 1 Nowick, Steven M. 1 Park, Junkil 1 Qadeer, Shaz 1 Reynolds, Andrew 1 Sheng, Ying 1 Shikanian, Igor 1 Shimizu, Kanna 1 Skakkebæk, Jens U. 1 Sproull, Robert Fletcher 1 Stangier, Christian 1 Stern, Ulrich 1 Tinelli, Cesare 1 Yun, Kenneth Y. 1 Zohar, Yoni all top 5 Serials 4 Formal Methods in System Design 2 Information and Computation 1 IEEE Transactions on Computers 1 Theoretical Computer Science 1 Theory of Computing Systems 1 Sādhanā 1 Lecture Notes in Computer Science all top 5 Fields 41 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 3 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 25 Publications have been cited 1,260 times in 1,033 Documents Cited by ▼ Year ▼ A theory of timed automata. Zbl 0803.68071Alur, Rajeev; Dill, David L. 652 1994 Symbolic model checking: \(10^{20}\) states and beyond. Zbl 0753.68066Burch, J. R.; Clarke, E. M.; McMillan, K. L.; Dill, D. L.; Hwang, L. J. 165 1992 Model-checking in dense real-time. Zbl 0783.68076Alur, Rajeev; Courcoubetis, Costas; Dill, David 111 1993 Automata for modeling real-time systems. Zbl 0765.68150Alur, Rajeev; Dill, David 88 1990 Model-checking for probabilistic real-time systems. Zbl 0769.68088Alur, Rajeev; Courcoubetis, Costas; Dill, David 66 1991 Reluplex: an efficient SMT solver for verifying deep neural networks. Zbl 1494.68167Katz, Guy; Barrett, Clark; Dill, David L.; Julian, Kyle; Kochenderfer, Mykel J. 32 2017 A decision procedure for bit-vectors and arrays. Zbl 1135.68472Ganesh, Vijay; Dill, David L. 25 2007 CVC: A cooperating validity checker. Zbl 1010.68720Stump, Aaron; Barrett, Clark W.; Dill, David L. 19 2002 Experience with predicate abstraction. Zbl 1046.68589Das, Satyaki; Dill, David L.; Park, Seungjoon 18 1999 Checking satisfiability of first-order formulas by incremental translation to SAT. Zbl 1010.68531Barrett, Clark W.; Dill, David L.; Stump, Aaron 18 2002 A generalization of Shostak’s method for combining decision procedures. Zbl 1057.68109Barrett, Clark W.; Dill, David L.; Stump, Aaron 13 2002 Automatic verification of sequential circuits using temporal logic. Zbl 0604.94011Browne, Michael C.; Clarke, Edmund M.; Dill, David L.; Mishra, Bud 12 1986 Deciding Presburger arithmetic by model checking and comparisons with other methods. Zbl 1019.68591Ganesh, Vijay; Berezin, Sergey; Dill, David L. 8 2002 Parallelizing the \(\text{Mur}\varphi\) verifier. Zbl 1001.68073Stern, Ulrich; Dill, David 7 2001 Synthesizing processes and schedulers from temporal specifications. Zbl 0765.68148Wong-Toi, Howard; Dill, David L. 5 1991 A practical approach to partial functions in CVC Lite. Zbl 1272.03136Berezin, Sergey; Barrett, Clark; Shikanian, Igor; Chechik, Marsha; Gurfinkel, Arie; Dill, David L. 5 2005 A framework for cooperating decision procedures. Zbl 0963.68177Barrett, Clark W.; Dill, David L.; Stump, Aaron 4 2000 Counter-example based predicate discovery in predicate abstraction. Zbl 1019.68620Das, Satyaki; Dill, David L. 3 2002 Efficient algorithms for approximate time separation of events. Zbl 1018.68098Chakraborty, Supratik; Dill, David L.; Yun, Kenneth Y. 2 2002 An online proof-producing decision procedure for mixed-integer linear arithmetic. Zbl 1031.68584Berezin, Sergey; Ganesh, Vijay; Dill, David L. 2 2003 Faster proof checking in the Edinburgh Logical Framework. Zbl 1072.68594Stump, Aaron; Dill, David L. 1 2002 A partitioning methodology for BDD-based verification. Zbl 1117.68435Sahoo, Debashis; Iyer, Subramanian; Jain, Jawahar; Stangier, Christian; Narayan, Amit; Dill, David L.; Emerson, E. Allen 1 2004 An incremental heap canonicalization algorithm. Zbl 1151.68377Musuvathi, Madanlal; Dill, David L. 1 2005 Synthesizing processes and schedulers from temporal specifications. Zbl 0786.68070Wong-Toi, Howard; Dill, David L. 1 1991 Verification of a multiprocessor cache protocol using simulation relations and higher-order logic. Zbl 0875.68135Loewenstein, Paul N.; Dill, David L. 1 1992 Reluplex: an efficient SMT solver for verifying deep neural networks. Zbl 1494.68167Katz, Guy; Barrett, Clark; Dill, David L.; Julian, Kyle; Kochenderfer, Mykel J. 32 2017 A decision procedure for bit-vectors and arrays. Zbl 1135.68472Ganesh, Vijay; Dill, David L. 25 2007 A practical approach to partial functions in CVC Lite. Zbl 1272.03136Berezin, Sergey; Barrett, Clark; Shikanian, Igor; Chechik, Marsha; Gurfinkel, Arie; Dill, David L. 5 2005 An incremental heap canonicalization algorithm. Zbl 1151.68377Musuvathi, Madanlal; Dill, David L. 1 2005 A partitioning methodology for BDD-based verification. Zbl 1117.68435Sahoo, Debashis; Iyer, Subramanian; Jain, Jawahar; Stangier, Christian; Narayan, Amit; Dill, David L.; Emerson, E. Allen 1 2004 An online proof-producing decision procedure for mixed-integer linear arithmetic. Zbl 1031.68584Berezin, Sergey; Ganesh, Vijay; Dill, David L. 2 2003 CVC: A cooperating validity checker. Zbl 1010.68720Stump, Aaron; Barrett, Clark W.; Dill, David L. 19 2002 Checking satisfiability of first-order formulas by incremental translation to SAT. Zbl 1010.68531Barrett, Clark W.; Dill, David L.; Stump, Aaron 18 2002 A generalization of Shostak’s method for combining decision procedures. Zbl 1057.68109Barrett, Clark W.; Dill, David L.; Stump, Aaron 13 2002 Deciding Presburger arithmetic by model checking and comparisons with other methods. Zbl 1019.68591Ganesh, Vijay; Berezin, Sergey; Dill, David L. 8 2002 Counter-example based predicate discovery in predicate abstraction. Zbl 1019.68620Das, Satyaki; Dill, David L. 3 2002 Efficient algorithms for approximate time separation of events. Zbl 1018.68098Chakraborty, Supratik; Dill, David L.; Yun, Kenneth Y. 2 2002 Faster proof checking in the Edinburgh Logical Framework. Zbl 1072.68594Stump, Aaron; Dill, David L. 1 2002 Parallelizing the \(\text{Mur}\varphi\) verifier. Zbl 1001.68073Stern, Ulrich; Dill, David 7 2001 A framework for cooperating decision procedures. Zbl 0963.68177Barrett, Clark W.; Dill, David L.; Stump, Aaron 4 2000 Experience with predicate abstraction. Zbl 1046.68589Das, Satyaki; Dill, David L.; Park, Seungjoon 18 1999 A theory of timed automata. Zbl 0803.68071Alur, Rajeev; Dill, David L. 652 1994 Model-checking in dense real-time. Zbl 0783.68076Alur, Rajeev; Courcoubetis, Costas; Dill, David 111 1993 Symbolic model checking: \(10^{20}\) states and beyond. Zbl 0753.68066Burch, J. R.; Clarke, E. M.; McMillan, K. L.; Dill, D. L.; Hwang, L. J. 165 1992 Verification of a multiprocessor cache protocol using simulation relations and higher-order logic. Zbl 0875.68135Loewenstein, Paul N.; Dill, David L. 1 1992 Model-checking for probabilistic real-time systems. Zbl 0769.68088Alur, Rajeev; Courcoubetis, Costas; Dill, David 66 1991 Synthesizing processes and schedulers from temporal specifications. Zbl 0765.68148Wong-Toi, Howard; Dill, David L. 5 1991 Synthesizing processes and schedulers from temporal specifications. Zbl 0786.68070Wong-Toi, Howard; Dill, David L. 1 1991 Automata for modeling real-time systems. Zbl 0765.68150Alur, Rajeev; Dill, David 88 1990 Automatic verification of sequential circuits using temporal logic. Zbl 0604.94011Browne, Michael C.; Clarke, Edmund M.; Dill, David L.; Mishra, Bud 12 1986 all cited Publications top 5 cited Publications all top 5 Cited by 1,673 Authors 36 Larsen, Kim Guldstrand 27 Bouyer, Patricia 17 Markey, Nicolas 16 André, Étienne 16 Dang, Zhe 16 Legay, Axel 14 Asarin, Eugene 14 Brihaye, Thomas 14 Henzinger, Thomas A. 14 Ibarra, Oscar H. 14 Lime, Didier 12 Raskin, Jean-François 12 Vardi, Moshe Ya’akov 11 Lanotte, Ruggero 11 Roux, Olivier H. 11 Sproston, Jeremy 10 Bérard, Béatrice 10 Fahrenberg, Uli 10 Gastin, Paul 10 Kwiatkowska, Marta Z. 9 Abdulla, Parosh Aziz 9 Barrett, Clark W. 9 Bozzelli, Laura 9 Cimatti, Alessandro 9 Clarke, Edmund Melson jun. 9 Grumberg, Orna 9 Kupferman, Orna 9 Maggiolo-Schettini, Andrea 9 Tripakis, Stavros 8 Akshay, S. 8 Bertrand, Nathalie 8 Katoen, Joost-Pieter 8 Norman, Gethin 8 Pnueli, Amir 8 Rossi, Matteo A. C. 8 Worrell, James B. 8 Yovine, Sergio 7 Bersani, Marcello Maria 7 Geeraerts, Gilles 7 Haddad, Serge 7 Jéron, Thierry 7 Laroussinie, François 7 Maler, Oded 7 Mardare, Radu 7 Meseguer Guaita, José 7 Pappas, George J. 7 Sankur, Ocan 7 Sebastiani, Roberto 7 Vaandrager, Frits W. 6 Alur, Rajeev 6 Cassez, Franck 6 David, Alexandre 6 Demri, Stéphane P. 6 Fribourg, Laurent 6 Ganesh, Vijay 6 Herbreteau, Frédéric 6 Jonsson, Bengt 6 Krishna, Shankara Narayanan 6 Ouaknine, Joel O. 6 Piazza, Carla 6 Pietro, Pierluigi San 6 Pinchinat, Sophie 6 Quaas, Karin 6 Reynier, Pierre-Alain 6 Srivathsan, Balaguru 6 Tinelli, Cesare 6 Yi, Wang 5 Basset, Nicolas 5 Clemente, Lorenzo 5 Dill, David L. 5 Doyen, Laurent 5 Finkel, Alain 5 Fischer, Thomas Robert 5 Fränzle, Martin 5 Kulkarni, Sandeep S. 5 La Torre, Salvatore 5 Lange, Martin 5 Lasota, Sławomir 5 Olveczky, Peter Csaba 5 Peron, Adriano 5 Roveri, Marco 5 Stump, Aaron 5 Tini, Simone 5 Wang, Farn 5 Wąsowski, Andrzej 4 Baier, Christel 4 Beauquier, Danièle 4 Beneš, Nikola 4 Biere, Armin 4 Bonacina, Maria Paola 4 Bonakdarpour, Borzoo 4 Boucheneb, Hanifa 4 Brim, Luboš 4 Bruyère, Véronique 4 Černá, Ivana 4 Chatain, Thomas 4 Chen, Taolue 4 Cleaveland, Rance 4 Cui, Cewei 4 D’Argenio, Pedro Rubén ...and 1,573 more Authors all top 5 Cited in 99 Serials 151 Theoretical Computer Science 68 Formal Methods in System Design 59 Information and Computation 39 Formal Aspects of Computing 23 Information Processing Letters 23 The Journal of Logic and Algebraic Programming 22 Acta Informatica 22 Journal of Automated Reasoning 19 Discrete Event Dynamic Systems 17 Real-Time Systems 16 Artificial Intelligence 15 Journal of Logical and Algebraic Methods in Programming 14 International Journal of Foundations of Computer Science 13 Journal of Computer and System Sciences 12 Logical Methods in Computer Science 11 Science of Computer Programming 8 Automatica 7 International Journal of Control 7 Journal of Computer Science and Technology 7 Annals of Mathematics and Artificial Intelligence 6 Programming and Computer Software 6 Distributed Computing 6 Fundamenta Informaticae 5 Annals of Pure and Applied Logic 5 Machine Learning 5 MSCS. Mathematical Structures in Computer Science 4 Cybernetics and Systems Analysis 4 Journal of Applied Non-Classical Logics 4 European Journal of Control 4 Sādhanā 4 ACM Transactions on Computational Logic 4 Nonlinear Analysis. Hybrid Systems 3 Discrete Applied Mathematics 3 Information Sciences 3 Systems & Control Letters 3 Journal of Symbolic Computation 3 Algorithmica 3 Theory of Computing Systems 3 RAIRO. Theoretical Informatics and Applications 3 Journal of Applied Mathematics 3 Journal of Applied Logic 3 Computer Science Review 3 International Journal of Systems Science. Principles and Applications of Systems and Integration 2 International Journal of General Systems 2 Applied Mathematics and Computation 2 Mathematics and Computers in Simulation 2 International Journal of Production Research 2 Journal of Complexity 2 International Journal of Approximate Reasoning 2 International Journal of Robust and Nonlinear Control 2 Journal of Logic, Language and Information 2 The Journal of Artificial Intelligence Research (JAIR) 2 The Bulletin of Symbolic Logic 2 Abstract and Applied Analysis 2 Soft Computing 1 ACM Computing Surveys 1 Computers & Mathematics with Applications 1 Discrete Mathematics 1 Problems of Information Transmission 1 Fuzzy Sets and Systems 1 Journal of Econometrics 1 Journal of Mathematical Economics 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 Notre Dame Journal of Formal Logic 1 SIAM Journal on Control and Optimization 1 International Journal of Parallel Programming 1 Mathematical and Computer Modelling 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 International Journal of Algebra and Computation 1 Journal of Global Optimization 1 Designs, Codes and Cryptography 1 Linear Algebra and its Applications 1 Computational Optimization and Applications 1 Computational & Mathematical Organization Theory 1 Doklady Mathematics 1 Optimization Methods & Software 1 Journal of Scheduling 1 Journal of Applied Mathematics and Decision Sciences 1 Journal of the ACM 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 Mathematical and Computer Modelling of Dynamical Systems 1 Higher-Order and Symbolic Computation 1 International Journal of Applied Mathematics and Computer Science 1 Natural Computing 1 Journal of Discrete Algorithms 1 Journal of Zhejiang University. Science A 1 Mathematics in Computer Science 1 International Journal of Semantic Computing 1 The Review of Symbolic Logic 1 Algorithms 1 Science China. Information Sciences 1 RAIRO. Theoretical Informatics and Applications 1 Asian Journal of Control 1 Central European Journal of Computer Science 1 Frontiers of Computer Science in China 1 Frontiers of Computer Science 1 Computability 1 ACM Transactions on Computation Theory 1 Modelirovanie i Analiz Informatsionnykh Sistem all top 5 Cited in 26 Fields 948 Computer science (68-XX) 192 Mathematical logic and foundations (03-XX) 97 Systems theory; control (93-XX) 39 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 37 Operations research, mathematical programming (90-XX) 20 Information and communication theory, circuits (94-XX) 14 Biology and other natural sciences (92-XX) 12 Combinatorics (05-XX) 12 Probability theory and stochastic processes (60-XX) 9 Ordinary differential equations (34-XX) 6 Numerical analysis (65-XX) 5 Linear and multilinear algebra; matrix theory (15-XX) 5 Dynamical systems and ergodic theory (37-XX) 4 Number theory (11-XX) 3 Category theory; homological algebra (18-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 3 Convex and discrete geometry (52-XX) 3 Statistics (62-XX) 2 General and overarching topics; collections (00-XX) 2 Operator theory (47-XX) 2 Quantum theory (81-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Functions of a complex variable (30-XX) 1 Mechanics of particles and systems (70-XX) Citations by Year