2009 |
19 | EE | Kaninda Musumbu:
Abstraction and Refinement in Static Model-Checking
CoRR abs/0902.1871: (2009) |
18 | EE | Kaninda Musumbu:
The Semantics of Kalah Game
CoRR abs/0902.2871: (2009) |
2008 |
17 | EE | Mouhamed Diouf,
Kaninda Musumbu,
Sofian Maabout:
Methodological Aspects of Semantics Enrichment in Model Driven Architecture.
ICIW 2008: 205-210 |
2007 |
16 | | Mouhamed Diouf,
Kaninda Musumbu,
Sofian Maabout:
Semantics Enrichment in Model Driven Architecture: automatic business rules generation EEE '07.
CSREA EEE 2007: 107-113 |
15 | | Mouhamed Diouf,
Sofian Maabout,
Kaninda Musumbu:
Génération automatique de règles métier par enrichissement sémantique de modèles.
INFORSID 2007: 453-468 |
14 | EE | Mouhamed Diouf,
Sofian Maabout,
Kaninda Musumbu:
Merging Model Driven Architecture and Semantic Web for Business Rules Generation.
RR 2007: 118-132 |
13 | | Mouhamed Diouf,
Kaninda Musumbu,
Sofian Musumbu:
Merging and Aligning Business Rules Sets Using Semantic Web Technics.
SWWS 2007: 28-36 |
2006 |
12 | | Mouhamed Diouf,
Kaninda Musumbu,
Sofian Maabout:
Standard Business Rules Language: Why and How?
IC-AI 2006: 414-419 |
2005 |
11 | | Kaninda Musumbu:
Automatic Cheching of the Security Systems' Topologies.
IASSE 2005: 157-162 |
2004 |
10 | | Kaninda Musumbu:
Simulator Design for Security Systems.
MSV/AMCS 2004: 104-110 |
2003 |
9 | EE | Kaninda Musumbu:
Simulating Security Systems Based on Logigrams.
ICLP 2003: 498-499 |
2000 |
8 | | Kaninda Musumbu:
Failure diagnosis of declarative programs based on abstract interpretation (extended abstract).
Computers and Their Applications 2000: 431-434 |
1993 |
7 | | Kaninda Musumbu:
Modèles d'interprétation abstraite de Prolog: quelles structures mathématiques?
JFPL 1993: 231-241 |
6 | | Marc-Michel Corsini,
Kaninda Musumbu,
Antoine Rauzy,
Baudouin Le Charlier:
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains.
PLILP 1993: 75-91 |
5 | | Marc-Michel Corsini,
Kaninda Musumbu:
Type Inference in Prolog: A New Approach.
Theor. Comput. Sci. 119(1): 23-38 (1993) |
1992 |
4 | | Marc-Michel Corsini,
Kaninda Musumbu,
Antoine Rauzy:
The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog.
WSA 1992: 51-59 |
1991 |
3 | | Marc-Michel Corsini,
Kaninda Musumbu:
Failure Analysis Based on Abstract Interpretation.
Declarative Programming 1991: 295-309 |
2 | | Baudouin Le Charlier,
Kaninda Musumbu,
Pascal Van Hentenryck:
A Generic Abstract Interpretation Algorithm and its Complexity Analysis.
ICLP 1991: 64-78 |
1 | | Kaninda Musumbu:
Interprétation abstraite au moyen de grammaires attribuées.
JTASPEFT/WSA 1991: 144-150 |