(2012): Volumes 7200–7249 - Index of files in - University of Utah
(2012): Volumes 7200–7249 - Index of files in - University of Utah
(2012): Volumes 7200–7249 - Index of files in - University of Utah
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
REFERENCES 74<br />
Albarghouthi:<strong>2012</strong>:UAA<br />
[294] Aws Albarghouthi, Arie Gurf<strong>in</strong>kel, and Marsha Chechik. From underapproximations<br />
to over-approximations and back. Lecture Notes <strong>in</strong> Computer<br />
Science, 7214:157–172, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-<br />
9743 (pr<strong>in</strong>t), 1611-3349 (electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/<br />
chapter/10.1007/978-3-642-28756-5_12/.<br />
Fehnker:<strong>2012</strong>:AAA<br />
[295] Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, Annabelle McIver, and<br />
Marius Portmann. Automated analysis <strong>of</strong> AODV us<strong>in</strong>g UPPAAL. Lecture<br />
Notes <strong>in</strong> Computer Science, 7214:173–187, <strong>2012</strong>. CODEN LNCSD9. ISSN<br />
0302-9743 (pr<strong>in</strong>t), 1611-3349 (electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.<br />
com/chapter/10.1007/978-3-642-28756-5_13/.<br />
Jiang:<strong>2012</strong>:MVD<br />
[296] Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, and Rahul<br />
Mangharam. Model<strong>in</strong>g and verification <strong>of</strong> a dual chamber implantable<br />
pacemaker. Lecture Notes <strong>in</strong> Computer Science, 7214:188–<br />
203, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349 (electronic).<br />
URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-3-<br />
642-28756-5_14/.<br />
Abdulla:<strong>2012</strong>:CEG<br />
[297] Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl<br />
Leonardsson, and Ahmed Rez<strong>in</strong>e. Counter-example guided fence <strong>in</strong>sertion<br />
under TSO. Lecture Notes <strong>in</strong> Computer Science, 7214:204–219,<br />
<strong>2012</strong>. CODEN LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349 (electronic).<br />
URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-3-<br />
642-28756-5_15/.<br />
J<strong>in</strong>:<strong>2012</strong>:JMM<br />
[298] Huafeng J<strong>in</strong>, Tuba Yavuz-Kahveci, and Beverly A. Sanders. Java memory<br />
model-aware model check<strong>in</strong>g. Lecture Notes <strong>in</strong> Computer Science, 7214:<br />
220–236, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349<br />
(electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-<br />
3-642-28756-5_16/.<br />
Popeea:<strong>2012</strong>:CTP<br />
[299] Corneliu Popeea and Andrey Rybalchenko. Compositional term<strong>in</strong>ation<br />
pro<strong>of</strong>s for multi-threaded programs. Lecture Notes <strong>in</strong> Computer Science,<br />
7214:237–251, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-<br />
3349 (electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/<br />
978-3-642-28756-5_17/.