Martin Ring
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2014–2020
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | DATE | Verification Runtime Analysis: Get the Most Out of Partial Verification. | Martin Ring, Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2020 | GI | Assessment of Current Intrusion Detection System Concepts for Intra-Vehicle Communication. | Oleg Schell, Jan Peter Reinhard, Marcel Kneib, Martin Ring |
| 2019 | DATE | Better Late Than Never : Verification of Embedded Systems After Deployment. | Martin Ring, Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2019 | SEFM | Let's Prove It Later - Verification at Different Points in Time. | Martin Ring, Christoph Lth |
| 2016 | FDL | Change impact analysis for hardware designs from natural language to system level. | Martin Ring, Jannis Stoppe, Christoph Lth, Rolf Drechsler |
| 2014 | ECOOP | Real-time collaborative Scala development with Clide. | Martin Ring, Christoph Lth |
| 2014 | ITP | Collaborative Interactive Theorem Proving with Clide. | Martin Ring, Christoph Lth |