| 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 | | |
Christoph LüthDeutsches Forschungszentrum für Künstliche Intelligenz, Universität BremenVerified email at dfki.de
