by Rodes, Benjamin D., Knight, John C.
Published in 2014 Tenth European Dependable Computing Conference (01.05.2014)

by Rodes, B.
Published in 2012 34th International Conference on Software Engineering (ICSE) (01.06.2012)

by Fifarek, Aaron W., Wagner, Lucas G., Hoffman, Jonathan A., Rodes, Benjamin D., Aiello, M. Anthony, Davis, Jennifer A.
Published in NASA Formal Methods (2017)

by Hocking, Ashlie B., Rodes, Benjamin D., Knight, John C., Davidson, Jack W., Coleman, Clark L.
Published in NASA Formal Methods

by Rodes, Benjamin D., Nguyen-Tuong, Anh, Hiser, Jason D., Knight, John C., Co, Michele, Davidson, Jack W.
Published in Runtime Verification

by Davidson, Jack W., Hiser, Jason D., Anh Nguyen-Tuong, Coleman, Clark L., Hawkins, William H., Knight, John C., Rodes, Benjamin D., Hocking, Ashlie B.
Published in 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W) (01.06.2016)

by Hiser, Jason D., Anh Nguyen-Tuong, Co, Michele, Rodes, Benjamin, Hall, Matthew, Coleman, Clark L., Knight, John C., Davidson, Jack W.
Published in 2014 Tenth European Dependable Computing Conference (01.05.2014)

by Qadeer, Shaz, Tasiran, Serdar
Year of Publication 2013

by BENJAMIN F. RODES
Year of Publication 04.09.1906