Kahina Gani

According to our database, Kahina Gani authored at least 6 papers between 2012 and 2015.

Collaborative distances:

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

2015

Using timed automata formalism for modeling and analyzing home care plans. (L'utilisation du formalisme des automates temporisés pour la modélisation et l'analyse des plans de soins à domicile).

Kahina Gani

PhD thesis, 2015

Using Timed Automata Framework for Modeling Home Care Plans.

Kahina Gani, Marinette Bouet, Michel Schneider, Farouk Toumani

Proceedings of the International Conference on Service Science, 2015

2014

Formal Modeling and Analysis of Home Care Plans.

Kahina Gani, Marinette Bouet, Michel Schneider, Farouk Toumani

Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

2013

A general model for specifying near periodic recurrent activities - application to home care activities.

Marinette Bouet, Kahina Gani, Michel Schneider, Farouk Toumani

Proceedings of the IEEE 15th International Conference on e-Health Networking, 2013

Towards a DSL-Based Approach for Specifying and Monitoring Home Care Plans.

Kahina Gani, Marinette Bouet, Michel Schneider, Farouk Toumani

Proceedings of the Business Process Management Workshops, 2013

2012

Towards multiple identity detection in social networks.

Kahina Gani, Hakim Hacid, Ryan Skraba

Proceedings of the 21st World Wide Web Conference, 2012