Spreading Aggregation: A distributed collision-free approach for data aggregation in large-scale wireless sensor networks von Merzoug, M.A., Boukerche, A., Mostefaoui, A., Chouali, S.

Volltext

PLTL-partitioned model checking for reactive systems under fairness assumptions von Chouali, S., Julliand, J., Masson, P.-A., Bellegarde, F.

Volltext

Refinemant verification of fair transition systems can contribute to PLTL model checking von Bellegarde, F., Chouali, S., Julliand, J.

Volltext bestellen

A novel hybrid multi-objective algorithm to solve the generalized cubic cell formation problem von Bouaziz, Hamida, Bardou, Dalal, Berghida, Meryem, Chouali, Samir, Lemouari, Ali

Volltext

Experimental and numerical modeling of DC corona discharge in Wire-Cylinder-Plane configuration von Kasdi, Ahmed, Chouali, Sabrina, Bekakria, Adel, Dascalescu, Lucian

Volltext

Stomatin modulates the activity of the Anion Exchanger 1 (AE1, SLC4A1) von Genetet, Sandrine, Desrames, Alexandra, Chouali, Youcef, Ripoche, Pierre, Lopez, Claude, Mouro-Chanteloup, Isabelle

Volltext

Toward a design model-oriented methodology to ensure QoS of a cyber-physical healthcare system von Fayad, Moustafa, Mostefaoui, Ahmed, Chouali, Samir, Benbernou, Salima

Volltext

Fall Detection Approaches for Monitoring Elderly HealthCare Using Kinect Technology: A Survey von Fayad, Moustafa, Hachani, Mohamed-Yacine, Ghoumid, Kamal, Mostefaoui, Ahmed, Chouali, Samir, Picaud, Fabien, Herlem, Guillaume, Lajoie, Isabelle, Yahiaoui, Réda

Volltext

Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components von Tannoury, Perla, Chouali, Samir, Hammad, Ahmed

Volltext

Formal verification of components assembly based on SysML and interface automata von Chouali, Samir, Hammad, Ahmed

Volltext

SysML Blocks Adaptation von Bouaziz, Hamida, Chouali, Samir, Hammad, Ahmed, Mountassir, Hassan

Volltext

Urétroplastie d’agrandissement avec greffe de muqueuse buccale suite à un traumatisme von Benmessaoud, A.A., Chouali, T., Alani, A., Zerouala, Y., Benchouder, B., Benkartoussa, C., Athimene, E., Saker, M.M., Sayoud, R.

Volltext

Adapting Component Behaviours Using Interface Automata von Chouali, Samir, Mouelhi, Sebti, Mountassir, Hassan

Volltext

Incremental Modeling of System Architecture Satisfying SysML Functional Requirements von Carrillo, Oscar, Chouali, Samir, Mountassir, Hassan

Volltext

Gradient Estimates for Solutions of Ultraparabolic Equations von Touaoula, Tarik Mohamed, Ghouali, Noureddine

Volltext

Specifying System Architecture from SysML Requirements and Component Interfaces von Chouali, Samir, Carrillo, Oscar, Mountassir, Hassan

Volltext

Assembling Components using SysML with Non-Functional Requirements von Chouali, Samir, Hammad, Ahmed, Mountassir, Hassan

Volltext

Refinement of Interface Automata Strengthened by Action Semantics von Mouelhi, Sebti, Chouali, Samir, Mountassir, Hassan

Volltext

An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car von Chouali, Samir, Mountassir, Hassan, Mouelhi, Sebti

Volltext

Formalizing and verifying compatibility and consistency of SysML blocks von Carrillo, Oscar, Chouali, Samir, Mountassir, Hassan

Volltext