Système réactif And NotKhaled Gaaloul
List of bibliographic references
Number of relevant bibliographic references: 17.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000136 | Olfa Mosbahi [Allemagne] ; Mohamed Khalgui [Allemagne] | Combining formal methods for the development of reactive systems : DEVELOPMENT OF EMBEDDED SYSTEMS: MODELLING, VERIFICATION, SCHEDULING, IMPLEMENTATION AND RECONFIGURATION |
| 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. |  |