Système réactif And NotMohamed Khalgui
List of bibliographic references
Number of relevant bibliographic references: 17.Ident. | Authors (with country if any) | Title |
---|---|---|
000140 | Khaled Gaaloul [Luxembourg (pays)] ; H. A. Proper [Luxembourg (pays)] ; Ehtesham Zahoor [France] ; François Charoy [France] ; Claude Godart [France] | A logical framework for reasoning about delegation policies in workflow management systems |
000155 | Walid Gaaloul [France] ; Karim Baïna [Maroc] ; Claude Godart [France] | Fouille de workflow |
000256 | Olivier Simonin [France] ; Olivier Grunder [France] | A cooperative multi-robot architecture for moving a paralyzed robot |
000260 | BOULBABA BEN AMMAR [France, Tunisie] ; MOHAMED TAHAR BHIRI [Tunisie] ; Jeanine Souquieres [France] | Modélisation événementielle pour la construction de diagrammes de classes |
000332 | Mohsen Rouached [France] ; Walid Gaaloul [France] ; Wil M. P. Van Der Aalst [Pays-Bas] ; Sami Bhiri [France] ; Claude Godart [France] | Web Service Mining and Verification of Properties : An Approach Based on Event Calculus |
000336 | Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France] | Towards formal verification of web service composition |
000339 | Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France] | Time constraint patterns for event B development |
000421 | Walid Gaaloul [France] ; Karim Baïna [Maroc] ; Claude Godart [France] | A bottom-up workflow mining approach for workflow applications analysis |
000446 | Walid Gaaloul [France] ; Kalim Baïna [Maroc] ; Claude Godart [France] | Towards mining structural workflow patterns |
000531 | Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France] | A contract-based approach for monitoring collaborative web services using commitments in the event calculus |
000532 | Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France] | A contract layered architecture for regulating cross-organisational business processes |
000541 | Franck Gechter [France] ; Vincent Chevrier [France] ; Francois Charpillet [France] | Un modèle de résolution de problèmes utilisant des agents réactifs pour la localisation et le suivi |
000613 | Walid Gaaloul [France] ; Sami Bhiri [France] ; Claude Godart [France] | Discovering workflow transactional behavior from event-based log |
000684 | Stephan Merz [France] | On the logic of TLA+ |
000701 | Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | Formal derivation of spanning trees algorithms |
000763 | Alexander Bockmayr [France] ; Arnaud Courtois [France] | Using Hybrid concurrent constraint programming to model dynamic biological systems |
000977 | Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz [Allemagne] | Predicate diagrams for the verification of reactive systems |
This area was generated with Dilib version V0.6.33. |