Martin Ring

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