| Student Name | Cursus (SI5 / Uibnet) | Project Number | Project Titlte | Subject |
| Remigiusz Modrzejewski and Martín Ferrari | | 0 | Barrier | A barrier is a type of synchronization method. A barrier for a group of event means any event must stop at this point and cannot proceed until all other events reach this barrier |
| Bamba Inza | | 1 | Lock | A lock is a synchronization mechanism for enforcing limits on access to a resource in an environment where there are many threads of execution. Locks are one way of enforcing concurrency control policies. Only one event is emitted at at time |
| leclere et soussi | | 2 | Arbitration | Arbitration between input events |
| Sami Raad | | 3 | Average | Average value is emitted from the values of input events |
| CHOUNGMO FOFACK | | 4 | Moving average | Average value is emitted from the values of input events |
| Stéphane Dupin et Laurie Trichet-Fougère | | 5 | Function MessageBox / Oneaccess | |
| Stephane Trepier | | 6 | Function MessageBox / Allaccess | |
| Samy Carmouche et Vincent Choury | | 7 | Function TextToSpeech OneAccess |
| Thao Nguyen | | 8 | project Function 10*, with the following function: node OneaccessNewvalue(customer_arrival: bool) returns (seat_num: int); With this function, I model a automatic checker at the entrance of a cinema. Assuming that the customer has an electronic ticket with the information of seat number written on it. | |
| Mariem Abdelmoula | | 9 | Function MessageBox / Allaccess | |
| Nicolas Theroude | | 10 | Function TextToSpeech AllAccess | |
| Giuseppe Reina & Claudio Salmin | | 11 | Function Beep/ Oneaccess | |
| Tuan Tran Thai | | 12 | Function beep/ AllAccess | |
| Emilie Thibault et Alexandre Trovato | | 13 | Fonction DialogBox AllAccess | |
| ZARATI Aymen et BAKLOUTI Raoudha | | 14 | MessageBox Thisaccess | |
| Steve Colombié, Karim Matrah | | 15 | Function Beep/ Oneaccess | |
| Cyprien NICOLAS | | 16 | DialogBox / OneAccess | |
| Amine Rouini | | 17 | MessageBox AllaccessNewvalue | |
| Benabu Jeremy et Florent Joubert | | 18 | DialogBox / OneAccess | |
| Rayan ARNAOUT et Thomas BALOUET | | 19 | fonction MessageBeep (http://msdn.microsoft.com/en-us/library/ms680356(VS.85).aspx) en allaccess | |
| Ali Makke | | 20 | Function Beep/This access | |
| Oscar Carillo | | 21 | light access | |
| Yanwen Chen | | 22 | Function Dialogbox/All Access | |
| | | 23 | | |
| | | 24 | | |
| | | 25 | | |
| | | 26 | | |
| | | 27 | | |
| | | 28 | | |
| | | 29 | | |
| | | 30 | | |
| | | 31 | | |
| | | 32 | | |
| | | 33 | | |
| | | 34 | | |
| | | 35 | | |
| | | 36 | | |
| | | 37 | | |
| | | 38 | | |
| | | 39 | | |
| | | 5* | Function* Allaccess | returned value of one external DLL function is emitted when all value parameters are available (triggered on all input events) |
| | | 6* | Function* Oneaccess | returned value of one external DLL function is emitted as soon as at least on value parameter is available (triggered on one input events) |
| | | 7* | Function* Thisaccess | returned value of one external DLL function is emitted as soon as one specific event arrive (triggered on one specific input events) |
| | | 8* | Function* AllaccessNewvalue | new returned value of one external DLL function is emitted when all value parameters are available (triggered on all input events and state change) |
| | | 9* | Function* OneaccessNewvalue | new returned value of one external DLL function is emitted as soon as at least on value parameter is available (triggered on one input events and state change ) |
| | | 10* | Function* OneaccessNewvalue | new returned value of one external DLL function is emitted as soon as one specific event arrive (triggered on one specific input events and state change) |
