Projects per year
- 1 - 50 out of 69 results
Search results
-
VeriLearn: Verifying Learning Artificial Intelligence Systems
Heymans, P., Frénay, B., Schobbens, P. Y., Temple, P., Nanfack, G., Amrani, M. & Bibal, A.
1/01/18 → 31/12/22
Project: Research
-
-
-
CAT: Tools for the modelling and analysis of requirements for telecommunication systems
Schobbens, P. Y., DUBOIS, E., Heymans, P., Petit, M. & Zeippen, J.
1/04/95 → 1/07/01
Project: Research
-
WebDeb: The Web Deb Project
Schobbens, P. Y., GILSON, F., COUGNON, L., Delvaux, B., Fairon, C. & Roekhaut, S.
1/09/14 → 31/01/18
Project: Research
-
CYBEREXCELLENCE: The project of excellence in cyber security within the framework of the plan of the Walloon Region (CyberWal)
Colin, J., Schobbens, P. Y., Dejaeghere, J., Devroey, X., Nguyen, G., Rochet, F., Schumacher, L., Knockaert, M., Jacquet, J., Linden, I., Elkoulak, H., Poeng, K., Ouardi, D., Goffaux, L. & Barkallah, M.
1/01/22 → 31/12/27
Project: Research
-
TPA: Theory and Practice of Automata and Logics
Schobbens, P. Y., CORDY, M., KANG, E. & Ortiz Vega, J. J.
1/01/11 → 31/12/14
Project: Research
-
EUTYPES: The European research network on types for programming and verification
21/03/16 → 20/03/20
Project: Research
-
PDU: The Albert II Language. On the Design and the Use of a Formal Specification Language for Requirements Analysis
DUBOIS, E. & Schobbens, P. Y.
1/09/89 → 1/09/95
Project: PHD
-
THCS: Testing Highly-configurable Systems
Perrouin, G., Schobbens, P. Y., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/22
Project: Research
-
ARTHUR: Telecom architecture for hospital urgency services
Deville, G., Lobet-Maris, C., Poullet, Y., Schobbens, P. Y., DEPLANQUE, L., DUMONT, V., Herveg, J., Petit, M. & Rousseau, A.
1/10/00 → 1/10/03
Project: Research
-
VLPL: Software Product Lines Verification
Heymans, P., Schobbens, P. Y., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/13
Project: Research
-
SmartTune - Robust and SustainableHyper-parameter Optimisation for Deep Learning
Gratia, A., Perrouin, G., Schobbens, P. Y., Temple, P., Tuci, E. & Acher, M.
1/07/21 → 28/06/25
Project: PHD
-
Thesis-A-Hubaux: Separation of Concerns in Variability Models
Heymans, P., HUBAUX, A. & Schobbens, P. Y.
1/09/07 → 31/12/11
Project: PHD
-
SEMIA: Semantics Enhanced Medical Imaging Architecture
Schobbens, P. Y., Ortiz Vega, J. J. & DEBIECHE, A.
1/01/14 → 31/12/15
Project: Research
-
-
Re2adapt: Research network on software adaptability
Heymans, P., BOUCHER, Q., Classen, A., HUBAUX, A. & Schobbens, P. Y.
1/06/08 → 1/06/12
Project: Research
-
RENOIR: Requirements Engineering Network Of International cooperating Research groups
Schobbens, P. Y., Heymans, P. & Petit, M.
1/06/97 → 31/05/00
Project: Research
-
YBO: Relating inter-agent and intra-agent specifications : the case of life sequence chart
Schobbens, P. Y. & Bontemps, Y.
1/10/01 → 30/05/05
Project: PHD
-
Quasimodo: Quantitative System Properties in Model-Driven Design of Embedded Systems
1/01/08 → 31/12/10
Project: Research
-
PLENTY: Product Line ENgineering of food TraceabilitY systems
Heymans, P., Schobbens, P. Y. & Trigaux, J.
1/03/03 → 28/02/07
Project: Research
-
Artist: Network of Excellence in Embedded Systems Design
Schobbens, P. Y. & Bontemps, Y.
1/07/04 → 1/07/07
Project: Research
-
COMPULOG-Net: Network of Excellence in Computational Logic
LE CHARLIER, B., Jacquet, J. & Schobbens, P. Y.
24/06/96 → 24/06/99
Project: Research
-
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
Schobbens, P. Y., Heymans, P. & Amrani, M.
21/11/14 → 24/11/18
Project: Research
-
Thesis-M-Cordy: Modular Modelling and Verification of Real-Time Software Product Lines
CORDY, M., Heymans, P. & Schobbens, P. Y.
1/10/11 → 30/09/15
Project: PHD
-
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. Y.
1/10/07 → 1/10/11
Project: PHD
-
-
MeDiCiS: Methodology for the development of computer system specification
Schobbens, P. Y., DUBOIS, E., Petit, M. & Zeippen, J.
1/11/93 → 31/10/95
Project: Research
-
MIRROR: MedIcal Resource Real Time Optimizer
Lucas, S., Schobbens, P. Y., Cleve, A., Lobet-Maris, C., Hainaut, J., Heymans, P. & DE NIZZA, D.
1/01/12 → 31/12/15
Project: Research
-
-
Interop: Interoperability Research for Networked Enterprises Applications and Software (InterOP)
Schobbens, P. Y., DALLONS, G., Heymans, P., Petit, M., POLLET, I. & VERMAUT, F.
1/12/03 → 1/05/07
Project: Research
-
IRIS: Integration of Research in Information Systems
Englebert, V., Habra, N., Hainaut, J., Heymans, P., Petit, M. & Schobbens, P. Y.
1/03/07 → 31/12/11
Project: Research
-
Vigile: Integrated viewing of large medical images and extensible linking
Madani, H., PEETERS, C. & Schobbens, P. Y.
1/09/07 → 1/09/10
Project: Research
-
ORTHOGEN: Integrated Information System for Tracing and Managing Othopedic Infections
Schobbens, P. Y., Ortiz Vega, J. J. & DE NIZZA, D.
1/01/10 → 30/06/13
Project: Research
-
SIICA: Integrated information and communication system for air traffic control
15/12/01 → 31/12/03
Project: Research
-
Icarus: Incremental Construction and Reuse of Requirements Specifications
DUBOIS, E. & Schobbens, P. Y.
1/01/89 → 31/01/94
Project: Research
-
IFLEC : Informatisation du flux des études cliniques
Schobbens, P. Y. & Ortiz Vega, J. J.
21/09/13 → 20/09/15
Project: Research
-
GASICS: Games for Analysis and Synthesis of Interactive Computational Systems
Schobbens, P. Y. & Legay, A.
1/10/08 → 1/10/11
Project: Research
-
MoVES: Fundamental Issues in Software Engineering: Modelling, Verification and Evolution of Software
Schobbens, P. Y., 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
-
Th-HTO: Formal Modelling and Verification of Access Control Policies
Schobbens, P. Y. & Toussaint, H.
20/11/07 → 1/10/11
Project: PHD
-
Thesis-JOR: Formal Methods for the Verification of Distributed Timed Systems
Ortiz Vega, J. J. & Schobbens, P. Y.
1/09/17 → 31/08/23
Project: PHD
-
CFV: Federated Centre for Software Verification
Schobbens, P. Y., Bontemps, Y., Ortiz Vega, J. J. & KANG, E.
1/10/99 → …
Project: Research
-
Fireworks: Feature Integration in Requirements Engineering
Schobbens, P. Y. & Zeippen, J.
1/05/97 → 30/11/00
Project: Research
-
BAAR: Extending formal methods for requirements engineering to risk management
1/11/99 → 31/10/03
Project: Research
-
-
Thèse-JC-Trigaux: Evaluation and Formalization of Feature Modelling Languages
Heymans, P., Schobbens, P. Y. & Trigaux, J.
30/09/03 → 27/12/07
Project: PHD
-
DISSCO: Document management Integrated System for Scientific Organisations
Schobbens, P. Y., DE VOS, A., Heymans, P., Lobet-Maris, C. & Petit, M.
1/12/01 → 31/10/02
Project: Research