Projects

Projects per year

1989 2023

• 10 Active
• 56 Finished

Projects per year

Search results

• Finished

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

  SCHOBBENS, P. & Lambiotte, R.

  1/06/16 → 31/07/18

  Project: Research

• EUTYPES: The European research network on types for programming and verification

  SCHOBBENS, P.

  21/03/16 → 20/03/20

  Project: Research

• MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems

  SCHOBBENS, P., HEYMANS, P. & Amrani, M.

  21/11/14 → 24/11/18

  Project: Research

• MoCReTT: Model-Checking Real-Time Transformations

  Amrani, M. & SCHOBBENS, P.

  1/10/14 → 30/09/16

  Project: Research

• WebDeb: The Web Deb Project

  SCHOBBENS, P., GILSON, F., COUGNON, L., Delvaux, B., Fairon, C. & Roekhaut, S.

  1/09/14 → 31/01/18

  Project: Research

• 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

• MIRROR: MedIcal Resource Real Time Optimizer

  Lucas, S., SCHOBBENS, P., Cleve, A., Lobet-Maris, C., HAINAUT, J., HEYMANS, P. & DE NIZZA, D.

  1/01/12 → 31/12/15

  Project: Research

• Thesis-M-Cordy: Modular Modelling and Verification of Real-Time Software Product Lines

  CORDY, M., HEYMANS, P. & SCHOBBENS, P.

  1/10/11 → 30/09/15

  Project: PHD

• Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines

  DEVROEY, X., HEYMANS, P., SCHOBBENS, P. & PERROUIN, G.

  1/09/11 → 30/08/17

  Project: PHD

• VEREV: Verification of recursive, evolutive, real-time software

  SCHOBBENS, P. & KANG, E.

  1/02/11 → 31/01/12

  Project: Research

• VLPL: Software Product Lines Verification

  HEYMANS, P., SCHOBBENS, P., Classen, A., CORDY, M., KANG, E. & Legay, A.

  1/01/11 → 1/01/13

  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

• GASICS: Games for Analysis and Synthesis of Interactive Computational Systems

  SCHOBBENS, P. & Legay, A.

  1/10/08 → 1/10/11

  Project: Research

• Re2adapt: Research network on software adaptability

  HEYMANS, P., BOUCHER, Q., Classen, A., HUBAUX, A. & SCHOBBENS, P.

  1/06/08 → 1/06/12

  Project: Research

• Quasimodo: Quantitative System Properties in Model-Driven Design of Embedded Systems

  SCHOBBENS, P.

  1/01/08 → 31/12/10

  Project: Research

• LogiCCC: Modelling intelligent interaction - Logic in the Humanities, Social and Computational sciences

  SCHOBBENS, P.

  9/12/07 → 31/12/11

  Project: Research

• Th-HTO: Formal Modelling and Verification of Access Control Policies

  SCHOBBENS, P. & TOUSSAINT, H.

  20/11/07 → 1/10/11

  Project: PHD

• Thèse-A-Classen: Modelling and Model Checking Variability-Intensive Systems

  Classen, A., HEYMANS, P. & SCHOBBENS, P.

  1/10/07 → 1/10/11

  Project: PHD

• Thesis-A-Hubaux: Separation of Concerns in Variability Models

  HEYMANS, P., HUBAUX, A. & SCHOBBENS, P.

  1/09/07 → 31/12/11

  Project: PHD

• Vigile: Integrated viewing of large medical images and extensible linking

  Madani, H., PEETERS, C. & SCHOBBENS, P.

  1/09/07 → 1/09/10

  Project: Research

• IRIS: Integration of Research in Information Systems

  ENGLEBERT, V., Habra, N., HAINAUT, J., HEYMANS, P., Petit, M. & SCHOBBENS, P.

  1/03/07 → 31/12/11

  Project: Research

• MoVES: Fundamental Issues in Software Engineering: Modelling, Verification and Evolution of Software

  SCHOBBENS, P., BAINA, S., Bontemps, Y., BROGNEAUX, A., Classen, A., Cleve, A., DETIENNE, V., ENGLEBERT, V., FAULKNER, S., GENON, N., Habra, N., HAINAUT, J., HEYMANS, P., HUBAUX, A., JURETA, I., MATULEVICIUS, R., Mayer, N., OGER, L., Petit, M., RAMDOYAL, R., SANDRON, S., SAVAL, G., TOUSSAINT, H., Trigaux, J., Vanderose, B. & Zeippen, J.

  1/01/07 → 31/12/11

  Project: Research

• CadProfSant: Cadastre des professions de la santé

  SCHOBBENS, P., DUMONT, V., LETOCART, V., MEURISSE, J. & SAVAL, G.

  27/07/04 → 31/05/05

  Project: Research

