Skip to main content Skip to main navigation

Publikationen

 

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

Zeige Ergebnisse 61 bis 70 von 498
  1. Till Mossakowski; Markus Roggenbach; Lutz Schröder

    Specification, Transformation, Navigation. Special Issue dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday

    In: Till Mossakowski; Markus Roggenbach; Lutz Schröder (Hrsg.). Electronic Communications of the EASST, Vol. 62, Pages 1-999, EASST, online, hosted by …

  2. Lassaad Cheikhrouhou; Werner Stephan; Markus Ullmann

    A New Approach to the Inductive Verification of Cryptographic Protocols Based on Message Algebras

    MACIS 2013, Nanning, China, December 11-13, Vol. Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and …

  3. Christoph Igel; Martin Haag

    Innovative e-Learning Technologies in Medicine and Healthcare.

    In: M. Fischer; N Graf (Hrsg.). GMS Medical Informatics, Biometry and Epidemiology (MIBE), 2013.

  4. Lucas Davi; Alexandra Dmitrienko; Stefan Nürnberger; Ahmad-Reza Sadeghi

    Gadge Me if You Can: Secure and Efficient Ad-Hoc Instruction-Level Randomization for x86 and ARM

    In: Proceedings of the 8th ACM SIGSAC Symposium on Information, Computer and Communications Security. ACM Symposium on Information, Computer and …

  5. Sören Bleikertz; Sven Bugiel; Hugo Ideler; Stefan Nürnberger; Ahmad-Reza Sadeghi

    Client-controlled Cryptography-as-a-Service in the Cloud

    In: Proceedings of the 11th International Conference on Applied Cryptography and Network Security 2013. International Conference on Applied …

  6. Hoang m. Le; Daniel Große; Vladimir Herdt; Rolf Drechsler

    SystemC Verifikation mittels symbolischer Simulation einer Zwischensprache

    In: Electronic Design Automation Workshop. Electronic Design Automation Workshop (edaWorkshop-13), May 14-16, Dresden, Germany, VDE, 2013.

  7. Melanie Diepenbeck; Mathias Soeken; Daniel Große; Rolf Drechsler

    Towards Automatic Scenario Generation from Coverage Information

    In: 8th International Workshop on Automation of Software Test . International Workshop on Automation of Software Test (AST-13), 8th, May 18-19, San …

  8. Peyman Ardalani; Constantin Houy; Peter Fettke; Peter Loos

    Towards a Minimal Cost of Change Approach for Inductive Reference Model Development

    In: Proceedings of the 21st European Conference on Information Systems. European Conference on Information Systems (ECIS-13), 21st, June 5-8, Utrecht, …

  9. Gabriele Bleser; Attila Reiss; Daniel Steffen; Markus Weber; Didier Stricker

    Ergebnisse des AAL Projektes PAMAP - Physical Activity Monitoring for Aging People

    Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI Research Reports (RR), Vol. 13-01, 2/2013.