A Web Interface for Isabelle: The Next Generation. - Christoph Lüth; Martin Ring (MKM/Calculemus/DML, 2013)

Real-time collaborative Scala development with Clide. - Martin Ring; Christoph Lüth (SCALA@ECOOP, 2014)

Collaborative Interactive Theorem Proving with Clide. - Martin Ring; Christoph Lüth (ITP, 2014)

Survey on vehicular attacks - building a vulnerability database. - Martin Ring; Jürgen Dürrwang; Florian Sommer; Reiner Kriesten (ICVES, 2015)

Change impact analysis for hardware designs from natural language to system level. - Martin Ring; Jannis Stoppe; Christoph Lüth; Rolf Drechsler (FDL, 2016)

Interactive Proof Presentations with Cobra. - Martin Ring; Christoph Lüth (UITP, 2016)

Better Late Than Never : Verification of Embedded Systems After Deployment. - Martin Ring; Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (DATE, 2019)

Let's Prove It Later - Verification at Different Points in Time. - Martin Ring; Christoph Lüth (SEFM, 2019)

Verification Runtime Analysis: Get the Most Out of Partial Verification. - Martin Ring; Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (DATE, 2020)

Assessment of Current Intrusion Detection System Concepts for Intra-Vehicle Communication. - Oleg Schell; Jan Peter Reinhard; Marcel Kneib; Martin Ring (GI-Jahrestagung, 2020)

Self-Verification - Verification of Embedded Systems after Deployment. - Martin Ring (2021)

In-ear infrasonic hemodynography with a digital health device for cardiovascular monitoring using the human audiome. - Francis Roosevelt Gilliam; Robert Ciesielski; Karlen Shahinyan; Pratistha Shakya; John Cunsolo; Jal M. Panchal; Bartlomiej Król-Józaga; Monika Król; Olivia Kierul; Charles Bridges; Christine Shen; Carly E. Waldman; et al. (npj Digit. Medicine, 2022)