 | 2009 |
|---|
| 19 |       | Kaninda Musumbu:
Abstraction and Refinement in Static Model-Checking
CoRR abs/0902.1871: (2009) |
| 18 | | Kaninda Musumbu:
The Semantics of Kalah Game
CoRR abs/0902.2871: (2009) |
| 2008 |
|---|
| 17 | | 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 | | 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 | | 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 |
