Ikbel Krichen

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles.
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.
Proceedings of the ICSOFT 2011, 2011

2009
An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures.
Proceedings of the Fundamentals of Software Engineering, 2009


  Loading...