If you made any changes in Pure these will be visible here soon.

Personal profile

External positions

Collaborateur Scientifique, University of Namur

Research areas

  • Software Methodology
  • Software Engineering
  • Software Quality Assurance
  • Safety-critical systems
  • Verification & Validation
  • Cyber-Physical Systems
  • Energy-aware Real-Timed Embedded Systems
  • Model-Driven Design & Implementation
  • Component-based Development and Re-use
  • Programming Languages And formal Models
  • Safety & Security
  • Model-Checking
  • SMT/SAT-Solver
  • Computer Aided Design, Modeling, Analysis and Simulation
  • Dependability & Reliability of Embedded Software


Fingerprints are formed from scientific publications and create an index of weighted keyword concepts for each individual researcher.
  • 1 Similar Profiles