Skip to main content Skip to main navigation

Publikationen

Seite 3 von 3.

  1. Shuo Yang; Robert Wille; Rolf Drechsler

    Improving Coverage of Simulation-based Verification by Dedicated Stimuli Generation

    In: Euromicro Conference on Digital System Design - Proceedings. Euromicro Conference on Digital System Design (DSD-14), August 27-29, Verona, Italy, …

  2. Jannis Ulrich Stoppe; Robert Wille; Rolf Drechsler

    Validating ESL Implementations Against Their Formal Specifications

    In: Symposium on Integrated Circuits and Systems Design - Proceedings. Symposium on Integrated Circuits and Systems Design (SBCCI-14), 27th, …

  3. Shuo Yang; Robert Wille; Rolf Drechsler

    Determining Cases of Scenarios to Improve Coverage in Simulation-based Verification

    In: Symposium on Integrated Circuits and Systems Design - Proceedings. Symposium on Integrated Circuits and Systems Design (SBCCI-14), 27th, September …

  4. Christoph Hilken; Julia Seiter; Robert Wille; Ulrich Kuehne; Rolf Drechsler

    Verifying Consistency between Activity Diagrams and Their Corresponding OCL Contracts

    In: Forum on Specification & Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, München, Germany, o.A. …

  5. Mathias Soeken; Christopher B. Harris; Nabila Abdessaied; Ian G. Harris; Rolf Drechsler

    Automating the Translation of Assertions Using Natural Language Processing Techniques

    In: Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, 2014.

  6. Mathias Soeken; Nabila Abdessaied; Arman Allahyari-Abhari; Andi Buzo; Liana Musat; Georg Pelz; Rolf Drechsler

    Quality Assessment for Requirements based on Natural Language Processing

    In: Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), Special Session at the Forum on …