Projects per year
- 1 - 50 out of 70 results
Search results
-
PHD
PHE: Animation of formal requirements specifications
Schobbens, P. Y., DUBOIS, E. & Heymans, P.
20/12/96 → 20/05/01
Project: PHD
-
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
-
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
-
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
-
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
-
JMZ: Assisting software engineers in their analysis of software systems requirements and specifications
Schobbens, P. Y. & Zeippen, J.
20/12/96 → 20/12/01
Project: PHD
-
-
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
-
-
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
-
Thesis-A-Hubaux: Separation of Concerns in Variability Models
Heymans, P., HUBAUX, A. & Schobbens, P. Y.
1/09/07 → 31/12/11
Project: PHD
-
Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
Devroey, X., Heymans, P., Schobbens, P. Y. & Perrouin, G.
1/09/11 → 30/08/17
Project: PHD
-
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
-
Th-HTO: Formal Modelling and Verification of Access Control Policies
Schobbens, P. Y. & Toussaint, H.
20/11/07 → 1/10/11
Project: PHD
-
Research
-
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
-
CFV: Federated Centre for Software Verification
Schobbens, P. Y., Bontemps, Y., Ortiz Vega, J. J. & KANG, E.
1/10/99 → …
Project: Research
-
CREWS: Cooperative Requirements Engineering With Scenarios
DUBOIS, E., Schobbens, P. Y. & Heymans, P.
1/08/96 → 31/10/99
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
-
ABILE: Abstract Interpretation for Declarative Languages
LE CHARLIER, B. & Schobbens, P. Y.
1/01/95 → 31/12/98
Project: Research
-
ModelAge: A common formal model of cooperating intelligent agents
Schobbens, P. Y., DUBOIS, E. & Petit, M.
1/09/93 → 31/03/97
Project: Research
-
COMPASS: Comprehensive Algebraic Approach to System Specification and Development
1/04/89 → 31/03/96
Project: Research
-
EUTYPES: The European research network on types for programming and verification
21/03/16 → 20/03/20
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
-
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
-
MODIVOC: Distributed Mobile Systems with Voice Interfaces
Habra, N., Englebert, V., Mayala Lusilabo mfumua'Nsi, F. & Schobbens, P. Y.
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
-
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
-
COMPULOG-Net: Network of Excellence in Computational Logic
LE CHARLIER, B., Jacquet, J. & Schobbens, P. Y.
24/06/96 → 24/06/99
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
-
CadProfSant: Cadastre des professions de la santé
Schobbens, P. Y., DUMONT, V., LETOCART, V., Meurisse, J. & SAVAL, G.
27/07/04 → 31/05/05
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
-
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
-
D-DAMS: Digital Armament Management System suivant DO-178 (et DO-254)
1/11/15 → 31/10/22
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
-
-
Icarus: Incremental Construction and Reuse of Requirements Specifications
DUBOIS, E. & Schobbens, P. Y.
1/01/89 → 31/01/94
Project: Research
-
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
-
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
-
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
-
-
-
PLENTY: Product Line ENgineering of food TraceabilitY systems
Heymans, P., Schobbens, P. Y. & Trigaux, J.
1/03/03 → 28/02/07
Project: Research
-
ASPIRE: Advanced modeling and SPecification of distributed InfoRmation systEms
Schobbens, P. Y. & DUBOIS, E.
1/02/97 → 31/03/00
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