by Fisher, Christine M, Brady, Bryan R, Maier, Rhiannon, Gabel, Jordan, Windholz, Danielle
Published in Family practice management (01.07.2019)

by Brady, Bryan A, Bryant, Randal E, Seshia, Sanjit A, O'Leary, John W
Published in Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) (01.07.2010)

by Bryant, Randal E., Kroening, Daniel, Ouaknine, Joël, Seshia, Sanjit A., Strichman, Ofer, Brady, Bryan
Published in International journal on software tools for technology transfer (01.04.2009)

by Holcomb, Daniel, Brady, Bryan, Seshia, Sanjit
Published in 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC) (05.06.2011)

by BRYANT, Randal E, KROENING, Daniel, OUAKNINE, Joël, SESHIA, Sanjit A, STRICHMAN, Ofer, BRADY, Bryan
Published in International journal on software tools for technology transfer (2009)

by Bryant, Randal E., Kroening, Daniel, Ouaknine, Joël, Seshia, Sanjit A., Strichman, Ofer, Brady, Bryan
Published in Tools and Algorithms for the Construction and Analysis of Systems (2007)

by Lydie Coulombel, Michael Jordan, Henry Loughrey, Aine Mooney, Tammy Gernon, Deborah Moore, Martin Smyth, Bryan Brady, Susan Reilly, Patricia Hedderman
Year of Publication 28.08.2024

by Walsh, Stephen, Harder, Mark, Brady, Bryan, Hoang, Khoi
Year of Publication 29.09.2020

by Hedderman, Patricia, Reilly, Susan, Coulombel, Lydie, Jordan, Michael, Moore, Deborah, Mooney, Aine, Loughrey, Henry, Smyth, Martin, Brady, Bryan, Gernon, Tammy
Year of Publication 02.02.2023

by Jha, Susmit, Brady, Bryan A., Seshia, Sanjit A.
Published in Formal Modeling and Analysis of Timed Systems (2007)

by HEDDERMAN, Patricia, LOUGHREY, Henry, COULOMBEL, Lydie, JORDAN, Michael, MOONEY, Aine, BRADY, Bryan, GERNON, Tammy, SMYTH, Martin, MOORE, Deborah, REILLY, Susan
Year of Publication 26.10.2022

by Farrell David, Doherty Michael Anthony, Brady Bryan
Year of Publication 25.01.2018

by Lydie Coulombel, Michael Jordan, Henry Loughrey, Aine Mooney, Tammy Gernon, Deborah Moore, Martin Smyth, Bryan Brady, Susan Reilly, Patricia Hedderman
Year of Publication 30.06.2021

by SMYTH, MARTIN, MOORE, DEBORAH, GERNON, TAMMY, HEDDERMAN, PATRICIA, BRADY, BRYAN, MOONEY, AINE, REILLY, SUSAN, JORDAN, MICHAEL, LOUGHREY, HENRY, COULOMBEL, LYDIE
Year of Publication 24.06.2021

by HEDDERMAN, Patricia, LOUGHREY, Henry, COULOMBEL, Lydie, JORDAN, Michael, MOONEY, Aine, BRADY, Bryan, GERNON, Tammy, SMYTH, Martin, MOORE, Deborah, REILLY, Susan
Year of Publication 24.06.2021

by Brady, Bryan A., Bryant, Randal E., Seshia, Sanjit A.
Published in 2011 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2011)

by LOUGHREY, HARRY, GENON THOMAS, SMITH MARK, BRADY BRYAN, RILEY SEAN, MOORE DAVID, HEDMAN PETER, MOONEY, ANDREW, JORDAN MARTIN, COULOMBEL LAURENT
Year of Publication 13.09.2022

by TAMMY GERNON, PATRICIA HEDDERMAN, BRYAN BRADY, MARTIN SMYTH, DEBORAH MOORE, LYDIE COULOMBEL, AINE MOONEY, HENRY LOUGHREY, SUSAN REILLY, MICHAEL JORDAN
Year of Publication 30.08.2022

by GERNON Tammy, REILLY Susan, JORDAN Michael, HEDDERMAN Patricia, LOUGHREY Henry, MOORE Deborah, COULOMBEL Lydie, BRADY Bryan, MOONEY Aine, SMYTH Martin
Year of Publication 10.08.2022

by BRADY BRYAN, DOHERTY MICHAEL ANTHONY, FARRELL DAVID
Year of Publication 12.12.2017