Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 11 to 20 of 574.
  1. 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.

  2. Christian Vogelgesang; Torsten Spieldenner; René Schubotz

    SPARQλ: SPARQL as a Function

    In: Lecture Notes in Networks and Systems. Future of Information and Communication Conference (FICC-2019), March 14-15, San Francisco, Kalifornien, …

  3. Philipp Blandfort; Desmond U. Patton; William R. Frey; Svebor Karaman; Surabhi Bhargava; Fei-Tzin Lee; Siddharth Varia; Chris Kedzie; Michael B. Gaskell; Rossano Schifanella; Kathleen McKeown; Shih-Fu Chang

    Multimodal Social Media Analysis for Gang Violence Prevention

    In: The 13th International AAAI Conference on Web and Social Media. International AAAI Conference on Web and Social Media (ICWSM-2019), 13th, June …

  4. Christian Jilek; Yannick Runge; Claudia Niederée; Heiko Maus; Tobias Tempel; Andreas Dengel; Christian Frings

    Managed Forgetting to Support Information Management and Knowledge Work

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …

  5. Sven Plaga; Norbert Wiedermann; Simon Duque Antón; Stefan Tatschner; Hans Dieter Schotten; Thomas Newe

    Securing future decentralised industrial IoT infrastructures: Challenges and free open source solutions

    In: Future Generation Computer Systems (FGCS), Vol. 93, Pages 596-608, Elsevier, 4/2019.

  6. Advanced Memory Buoyancy for Forgetful Information Systems

    In: AIS Transactions on Enterprise Systems, Vol. 4, No. 1, Pages 1-15, Gito mbH, 5/2019.

  7. Bingbin Yu; José de Gea Fernández; Tao Tan

    Probabilistic kinematic model of a robotic catheter for 3D position control

    In: Soft Robotics, Vol. 6, No. 2, Pages 184-194, Marie Ann Liebert Inc. publishers, USA, 4/2019.

  8. Simon Duque Antón; Michael Gundall; Daniel Fraunholz; Hans Dieter Schotten

    Implementing SCADA Scenarios and Introducing Attacks to Obtain Training Data for Intrusion Detection Methods

    In: Proceedings of the 14th International Conference on Cyber Warfare and Security. International Conference on Cyber Warfare and Security …

  9. Alwin Zulehner; Philipp Niemann; Rolf Drechsler; Robert Wille

    Accuracy and Compactness in Decision Diagrams for Quantum Computation

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2019), March 25-29, Florence, Italy, 2019.

  10. Saman Fröhlich; Daniel Große; Rolf Drechsler

    One Method - All Error-Metrics: A Three-Stage Approach for Error-Metric Evaluation in Approximate Computing

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2019), March 25-29, Florence, Italy, 2019.