FOR-MOVES: FORmal MOdeling and VErification of Service-based systems
November 3, 2014
Paris, France (co-located with ICSOC 2014)
Program Commitee
Etienne André (LIPN, University Paris
13, France)
Boualem Benatallah (University of New South Wales, Sydney)
Nejib Ben Hadj-Alouane (ENIT, Tunisia)
Jörg Desel (University of Hagen)
Michael Dierkes (Rockwell Collins)
Marc Frappier (University of Sherbrooke)
Mohamed Graiet (ISIM, Monastir, Tunisia)
Serge Haddad (ENS Cachan, France)
Sun Jun (Singapore University of Technology and Design)
Pierre Kelsen (University of Luxembourg)
Michael Leuschel (University of Düsseldorf)
Meriem Ouederni (ENSEEIHT, France)
Denis Poitrenaud (University Paris Descartes, France)
Mohammad Reza Mousavi (Halmstad University, Sweden)
Liu Yang (Nanyang Technological University, Singapore)
Boualem Benatallah (University of New South Wales, Sydney)
Nejib Ben Hadj-Alouane (ENIT, Tunisia)
Jörg Desel (University of Hagen)
Michael Dierkes (Rockwell Collins)
Marc Frappier (University of Sherbrooke)
Mohamed Graiet (ISIM, Monastir, Tunisia)
Serge Haddad (ENS Cachan, France)
Sun Jun (Singapore University of Technology and Design)
Pierre Kelsen (University of Luxembourg)
Michael Leuschel (University of Düsseldorf)
Meriem Ouederni (ENSEEIHT, France)
Denis Poitrenaud (University Paris Descartes, France)
Mohammad Reza Mousavi (Halmstad University, Sweden)
Liu Yang (Nanyang Technological University, Singapore)
Workshop Organizers
Kais Klai (LIPN, University Paris 13,
France)
Amel Mammar (Samovar, TSP, France)
Amel Mammar (Samovar, TSP, France)