Research Areas

The main research areas of the CROSS group are:
 

  • Complex data management
    • Similarity queries
    • Content-based multimedia retrieval
    • Indexing and retrieval techniques of complex data
  • eContracts
  • eNegotiation
  • Modeling and formal verification
    • Automata, timed models and context models
    • Model-checking and logics
  • Model-based testing
    • Test case generation
    • Conformance testing
  • Application and tools