[24] | 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 | } |
---|