×

zbMATH — the first resource for mathematics

Dill, David L.

Compute Distance To:
Author ID: dill.david-l Recent zbMATH articles by "Dill, David L."
Published as: Dill, D. L.; Dill, David; Dill, David L.
Documents Indexed: 42 Publications since 1986, including 1 Book

Publications by Year

Citations contained in zbMATH

24 Publications have been cited 1,074 times in 882 Documents Cited by Year
A theory of timed automata. Zbl 0803.68071
Alur, Rajeev; Dill, David L.
533
1994
Symbolic model checking: \(10^{20}\) states and beyond. Zbl 0753.68066
Burch, J. R.; Clarke, E. M.; McMillan, K. L.; Dill, D. L.; Hwang, L. J.
153
1992
Model-checking in dense real-time. Zbl 0783.68076
Alur, Rajeev; Courcoubetis, Costas; Dill, David
103
1993
Automata for modeling real-time systems. Zbl 0765.68150
Alur, Rajeev; Dill, David
83
1990
Model-checking for probabilistic real-time systems. Zbl 0769.68088
Alur, Rajeev; Courcoubetis, Costas; Dill, David
68
1991
A decision procedure for bit-vectors and arrays. Zbl 1135.68472
Ganesh, Vijay; Dill, David L.
18
2007
CVC: A cooperating validity checker. Zbl 1010.68720
Stump, Aaron; Barrett, Clark W.; Dill, David L.
18
2002
Checking satisfiability of first-order formulas by incremental translation to SAT. Zbl 1010.68531
Barrett, Clark W.; Dill, David L.; Stump, Aaron
18
2002
Experience with predicate abstraction. Zbl 1046.68589
Das, Satyaki; Dill, David L.; Park, Seungjoon
18
1999
A generalization of Shostak’s method for combining decision procedures. Zbl 1057.68109
Barrett, Clark W.; Dill, David L.; Stump, Aaron
12
2002
Automatic verification of sequential circuits using temporal logic. Zbl 0604.94011
Browne, Michael C.; Clarke, Edmund M.; Dill, David L.; Mishra, Bud
12
1986
Parallelizing the \(\text{Mur}\varphi\) verifier. Zbl 1001.68073
Stern, Ulrich; Dill, David
7
2001
Deciding Presburger arithmetic by model checking and comparisons with other methods. Zbl 1019.68591
Ganesh, Vijay; Berezin, Sergey; Dill, David L.
6
2002
Synthesizing processes and schedulers from temporal specifications. Zbl 0765.68148
Wong-Toi, Howard; Dill, David L.
5
1991
A framework for cooperating decision procedures. Zbl 0963.68177
Barrett, Clark W.; Dill, David L.; Stump, Aaron
4
2000
A practical approach to partial functions in CVC Lite. Zbl 1272.03136
Berezin, Sergey; Barrett, Clark; Shikanian, Igor; Chechik, Marsha; Gurfinkel, Arie; Dill, David L.
3
2005
Counter-example based predicate discovery in predicate abstraction. Zbl 1019.68620
Das, Satyaki; Dill, David L.
3
2002
An online proof-producing decision procedure for mixed-integer linear arithmetic. Zbl 1031.68584
Berezin, Sergey; Ganesh, Vijay; Dill, David L.
2
2003
Efficient algorithms for approximate time separation of events. Zbl 1018.68098
Chakraborty, Supratik; Dill, David L.; Yun, Kenneth Y.
2
2002
Formal verification of out-of-order execution with incremental flushing. Zbl 1014.68096
Jones, Robert B.; Skakkebæk, Jens U.; Dill, David L.
2
2002
An incremental heap canonicalization algorithm. Zbl 1151.68377
Musuvathi, Madanlal; Dill, David L.
1
2005
Faster proof checking in the Edinburgh Logical Framework. Zbl 1072.68594
Stump, Aaron; Dill, David L.
1
2002
Verification of a multiprocessor cache protocol using simulation relations and higher-order logic. Zbl 0875.68135
Loewenstein, Paul N.; Dill, David L.
1
1992
Synthesizing processes and schedulers from temporal specifications. Zbl 0786.68070
Wong-Toi, Howard; Dill, David L.
1
1991
A decision procedure for bit-vectors and arrays. Zbl 1135.68472
Ganesh, Vijay; Dill, David L.
18
2007
A practical approach to partial functions in CVC Lite. Zbl 1272.03136
Berezin, Sergey; Barrett, Clark; Shikanian, Igor; Chechik, Marsha; Gurfinkel, Arie; Dill, David L.
3
2005
An incremental heap canonicalization algorithm. Zbl 1151.68377
Musuvathi, Madanlal; Dill, David L.
1
2005
An online proof-producing decision procedure for mixed-integer linear arithmetic. Zbl 1031.68584
Berezin, Sergey; Ganesh, Vijay; Dill, David L.
2
2003
CVC: A cooperating validity checker. Zbl 1010.68720
Stump, Aaron; Barrett, Clark W.; Dill, David L.
18
2002
Checking satisfiability of first-order formulas by incremental translation to SAT. Zbl 1010.68531
Barrett, Clark W.; Dill, David L.; Stump, Aaron
18
2002
A generalization of Shostak’s method for combining decision procedures. Zbl 1057.68109
Barrett, Clark W.; Dill, David L.; Stump, Aaron
12
2002
Deciding Presburger arithmetic by model checking and comparisons with other methods. Zbl 1019.68591
Ganesh, Vijay; Berezin, Sergey; Dill, David L.
6
2002
Counter-example based predicate discovery in predicate abstraction. Zbl 1019.68620
Das, Satyaki; Dill, David L.
3
2002
Efficient algorithms for approximate time separation of events. Zbl 1018.68098
Chakraborty, Supratik; Dill, David L.; Yun, Kenneth Y.
2
2002
Formal verification of out-of-order execution with incremental flushing. Zbl 1014.68096
Jones, Robert B.; Skakkebæk, Jens U.; Dill, David L.
2
2002
Faster proof checking in the Edinburgh Logical Framework. Zbl 1072.68594
Stump, Aaron; Dill, David L.
1
2002
Parallelizing the \(\text{Mur}\varphi\) verifier. Zbl 1001.68073
Stern, Ulrich; Dill, David
7
2001
A framework for cooperating decision procedures. Zbl 0963.68177
Barrett, Clark W.; Dill, David L.; Stump, Aaron
4
2000
Experience with predicate abstraction. Zbl 1046.68589
Das, Satyaki; Dill, David L.; Park, Seungjoon
18
1999
A theory of timed automata. Zbl 0803.68071
Alur, Rajeev; Dill, David L.
533
1994
Model-checking in dense real-time. Zbl 0783.68076
Alur, Rajeev; Courcoubetis, Costas; Dill, David
103
1993
Symbolic model checking: \(10^{20}\) states and beyond. Zbl 0753.68066
Burch, J. R.; Clarke, E. M.; McMillan, K. L.; Dill, D. L.; Hwang, L. J.
153
1992
Verification of a multiprocessor cache protocol using simulation relations and higher-order logic. Zbl 0875.68135
Loewenstein, Paul N.; Dill, David L.
1
1992
Model-checking for probabilistic real-time systems. Zbl 0769.68088
Alur, Rajeev; Courcoubetis, Costas; Dill, David
68
1991
Synthesizing processes and schedulers from temporal specifications. Zbl 0765.68148
Wong-Toi, Howard; Dill, David L.
5
1991
Synthesizing processes and schedulers from temporal specifications. Zbl 0786.68070
Wong-Toi, Howard; Dill, David L.
1
1991
Automata for modeling real-time systems. Zbl 0765.68150
Alur, Rajeev; Dill, David
83
1990
Automatic verification of sequential circuits using temporal logic. Zbl 0604.94011
Browne, Michael C.; Clarke, Edmund M.; Dill, David L.; Mishra, Bud
12
1986
all top 5

