Ikbel Krichen

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Publish Subscribe Systems

User Interaction

Top Venues

Publications

Ikbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem
P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles. ICECCS (2012)
Ikbel Krichen, Imen Loulou, Ahmed Hadj Kacem
Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles. ICSOFT (2) (2011)
Mohammed Nadhmi Miladi, Ikbel Krichen, Mohamed Jmaiel, Khalil Drira
An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures. FSEN (2009)