Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 2012
Alle Filter entfernen
Zeige Ergebnisse 141 bis 150 von 609

  1. Alexandra Theobalt; Andreas Emrich; Marc Gräßle; Dirk Werth; Peter Loos

    Business models for mobile applications

    In: Bebo White; Pedro Isaías (Hrsg.). Proceedings of the IADIS International Conference WWW/Internet 2012. IADIS International Conference WWW/Internet …

  2. Rolf Drechsler; Mathias Soeken; Robert Wille

    Formal Specification Level: Towards Verification-driven Design Based on Natural Language Processing

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

  3. 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, …

  4. 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, …

  5. 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 …

  6. 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 …

  7. 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 …

  8. 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 …

  9. 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, …

  10. 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, …

Jahr