Eingebettete Intelligenz

Seite 1 von 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 Conference on Software Engineering and Formal Methods (SEFM-2019), September 16-20, Oslo, Norway, Pages 454-468, Lecture Notes in Computer Science (LNCS), Vol. 11724, ISBN 978-3-030-30446-1, Springer, Cham, 9/2019.

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 Reliability, Infocom Technologies and Optimization (ICRITO-2017), 6th, September 20-23, Noida, India, IEEE, 9/2017.

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 (UITP-2016), located at International Joint Conference on Automated Reasoning IJCAR 2016, July 2, Coimbra, Portugal, Pages 43-52, Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 239, Open Publishing Association, 1/2017.

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 Designs (DUHDe-16), March 18, Dresden, Germany, 3/2016.

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 - European Electronic Chips and Systems design Initiative, 2016.

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 Vienna Summer of Logic, July 14-17, Wien, Austria, Pages 467-482, Lecture Notes in Computer Science (LNCS), Vol. 8558, Springer Verlag, 7/2014.

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, located at ECOOP 2014, July 28-29, Uppsala, Sweden, Pages 63-66, ISBN 978-1-4503-2868-5, ACM, New York, 7/2014.

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), Pages 326-329, Lecture Notes in Artificial Intelligence (LNAI), Vol. 7961, Springer, 7/2013.

• 1
• 2