Cited by 1,437 Authors

32 Larsen, Kim Guldstrand
22 Bouyer, Patricia
17 Dang, Zhe
16 Ibarra, Oscar H.
16 Legay, Axel
13 Henzinger, Thomas A.
13 Markey, Nicolas
13 Vardi, Moshe Y.
12 Asarin, Eugene
12 Raskin, Jean-François
11 Lanotte, Ruggero
10 Brihaye, Thomas
10 Clarke, Edmund Melson jun.
10 Kwiatkowska, Marta Z.
9 André, Étienne
9 Fahrenberg, Uli
9 Grumberg, Orna
9 Maggiolo-Schettini, Andrea
8 Abdulla, Parosh Aziz
8 Bertrand, Nathalie
8 Lime, Didier
8 Meseguer Guaita, José
8 Norman, Gethin
8 Pietro, Pierluigi San
8 Pnueli, Amir
8 Rossi, Matteo A. C.
8 Tripakis, Stavros
8 Yovine, Sergio
7 Akshay, S.
7 Bérard, Béatrice
7 Bersani, Marcello M.
7 Jonsson, Bengt
7 Katoen, Joost-Pieter
7 Laroussinie, François
7 Maler, Oded
7 Mardare, Radu
7 Ouaknine, Joel O.
7 Roux, Olivier H.
7 Sproston, Jeremy
6 Barrett, Clark W.
6 Bozzelli, Laura
6 Cimatti, Alessandro
6 David, Alexandre
6 Demri, Stéphane P.
6 Gastin, Paul
6 Geeraerts, Gilles
6 Haddad, Serge
6 Kupferman, Orna
6 Piazza, Carla
6 Pinchinat, Sophie
6 Tinelli, Cesare
6 Vaandrager, Frits W.
6 Worrell, James B.
5 Alur, Rajeev
5 Cassez, Franck
5 Dill, David L.
5 Doyen, Laurent
5 Finkel, Alain
5 Fischer, Thomas Robert
5 Fribourg, Laurent
5 Krishna, Shankara Narayanan
5 Kulkarni, Sandeep S.
5 La Torre, Salvatore
5 Lange, Martin
5 Lomuscio, Alessio
5 Olveczky, Peter Csaba
5 Pappas, George J.
5 Quaas, Karin
5 Sankur, Ocan
5 Stump, Aaron
5 Tini, Simone
5 Wang, Farn
5 Wąsowski, Andrzej
4 Baier, Christel
4 Basset, Nicolas
4 Beauquier, Danièle
4 Biere, Armin
4 Bonacina, Maria Paola
4 Bonakdarpour, Borzoo
4 Boucheneb, Hanifa
4 Bruyère, Véronique
4 Chatain, Thomas
4 Cui, Cewei
4 D’Argenio, Pedro Rubén
4 Dasgupta, Pallab
4 de Moura, Leonardo
4 Droste, Manfred
4 D’Souza, Deepak
4 Ganesh, Vijay
4 Graça, Daniel Silva
4 Jéron, Thierry
4 Kemmerer, Richard A.
4 Kesten, Yonit
4 Khoumsi, Ahmed
4 Kopke, Peter W.
4 Leucker, Martin
4 Lüttgen, Gerald
4 Lynch, Nancy Ann
4 Majumdar, Rupak
4 Reynier, Pierre-Alain
...and 1,337 more Authors
all top 5

