Finished projects

  • (DMS)2: Decentralized Data Management and Migration for SaaS
  • ADDIS: Adaptive Distributed Software
  • AdMid: Adaptive Middleware for logistics
  • ADVENT: Architecture-driven verification of systems software
  • AIRCO: Alive Interfaces for Robust software Composition
  • AQUAVISION: Aquavision
  • B-CCENTRE: Belgian Cybercrime Centre for Research, training and Education
  • BCC: Measuring Cost and Impact of Cybercrime in Belgium
  • BCRYPT: Belgian Fundamental Research on Cryptology and Information Security
  • BeamSat: Broadband Access over multi-spot-beam Ka-band Satellites
  • BioCo3: Biologically-inspired computing for coordination and control in large-scale and dynamic systems
  • BoSS: Blockchain for online Service Security
  • BUTLER: uBiquitous, SecUre inTernet-of-things with Location and contExt-awaRness
  • CAPRADS: A Context-Aware Platform for Rapid Decision Support
  • CLAWS: Een Cross-Layer Raamwerk voor Heterogene Draadloze Sensor Netwerken
  • COGNAC: Coordination and Ownership in Graphs of Networked Actors
  • CoLaSUE: Context-Aware Local Service Fabrics in Large Scale Ubicomp Environments
  • COMACOD: Control and management of constrained devices
  • CONDOR: High-tech Embedded Systems Challenges
  • ContentCloudA: Content Cloud A
  • CUSTOMSS: CUSTOMization of Software Services in the cloud
  • D-BASE: Decentralized support for Business processes in Application Services
  • D3-CPS: Distributed Software Technologies for Developing & Managing Dependable Cyber-Physical Systems
  • DeCoMAdS: Deployment and Configuration Middleware for Adaptive Software-as-a-Service
  • DesignerTypeLab: Hybrid Enforcement and Certification of Domain Specific Program Annotations
  • DiCoMas: Distributed Collaboration using Multi-Agent System Architectures
  • Digital Forensics: Tackling Cybercrime with digital forensics on embedded computer systems and social computing applications
  • DISCRETE: Supporting incontinence management in nursing homes through ambient monitoring and actionable data
  • DiskMan: Dynamic Risk-based Access Management
  • DiSSeCt: Distributed Semantic knowledge infrastructure for complex Service Composition
  • DiY Smart Experiences: Supporting users in creating aware, interactive & fluid experiences in an Internet-of-Things world.
  • DREAMaaS: Data and Resource Aware workload Management as a Service
  • DYPOSIT: Dynamic Policies for Shared Cyber-Physical Infrastructures under Attack
  • e'cloud: Cloud enabled monitoring & diagnostics middleware for industrial automation workflows
  • EMD: Elastic Media Distribution
  • EternalS: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge
  • EVOLVE: Evolutionary Validation, Verification and Certification
  • EXCELL: Actions for Excellence in Smart Cyber-Physical Systems applications through exploitation of Big Data in the context of Production Control and Logistics
  • FUSE: Flexible federated Unified Service Environment
  • Gradual Verification: Graduele verificatie van event-gedreven programma's
  • GreenWeCan: Green Wireless Efficient City Access Networks
  • HATS: Highly Adaptable and Thrustworthy Software using Formal Models
  • HWSW: Light weight Trust Evidence
  • IDEaliSM: Integrated & Distributed Engineering Services framework for MDO
  • iMinds-IoT: Internet of Things
  • iSPEC: Intelligente SuPer-Elastische Clouds
  • Lecture+: effective LEarning in remote Classrooms through Technology-enhanced UseR Engagement
  • MAPC: A next generation multi-party solution for Medical APplications in the Cloud
  • MASE: A Model-based Approach for Evaluating the Safety end Environmental Effects of Traffic Policy Measures
  • MECOVI: Medical collaborative visualization
  • Media ID: A next generation federated identity management solution for a regional ecosystem of media providers
  • MediaTrust: Enhancing trust in identity management with data quality and contextualized frictionless authentication
  • MERgE: Multi-Concerns Interactions System Engineering
  • MobCom: A Mobile Companion
  • MODULAR: Modulaire behandeling van effecten in puur functionele programma's en modellen
  • MonIEflex: optimizing Monetization of Industrial Energy Flexibility in the process industry
  • MoVES: Modelling, Verification and Evolution of Software
  • MuDCads: Multi-tenant, Distributed Customization and Data Management for SaaS
  • NebuCom: Software in the cloud
  • NESSoS: Network of excellence on Engineering Secure Future Internet Software Services and Systems
  • O'CareClouds: Organizing Care through trusted Cloudy-like Services
  • OPEES: Open Platform for the Engineering of Embedded Systems
  • OptiMMA: Optimized MP-SoC Middleware for Event-driven Applications
  • PLOPSA: Product Line Oriented Payment Software Architecture
  • PRO-FLOW: Predictive delivery Orchestration for ultra-low-latency Web applications
  • PUMA: Permission, User Management and Availability for multi-tenant SaaS applications
  • RADIANCE: Real-time and Context-aware Anomaly Detection for Connected Devices
  • RECOCO: Reflective Reconfiguration Support for Context-dependent Software Updates
  • RINAiSense: The Recursive Internet Architecture as a solution for optimal resource consumption, security and scalability of sensor networks: RINAiSense
  • SAFE-IS: Software Abstractions for Event-Intensive Systems
  • SafeDroneWare: SafeDroneWare
  • SEC SODA: Security of Software for Distributed Applications
  • SeClosed: Secure Cloud-based storage and processing of sensitive documents
  • Secure Change: Security Engineering for lifelong Evolvable Systems
  • SecureAPPS: SecureAPPS: Geavanceerde technologieŽn voor veilige smartphone en tablet apps
  • SecurityArchitecturesIoT: A security architecture for the Internet of Things
  • Sequoia: Secure Query Operations for SaaS
  • SeRGIo: Mobile Sensing seRvices for developing Geospatial IoT Applications
  • SERVO: Secure and Economically Viable V2x solutions
  • SPARC: Smart Plug-in Automobile Renewable Charging Services
  • SPION: Security and Privacy for Online Social Networks
  • SPITE: Security and Privacy in an Internet of Things Environment
  • STADiUM: Software Technology for Adaptable Distributed Middleware
  • STANCE: A Source code analysis Toolbox for software security AssuraNCE
  • STREWS: Strategic Research Roadmap for European Web Security
  • SWIFT: Smart wind farm control
  • SymbioNets: Symbiotic Networks
  • TearLess: Secure Coordination of Rich Internet Application Tiers
  • TENSE: Trustworthy Embedded Networked Systems
  • TETRA-GDPR: Innovating the software development process in the GDPR era.
  • Traffic: Integrating infrastructure design, travel demand and traffic management in regional traffic networks with multiple decision makers.
  • TRANSITION: From ad-hoc code development to code reuse through middleware for networked embedded control systems
  • TRU-BLISS: Trustworthy Belgian Key Internet Services
  • VeriFast: VeriFast: Imperative Programs as Proofs
  • VerifastII: Annotation inference for VeriFast
  • VESSEDIA: Verification Engineering of Safety and Security critical dynamic industrial applications
  • WebSand: Server-driven Outbound Web-application Sandboxing
[Current projects...]