Ikbel Krichen

According to our database, Ikbel Krichen authored at least 3 papers between 2009 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles.

Ikbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles.

Ikbel Krichen, Imen Loulou, Ahmed Hadj Kacem

Proceedings of the ICSOFT 2011, 2011

2009

An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures.

Mohammed Nadhmi Miladi, Ikbel Krichen, Mohamed Jmaiel, Khalil Drira

Proceedings of the Fundamentals of Software Engineering, 2009