Home › Researcher directory › Amina Zerdani

Amina Zerdani

Affiliation : Larbi Ben M'hidi University of Oum El Bouaghi

2Publications (affiliation in Algeria)
2Total publications
1Citations
1h-index

Research profile

Amina Zerdani has 2 indexed publications (2020–2024). Their work appears mainly in “Lecture notes in networks and systems” and “International Conference on Information Systems and Technologies (ICIST)”. Their most cited article, “An Overview of Formal Verification of Network-on-Chip (NoC) Methods” (2024), has been cited 1 times. Their work is co-authored with at least 2 researchers.

Is this you? Get your research seen

Create your free DzCademia profile and add your articles: they will show up more easily on Google and in AI assistants like ChatGPT, so more people can read and cite your work.

Create my free profile Add my publications

Research areas

Formal Methods in Verification
Interconnection Networks and Systems
Embedded Systems Design Techniques

Publications (2)

An Overview of Formal Verification of Network-on-Chip (NoC) Methods
2024 · Lecture notes in networks and systems · cited 1 times
Formal Specification of On-Chip Communications State Of The Art
2020 · International Conference on Information Systems and Technologies (ICIST)

Publication venues

Lecture notes in networks and systems × 1
International Conference on Information Systems and Technologies (ICIST) × 1

Publications per year

20241
20201

Co-authors

Bibliographic data from OpenAlex (open database).