FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Système réactif »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Système recherche information < Système réactif < Système réduction combinatoire  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 18.
Ident.Authors (with country if any)Title
000136 (2011) 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
000140 (2011) 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 (2010) Walid Gaaloul [France] ; Karim Baïna [Maroc] ; Claude Godart [France]Fouille de workflow
000256 (2009) Olivier Simonin [France] ; Olivier Grunder [France]A cooperative multi-robot architecture for moving a paralyzed robot
000260 (2008) BOULBABA BEN AMMAR [France, Tunisie] ; MOHAMED TAHAR BHIRI [Tunisie] ; Jeanine Souquieres [France]Modélisation événementielle pour la construction de diagrammes de classes
000332 (2006) 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 (2006) Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France]Towards formal verification of web service composition
000339 (2006) Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France]Time constraint patterns for event B development
000421 (2006) Walid Gaaloul [France] ; Karim Baïna [Maroc] ; Claude Godart [France]A bottom-up workflow mining approach for workflow applications analysis
000446 (2005) Walid Gaaloul [France] ; Kalim Baïna [Maroc] ; Claude Godart [France]Towards mining structural workflow patterns
000531 (2005) 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 (2005) Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France]A contract layered architecture for regulating cross-organisational business processes
000541 (2004) 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 (2004) Walid Gaaloul [France] ; Sami Bhiri [France] ; Claude Godart [France]Discovering workflow transactional behavior from event-based log
000684 (2003) Stephan Merz [France]On the logic of TLA+
000701 (2003) Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France]Formal derivation of spanning trees algorithms
000763 (2002) Alexander Bockmayr [France] ; Arnaud Courtois [France]Using Hybrid concurrent constraint programming to model dynamic biological systems
000977 (2000) Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz [Allemagne]Predicate diagrams for the verification of reactive systems

List of associated Author.i

Nombre de
documents		Descripteur
9Claude Godart
5Walid Gaaloul
4Mohsen Rouached
3Dominique Cansell
3Dominique Méry
3Olivier Perrin
2Karim Baïna
2Sami Bhiri
2Stephan Merz
1Alexander Bockmayr
1Arnaud Courtois
1BOULBABA BEN AMMAR
1Ehtesham Zahoor
1Franck Gechter
1Francois Charpillet
1François Charoy
1H. A. Proper
1Jean-Raymond Abrial
1Jeanine Souquieres
1Joris Rehm
1Kalim Baïna
1Khaled Gaaloul
1MOHAMED TAHAR BHIRI
1Mohamed Khalgui
1Olfa Mosbahi
1Olivier Grunder
1Olivier Simonin
1Vincent Chevrier
1Wil M. P. Van Der Aalst

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Système réactif" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Système réactif" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Système réactif
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022