source: caseStudy_Huffmann/rob.bib @ 41

Last change on this file since 41 was 24, checked in by cecile, 13 years ago

plan du case study

File size: 8.1 KB
Line 
1@BOOK{Dolev00,
2    author = {S. Dolev},
3    title = {Self-Stabilization},
4    publisher = {The MIT Press},
5    year = {200}
6}
7
8@ARTICLE{Dijkstra74,
9    author = {E. W. Dijkstra},
10    title = {Self-Stabilization Systems in spite of Distributed Control},
11    journal = {Communication of the ACM},
12    year = {1974},
13    volume = {17},
14    pages = {643--644}
15}
16
17@ARTICLE{BEL99,
18    author = {E. Birnbaum and E. L. Lozinskii},
19    title = {The Good Old {D}avis-{P}utnam Procedure Helps Counting Models},
20    journal = {Journal of Artificial Intelligence Research},
21    year = {1999},
22    volume = {10},
23    pages = {457--477}
24}
25
26@ARTICLE{Cla86,
27  AUTHOR =       {E. M. Clarke and E. A. Emerson and A. P. Sistla},
28  TITLE =        {Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications},
29  JOURNAL =      {ACM Transactions on Programming Languages and Systems},
30  YEAR =         {1986},
31  volume =       {8},
32  number =       {2},
33  pages =        {244--263}
34}
35
36@INPROCEEDINGS{Yo96,
37    author = {W. D. Young},
38    title = {Comparing Verification Systems: Interactive Consistency in {ACL2}},
39    booktitle = {Proc. 11th Annual Conference on Computer Assurance},
40    year = {1996},
41    pages = {17--21}
42}
43@inproceedings{Church57,
44        address = {Princeton},
45        author = {A. Church},
46        booktitle = {Summaries of talks presented at the Summer Institute for Symbolic Logic},
47        organization = {Communications Research Division, Institute for Defense Analyses},
48        pages = {3--50},
49        title = {Application of Recursive Arithmetic to the Problem of Circuit Synthesis},
50        year = 1957,
51}
52
53@INPROCEEDINGS{OB09,
54  author = {F. Ouchet and D. Borrione and K. Morin-Allory and L. Pierre},
55  title = {High-level Symbolic Simulation for Automatic Model Extraction},
56  booktitle = {Proc. IEEE Symposium on Design and Diagnostics of Electronic Systems},
57  year = {2009}
58}
59
60@inproceedings{BaarirBCEILMPP09,
61  author    = {S. Baarir and C. Braunstein and R. Clavel and E. Encrenaz and J.-M. Ili{\'e} and R. Leveugle and
62               I. Mounier and L. Pierre and D. Poitrenaud},
63  title     = {Complementary Formal Approaches for Dependability Analysis},
64  booktitle = {Proc. International Symposium on Defect and Fault Tolerance in VLSI Systems},
65  publisher = {IEEE Computer Society},
66  year      = {2009},
67  pages     = {331--339},
68  ee        = {http://doi.ieeecomputersociety.org/10.1109/DFT.2009.21},
69  bibsource = {DBLP, http://dblp.uni-trier.de}
70}
71
72@INPROCEEDINGS{DA08,
73  author = {A. Darbari and B. Al-Hashimi and P. Harrod and D. Bradley},
74  title = {A New Approach for Transient Fault Injection using Symbolic Simulation},
75  booktitle = {Proc. IEEE International On-Line Testing Symposium},
76  pages   = {93--98},
77  publisher = {IEEE Computer Society},
78  year = {2008}
79}
80
81@inproceedings{FeySD09,
82  author    = {G. Fey and A. S{\"u}lflow and R. Drechsler},
83  title     = {Computing Bounds for Fault Tolerance using Formal Techniques},
84  booktitle = {Proc. Design Automation Conference},
85  year      = {2009},
86  pages     = {190--195},
87  publisher = {ACM},
88  ee        = {http://doi.acm.org/10.1145/1629911.1629963},
89  bibsource = {DBLP, http://dblp.uni-trier.de}
90}
91
92@INPROCEEDINGS{FD08,
93  author = {G. Fey and R. Drechsler},
94  title = {A Basis for Formal Robustness Checking},
95  booktitle = {Proc. IEEE International Symposium on Quality Electronic Design},
96  pages = {784--789},
97  publisher = {IEEE Computer Society},
98  year = {2008}
99}
100
101@INPROCEEDINGS{AL05,
102  author = {L. Anghel and R. Leveugle and P. Vanhauwaert},
103  title = {Evaluation of {SET} and {SEU} Effects at Multiple Abstraction Levels},
104  booktitle = {Proc. 11th IEEE International On-Line Testing Symposium},
105  year = {2005}
106}
107
108@ARTICLE{BC06,
109  author = {H. Bar-El and H. Choukri and D. Naccache and M. Tunstall and C. Whelan},
110  title = {The Sorcerer's Apprentice Guide to Fault Attacks},
111  journal = {Proceedings of the IEEE},
112  year = {2006},
113  volume = {94},
114  number = {2}
115}
116
117@ARTICLE{LH03,
118  author = {R. Leveugle and K. Hadjiat},
119  title = {Multi-level Fault Injections in {VHDL} Descriptions: Alternative Approaches and Experiments},
120  journal = {Journal of Electronic Testing: Theory and Applications},
121  year = {2003},
122  volume = {19},
123  number = {5}
124}
125
126@INPROCEEDINGS{SL07,
127  author = {S. Seshia and W. Li and S. Mitra},
128  title = {Verification-guided Soft Error Resilience},
129  booktitle = {Proc. Conference on Design, Automation and Test in Europe},
130  pages = {1442--1447},
131  publisher = {EDA Consortium},
132  year = {2007}
133}
134
135@INPROCEEDINGS{Le05,
136  author = {R. Leveugle},
137  title = {A New Approach for Early Dependability Evaluation Based on Formal Property Checking and Controlled Mutation},
138  booktitle = {Proc. IEEE International On-Line Testing Symposium},
139  pages     = {260--265},
140  publisher = {IEEE Computer Society},
141  year = {2005}
142}
143
144@INPROCEEDINGS{KP06,
145  author = {U. Krautz and M. Pflanz and C. Jacobi and H. Tast and K. Weber and H. Vierhaus},
146  title = {Evaluating Coverage of Error Detection Logic for Soft Errors using Formal Methods},
147  booktitle = {Proc. Conference on Design, Automation and Test in Europe},
148  pages = {176--181},
149  publisher = {European Design and Automation Association},
150  year = {2006}
151}
152
153@INPROCEEDINGS{LH07,
154  author = {D. Larsson and R. H\"ahnle},
155  title = {Symbolic Fault Injection},
156  booktitle = {Proc. International Verification Workshop},
157  series    = {CEUR Workshop Proceedings},
158  year = {2007}
159}
160
161@PhdThesis{PhDAl05,
162  author =       {G. Al Sammane},
163  title =        {Symbolic Simulation of Circuits Described at the Algorithmic Level},
164  school =       {Joseph Fourier University, Grenoble, France},
165  year =         {2005}
166}
167
168@book{KM02,
169    author = "M. Kaufmann and P. Manolios and J. Moore",
170    title = {Computer Aided Reasoning: an Approach},
171    publisher = {Kluwer Academic Pub.},
172    year = {2002}
173}
174
175@inproceedings{BK96,
176    author = {B. Brock and M. Kaufmann and J Moore},
177    title = {{ACL2} Theorems about Commercial Microprocessors},
178    booktitle = {Proc. FMCAD'96},
179    year = 1996
180}
181
182@inproceedings{SW99,
183    author = "J. Sawada and W. A. Hunt",
184    title = "Results of the Verification of a Complex Pipelined Machine Model",
185    booktitle = "Proc. CHARME'99",
186    year = "1999"
187}
188
189@Article{ML98,
190  author =       {J. Moore and T. Lynch and M. Kaufmann},
191  title =        {A Mechanically Checked Proof of the Correctness of the Kernel of the {AMD5K86} Floating-Point
192  Division Algorithm},
193  year =         "1998",
194  journal =      "IEEE Trans. on Computers",
195  volume =       "47",
196  number =       "9"
197}
198
199@book{KM00,
200    author = "M. Kaufmann and P. Manolios and J. Moore",
201    title = {Computer Aided Reasoning: {ACL2} Case Studies},
202    publisher = {Kluwer Academic Pub.},
203    year = {2000}
204}
205
206@INPROCEEDINGS{Vis96,
207  author = {The {VIS} group},
208  title = {{VIS} : A System for Verification and Synthesis},
209  booktitle = {Proc. International Conference on Computer Aided Verification},
210  year = {1996},
211  volume = {1102},
212  series = {Lecture Notes in Computer Science},
213  pages = {428--432},
214  publisher = {Springer-Verlag},
215  url = {citeseer.ist.psu.edu/brayton96vis.html}
216}
217
218@inproceedings{BiereCCZ99,
219  author    = {A. Biere and A. Cimatti and E. M. Clarke and Y. Zhu},
220  title     = {Symbolic Model Checking without {BDD}s},
221  booktitle = {Proc. International Conference on Tools and Algorithms for Construction and Analysis of Systems},
222  year      = {1999},
223  pages     = {193--207},
224  series    = {Lecture Notes in Computer Science},
225  volume    = {1579},
226  publisher = {Springer}
227}
228
229@inproceedings{Strichman00,
230  author    = {O. Shtrichman},
231  title     = {Tuning {SAT} Checkers for Bounded Model Checking},
232  booktitle = {Proc. International Conference on Computer Aided Verification},
233  year      = {2000},
234  pages     = {480--494},
235  publisher = {Springer},
236  series    = {Lecture Notes in Computer Science},
237  volume    = {1855},
238}
239
240@inproceedings{DBLP:conf/sat/Thurley06,
241  author    = {Marc Thurley},
242  title     = {sharpSAT - Counting Models with Advanced Component Caching
243               and Implicit BCP},
244  booktitle = {SAT},
245  year      = {2006},
246  pages     = {424-429},
247  ee        = {http://dx.doi.org/10.1007/11814948_38},
248  crossref  = {DBLP:conf/sat/2006},
249  bibsource = {DBLP, http://dblp.uni-trier.de}
250}
Note: See TracBrowser for help on using the repository browser.