Kaninda Musumbu

26 papers B 2C 1Misc 2Journal 4Unranked 14
YearRankTypeTitle / Venue / Authors
2022 — conf
Blockchain Technology as A Guarantee of Transparency in The Supply Chain of Commercial Enterprises.
ASSE
Jonathan Lenge, Kaninda Musumbu, Geisla Wanuku, Pascal Sungu
2014 J jnl
Algorithms Visualization Tool for Students and Lectures in Computer Science.
CoRR
Kaninda Musumbu
2011 — conf
Optimization Strategy apply to an Attribute Algorithm for the Abstract Interpretation.
IICAI
Kaninda Musumbu
2009 — conf
A New Operational Semantics for Prolog.
IICAI
Kaninda Musumbu
2009 J jnl
Abstraction and Refinement in Static Model-Checking
CoRR
Kaninda Musumbu
2009 J jnl
The Semantics of Kalah Game
CoRR
Kaninda Musumbu
2008 C conf
Methodological Aspects of Semantics Enrichment in Model Driven Architecture.
ICIW
Mouhamed Diouf, Kaninda Musumbu, Sofian Maabout
2007 — conf
Génération automatique de règles métier par enrichissement sémantique de modèles.
INFORSID
Mouhamed Diouf, Sofian Maabout, Kaninda Musumbu
2007 — conf
Merging Model Driven Architecture and Semantic Web for Business Rules Generation.
RR
Mouhamed Diouf, Sofian Maabout, Kaninda Musumbu
2007 — conf
Merging and Aligning Business Rules Sets Using Semantic Web Technics.
SWWS
Mouhamed Diouf, Kaninda Musumbu, Sofian Musumbu
2007 — conf
Semantics Enrichment in Model Driven Architecture: automatic business rules generation EEE '07.
CSREA EEE
Mouhamed Diouf, Kaninda Musumbu, Sofian Maabout
2006 Misc conf
Standard Business Rules Language: Why and How?
IC-AI
Mouhamed Diouf, Kaninda Musumbu, Sofian Maabout
2005 — conf
Automatic Cheching of the Security Systems' Topologies.
IASSE
Kaninda Musumbu
2004 — conf
Simulator Design for Security Systems.
MSV/AMCS
Kaninda Musumbu
2003 B conf
Simulating Security Systems Based on Logigrams.
ICLP
Kaninda Musumbu
2000 Misc conf
Failure diagnosis of declarative programs based on abstract interpretation (extended abstract).
CATA
Kaninda Musumbu
1993 — conf
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains.
PLILP
Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy, Baudouin Le Charlier
1993 — conf
Modèles d'interprétation abstraite de Prolog: quelles structures mathématiques?
JFPL
Kaninda Musumbu
1993 J jnl
Type Inference in Prolog: A New Approach.
Theor. Comput. Sci.
Marc-Michel Corsini, Kaninda Musumbu
1992 — ed.
Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings
WSA
Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy
1992 — conf
The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog.
WSA
Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy
1991 B conf
A Generic Abstract Interpretation Algorithm and its Complexity Analysis.
ICLP
Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck
1991 — ed.
Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings
JTASPEFL/WSA
Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy
1991 — conf
Failure Analysis Based on Abstract Interpretation.
Declarative Programming
Marc-Michel Corsini, Kaninda Musumbu
1991 — conf
Interprétation abstraite au moyen de grammaires attribuées.
JTASPEFT/WSA
Kaninda Musumbu
1990 — —
Interprétation abstraite des programmes Prolog
Kaninda Musumbu