Projects

Projects per year

1999 2023

• 4 Finished
• 4 Active

Projects per year

Search results

• Active

  CoTu: Erasmus+ICT: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES

  SCHOBBENS, P., Amrani, M. & ORTIZ VEGA, J. J.

  1/08/19 → 31/07/22

  Project: Research

• THCS: Testing Highly-configurable Systems

  PERROUIN, G., SCHOBBENS, P., Amrani, M., ORTIZ VEGA, J. J. & HEYMANS, P.

  1/01/18 → 31/12/22

  Project: Research

• Thesis-JOR: Formal Methods for the Verification of Distributed Timed Systems

  ORTIZ VEGA, J. J. & SCHOBBENS, P.

  1/09/17 → 31/08/23

  Project: PHD

• CFV: Federated Centre for Software Verification

  SCHOBBENS, P., Bontemps, Y., ORTIZ VEGA, J. J. & KANG, E.

  1/10/99 → …

  Project: Research
• Finished

  SEMIA: Semantics Enhanced Medical Imaging Architecture

  SCHOBBENS, P., ORTIZ VEGA, J. J. & DEBIECHE, A.

  1/01/14 → 31/12/15

  Project: Research

• IFLEC : Informatisation du flux des études cliniques

  SCHOBBENS, P. & ORTIZ VEGA, J. J.

  21/09/13 → 20/09/15

  Project: Research

• TPA: Theory and Practice of Automata and Logics

  SCHOBBENS, P., CORDY, M., KANG, E. & ORTIZ VEGA, J. J.

  1/01/11 → 31/12/14

  Project: Research

• ORTHOGEN: Integrated Information System for Tracing and Managing Othopedic Infections

  SCHOBBENS, P., ORTIZ VEGA, J. J. & DE NIZZA, D.

  1/01/10 → 30/06/13

  Project: Research