Martin Ring

According to our database, Martin Ring authored at least 11 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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, Martin Ring, Tomasz Szepieniec, Anna Barnacka, Sanjeev P. Bhavnani

npj Digit. Medicine, 2022

2020

Assessment of Current Intrusion Detection System Concepts for Intra-Vehicle Communication.

Oleg Schell, Jan Peter Reinhard, Marcel Kneib, Martin Ring

Proceedings of the 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September, 2020

Verification Runtime Analysis: Get the Most Out of Partial Verification.

Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

Let's Prove It Later - Verification at Different Points in Time.

Martin Ring, Christoph Lüth

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Better Late Than Never : Verification of Embedded Systems After Deployment.

Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2016

Interactive Proof Presentations with Cobra.

Martin Ring, Christoph Lüth

Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, 2016

Change impact analysis for hardware designs from natural language to system level.

Martin Ring, Jannis Stoppe, Christoph Lüth, Rolf Drechsler

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

2015

Survey on vehicular attacks - building a vulnerability database.

Martin Ring, Jürgen Dürrwang, Florian Sommer, Reiner Kriesten

Proceedings of the IEEE International Conference on Vehicular Electronics and Safety, 2015

2014

Collaborative Interactive Theorem Proving with Clide.

Martin Ring, Christoph Lüth

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

Real-time collaborative Scala development with Clide.

Martin Ring, Christoph Lüth

Proceedings of the Fifth Annual Scala Workshop, 2014

2013

A Web Interface for Isabelle: The Next Generation.

Christoph Lüth, Martin Ring

Proceedings of the Intelligent Computer Mathematics, 2013