Ongoing projects

  • ADDIS: Adaptive Distributed Software
  • BCC: Measuring Cost and Impact of Cybercrime in Belgium
  • DeCoMAdS: Deployment and Configuration Middleware for Adaptive Software-as-a-Service
  • DiskMan: Dynamic Risk-based Access Management
  • DiSSeCt: Distributed Semantic knowledge infrastructure for complex Service Composition
  • DYPOSIT: Dynamic Policies for Shared Cyber-Physical Infrastructures under Attack
  • EXCELL: Actions for Excellence in Smart Cyber-Physical Systems applications through exploitation of Big Data in the context of Production Control and Logistics
  • HWSW: Light weight Trust Evidence
  • IDEaliSM: Integrated & Distributed Engineering Services framework for MDO
  • MuDCads: Multi-tenant, Distributed Customization and Data Management for SaaS
  • NebuCom: Software in the cloud
  • PRO-FLOW: Predictive delivery Orchestration for ultra-low-latency Web applications
  • RINAiSense: The Recursive Internet Architecture as a solution for optimal resource consumption, security and scalability of sensor networks: RINAiSense
  • SafeDroneWare: SafeDroneWare
  • SeClosed: Secure Cloud-based storage and processing of sensitive documents
  • SecurityArchitecturesIoT: A security architecture for the Internet of Things
  • SeRGIo: Mobile Sensing seRvices for developing Geospatial IoT Applications
  • TearLess: Secure Coordination of Rich Internet Application Tiers
  • TENSE+: Security and Privacy for Cyber-Physical Systems and the Internet of Things
  • TRANSITION: From ad-hoc code development to code reuse through middleware for networked embedded control systems
  • VeriFast: VeriFast: Imperative Programs as Proofs
  • Verifast II: Annotation inference for VeriFast
  • VESSEDIA: Verification Engineering of Safety and Security critical dynamic industrial applications
[Finished projects...]