Cited in 92 Serials

156 Theoretical Computer Science
68 Formal Methods in System Design
56 Information and Computation
34 Formal Aspects of Computing
24 The Journal of Logic and Algebraic Programming
22 Information Processing Letters
20 Journal of Automated Reasoning
19 Acta Informatica
17 Real-Time Systems
15 Artificial Intelligence
15 Discrete Event Dynamic Systems
13 Journal of Computer and System Sciences
12 International Journal of Foundations of Computer Science
12 Journal of Logical and Algebraic Methods in Programming
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 Logical Methods in Computer Science
5 Annals of Pure and Applied Logic
5 MSCS. Mathematical Structures in Computer Science
5 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 Machine Learning
3 RAIRO. Theoretical Informatics and Applications
3 Journal of Applied Mathematics
3 Journal of Applied Logic
3 Computer Science Review
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 Algorithmica
2 International Journal of Robust and Nonlinear Control
2 Journal of Logic, Language and Information
2 The Bulletin of Symbolic Logic
2 Theory of Computing Systems
2 Abstract and Applied Analysis
2 Soft Computing
2 Journal of Discrete Algorithms
2 International Journal of Systems Science. Principles and Applications of Systems and Integration
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 SIAM Journal on Control and Optimization
1 International Journal of Parallel Programming
1 International Journal of Approximate Reasoning
1 Mathematical and Computer Modelling
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 International Journal of Algebra and Computation
1 Linear Algebra and its Applications
1 Computational & Mathematical Organization Theory
1 Doklady Mathematics
1 Optimization Methods & Software
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 Zhejiang University. Science A
1 Electronic Notes in Theoretical Computer Science
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

Citations by Year