Skip to main content Skip to main navigation

Publications

Displaying results 101 to 110 of 609.
  1. Marc Michael; Daniel Große; Rolf Drechsler

    Localizing Features of ESL Models for Design Understanding

    In: Proceedings of the Forum on Specification & Design Languages 2012. Forum on Specification & Design Languages (FDL-2012), September 18-20, Vienna, Austria, IEEE, 2012.

  2. Finn Haedicke; Hoang M. Le; Daniel Große; Rolf Drechsler

    CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC

    In: Proceedings of the International Symposium on System-on-Chip 2012. International Symposium on System-on-Chip (SoC-2012), October 11-12, Tampere, Finland, IEEE, 2012.

  3. Rolf Drechsler; Melanie Diepenbeck; Daniel Große; Ulrich Kühne; Hoang M. Le; Julia Seiter; Mathias Soeken; Robert Wille

    Completeness-Driven Development

    In: G. Rozenberg; H.-J. Kreowski; G. Engels; H. Ehrig (Hrsg.). Proceedings of the 6th International Conference on Graph Transformation 2012 "Modeling and Analysis of Dynamic Structures". International Conference on Graph Transformation (ICGT-2012), 6th, - Modeling and Analysis of Dynamic Structures -, September 24-29, Bremen, Germany, Lecture Notes in Computer Science (LNCS), Vol. 7562, Springer, 2012.

  4. Stefan Frehse; Görschwin Fey; Eli Arbel; Karen Yorav; Rolf Drechsler

    Complete and Effective Robustness Checking by Means of Interpolation

    In: Formal Methods in Computer-Aided Design 2012. Formal Methods in Computer-Aided Design (FMCAD-2012), October 22-25, Cambridge, England, United Kingdom, 2012.

  5. Feiyu Xu; Sven Schmeier; Renlong Ai; Hans Uszkoreit

    Yochina: Mobile Multimedia and Multimodal Crosslingual Dialog System

    In: Joseph Mariani (Hrsg.). Proceedings of International Workshop On Spoken Dialogue Systems Technology 2012. International Workshop on Spoken Dialogue Systems Technology (IWSDS-2012), November 28-30, Paris, France, Springer, 2012.

  6. Marcio F. S. Oliveira; Christoph Kuznik; Wolfgang Mueller; Finn Haedicke; Hoang M. Le; Daniel Große; Rolf Drechsler; Wolfgang Ecker; Volkan Esen

    The System Verification Methodology for Advanced TLM Verification

    In: International Conference on Hardware/Software Codesign and System Synthesis. International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS-2012), October 7-12, Tampere, Finland, ACM, 2012.

  7. Hoang M. Le; Daniel Große; Rolf Drechsler

    From Requirements and Scenarios to ESL Design in System C

    In: International Symposium on Electronic System Design . International Symposium on Electronic System Design (ISED-2012), December 19-22, Kolkata, India, 2012.

  8. Rolf Drechsler; Robert Wille

    Synthesis of Reversible Circuits Using Decision Diagramm

    In: International Symposium on Electronic System Design . International Symposium on Electronic System Design (ISED-2012), December 19-22, Kolkata, India, 2012.

  9. Mathias Soeken; Stefan Frehse; Robert Wille; Rolf Drechsler

    RevKit: An Open Source Toolkit for the Design of Reversible Circuits

    In: Alexis De Vos; Robert Wille (Hrsg.). Reversible Computation - Third International Workshop, RC 2011. International Workshop on Reversible Computation (RC-2011), 3rd, July 4-5, Gent, Belgium, Pages 64-76, Lecture Notes in Computer Science (LNCS), Vol. 7165, Springer, 2012.

  10. Alexander Volokh; Günter Neumann

    Extending dependency treebanks with good sentences

    In: Jeremy Jancsary (Hrsg.). KONVENS-2012. Konferenz zur Verarbeitung natürlicher Sprache (KONVENS-12), 11th, September 19 - August 21, Vienna, Austria, Eigenverlag ÖGAI, 2012.