Former Projects

  • STRUCTCOMB Structure and computational difficulty in combinatorial optimization: an interdisciplinary approach
  • MODAClouds MOdel-Driven Approach for design and execution of applications on multiple Clouds
  • MODAClouds-RO Co-funding of FP7 MODAClouds
  • SPECS Secure Provisioning of Cloud Services based on SLA Management
  • SEED Speeding Every European Digital
  • mOSAIC Open-Source API and Platform for Multiple Clouds
  • mOSAIC-RO Co-funding of FP7 mOSAIC
  • AEMTIA Automated Exploration of Mathematical Theories for Industrial Applications
  • ANNE Advanced Impulsive and Fractional Order Neural Network Models
  • AVANTSSAR Automated Validation of Trust and Security of Service-Oriented Architectures
  • DEHEMS Digital Environmental Home Energy Management System
  • EcoNet French-Russian-Romanian project “Executable and verifiable models for security of communicating systems”
  • Folding@Home Folding@IeAT
  • ForMol Computational formalism inspired by Molecular Biology
  • ITMOP Information Theory Methods for Optimization Problems
  • NanoSim Transport phenomena and structure formation at the micro/nanometer scale in biomedicine and materials science
  • NOREX Network of reengineering expertise
  • PhaseTrans Phase Transitions in Computational Complexity and Formal Verification – Towards Generic and Realistic Approaches
  • Practical Verification Practical formal verification using automated reasoning and model checking
  • ProWest Promotion of the research activity in computer science in West Romania
  • PSysGAR Models and implementations for simulating P systems
  • SCIEnce Symbolic Computation in Europe
  • SEPROPI Studies and systematic exploration of parallel iterative processes
  • SIAPOM Integrated System for Analysis and Multidisciplinary Design Optimisation
  • SPaCIoS Secure Provision and Consumption in the Internet of Services
  • SysteMaThEx Systematic Mathematical Theory Exploration with the Theorema System: Case Studies