Kaninda Musumbu

Publication Activity (10 Years)

Years Active: 1991-2022
Publications (10 Years): 1

Top Topics

Visualization Tool

Consumer Market

Radio Frequency Identification Rfid

Top Venues

Publications

Jonathan Lenge, Kaninda Musumbu, Geisla Wanuku, Pascal Sungu
Blockchain Technology as A Guarantee of Transparency in The Supply Chain of Commercial Enterprises. ASSE (2022)
Kaninda Musumbu
Algorithms Visualization Tool for Students and Lectures in Computer Science. CoRR (2014)
Kaninda Musumbu
Optimization Strategy apply to an Attribute Algorithm for the Abstract Interpretation. IICAI (2011)
Kaninda Musumbu
The Semantics of Kalah Game CoRR (2009)
Kaninda Musumbu
Abstraction and Refinement in Static Model-Checking CoRR (2009)
Kaninda Musumbu
A New Operational Semantics for Prolog. IICAI (2009)
Mouhamed Diouf, Kaninda Musumbu, Sofian Maabout
Methodological Aspects of Semantics Enrichment in Model Driven Architecture. ICIW (2008)
Mouhamed Diouf, Sofian Maabout, Kaninda Musumbu
Merging Model Driven Architecture and Semantic Web for Business Rules Generation. RR (2007)
Mouhamed Diouf, Kaninda Musumbu, Sofian Musumbu
Merging and Aligning Business Rules Sets Using Semantic Web Technics. SWWS (2007)
Mouhamed Diouf, Sofian Maabout, Kaninda Musumbu
Génération automatique de règles métier par enrichissement sémantique de modèles. INFORSID (2007)
Mouhamed Diouf, Kaninda Musumbu, Sofian Maabout
Semantics Enrichment in Model Driven Architecture: automatic business rules generation EEE '07. CSREA EEE (2007)
Mouhamed Diouf, Kaninda Musumbu, Sofian Maabout
Standard Business Rules Language: Why and How? IC-AI (2006)
Kaninda Musumbu
Automatic Cheching of the Security Systems' Topologies. IASSE (2005)
Kaninda Musumbu
Simulator Design for Security Systems. MSV/AMCS (2004)
Kaninda Musumbu
Simulating Security Systems Based on Logigrams. ICLP (2003)
Kaninda Musumbu
Failure diagnosis of declarative programs based on abstract interpretation (extended abstract). CATA (2000)
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)
Kaninda Musumbu
Modèles d'interprétation abstraite de Prolog: quelles structures mathématiques? JFPL (1993)
Marc-Michel Corsini, Kaninda Musumbu
Type Inference in Prolog: A New Approach. Theor. Comput. Sci. 119 (1) (1993)
Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy
The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. WSA (1992)
Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck
A Generic Abstract Interpretation Algorithm and its Complexity Analysis. ICLP (1991)
Marc-Michel Corsini, Kaninda Musumbu
Failure Analysis Based on Abstract Interpretation. Declarative Programming (1991)
Kaninda Musumbu
Interprétation abstraite au moyen de grammaires attribuées. JTASPEFT/WSA (1991)