| 2018 | RV | From Parametric Trace Slicing to Rule Systems. | Giles Reger, David E. Rydeheard |
| 2015 | RV | From First-order Temporal Logic to Parametric Trace Slicing. | Giles Reger, David E. Rydeheard |
| 2015 | TACAS | MarQ: Monitoring at Runtime with QEA. | Giles Reger, Helena Cuenca Cruz, David E. Rydeheard |
| 2014 | AiML | Axiomatic and Tableau-Based Reasoning for Kt(H, R). | Renate A. Schmidt, John G. Stell, David E. Rydeheard |
| 2012 | FM | Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. | Howard Barringer, Ylis Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard |
| 2010 | CADE | Automated Reasoning in the Simulation of Evolvable Systems. | Djihed Afifi, David E. Rydeheard, Howard Barringer |
| 2010 | RV | ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems. | Djihed Afifi, David E. Rydeheard, Howard Barringer |
| 2009 | RV | Rule Systems for Runtime Verification: A Short Tutorial. | Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce |
| 2007 | RV | From Runtime Verification to Evolvable Systems. | Howard Barringer, Dov M. Gabbay, David E. Rydeheard |
| 2007 | RV | Rule Systems for Run-Time Monitoring: From Eagleto RuleR. | Howard Barringer, David E. Rydeheard, Klaus Havelund |
| 2007 | TASE | A Logical Framework for Monitoring and Evolving Software Components. | Howard Barringer, David E. Rydeheard, Dov M. Gabbay |
| 1991 | MFCS | Towards a Categorical Semantics Type Classes. | Barney P. Hilken, David E. Rydeheard |