dblp.uni-trier.dewww.uni-trier.de

Kaninda Musumbu Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Baudouin Le Charlier [2] [6]
2Marc-Michel Corsini [3] [4] [5] [6]
3Mouhamed Diouf [12] [13] [14] [15] [16] [17]
4Pascal Van Hentenryck [2]
5Sofian Maabout [12] [14] [15] [16] [17]
6Sofian Musumbu [13]
7Antoine Rauzy [4] [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)