1. Variability management in safety‐critical systems design and dependability analysis. Issue 8 (12th August 2019) Authors: de Oliveira, André Luiz; Braga, Rosana; Masiero, Paulo; Parker, David; Papadopoulos, Yiannis; Habli, Ibrahim; Kelly, Tim Other Names: Capilla Rafael guestEditor.; Gallina Barbara guestEditor.; Cetina Englada Carlos guestEditor. Journal: Journal of software Issue: Volume 31:Issue 8(2019) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Integration of Formal Proof into Unified Assurance Cases - With Isabelle/SACM. (16th August 2021) Authors: Foster, Simon; Nemouchi, Yakoub; Gleirscher, Mario; Wei, Ran; Kelly, Tim Journal: ITNow Issue: Volume 63:Number 3(2021) Page Start: 66 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Some Like It Cold: Initial Testing Results for Cryogenic Computing Components. (February 2019) Authors: Kelly, Tim; Fernandez, Pedro; Vogelsang, Thomas; McKee, Sally A; Gopalakrishnan, Liji; Magee, Stephen; Padgett, Keith; Barrow, David; Rizza, Joseph; Doidge, Dennis; Wright, Kenneth L.; Hampel, Craig; Bronner, Gary Journal: Journal of physics Issue: Volume 1182(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Conservation education in Aotearoa-New Zealand: a values perspective. (30th June 2022) Authors: Birdsall, Sally; Kelly, Tim Journal: Australian journal of environmental education Issue: Volume 38:Number 2(2022) Page Start: 178 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. COVID-19 Vaccine Hesitancy in a Predominantly Minority Population and Trust in Primary Care Physicians as a Potential Solution. Issue 1 (28th January 2023) Authors: Kern, Lisa M.; Aucapina, Joselyne E.; Jacobson, Andrea; Shen, Megan J.; Ancker, Jessica S.; Ringel, Joanna B.; Kelly, Tim; Rodriguez, Navarra V. Journal: Journal of ambulatory care management Issue: Volume 46:Issue 1(2023) Page Start: 63 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Expanding Underrepresented in Medicine to Include Lesbian, Gay, Bisexual, Transgender, and Queer Individuals. (3rd May 2022) Authors: Kelly, Tim; Rodriguez, Sarah B. Journal: Academic medicine Issue: Volume 97:Number 11(2022) Page Start: 1605 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Enhancing Online Training in an Evidence-Based Treatment for Adolescent Panic Disorder: A Randomized Controlled Trial. Issue 4 (1st October 2016) Authors: Ehrenreich-May, Jill; Dimeff, Linda A.; Woodcock, Eric A.; Queen, Alexander H.; Kelly, Tim; Contreras, Ignacio S.; Rash, Brian; Kelley-Brimer, Angela; Hauschildt, Jenny; Danner, Sankirtana Mundlapudi; Kennedy, Sarah M.; Barlow, David H. Journal: Evidence-based practice in child and adolescent mental health Issue: Volume 1:Issue 4(2016) Page Start: 241 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Argument-based approach to computer system safety engineering. (1st January 2012) Authors: Yuan, Tangming; Kelly, Tim Journal: International journal of critical computer-based systems Issue: Volume 3:Number 3(2012) Page Start: 151 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Software safety: relating software assurance and software integrity. (8th November 2010) Authors: Habli, Ibrahim; Hawkins, Richard; Kelly, Tim Journal: International journal of critical computer-based systems Issue: Volume 1:Number 4(2010) Page Start: 364 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Model-based safety analysis of software product lines. (2016) Authors: Oliveira, André Luiz De; Braga, Rosana T.V.; Masiero, Paulo Cesar; Papadopoulos, Yiannis; Habli, Ibrahim; Kelly, Tim Journal: International journal of embedded systems Issue: Volume 8:Number 5/6(2016) Page Start: 412 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