Martin Ring

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 8

Top Topics

Hardware Designs

Intrusion Detection System

Change Impact Analysis

Top Venues

MKM/Calculemus/DML

Publications

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, Martin Ring, Tomasz Szepieniec, Anna Barnacka, Sanjeev P. Bhavnani
In-ear infrasonic hemodynography with a digital health device for cardiovascular monitoring using the human audiome. npj Digit. Medicine 5 (2022)
Oleg Schell, Jan Peter Reinhard, Marcel Kneib, Martin Ring
Assessment of Current Intrusion Detection System Concepts for Intra-Vehicle Communication. GI-Jahrestagung (2020)
Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Verification Runtime Analysis: Get the Most Out of Partial Verification. DATE (2020)
Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Better Late Than Never : Verification of Embedded Systems After Deployment. DATE (2019)
Martin Ring, Christoph Lüth
Let's Prove It Later - Verification at Different Points in Time. SEFM (2019)
Martin Ring, Christoph Lüth
Interactive Proof Presentations with Cobra. UITP (2016)
Martin Ring, Jannis Stoppe, Christoph Lüth, Rolf Drechsler
Change impact analysis for hardware designs from natural language to system level. FDL (2016)
Martin Ring, Jürgen Dürrwang, Florian Sommer, Reiner Kriesten
Survey on vehicular attacks - building a vulnerability database. ICVES (2015)
Martin Ring, Christoph Lüth
Collaborative Interactive Theorem Proving with Clide. ITP (2014)
Martin Ring, Christoph Lüth
Real-time collaborative Scala development with Clide. SCALA@ECOOP (2014)
Christoph Lüth, Martin Ring
A Web Interface for Isabelle: The Next Generation. MKM/Calculemus/DML (2013)