Skip to main content

Projects

  • A
  • B
  • C
  • D
  • E
  • F
  • G
  • H
  • I
  • J
  • K
  • L
  • M
  • N
  • O
  • P
  • Q
  • R
  • S
  • T
  • U
  • V
  • W
  • X
  • Y
  • Z

E

F

  • FDR
  • FUN2MODEL From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning

R

Completed Projects

A

C

  • CESAR Cost-efficient methods and processes for safety relevant embedded systems
  • CONNECT-IP CONNECT-IP: Emergent Connectors for Eternal Software Intensive Networked Systems
  • CPROVER Validation of Concurrent Software Across Abstraction Layers
  • CSP Model Checking CSP Model Checking: New Technology and Techniques

E

G

M

N

P

Q

T

U

  • Ubiquitous Computing Shaping an International Grand Challenge Community for Ubiquitous Computing
  • UbiVal UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures

V