Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Clarke, Edmund"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Abstraction and counterexample-guided refinement in model checking of hybrid systems
Edmund Clarke
,
Ansgar Fehnker
,
Zhi Han
,
Bruce Krogh
,
Joël Ouaknine
,
Olaf Stursberg
,
Michael Theobald
International Journal of Foundations of Computer Science
14
(4), 2003, pp. 583-604
Counterexample-guided abstraction refinement for symbolic model checking
Edmund Clarke
,
Orna Grumberg
,
Somesh Jha
,
Yuan Lu
,
Helmut Veith
Journal of the ACM
50
(5), 2003, pp. 752-794
The Verus language: Representing time efficiently with BDDs
Sérgio Vale Aguiar Campos
,
Edmund Clarke
Theoretical Computer Science
253
(1), 2001, pp. 95-118
Symbolic model ckecking for probabilistic processes
Christel Baier
,
Edmund M. Clarke
,
Vasiliki Hartonas-Garmhausen
,
Marta Kwiatkowska
,
Mark Ryan
Lecture Notes in Computer Science
1256
, 1997, pp. 430-440
Model checking
Edmund M. Clarke
Lecture Notes in Computer Science
1346
, 1997, pp. 54-56
Word level model checking
Edmund M., Jr. Clarke
,
Xudong Zhao
Lecture Notes in Computer Science
1113
, 1996, pp. 1-1
Automatic verification of finite-state concurrent systems
Edmund M. Clarke
Lecture Notes in Computer Science
815
, 1994, pp. 1
Reasoning about procedures as parameters in the language L4
Steven M. German
,
Edmund M. Clarke
,
Joseph Y. Halpern
Information and Computation
83
(3), 1989, December, pp. 265-359