Asmaa Achtaich

According to our database, Asmaa Achtaich authored at least 4 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements.

Camille Salinesi, Asmaa Achtaich, Nissrine Souissi, Raúl Mazo, Ounsa Roudiès, Ángela Villota

J. Integr. Des. Process. Sci., 2021

2020

Graphes "State Constraint Transition" : un langage pour la spécification formelle des systèmes de systèmes dynamiques. ("State Constraint Transition" graph : a language for the formal specification of dynamic systems of systems).

Asmaa Achtaich

PhD thesis, 2020

2019

Evaluation of the state-constraint transition modelling language: a goal question metric approach.

Asmaa Achtaich, Ounsa Roudiès, Nissrine Souissi, Camille Salinesi, Raúl Mazo

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

2017

Designing a Framework for Smart IoT Adaptations.

Asmaa Achtaich, Nissrine Souissi, Raúl Mazo, Camille Salinesi, Ounsa Roudiès

Proceedings of the Emerging Technologies for Developing Countries, 2017