Projects per year
Projects 1989 2023
- 1 - 50 out of 66 results
- Status, start date (ascending)
UNII: Erasmus+ICT: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES
1/06/16 → 31/07/18
Project: Research
D-DAMS: Digital Armament Management System suivant DO-178 (et DO-254)
1/11/15 → 31/10/17
Project: Research
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
Schobbens, P., Heymans, P. & Amrani, M.
21/11/14 → 24/11/18
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
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
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
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
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
1/01/08 → 31/12/10
Project: Research
LogiCCC: Modelling intelligent interaction - Logic in the Humanities, Social and Computational sciences
9/12/07 → 31/12/11
Project: Research
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
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
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
SIICA: Integrated information and communication system for air traffic control
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
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
1/11/99 → 31/10/03
Project: Research
RENOIR: Requirements Engineering Network Of International cooperating Research groups
Schobbens, P., Heymans, P. & Petit, M.
1/06/97 → 31/05/00
Project: Research
ASPIRE: Advanced modeling and SPecification of distributed InfoRmation systEms
1/02/97 → 31/03/00
Project: Research
PHE: Animation of formal requirements specifications
Schobbens, P., Dubois, É. & Heymans, P.
20/12/96 → 20/05/01
Project: PHD
JMZ: Assisting software engineers in their analysis of software systems requirements and specifications
20/12/96 → 20/12/01
Project: PHD
CREWS: Cooperative Requirements Engineering With Scenarios
Dubois, É., Schobbens, P. & Heymans, P.
1/08/96 → 31/10/99
Project: Research
S&T: Activity Modelling and Object Technology for Cooperative Information Systems
Dubois, É., Schobbens, P. & Petit, M.
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, É., Heymans, P. & Schobbens, P.
1/10/95 → 30/09/96
Project: Research
CAT: Tools for the modelling and analysis of requirements for telecommunication systems
Schobbens, P., Dubois, É., Heymans, P., Petit, M. & Zeippen, J.
1/04/95 → 1/07/01
Project: Research