|
|
- Info
Running
Projects
Other
Projects
- Theory and Practice of Automata (TPA)
(since 2011)
Maxime CORDY, Eun-Young KANG, James ORTIZ VEGA, Pierre-Yves SCHOBBENS
- Software Product Lines Verification (VLPL)
(2011-2013)
Andreas CLASSEN, Maxime CORDY, Patrick HEYMANS, Eun-Young KANG, Axel LEGAY, Pierre-Yves SCHOBBENS
- Integrated Information System for Tracing and Managing Othopedic Infections (ORTHOGEN)
(2010-2013)
James ORTIZ VEGA, Pierre-Yves SCHOBBENS
- Research network on software adaptability (Re2adapt)
(2008-2012)
Quentin BOUCHER, Andreas CLASSEN, Patrick HEYMANS, Arnaud HUBAUX, Pierre-Yves SCHOBBENS
Terminated
Projects
- Modelling intelligent interaction - Logic in the Humanities, Social and Computational sciences
(LogiCCC)
(2007-2011)
Pierre-Yves SCHOBBENS
- Formal Modelling and Verification of Access Control Policies (Th-HTO)
(2011)
Luc CLAES, Hubert TOUSSAINT
- Modelling and Model Checking Variability-Intensive Systems (Thèse-A-Classen)
(2011)
Andreas CLASSEN
- Network of Excellence in Embedded Systems Design (Artist)
(2004-2007)
Yves BONTEMPS, Pierre-Yves SCHOBBENS
- Agent-based computing (AgentLink)
(1998-2003)
Koenraad BERTELS, Laurent FERIER, Michaël PETIT, Pierre-Yves SCHOBBENS
- Network of Excellence in Computational Logic (COMPULOG)
(1996-1999)
Jean-Marie JACQUET, Baudouin LE CHARLIER, Pierre-Yves SCHOBBENS
- Logics, automata and classical theories for deciding real time (JFR)
(1999)
Jean-Francois RASKIN
- Abstract Interpretation for Declarative Languages (ABILE)
(1995-1998)
Baudouin LE CHARLIER, Jean-Francois RASKIN, Pierre-Yves SCHOBBENS
- The HCLP and PCSP approaches to over-constrained systems (HCLP)
(1995-1996)
Jean-Marie JACQUET, Michael JAMPEL
- Efficient Symbolic Computing (ESC)
(1994-1999)
Jean-Marie JACQUET
- Evaluation and Formalization of Feature Modelling Languages (Thèse-JC-Trigaux)
(2007)
Jean-Christophe TRIGAUX
- Advanced modeling and SPecification of distributed InfoRmation systEms (ASPIRE)
(1997-2000)
Eric DUBOIS, Pierre-Yves SCHOBBENS
- Tools for the modelling and analysis of requirements for telecommunication systems (CAT)
(1995-2001)
Francois CHABOT, Luc CLAES, Philippe DU BOIS, Eric DUBOIS, Gisele GEYORO-YAKULANGU, Patrick HEYMANS, Bernard JUNGEN, Michaël PETIT, Pierre-Yves SCHOBBENS, Jean-Marc ZEIPPEN
- Methodology for the development of computer system specification (MeDiCiS)
(1993-1995)
Eric DUBOIS, Michaël PETIT, Pierre-Yves SCHOBBENS, Jean-Marc ZEIPPEN
- A common formal model of cooperating intelligent agents (ModelAge)
(1993-1997)
Philippe DU BOIS, Eric DUBOIS, Michaël PETIT, Jean-Francois RASKIN, Pierre-Yves SCHOBBENS
- AppSem: Application of semantics to the design and construction of concurrent systems and programming support environments within the framework of computational logic
(1993-1995)
Jean-Marie JACQUET
- The Albert II Language. On the Design and the Use of a Formal Specification Language for Requirements Analysis (PDU)
(1995)
Philippe DU BOIS, Pierre-Yves SCHOBBENS
- Comprehensive Algebraic Approach to System Specification and Development (COMPASS)
(1989-1996)
Pierre-Yves SCHOBBENS
- Incremental Construction and Reuse of Requirements Specifications (Icarus)
(1989-1994)
Suleyman CELIKTIN, Philippe DU BOIS, Eric DUBOIS, Pierre-Yves SCHOBBENS, Axel VAN LAMSWEERDE
Other
Projects
- Verification of recursive, evolutive, real-time software (VEREV)
(2011-2012)
Eun-Young KANG, Pierre-Yves SCHOBBENS
- Application de modèles de coordination temporels à l'analyse d'images (Bach-image)
(2008-2009)
Jean-Marie JACQUET, Isabelle LINDEN, Mihail-Octavian STAICU
- Games for Analysis and Synthesis of Interactive Computational Systems (GASICS)
(2008-2011)
Axel LEGAY, Pierre-Yves SCHOBBENS
- Quantitative System Properties in Model-Driven Design of Embedded Systems (Quasimodo)
(2008-2010)
Pierre-Yves SCHOBBENS
- Expert system in sccessoral planification (SEPlanS)
(2007-2010)
Jean-Marie JACQUET, Isabelle LINDEN, Gustavo Adolfo OSPINA AGUDELO
- Separation of Concerns in Variability Models (Thesis-A-Hubaux)
(2011)
Arnaud HUBAUX
- Integrated viewing of large medical images and extensible linking (Vigile)
(2007-2010)
Houari MADANI, Cédric PEETERS, Pierre-Yves SCHOBBENS
- Fundamental Issues in Software Engineering: Modelling, Verification and Evolution of Software (MoVES)
(2007-2011)
Salah BAINA, Yves BONTEMPS, Anne-France BROGNEAUX, Andreas CLASSEN, Gaetan DELANNAY, Virginie DETIENNE, Vincent ENGLEBERT, Stephane FAULKNER, Nicolas GENON, Naji HABRA, Jean-Luc HAINAUT, Arnaud HUBAUX, Ivan JURETA, Raimundas MATULEVICIUS, Nicolas MAYER, Laura OGER, Michaël PETIT, Ravi RAMDOYAL, Stéphane SANDRON, Germain SAVAL, Hubert TOUSSAINT, Jean-Christophe TRIGAUX, Benoît VANDEROSE, Jean-Marc ZEIPPEN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Anthony CLEVE
- Application des Machines à Etats Finis en Synthèse de la Parole.
Sélection d'unités non uniformes et Correction orthographique
(2008)
Richard BEAUFORT
- Assisted multilayer surface engineering using modular expert system (EXPERSURF)
(2004-2009)
Julie ANCIAUX, Francois BARTHELEMY, Isabelle LINDEN, Denis WATHELET, Jean-Marie JACQUET, Jean-Luc HAINAUT
- (EXPESURF)
(2004-2009)
Jean-Luc HAINAUT, Jean-Marie JACQUET
- Etude de langages de coordination : analyse d'expressivité, sémantique et méthodologique de programmation
(2007)
Isabelle LINDEN
|
]
]
]
]
