Projects per year
- 1 - 50 out of 69 results
Search results
-
Research
Icarus: Incremental Construction and Reuse of Requirements Specifications
DUBOIS, E. & Schobbens, P. Y.
1/01/89 → 31/01/94
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
-
LogiCCC: Modelling intelligent interaction - Logic in the Humanities, Social and Computational sciences
9/12/07 → 31/12/11
Project: Research
-
EUTYPES: The European research network on types for programming and verification
21/03/16 → 20/03/20
Project: Research
-
ASPIRE: Advanced modeling and SPecification of distributed InfoRmation systEms
Schobbens, P. Y. & DUBOIS, E.
1/02/97 → 31/03/00
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
-
COMPULOG-Net: Network of Excellence in Computational Logic
LE CHARLIER, B., Jacquet, J. & Schobbens, P. Y.
24/06/96 → 24/06/99
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
-
IFLEC : Informatisation du flux des études cliniques
Schobbens, P. Y. & Ortiz Vega, J. J.
21/09/13 → 20/09/15
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
-
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
-
-
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
-
PLENTY: Product Line ENgineering of food TraceabilitY systems
Heymans, P., Schobbens, P. Y. & Trigaux, J.
1/03/03 → 28/02/07
Project: 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
-
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
-
GASICS: Games for Analysis and Synthesis of Interactive Computational Systems
Schobbens, P. Y. & Legay, A.
1/10/08 → 1/10/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
-
-
D-DAMS: Digital Armament Management System suivant DO-178 (et DO-254)
1/11/15 → 31/10/22
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
-
Quasimodo: Quantitative System Properties in Model-Driven Design of Embedded Systems
1/01/08 → 31/12/10
Project: Research
-
Fireworks: Feature Integration in Requirements Engineering
Schobbens, P. Y. & Zeippen, J.
1/05/97 → 30/11/00
Project: Research
-
SEMIA: Semantics Enhanced Medical Imaging Architecture
Schobbens, P. Y., Ortiz Vega, J. J. & DEBIECHE, A.
1/01/14 → 31/12/15
Project: Research
-
SIICA: Integrated information and communication system for air traffic control
15/12/01 → 31/12/03
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
-
-
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
-
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
-
-
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
Schobbens, P. Y., Heymans, P. & Amrani, M.
21/11/14 → 24/11/18
Project: Research
-
2RARE: 2 Real Applications for Requirements Engineering
DUBOIS, E., Heymans, P. & Schobbens, P. Y.
1/10/95 → 30/09/96
Project: Research
-
-
ABILE: Abstract Interpretation for Declarative Languages
LE CHARLIER, B. & Schobbens, P. Y.
1/01/95 → 31/12/98
Project: Research
-
S&T: Activity Modelling and Object Technology for Cooperative Information Systems
DUBOIS, E., Schobbens, P. Y. & Petit, M.
1/08/96 → 31/10/99
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
-
Artist: Network of Excellence in Embedded Systems Design
Schobbens, P. Y. & Bontemps, Y.
1/07/04 → 1/07/07
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
-
BAAR: Extending formal methods for requirements engineering to risk management
1/11/99 → 31/10/03
Project: Research
-
CREWS: Cooperative Requirements Engineering With Scenarios
DUBOIS, E., Schobbens, P. Y. & Heymans, P.
1/08/96 → 31/10/99
Project: Research
-
CFV: Federated Centre for Software Verification
Schobbens, P. Y., Bontemps, Y., Ortiz Vega, J. J. & KANG, E.
1/10/99 → …
Project: Research
-
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