avatar


Profil

Nom: Benlahrache

Prénom: Nadira

Domaines de compétences: Software architecture, AADL language, Bigraphs and BRS,

Contacts

Publications


Titre Auteurs DOI/URL
Towards formalising installation and reconfiguration tasks of AADL architecture. Benlahrache Nadira
Consulter
Model Checking BRS based AADL Specification Benlahrache Nadira
Consulter

Communications


Titre DOI/URL Type
Towards an UML-based SoS Analysis and Design Process Consulter Conférence
A Review of IoT Systems Engineering: Application to the Smart traffic lights system. Consulter Conférence
Translating AADL systems to Java programs Consulter Conférence
E-orientation system socio-psychological data sensitive Consulter Conférence
Vers un Modèle de Déploiement à base de Bigraphes. Consulter Conférence
Modeling of Architectural Reconfiguration Case Study: Automated Teller Machine Consulter Conférence
Extension d'ABAReL par les Propriétés d'Exécution. Consulter Conférence