A web interface for Isabelle: The next generation C Lüth, M Ring International Conference on Intelligent Computer Mathematics, 326-329, 2013 | 22 | 2013 |
Collaborative interactive theorem proving with clide M Ring, C Lüth Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014 | 14 | 2014 |
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 | 8 | 2019 |
Towards a Methodology for Self-Verification C Lüth, M Ring, R Drechsler IEEE Conference on Reliability, Infocom Technologies and Optimization, 2017 | 8 | 2017 |
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 | 8 | 2016 |
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 | 3 | 2020 |
Real-time collaborative Scala development with Clide M Ring, C Lüth Proceedings of the Fifth Annual Scala Workshop, 63-66, 2014 | 2 | 2014 |
UMLAUT: Synthesis of Natural Language from Constrained UML Models M Ring, J Stoppe, R Drechsler Workshop on Design Automation for Understanding Hardware Designs, 2018 | 1 | 2018 |
Change management for hardware designers M Ring, J Stoppe, C Luth, R Drechsler Workshop on Design Automation for Understanding Hardware Designs (DUHDe). IEEE, 2016 | 1 | 2016 |
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 | | |