Author

Aïcha Choutri

Observed names: A. Choutri, Aicha Choutri

Institution: Université Constantine 2

Observed institutions: University Frères Mentouri Constantine 1, Université Constantine 2

OpenAlex ID: A5047813229

Algebraic term nets: a formalism for specifying communication software in the OSI framework

1992 · Mohamed Bettaz, Aïcha Choutri · Oxford University Press eBooks · 8

On Generating Tile System for a Software Architecture Case of a Collaborative Application Session

2007 · C. Bouanaka, A. Choutri, et al. · International Conference on Software Technologies (ICSOFT) · 6

A Tile Logic Based Approach for Software Architecture Description Analysis

2010 · Aïcha Choutri, Faiza Belala, et al. · Journal of Software Engineering and Applications · 5

PDF

Towards a meta-model for dynamic applications

2014 · Sahar Smaali, Aïcha Choutri, et al. · International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) · 2

K-Maude Definition of Dynamic Software Architecture

2014 · Sahar Smaali, Aïcha Choutri, et al. · 2

For more understandable UML diagrams

2010 · Kamel Boukhelfa, Faiza Belala, et al. · IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) · 2

Towards a tile based LfP semantics

2008 · A. Choutri, F. Belala, et al. · International Conference on Research Challenges in Information Science (RCIS) · 2

A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency

2005 · M. Bettaz, A. Choutri, et al. · Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) · 2

Towards a Driven Specific Modeling Language for Deep Neural Networks

2025 · Angham Boukhari, Ahmed Hadj Kacem, et al. · IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) · 1

Towards a Formal Modeling of Deep Neural Networks

2026 · Angham Boukhari, Aïcha Choutri, et al. · Learning and Technology Conference (L&T)

Towards a Maude-Based Approach for Formal Modeling Deep Neural Networks

2025 · Angham Boukhari, Aïcha Choutri, et al. · Lecture notes in networks and systems

A formal framework-based K-Maude for modelling scalable software architectures

2019 · Smaali Sahar, Aïcha Choutri, et al. · International Journal of Computer Aided Engineering and Technology

K-based definition of Real Time Distributed Systems: from a meta-model to maude modules

2015 · Sahar Smaali, Aicha Choutri, et al. · International Conference on Protocol Engineering and International Conference on New Technologies of Distributed Systems (ICPE-NTDS)

Works count: 13

Citation count: 30

H-index: 3

I10-index: