UPB Bildmarke
Computer Engineering
Contact
  • Deutsch
  • English
  • 6th Workshop on Self-Awareness in Cyber-Physical Systems (WORKSHOP WAS CANCELLED!)
    • Open Page "Teaching"
      • Open Page "Courses"
        • Open Page "SS 2025"
        • Eingebettete Systeme
        • Open Page "WS 2024/25"
        • Projektmanagement
        • Reconfigurable Computing
        • Systementwurf-Teamprojekt
        • Open Page "SS 2024"
        • Digitaltechnik
        • Eingebettete Systeme
    • Theses
      • Open Page "Project Groups"
      • WiFiSense
      • AutonomROS: Autonomous Car Swarm with Hardware-accelerated ROS Programming
      • CIRCA: An Approximate Computing Tool Flow
      • PG EML2
      • PG EML
      • High Performance Embedded Prosthetics Controller
      • PG ReCoTroy
      • Soundgates – Interactive Music Synthesis on FPGAs
      • Open Page "Sys­te­m­ent­wurfs-Team­pro­jekte"
      • FPGA-basiertes System zur Erkennung von Gebärdensprache
      • Approximate Computing: The design of intentionally incorrect digital hardware
      • Automatisierte Anwendungsanalyse für heterogene Rechnerknoten
    • Prak­ti­kum Mi­kro­con­trol­ler und In­ter­face-Elek­tro­nik
    • Teaching Statement
    • Open Page "Research"
    • Research Mission
    • Publications
    • Open Source Projekte
  1. Faculty of Computer Science, Electrical Engineering and Mathematics
  2. Institute of Computer Science
  3. Computer Engineering Group
  4. News

News

Back to the news list

Pa­per ac­cep­ted for pub­lic­a­tion in TODAES

20.02.2017

Share post on:

  • Share on Instagram
  • Teilen auf Twitter
  • Teilen auf Facebook
  • Teilen auf Xing
  • Teilen auf LinkedIn
  • Teilen über E-Mail
  • Link kopieren

Tobias Isenberg, Marco Platzner, Heike Wehrheim and Tobias Wiersema got their journal paper „Proof-Carrying Hardware via Inductive Invariants“ accepted for presentation in ACM Transactions on Design Automation of Electronic Systems. 

Computer Engineering

Warburger Str. 100
33098 Paderborn
Germany

Universität Paderborn

Warburger Str. 100
33098 Paderborn
Germany

Phone University

+49 5251 60-0
Legal notice
  • Imprint
  • Data privacy
  • Whistleblower system
Social networks