Follow
Martin Ring
Martin Ring
Verified email at dfki.de
Title
Cited by
Cited by
Year
A web interface for Isabelle: The next generation
C Lüth, M Ring
International Conference on Intelligent Computer Mathematics, 326-329, 2013
232013
Collaborative interactive theorem proving with clide
M Ring, C Lüth
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014
122014
Better late than never: Verification of embedded systems after deployment
M Ring, F Bornebusch, C Lüth, R Wille, R Drechsler
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 890-895, 2019
82019
Towards a Methodology for Self-Verification
C Lüth, M Ring, R Drechsler
IEEE Conference on Reliability, Infocom Technologies and Optimization, 2017
82017
Change impact analysis for hardware designs from natural language to system level
M Ring, J Stoppe, C Luth, R Drechsler
2016 Forum on Specification and Design Languages (FDL), 1-7, 2016
82016
Verification runtime analysis: get the most out of partial verification
M Ring, F Bornebusch, C Lüth, R Wille, R Drechsler
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 873-878, 2020
32020
Real-time collaborative Scala development with Clide
M Ring, C Lüth
Proceedings of the Fifth Annual Scala Workshop, 63-66, 2014
22014
UMLAUT: Synthesis of Natural Language from Constrained UML Models
M Ring, J Stoppe, R Drechsler
Workshop on Design Automation for Understanding Hardware Designs, 2018
12018
Change management for hardware designers
M Ring, J Stoppe, C Luth, R Drechsler
Workshop on Design Automation for Understanding Hardware Designs (DUHDe). IEEE, 2016
12016
Self-Verification-Verification of Embedded Systems after Deployment
M Ring
Universität Bremen, 2021
2021
Let’s Prove It Later—Verification at Different Points in Time
M Ring, C Lüth
Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019
2019
Interactive Proof Presentations with Cobra
M Ring, C Lüth
arXiv preprint arXiv:1701.07127, 2017
2017
Reaktive Programmierung Vorlesung 10 vom 21.06. 2022 Software Transactional Memory
C Lüth, M Ring
Reaktive Programmierung Vorlesung 13 vom 14.06. 17: Software Transactional Memory
C Lüth, M Ring
Reaktive Programmierung Vorlesung 13 vom 19.06. 19 Software Transactional Memory
C Lüth, M Ring
Better Late Than Never
M Ring, F Bornebusch, C Lüth, R Wille, R Drechsler
KEYNOTE ADDRESSES (KA)/INVITED TALKS (IT) KEYNOTE ADDRESSES
R Pendse, S Yamada, C Luth, M Ring, R Drechsler, I Perfilieva, S Zaidi, ...
Change Management using CHIMPANC
M Ring, J Stoppe, R Drechsler
The system can't perform the operation now. Try again later.
Articles 1–18