Robotics Innovation Center

Page 1 of 2.

1. Martin Ring; Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler

   Verification Runtime Analysis: Get the Most Out of Partial Verification

   In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2020), March 9-13, Grenoble, France, IEEE, 2020.

2. Martin Ring; Christoph Lüth

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

   In: Peter Csaba Ölveczky; Gwen Salaün (Hrsg.). Software Engineering and Formal Methods - 17th International Conference, Proceedings. International …

3. Martin Ring; Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler

   Better Late Than Never: Verification of Embedded Systems After Deployment

   In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2019), March 25-29, Florence, Italy, 2019.

4. Christoph Lüth; Martin Ring; Rolf Drechsler

   Towards a Methodology for Self-Verification

   In: Sunil Khatri (Hrsg.). 6th International Conference on Reliability, Infocom Technologies and Optimization (ICRITO 2017). IEEE Conference on  …

5. Martin Ring; Christoph Lüth

   Interactive Proof Presentations with Cobra

   In: Serge Autexier; Pedro Queresma (Hrsg.). Workshop on User Interfaces for Theorem Provers (UITP2016). User Interfaces for Theorem Provers …

6. Martin Ring; Christoph Lüth; Rolf Drechsler; Jannis Ulrich Stoppe

   Change Management for Hardware Designers

   In: 3rd Workshop on Design Automation for Understanding Hardware Designs (DUHDe 2016). Workshop on Design Automation for Understanding Hardware …

7. Martin Ring; Jannis Ulrich Stoppe; Christoph Lüth; Rolf Drechsler

   Change Impact Analysis for Hardware Designs

   In: Forum on Specification & Design Languages FDL 2016. Forum on Specification & Design Languages (FDL-2016), September 14-16, Bremen, Germany, ECSI - …

8. Martin Ring; Christoph Lüth

   Collaborative Interactive Theorem Proving with Clide

   In: G. Klein; R. Gamboa (Hrsg.). Interactive Theorem Proving ITP 2014. International Conference on Interactive Theorem Proving (ITP-2014), located at …

9. Martin Ring; Christoph Lüth

   Real-time collaborative Scala development with Clide

   In: Heather Miller; Philipp Haller (Hrsg.). Proceedings of the Fifth Annual Scala Workshop. Scala Workshop (Scala-14), 5th Annual Scala Workshop, …

10. Christoph Lüth; Martin Ring

    A Web Interface for Isabelle: The Next Generation

    In: Jacques Carette (Hrsg.). Conferences on Intelligent Computer Mathematics CICM 2013. Conferences on Intelligent Computer Mathematics (CICM-13), …

• 1
• 2