• Artist: Network of Excellence in Embedded Systems Design

  SCHOBBENS, P. & Bontemps, Y.

  1/07/04 → 1/07/07

  Project: Research

• Interop: Interoperability Research for Networked Enterprises Applications and Software (InterOP)

  SCHOBBENS, P., DALLONS, G., HEYMANS, P., Petit, M., POLLET, I. & VERMAUT, F.

  1/12/03 → 1/05/07

  Project: Research

• Thèse-JC-Trigaux: Evaluation and Formalization of Feature Modelling Languages

  HEYMANS, P., SCHOBBENS, P. & Trigaux, J.

  30/09/03 → 27/12/07

  Project: PHD

• PUR-PostDoc: AGENT-ORIENTED FEATURES

  SCHOBBENS, P.

  1/09/03 → 1/09/04

  Project: Research

• PLENTY: Product Line ENgineering of food TraceabilitY systems

  HEYMANS, P., SCHOBBENS, P. & Trigaux, J.

  1/03/03 → 28/02/07

  Project: Research

• MODIVOC: Distributed Mobile Systems with Voice Interfaces

  Habra, N., ENGLEBERT, V., Mayala Lusilabo mfumua'Nsi, F. & SCHOBBENS, P.

  6/03/02 → 30/06/04

  Project: Research

• UEML: Unified Enterprise Modelling Language

  SCHOBBENS, P. & Petit, M.

  1/03/02 → 30/05/03

  Project: Research

• SIICA: Integrated information and communication system for air traffic control

  SCHOBBENS, P.

  15/12/01 → 31/12/03

  Project: Research

• DISSCO: Document management Integrated System for Scientific Organisations

  SCHOBBENS, P., DE VOS, A., HEYMANS, P., Lobet-Maris, C. & Petit, M.

  1/12/01 → 31/10/02

  Project: Research

• YBO: Relating inter-agent and intra-agent specifications : the case of life sequence chart

  SCHOBBENS, P. & Bontemps, Y.

  1/10/01 → 30/05/05

  Project: PHD

• ARTHUR: Telecom architecture for hospital urgency services

  Deville, G., Lobet-Maris, C., Poullet, Y., SCHOBBENS, P., DEPLANQUE, L., DUMONT, V., Herveg, J., Petit, M. & Rousseau, A.

  1/10/00 → 1/10/03

  Project: Research

• BAAR: Extending formal methods for requirements engineering to risk management

  SCHOBBENS, P.

  1/11/99 → 31/10/03

  Project: Research

• AgentLink: Agent-based computing

  SCHOBBENS, P. & Petit, M.

  1/08/98 → 1/07/03

  Project: Research

• LCL: Expression trip and interpretation

  SCHOBBENS, P.

  20/12/97 → 20/12/02

  Project: PHD

• RENOIR: Requirements Engineering Network Of International cooperating Research groups

  SCHOBBENS, P., HEYMANS, P. & Petit, M.

  1/06/97 → 31/05/00

  Project: Research

• Fireworks: Feature Integration in Requirements Engineering

  SCHOBBENS, P. & Zeippen, J.

  1/05/97 → 30/11/00

  Project: Research

• ASPIRE: Advanced modeling and SPecification of distributed InfoRmation systEms

  SCHOBBENS, P. & DUBOIS, E.

  1/02/97 → 31/03/00

  Project: Research

• JMZ: Assisting software engineers in their analysis of software systems requirements and specifications

  SCHOBBENS, P. & Zeippen, J.

  20/12/96 → 20/12/01

  Project: PHD

• PHE: Animation of formal requirements specifications

  SCHOBBENS, P., DUBOIS, E. & HEYMANS, P.

  20/12/96 → 20/05/01

  Project: PHD

• S&T: Activity Modelling and Object Technology for Cooperative Information Systems

  DUBOIS, E., SCHOBBENS, P. & Petit, M.

  1/08/96 → 31/10/99

  Project: Research

• CREWS: Cooperative Requirements Engineering With Scenarios

  DUBOIS, E., SCHOBBENS, P. & HEYMANS, P.

  1/08/96 → 31/10/99

  Project: Research

• COMPULOG-Net: Network of Excellence in Computational Logic

  LE CHARLIER, B., JACQUET, J. & SCHOBBENS, P.

  24/06/96 → 24/06/99

  Project: Research

• 2RARE: 2 Real Applications for Requirements Engineering

  DUBOIS, E., HEYMANS, P. & SCHOBBENS, P.

  1/10/95 → 30/09/96

  Project: Research

• JFR: Logics, automata and classical theories for deciding real time

  SCHOBBENS, P.

  1/10/95 → 7/06/99

  Project: PHD

• CAT: Tools for the modelling and analysis of requirements for telecommunication systems

  SCHOBBENS, P., DUBOIS, E., HEYMANS, P., Petit, M. & Zeippen, J.

  1/04/95 → 1/07/01

  Project: Research